quantum-gnss-free-nav (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Inerciální, fúzní a kvantové senzory. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Kvantová navigace bez GNSS, stav MODELLED: během výpadku GNSS rozpočet kvantové (studený atomový interferometr) inerciální navigace oproti klasickému INS navigační třídy — růst chyby polohy při dobíhání, holdover k prahu polohy a obchodní srovnání kvantového a klasického přístupu jako otevřené TradeEvidence s reprezentativností. Otevřená poznámka k pozorovatelnosti: bez vnější opravy je zkreslení akcelerometru nepozorovatelné, takže chyba roste; kvantové čidlo tuto mezeru zpomaluje, ale neuzavírá. Ilustrativní parametry zařízení z veřejných zdrojů; modeluje třídu, žádné TRL/let/certifikace.

Jeden běh scenarios/quantum-gnss-free-nav.toml se shrnuje takto: quantum-gnss-free-nav | výpadek 300s | chyba polohy kvantový 0,00 m oproti klasickému 37,31 m (8289.5x) | holdover kvantový 44721s oproti klasickému 534s (práh 100 m) | obchodní srovnání vítězí kvantový 2/2 | MODELLED

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: outage_s, threshold_m, quantum_bias_m_s2, classical_bias_m_s2

Příklad scenarios/quantum-gnss-free-nav.toml mimo jiné nastavuje:

Spusťte jej#

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

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Důkazy#

Žádný řádek matice tento druh nejmenuje; označení jeho výsledku je vlastní označení enginu uvedené výše.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Akcelerometr s atomovým interferometrem se studenými atomy z prvních principů (k_eff·T², QPN). Oracle (ExternalDataset): Číselné vektory z primárních prací o CAI (Cheinet 2008, přenosová funkce; Peters/Freier, citlivost): k_eff·T² přesně shodné, ASD výstřelového šumu jednostranné dno do ~2× od každého zveřejněného přístroje (skutečná zařízení nesou technický šum nad kvantovým dnem). Rozmezí, nikoli shoda. 0,30 kolo 2 (předregistrováno fcb9ac64), zjištění (zůstává MODELLED): rotační šum jen od QPN proti naměřenému Gauguet et al.
• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• PARTNER Neposkytuje se — pouze modely výkonu; hardware se studenými atomy a hodinami je záležitostí partnera. Orákulum (NoneKind): žádné: disciplína ve vlastnictví partnera, záměrně bez modulu a bez testu
• MODELLED Jeden reprodukovatelný objekt TradeEvidence (pevný rámec: scénář+seed+engine; společné hodnoty kvantový-vs-klasický pro každý ukazatel kvality s polaritně správným přínosem, volitelné 95%. Orákulum (InternalConsistency): Identity uzavřeného tvaru pro přínos/vítěze a věrný obal stávajícího quantum_trade::TradeResult; poctivost svázaná s registrem reprezentativnosti a štítky ověření
• MODELLED Kvantová (studený atomový interferometr) oproti klasické navigaci INS navigační třídy metodou dead-reckoning při výpadku GNSS: růst chyby polohy, holdover k prahu polohy,. Orákulum (InternalConsistency): Znovu použité inerciální rozpočty křížově zkontrolované proti nezávislé dvojité integraci téhož ODE dead-reckoningu v Octave (jiný runtime, sdílený model → ReferenceImpl) plus publikovaný krátkodobý šum Freier-2016 jako jednostranná kotva; kvantové-vs-klasické složené srovnání zůstává MODELLED

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• Kvantová navigace bez GNSS, stav MODELLED: během výpadku GNSS rozpočet kvantové (studený atomový interferometr) inerciální navigace oproti klasickému INS navigační třídy — růst chyby polohy při dobíhání, holdover k prahu polohy a obchodní srovnání kvantového a klasického přístupu jako otevřené TradeEvidence s reprezentativností. (katalog druhů (kshana kinds --json))
• Kvantová navigace bez GNSS — kvantová (studený atomový interferometr) oproti klasické navigaci INS navigační třídy metodou dead-reckoning při výpadku GNSS. MODELLED; ilustrativní parametry zařízení z veřejných zdrojů; modeluje třídu, žádné tvrzení o TRL ani letu. (komentář v souboru scénáře, řádky 1 až 3)
• Výkon kvantových inerciálních senzorů je MODELLED, nikoli ověřen proti nezávislé vnější referenci: dílčí tvrzení je zkontrolováno externě, ale celá schopnost skládá dohromady části vypočtené z modelu, takže schopnost zůstává vypočtena z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Důkazy z obchodního srovnání kvantového a klasického přístupu (společný tvar) jsou MODELLED, nikoli ověřené: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Kvantová navigace bez GNSS je MODELLED, nikoli ověřená: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Inerciální, fúzní a kvantové senzory
• Všechny druhy: KINDS.md
• Tematická stránka: QUANTUM-MODELS.md
• Tematická stránka: QUANTUM.md