quantum-trade (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Inertsiaal-, liitmis- ja kvantsensorid. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Kvant-vs-klassikaline PNT kompromiss (13503): kandidaatkella ajastuse-holdover-i + inertsiaalse holdover-i kasu (mõõdetud ADEV kõver — kaitstavuse hingedetail — või kvantkella klass) vs klassikaline lähteklass, kusjuures pika tau põhjataseme eelduse hoiatus kantakse artefaktil kaasa, pluss GNSS-ita vastupidavuse-ajas ümbris. MODELLED; kvantifitseerib (mitte kunagi ei valideeri) partneri seadet. Kandidaatkell on mõõdetud kõver (candidate_adev_taus + candidate_adev_values, võrdse pikkusega, vähemalt 2 punkti; mõlema vormi andmisel see võidab) või candidate_clock_class.

Ühe scenarios/quantum-trade.toml käivituse kokkuvõte: quantum-trade | kandidaat mõõdetud ADEV | ajastuse holdover 2621947s vs 203s (12943.62x) | inertsiaalne 14108s vs 378s (37.34x) | vastupidavuse libisemine 14108s | MODELLED [põhjataseme-eelduse hoiatus]

Sisendid#

Skeemist (kshana kinds --json):

• Kohustuslikud väljad: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
• Valikulised väljad: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

Näide scenarios/quantum-trade.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/quantum-trade.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemuse silt (mootori oma): MODELLED — kvantifitseerib (mitte kunagi ei valideeri) partneri kella/andurit; lennul demonstreerimata

Tõendid#

MODELLED 1 · VALIDATED 2: selle liigi nimetavad kontrollimaatriksi read.

• VALIDATED Astmeseaduse (valge FM + punase müra põhjatase) NNLS-taastamine avaldatud mõõdetud ⁸⁸Sr optilise kellaülemineku Alani hälbest — reprodutseerib σ_y(τ) ja peamise 4.7e-16/√τ lühikese τ skaleerumise tegeliku mõõdetud pika τ põhjatasemega, mitte Testid: optical_clock_adev_reference.rs.
• VALIDATED Mõõdetud ADEV NNLS-sobitus, NEES/NIS χ² kooskõlavahemikud ja kella van-Loani diskreetse protsessimüra (holdover-libisemise) kovariatsioon — kompromissimootori arvutuslik selgroog Testid: scipy_reference.rs.
• MODELLED Mõõdetud ADEV sisestus (NNLS), kompromissitabel (ajastuse/inertsiaalne holdover + kasu), vastupidavuse-ajas ümbris; põhjataseme hoiatus kantakse artefaktil kaasa.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• VALIDATED Mõõdetud ADEV NNLS-sobitus, NEES/NIS χ² kooskõlavahemikud ja kella van-Loani diskreetse protsessimüra (holdover-libisemise) kovariatsioon — kompromissimootori arvutuslik. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q täpne, χ² <5e-4 töö vabadusastmetel. Ainult tuumad — seadme jõudlusnumbrid jäävad modelleeritud tasemele (järgmine rida)
• MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
• MODELLED Mõõdetud ADEV sisestus (NNLS), kompromissitabel (ajastuse/inertsiaalne holdover + kasu), vastupidavuse-ajas ümbris; põhjataseme hoiatus kantakse artefaktil kaasa. Käivitatav alates. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): mõõdetud ADEV→PSD sobituse (NNLS) tuum ühtib scipy.optimize.nnls-iga (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — sõltumatu väline tuum; kuid kompromissi ARVUD kvantifitseerivad (mitte kunagi ei valideeri) partneri kella/CAI-d, mistõttu kompromiss ise jääb MODELLED, ilma valideerimise sära
• PARTNER Ei paku — ainult toimivusmudelid; külmaatomi/kella riistvara on partneri oma. Sõltumatu etalon (NoneKind): puudub: partneri vastutusala, kujundatud nii, et mooduli ega testi ei ole

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

• MODELLED — kvantifitseerib (mitte kunagi ei valideeri) partneri kella/andurit; lennul demonstreerimata (tulemus label)
• Kvant-vs-klassikaline PNT kompromiss (13503): kandidaatkella ajastuse-holdover-i + inertsiaalse holdover-i kasu (mõõdetud ADEV kõver — kaitstavuse hingedetail — või kvantkella klass) vs klassikaline lähteklass, kusjuures pika tau põhjataseme eelduse hoiatus kantakse artefaktil kaasa, pluss GNSS-ita vastupidavuse-ajas ümbris. (liikide kataloog (kshana kinds --json))
• MODELLED; kvantifitseerib (mitte kunagi ei valideeri) partneri seadet. (liikide kataloog (kshana kinds --json))
• Arvutab ajastuse-holdover-i ja inertsiaalse holdover-i kasu KANDIDAATkellale KLASSIKALISE lähtetaseme ees, pluss GNSS-ita vastupidavuse-ajas ümbrise. Kandidaadi põhjataseme määrab partneri kella MEASURED kattuv ADEV kõver (kaitstavuse hingedetail), mis on sobitatud mittenegatiivsete vähimruutudega — seega põhineb holdover-i eelarve tegelikel andmetel, mitte eeldatud pika tau põhjatasemel. (stsenaariumifaili kommentaar, read 3–7)
• AUS ULATUS: MODELLED — see KVANTIFITSEERIB partneri kvantkella kasu; see EI valideeri seadet ega laena kunagi SGP4/Alani/IGS-i valideerimissaari. Kui mis tahes rea põhjatase on eeldatud klassi vaikeväärtus, kuvatakse artefaktil põhjataseme hoiatus. Käivitamine: kshana scenarios/quantum-trade.toml (stsenaariumifaili kommentaar, read 9–12)
• Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Kvant-vs-klassikaline PNT kompromiss ja GNSS-ita vastupidavus (13503) on MODELLED, mitte valideeritud: alamväidet kontrollitakse välisel teel, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleeritud tasemele. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#

• Perekonna leht: Inertsiaal-, liitmis- ja kvantsensorid
• Kõik liigid: KINDS.md
• Teemaleht: POSITIONING.md
• Teemaleht: QUANTUM-MODELS.md