Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Validierung und NachweiseNoch nicht auf GitHubQuelle: docs/PARTNER-DATA.md

Partnerdaten: was gemessene Daten an einer MODELLED-Zeile befördern könnten

Kshana kennzeichnet jede Fähigkeit in einem maschinengeprüften Register (Verifikationsmatrix). Die meisten Zeilen zu Zeitgebung und Sensoren sind MODELLED: Sie beruhen auf genannten Modellen, veröffentlichten Datenblättern und internen Prüfungen, und keine gemessene Aufzeichnung der Geräteklasse wurde mit ihnen verglichen. Wer eine solche Aufzeichnung besitzt, kann das ändern. Diese Seite sagt, welche Zeilen, was zu senden ist, wie eine Einreichung geprüft, wie sie bewertet und wie sie angerechnet wird. Sie ist für ein Labor, einen Hersteller oder eine Universitätsgruppe geschrieben; sie ist kein Arbeitsangebot und behauptet keine Billigung durch irgendjemanden. Nur beratend: Kshana ist ein Studieninstrument, keine typzugelassene Navigations- oder Zeitgebungsausrüstung.

Was die Kennzeichnungen bedeuten#

Kennzeichnung Bedeutung
VALIDATED eine unabhängige externe Referenz stimmt unter einem vor dem Vergleich festgelegten Zielwert mit der Fähigkeit überein. Eine gemessene Aufzeichnung eines Partners kann diese Referenz für die Teilbehauptung sein, die sie abdeckt; die Invarianten der Matrix verbieten die Kennzeichnung ohne eine
MODELLED in sich konsistent, und das wird offen gesagt; keine externe unabhängige Referenz deckt die Behauptung ab. Eine MODELLED-Zeile, die mit gemessenen Daten verglichen wird und den Zielwert verfehlt, bleibt MODELLED, und die Verfehlung wird veröffentlicht
PARTNER eine Disziplin, auf die sich der Lauf stützt, die ein Hardware-Partner besitzt und die Kshana nicht liefert, zum Beispiel die Zahlen, die die eigene Uhr oder das eigene Interferometer eines Partners beschreiben. Kshana modelliert, was ein solches Gerät mit einer Navigations- oder Zeitgebungskette macht; es bürgt nicht für das Gerät

Eine Einreichung kann eine Zeile nur für die Behauptung zu VALIDATED befördern, die die Daten tatsächlich testen, und nur, wenn der Vergleich seinen Zielwert erreicht. Sie kann die eigenen Zahlen eines Geräts nicht zu etwas machen, für das Kshana bürgt: Diese bleiben die des Partners (PARTNER). Ob sich die Kennzeichnung einer Zeile ändert, entscheidet der Eigentümer, festgehalten im Commit, der sie ändert, wobei der Text der unabhängigen Referenz genau sagt, was womit verglichen wurde.

Zeilen, die die Daten eines Partners befördern könnten#

Jede Zeile unten ist der genaue Text requirement einer MODELLED-Zeile der Matrix (ein Test hält diese Seite und die Matrix im Gleichschritt). „Könnte ändern“ sagt, was ein vorab festgelegter Vergleich mit gemessenen Daten stützen würde, wenn der Zielwert erreicht wird; es ist nie ein Versprechen.

