quantum-trade (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Inertial-, Fusions- und Quantensensoren. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Quanten-gegen-klassisch-PNT-Trade (13503): Nutzen einer Kandidatenuhr bei Zeitgebungs-Holdover + inertialem Holdover (eine gemessene ADEV-Kurve — der Angelpunkt der Verteidigbarkeit — oder eine Quantenuhrklasse) gegen eine klassische Basislinienklasse, mit dem am Artefakt mitgeführten Vorbehalt zur Annahme einer Langzeit-Untergrenze, plus eine Hüllkurve der GNSS-verweigerten Resilienz über die Zeit. MODELLED; quantifiziert (validiert nie) ein Partnergerät. Die Kandidatenuhr ist eine gemessene Kurve (candidate_adev_taus + candidate_adev_values, gleich lang, mindestens 2 Punkte; sie gewinnt, wenn beide Formen angegeben sind) oder eine candidate_clock_class.

Ein Lauf von scenarios/quantum-trade.toml fasst sich zusammen als: quantum-trade | Kandidat measured-ADEV | Zeitgebungs-Holdover 2621947s gegen 203s (12943.62x) | inertial 14108s gegen 378s (37.34x) | Resilienz-Auslauf 14108s | MODELLED [Vorbehalt Untergrenze angenommen]

Eingaben#

Aus dem Schema (kshana kinds --json):

• Erforderliche Felder: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
• Optionale Felder: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

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

Ausführen#

kshana scenarios/quantum-trade.toml

Was es liefert#

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

Ergebnisbezeichnung (die der Engine): MODELLED — quantifiziert (validiert nie) eine Partneruhr/einen Partnersensor; nicht im Flug demonstriert

Nachweise#

MODELLED 1 · VALIDATED 2: die Zeilen der Verifikationsmatrix, die diesen Typ nennen.

• VALIDATED NNLS-Rückgewinnung eines Potenzgesetzes (Weiß-FM + Rotrausch-Boden) aus einer veröffentlichten gemessenen Allan-Abweichung des optischen ⁸⁸Sr-Uhrenübergangs — reproduziert σ_y(τ) und die Skalierung 4.7e-16/√τ bei kurzem τ mit einer echten gemessenen Langzeit-Untergrenze, statt Tests: optical_clock_adev_reference.rs.
• VALIDATED Gemessene-ADEV-NNLS-Anpassung, NEES/NIS-χ²-Konsistenzbänder und die diskrete Prozessrauschkovarianz der Uhr nach Van Loan (Holdover-Auslauf) — das Rechenrückgrat der Trade-Engine Tests: scipy_reference.rs.
• MODELLED Einlesen gemessener ADEV (NNLS), Trade-Tabelle (Zeitgebungs-/inertialer Holdover + Nutzen), Hüllkurve Resilienz über die Zeit; Vorbehalt zur Untergrenze am Artefakt mitgeführt.

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 Gemessene-ADEV-NNLS-Anpassung, NEES/NIS-χ²-Konsistenzbänder und die diskrete Prozessrauschkovarianz der Uhr nach Van Loan (Holdover-Auslauf) — das Rechenrückgrat der Trade-Engine. Unabhängige Referenz (ExternalDataset): scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q exakt, χ² <5e-4 bei Betriebs-Freiheitsgraden. Nur Kernel — Leistungszahlen der Geräte bleiben modelliert (nächste Zeile)
• 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
• MODELLED Einlesen gemessener ADEV (NNLS), Trade-Tabelle (Zeitgebungs-/inertialer Holdover + Nutzen), Hüllkurve Resilienz über die Zeit; Vorbehalt zur Untergrenze am Artefakt mitgeführt. Lauffähig von. Unabhängige Referenz (ExternalDataset): Der Kernel der Anpassung gemessene ADEV→PSD (NNLS) stimmt mit scipy.optimize.nnls überein (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — ein unabhängiger externer Kernel; aber die ZAHLEN des Trades quantifizieren (validieren nie) eine Partneruhr/CAI, sodass der Trade selbst MODELLED bleibt, ohne Validierungsnimbus
• 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

Einschränkungen#

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

• MODELLED — quantifiziert (validiert nie) eine Partneruhr/einen Partnersensor; nicht im Flug demonstriert (Ergebnis label)
• Quanten-gegen-klassisch-PNT-Trade (13503): Nutzen einer Kandidatenuhr bei Zeitgebungs-Holdover + inertialem Holdover (eine gemessene ADEV-Kurve — der Angelpunkt der Verteidigbarkeit — oder eine Quantenuhrklasse) gegen eine klassische Basislinienklasse, mit dem am Artefakt mitgeführten Vorbehalt zur Annahme einer Langzeit-Untergrenze, plus eine Hüllkurve der GNSS-verweigerten Resilienz über die Zeit. (Szenarioarten-Katalog (kshana kinds --json))
• MODELLED; quantifiziert (validiert nie) ein Partnergerät. (Szenarioarten-Katalog (kshana kinds --json))
• Berechnet den Nutzen bei Zeitgebungs-Holdover und inertialem Holdover einer KANDIDATEN-Uhr gegenüber einer KLASSISCHEN Basislinie, plus eine Hüllkurve der GNSS-verweigerten Resilienz über die Zeit. Die Untergrenze des Kandidaten wird durch die MEASURED überlappende ADEV-Kurve einer Partneruhr (der Angelpunkt der Verteidigbarkeit) getrieben, angepasst durch nichtnegative kleinste Quadrate — das Holdover-Budget beruht also auf realen Daten, nicht auf einer angenommenen Langzeit-Untergrenze. (Kommentar der Szenariodatei, Zeilen 3 bis 7)
• EHRLICHER GELTUNGSBEREICH: MODELLED — sie QUANTIFIZIERT den Nutzen einer Quantenuhr eines Partners; sie validiert das Gerät NICHT und borgt sich nie die Validierungsinseln von SGP4/Allan/IGS. Ist die Untergrenze einer Zeile ein angenommener Klassenstandard, wird am Artefakt ein Vorbehalt zur Untergrenze ausgegeben. Lauf: kshana scenarios/quantum-trade.toml (Kommentar der Szenariodatei, Zeilen 9 bis 12)
• 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-PNT-Trade & GNSS-verweigerte Resilienz (13503) ist MODELLED, nicht validiert: Eine Teilaussage wird extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, sodass die Fähigkeit modelliert bleibt. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: Inertial-, Fusions- und Quantensensoren
• Alle Arten: KINDS.md
• Themenseite: POSITIONING.md
• Themenseite: QUANTUM-MODELS.md