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

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/timetransfer.md

timetransfer (Szenarioart)

Szenariotyp der Engine v0.40.0, Familie Uhren, Zeitgebung und Holdover. Nur beratend: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine typzugelassene Navigationsausrüstung und kein Safety-of-Life-Dienst. Jede Kennzeichnung hier stammt von der Engine oder von der Verifikationsmatrix; ein Typ ist MODELLED, sofern die Matrix nichts anderes angibt (wie eine Kennzeichnung erworben wird: Abschnitt „Evidence“ der README).

Was es tut#

Optische gegen HF-Zweiweg-Zeit-/Frequenzübertragung.

Ein Lauf von scenarios/timetransfer.toml fasst sich zusammen als: Szenario 8f9c2e0e31a5 | optisch sync_rms 0.98ps range_rms 0.293mm adev(1s) 1.73e-12 | HF sync_rms 1137.3ps range_rms 341.0mm adev(1s) 8.65e-10

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Erforderliche Felder: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
  • Optionale Felder: keine

Das Beispiel scenarios/timetransfer.toml setzt unter anderem:

Feld Wert Einheit
kind timetransfer Text
link_classical.id twstft-rf Text
link_classical.provenance Zweiweg-Satelliten-Zeit- und Frequenzübertragung (TWSTFT, Ku-ba Text
link_classical.q_rw_s 1.0000e-26 s
link_classical.sigma_j_s 5.0000e-10 s
link_quantum.id optical-isl Text
link_quantum.provenance Optische Inter-Satelliten-Strecke, Synchronisation im Pikosekundenbereich Text
link_quantum.q_rw_s 1.0000e-32 s
link_quantum.sigma_j_s 1.0000e-12 s
range_spec_mm 10 mm
samples 600 nicht angegeben
seed 42 1

Ausführen#

kshana scenarios/timetransfer.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnis Wert Einheit
classical.fom.adev_tau0 8.6527e-10 1
classical.fom.range_p95_mm 636.83765 mm
classical.fom.range_rms_mm 340.957818 mm
classical.fom.sync_p95_ps 2124.261745 ps
classical.fom.sync_rms_ps 1137.312862 ps
classical.fom.within_spec_fraction 0.026667 1
classical.spec.id twstft-rf Text
classical.spec.kind two-way-time-transfer Text
classical.spec.params.q_rw 1.0000e-26 1/s
classical.spec.params.q_wf 0 s^2/s
Das Diagramm, das die Engine für scenarios/timetransfer.toml schreibt, Art timetransfer

Nachweise#

MODELLED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

  • MODELLED Zweiweg/TWSTFT (Sagnac), GNSS-Common-View, PPP; Link-Jitter→Entfernung. Orakel (ExternalDataset): Sagnac-Betrag geprüft gegen einen maßgeblichen VERÖFFENTLICHTEN WERT — N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), Gl. 1,29: Eine ostwärtige Umrundung am Äquator summiert 207,4 ns (2ωA_E/c²); kshana reproduziert 207,386 ns. Unabhängig bestätigt durch RTKLIB 2.4.3 geodist() (Takasu, BSD-2-Clause), das dieselbe 2Aω/c²-Geometrie trägt. Der zusammengesetzte BIPM-TWSTFT-Transponder/Common-View/
  • MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

  • Das Fehlerbudget der Zeitübertragung ist MODELLED, nicht validiert: Eine Teilaussage wird extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#