Zeile Daten, die sie testen würden Könnte ändern
GNSS-denied clock holdover eine Aufzeichnung von Tagen einer Uhr einer genannten Klasse, frei laufend nach ihrer letzten Disziplinierung, verglichen mit einer besseren Referenz, bei einem Abtastintervall von einer Minute oder weniger die Rot-Rausch-Untergrenzen je Klasse, die die holdover-Werte begrenzen, bleiben heute MODELLED; eine gemessene Stabilität bei langen Mittelungszeiten könnte nur für diese Klasse mit der Untergrenze dieser Klasse verglichen werden
Quantum-vs-classical PNT trade & GNSS-denied resilience (13503) die gemessene Allan-Abweichung, als Tabelle oder als Phasenaufzeichnung, der Uhr oder des Atominterferometers eines Partners die Abwägungswerte quantifizieren das Gerät des Partners (validieren es aber nie), sodass sie als Zahlen des Partners gekennzeichnet würden (PARTNER); das Einlesen gemessener Allan-Daten in ein Rauschmodell ist bereits mit einem unabhängigen Löser abgeglichen
Oscillator holdover presets from public datasheets eine Phasenaufzeichnung eines Oszillators eines der vier voreingestellten Modelle über mindestens einen Tag ob das aus dem Datenblatt abgeleitete Rauschmodell der Voreinstellung die Stabilität einer gemessenen Einheit bei den eigenen Mittelungszeiten des Datenblatts reproduziert
Measured clock device cards (held-out prediction) eine Phasenaufzeichnung einer noch nicht mit einem Profil erfassten Uhrenklasse (ein OCXO, ein Rubidium, ein Cäsium, ein Maser, eine optische Uhr) ein auf dem ersten Drittel angepasstes Profil, das die Allan-Abweichung des Rests innerhalb des vorab festgelegten Faktors vorhersagt, wie es für GNSS-Satellitenuhren und einen Empfänger bereits geschehen ist
Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series ein Log aus einer realen Installation (jede Daemon-Version) mit den eigenen Zusammenfassungszeilen des Daemons die Reader wurden aus öffentlichen Zeilenlayouts und Fixtures gebaut; ein reales Log, das mit einem unabhängigen Reader verglichen wird, wäre die erste externe Prüfung
Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series ein Export eines realen Zählers oder einer Analysesoftware dasselbe, für diese Formate
Holdover test scored from an operator-supplied time-error record ein realer holdover-Test: die Aufzeichnung, die Zeiten, zu denen der Betreiber die Referenz entfernt und wiederhergestellt hat, und die eigenen MTIE-, TDEV- und Masken-Urteile des Labors aus seiner Analysesoftware eine unabhängige Berechnung derselben Größen zum Vergleich mit denen der Engine
IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters ein stationäres Log einer Inertialeinheit, deren Rauschparameter von jemand anderem veröffentlicht oder gemessen wurden die Anpassung gewinnt die unabhängigen Parameter innerhalb eines genannten Faktors zurück
Quantum inertial dead-reckoning resilience ein statisches Log oder die Rauschparameter des Kaltatom-Inertialsensors eines Partners die Gerätezahlen sind die des Partners (PARTNER); das Positionsfehlerbudget, das sie zusammensetzt, bleibt das Modell von Kshana

Beginnen Sie mit den ersten beiden: Sie entscheiden, ob die holdover-Untergrenzen je Klasse und die Abwägung zwischen Quanten und Klassik auf eigenen gemessenen Daten beruhen.

Was zu senden ist#

Eine Einreichung besteht aus zwei Dateien in einem Ordner: den Daten und einer kleinen Beschreibung dazu, einer TOML-Datei (kshana.partner-submission/1; ein ausgearbeitetes, erfundenes Beispiel ist examples/partner-submission/submission.toml).

Uhrendaten. Eines der Formate, die Kshana liest (siehe Uhrenlog-Formate): TAPR-TICC-Logs, ASCII-Phase oder -Frequenz im Stil von TimeLab, RINEX clock, linuxptp-Logs ptp4l, phc2sys und ts2phc, chrony-Tracking- und -Statistiklogs. Phase wird der Frequenz vorgezogen; geben Sie die Einheiten und das Abtastintervall an. Geben Sie die längste ununterbrochene Aufzeichnung an, die Sie haben: Stabilität bei langen Mittelungszeiten braucht Tage, und eine Aufzeichnung unter einem Tag wird akzeptiert, aber mit einer Warnung versehen.

Inertialdaten. Eine CSV mit benannten Spalten (t_s, gx, gy, gz, ax, ay, az, rad/s und m/s^2) oder das EuRoC-Layout, von einem ruhenden Gerät, lang genug für die Anpassung (mindestens 2000 Abtastwerte; Stunden sind besser).

Die Beschreibung sagt, und der Prüfer verifiziert, wo er kann:

  • die Art der Organisation (eine Art wie „ein nationales Zeitlabor“, kein Name; ein Name ist optional und nur für die Anrechnung);
  • das Gerät (Art, Klasse und ein Modell für die Klasse other);
  • wie die Daten aufgenommen wurden: womit sie verglichen wurden, die Startzeit (UTC), die Umgebung und ob sie roh oder aufbereitet sind (und was damit gemacht wurde);
  • der SHA-256 der Datendatei, damit die bewertete Datei die beschriebene Datei ist;
  • die MODELLED-Zeilen, gegen die sie angeboten wird, durch den genauen Anforderungstext oben;
  • die Lizenz (eine SPDX-Kennung oder Worte) und wie die Daten im Repository verwendet werden dürfen: public (eingecheckt, mit Quellenangabe), hash-only (nur ihr Hash und die Bewertungen werden veröffentlicht) oder private (die Bewertung wird allein mit dem Einreichenden geteilt);
  • drei Erklärungen: Es ist eine Messung und keine Simulation, der Einreichende darf sie für diese Verwendung lizenzieren, und die Dateien enthalten keine personenbezogenen Daten.

