quantum-gnss-free-nav (scenarietype)

Scenarietype i motoren v0.40.0, familie Inertial-, fusions- og kvantesensorer. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: afsnittet Evidens i README).

Hvad det gør#

MODELLED GNSS-fri kvantenavigation: under et GNSS-udfald et inertibudget for kvante (kold-atom-interferometer) mod et klassisk INS af navigationskvalitet — vækst af positionsfejl over coast-perioden, holdover til en tærskel for position og afvejningen mellem kvante og klassisk som ærlig TradeEvidence med repræsentativitet. Ærlig note om observerbarhed: uden en ekstern positionsbestemmelse er accelerometerets bias uobserverbar, så fejlen vokser; kvantesensoren bremser, men lukker ikke dette hul. Illustrative enhedsparametre fra offentlige kilder; modellerer klassen, ingen TRL/flyvning/certificering.

Én kørsel af scenarios/quantum-gnss-free-nav.toml opsummeres som: quantum-gnss-free-nav | udfald 300s | positionsfejl kvante 0,00 m mod klassisk 37,31 m (8289.5x) | holdover kvante 44721s mod klassisk 534s (tærskel 100 m) | afvejning: kvante vinder 2/2 | MODELLED

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: outage_s, threshold_m, quantum_bias_m_s2, classical_bias_m_s2

Eksemplet scenarios/quantum-gnss-free-nav.toml angiver blandt andet:

Kør den#

kshana scenarios/quantum-gnss-free-nav.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Koldatom-interferometer-accelerometer ud fra grundprincipper (k_eff·T², QPN). Uafhængig reference (ExternalDataset): Offentliggjorte numeriske vektorer fra CAI-primærartikler (Cheinet 2008, overføringsfunktion; Peters/Freier, følsomhed): k_eff·T² stemte præcist, skudstøjens ASD et ensidet gulv inden for ca. 2× af hvert offentliggjort instrument (rigtige enheder har teknisk støj over kvantegulvet). Et interval, ikke paritet. 0,30 runde 2 (præregistreret fcb9ac64), et fund (forbliver MODELLED): rotationsstøjen med kun QPN mod den målte Gauguet et al.
• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• PARTNER Ikke leveret: kun ydelsesmodeller; koldatom-/urhardware er en partners. Uafhængig reference (NoneKind): ingen: en disciplin, som partneren ejer, uden modul og uden test i designet
• MODELLED Ét reproducerbart TradeEvidence-objekt (fast ramme: scenarie+seed+motor; fælles værdier for kvante mod klassisk pr. kvalitetsmål med polaritetskorrekt fordel, valgfri 95%. Uafhængig reference (InternalConsistency): identiteter i lukket form for fordel og vinder + tro indpakning af det eksisterende quantum_trade::TradeResult; ærligheden er knyttet til registeret over repræsentativitet og verifikationsmærkaterne
• MODELLED Kvante (kold-atom-interferometer) mod klassisk dødregning med INS af navigationskvalitet over et GNSS-udfald: vækst af positionsfejl, holdover til en tærskel for position,. Uafhængig reference (InternalConsistency): genbrugte inertibudgetter krydskontrolleret mod en uafhængig dobbeltintegration i Octave af den samme ODE for dødregning (anden køretid, delt model → ReferenceImpl) plus Freier-2016's offentliggjorte kortidsstøj som et ensidigt ankerpunkt; sammensætningen af kvante mod klassisk forbliver MODELLED

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED GNSS-fri kvantenavigation: under et GNSS-udfald et inertibudget for kvante (kold-atom-interferometer) mod et klassisk INS af navigationskvalitet — vækst af positionsfejl over coast-perioden, holdover til en tærskel for position og afvejningen mellem kvante og klassisk som ærlig TradeEvidence med repræsentativitet. (typekatalog (kshana kinds --json))
• GNSS-fri kvantenavigation — dødregning med kvante (kold-atom-interferometer) mod klassisk INS af navigationskvalitet over et GNSS-udfald. MODELLED; illustrative enhedsparametre fra offentlige kilder; modellerer klassen, ingen påstand om TRL eller flyvning. (kommentar i scenariefilen, linje 1 til 3)
• Kvanteinertial sensorydelse er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Afvejning mellem kvante og klassisk (fælles form) er MODELLED, ikke valideret: kontrolleret mod dens egen identitet i lukket/analytisk form — det fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• GNSS-fri kvantenavigation er MODELLED, ikke valideret: kontrolleret mod dens egen identitet i lukket/analytisk form — det fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Inertial-, fusions- og kvantesensorer
• Alle typer: KINDS.md
• Emneside: QUANTUM-MODELS.md
• Emneside: QUANTUM.md