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

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/quantum-time-transfer.md

quantum-time-transfer (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#

MODELLED vertrauenswürdige Quantenzeitkette: ein durchgängiges Zeitübertragungsbudget mit Quanten- (optische Gitteruhr + Verschränkungs-/Einzelphotonenstrecke) gegen klassisch (CSAC + RF-Zweiweg), ein wiederverwendetes Zeitgebungs-Schutzniveau + eine Sicherheitsgütezahl gegen Verzögerungs-/Replay-Angriffe (1-P_md), eine Erkennungswahrscheinlichkeit für Uhrenanomalien + CUSUM-Latenz und der Quanten-gegen-klassisch-Trade als ehrliche TradeEvidence mit einem Repräsentativitäts- + Gaps-to-flight-Eintrag. Illustrative Geräte-/Streckenparameter aus öffentlichen Quellen; modelliert die Klasse, kein TRL/Flug/Zertifizierung beansprucht.

Ein Lauf von scenarios/quantum-time-transfer.toml fasst sich zusammen als: quantum-time-transfer | Quantenkette 1.233e-12s gegen klassisch 5.292e-9s | PL 555,24 ns | Sicherheit Pd 1,000 (Pfa 1e-3) | Anomalie Pd 0,761 | Trade Quanten gewinnt 2/2 | MODELLED

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

Das Beispiel scenarios/quantum-time-transfer.toml setzt unter anderem:

Feld Wert Einheit
attack_delay_s 5.0000e-9 s
classical_link_sigma_s 1.0000e-9 s
clock_fault_sigma 4 nicht angegeben
dissemination_interval_s 100 s
integration_s 1 s
kind quantum-time-transfer Text
link_loss_db 30 dB
monitor_pfa 0.001 1

Ausführen#

kshana scenarios/quantum-time-transfer.toml

Was es liefert#

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

Ergebnis Wert Einheit
anomaly_cusum_latency_s 2 s
anomaly_pd 0.760985 1
classical_chain_sigma_s 5.2915e-9 s
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier PARTNER Text
monitor_pfa 0.001 1
protection_level_ns 555.239402 ns
quantum_chain_sigma_s 1.2332e-12 s
quantum_link_rate_hz 4900 Hz
Das Diagramm, das die Engine für scenarios/quantum-time-transfer.toml schreibt, Szenarioart quantum-time-transfer

Nachweise#

Keine Matrixzeile nennt diesen Typ beim Namen; die Kennzeichnung seines Ergebnisses stammt von der Engine selbst, siehe oben.

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):

  • VALIDATED Tabellarischer CUSUM-Detektor: Erkennungslatenz im ungünstigsten Fall (⌊h/(z−k)⌋+1) und mittlere Lauflänge außer Kontrolle, verwendet von den Zeitgebungs-Schutzniveau- und Spoof-Monitoren. Unabhängige Referenz (ExternalDataset): Veröffentlichte tabellarische CUSUM-ARL: Siegmund-(1985)-Brownsche-Bewegung-Näherung (Hawkins & Olwell 1998, Gl. 3,7), kreuzverankert an die ARL-Tabellen aus Montgomery, Introduction to Statistical Quality Control (Wiley) für k=½, h∈{4.5}; deterministische Latenz exakt gegen eine Erstdurchgangs-Referenz abgeglichen. Die zusammengesetzte TPL-Schranke bleibt MODELLED
  • 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
  • PARTNER Nicht geliefert — nur Leistungsmodelle; Kaltatom-/Uhren-Hardware gehört einem Partner. Orakel (NoneKind): keine: eine Disziplin im Besitz eines Partners, bewusst ohne Modul und ohne Test
  • MODELLED Ein reproduzierbares TradeEvidence-Objekt (fester Rahmen: Szenario+Seed+Engine; gemeinsame Quanten-gegen-klassisch-Werte pro FoM mit polaritätsrichtigem Nutzen, optional 95%. Unabhängige Referenz (InternalConsistency): Identitäten für Nutzen/Gewinner in geschlossener Form + getreue Verpackung des bestehenden quantum_trade::TradeResult; die Ehrlichkeit ist an das Repräsentativitätsregister und die Verifikationslabels gebunden

Einschränkungen#

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

  • MODELLED vertrauenswürdige Quantenzeitkette: ein durchgängiges Zeitübertragungsbudget mit Quanten- (optische Gitteruhr + Verschränkungs-/Einzelphotonenstrecke) gegen klassisch (CSAC + RF-Zweiweg), ein wiederverwendetes Zeitgebungs-Schutzniveau + eine Sicherheitsgütezahl gegen Verzögerungs-/Replay-Angriffe (1-P_md), eine Erkennungswahrscheinlichkeit für Uhrenanomalien + CUSUM-Latenz und der Quanten-gegen-klassisch-Trade als ehrliche TradeEvidence mit einem Repräsentativitäts- + Gaps-to-flight-Eintrag. (Szenarioarten-Katalog (kshana kinds --json))
  • Vertrauenswürdige Quantenzeit — durchgängige Zeitübertragungskette, sichere Verteilung, Anomalieerkennung und ein Quanten-gegen-klassisch-Trade. MODELLED; illustrative Geräte-/Streckenparameter aus öffentlichen Quellen; modelliert die Klasse, keine TRL-/Flugaussage. (Kommentar der Szenariodatei, Zeilen 1 bis 3)
  • 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))
  • Quanten-gegen-klassisch-Trade-Evidenz (gemeinsame Form) ist MODELLED, nicht validiert: geprüft gegen ihre eigene geschlossene / analytische Identität — fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Vertrauenswürdige Quantenzeit (Zeitübertragung + sichere Verteilung + Anomalie) ist MODELLED, nicht validiert: geprüft gegen ihre eigene geschlossene / analytische Identität — fängt Übertragungs- und Koeffizientenfehler ab, ist aber keine externe unabhängige Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#