Nicht zu senden. Alles Persönliche oder mit Kontaktdaten (der Prüfer lehnt eine E-Mail-Adresse oder Telefonnummer in der Beschreibung ab), alles, was Exportkontrollen unterliegt oder durch Vereinbarung beschränkt ist, und alle simulierten Daten, die als gemessen ausgegeben werden.

Wie eine Einreichung geprüft wird#

  1. Format und Metadaten, durch Sie oder uns, bevor irgendetwas läuft.

    kshana partner check <submission.toml>          # add --json for a machine-readable report

    Er bestätigt das Schema, die Pflichtfelder, den Hash, die Regeln zu Lizenz und Quellenangabe, dass die Zielzeilen existieren und MODELLED sind, dass sich die Daten mit dem eigenen Reader der Engine lesen lassen, und er meldet, was er gelesen hat (Abtastwerte, Intervall, Zeitspanne, Lücken), und warnt vor kurzen Aufzeichnungen. Der Exitstatus 0 bedeutet vollständig und lesbar; 1 listet auf, was zu beheben ist. Er bewertet die Daten nicht, validiert keine Zeile und verspricht nicht, dass sie verwendet werden.

  2. Eine Vorregistrierung vor jedem bewerteten Lauf. Für jede Zeile legt ein Dokument in xval/<name>/ fest und wird eingecheckt, bevor die Daten ausgeführt werden: die Zeile, den SHA-256 der Datendatei, welcher Teil der Daten zurückgehalten wird (nichts Angepasstes darf ihn sehen), die Metrik und den Zielwert. Für Uhrenprofile ist die bestehende Vorlage die Vorhersage mit zurückgehaltenen Daten, die für die IGS- und Empfängeraufzeichnungen verwendet wurde: auf dem ersten Drittel der Aufzeichnung anpassen, die Allan-Abweichung des Rests vorhersagen und verlangen, dass das Verhältnis von vorhergesagt zu gemessen bei jeder angepassten Mittelungszeit innerhalb eines genannten Faktors liegt. Ein Zielwert wird nach einem Lauf nie gelockert.

  3. Ein bewerteter Lauf. Das Ergebnis, jede Zahl und jede Verfehlung eingeschlossen, wird mit dem Befehl und dem Commit veröffentlicht, und ein Test legt es fest. Eine Verfehlung ist ein Befund, kein Versagen, das man verbergen müsste: Die Zeile bleibt MODELLED, und die Seite sagt das.

  4. Die Entscheidung über das Register trifft der Eigentümer, schriftlich, im Commit, der die Zeile ändert. Der Text der unabhängigen Referenz einer beförderten Zeile nennt den Datensatz, seine Lizenz und Anrechnung, was verglichen wurde und was nicht.

Anrechnung und Rechte#

  • Die Daten bleiben unter der von Ihnen genannten Lizenz Ihre. hash-only und private halten die Datei aus dem Repository heraus.
  • Eine Einreichung mit public wird durch die von Ihnen angegebene Zeile zur Quellenangabe angerechnet, im Text der unabhängigen Referenz der Zeile und in der Ergebnisdatei.
  • Nichts wird ohne Ihre schriftliche Zustimmung unter Ihrem Namen veröffentlicht; eine als Quelle genannte Organisation wird als Quelle zitiert, nie als Befürworter. Es wird keine Aussage über eine Zulassung oder Billigung von oder über einen Partner gemacht.
  • Sie können eine Einreichung zurückziehen, bevor ihr Ergebnis veröffentlicht wird. Danach bleibt das Ergebnis wie festgehalten; wenn Sie die Datenlizenz zurückziehen, wird die Datei aus dem Repository entfernt, und der Hash und die Bewertungen bleiben.
  • Kshana sendet nichts und steuert keine Hardware an. Eine Einreichung sind Dateien hinein, ein Bericht heraus.

Ansprache#

Ein einseitiger Text für ein Labor ist für den Eigentümer in docs/drafts/PARTNER-OUTREACH.md entworfen. Er ist ein Entwurf: Es wird nichts gesendet, und niemand wird kontaktiert, bis der Eigentümer entscheidet.