Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/sweep-nd.md

sweep-nd (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Hodiny, časování a holdover. 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á#

Obecný N-rozměrný průchod libovolným balíčkem přes klíče TOML s tečkami / cesty metrik JSON.

Jeden běh scenarios/sweep-nd-inertial.toml se shrnuje takto: obecný průchod inertial přes [threshold_m, accel_classical.bias] | 15 uzlů (tvar [5, 3]) | metriky [classical.fom.holdover_s, classical.fom.pos_rms_m]

Vstupy#

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

  • Povinná pole: base, axes, metrics
  • Volitelná pole: žádná

Příklad scenarios/sweep-nd-inertial.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
axes[0].key threshold_m text
axes[0].start 100 neuvedeno
axes[0].steps 5 neuvedeno
axes[0].stop 500 neuvedeno
axes[1].key accel_classical.bias text
axes[1].scale logaritmická text
axes[1].start 0.001 neuvedeno
axes[1].steps 3 neuvedeno
axes[1].stop 0.003 neuvedeno
axes[1].unit m/s^2 text
base.accel_classical.bias 0.00157 neuvedeno
base.accel_classical.bias_instability 1.0000e-5 neuvedeno

Spusťte jej#

kshana scenarios/sweep-nd-inertial.toml

Co poskytuje#

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

Výsledek Hodnota Jednotka
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier PARTNER text
Graf, který engine zapisuje pro scenarios/sweep-nd-inertial.toml, druh sweep-nd

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 Složený rozpočet polohy z biasu + faktoru měřítka + VRW + poklesu stability během holdoveru. Oracle (ReferenceImpl): Nezávislá integrace SDE metodou Monte Carlo v numpy dvojitě integrovaného šumu bílého zrychlení (ověřuje analytický rozptyl VRW skutečně nezávislým algoritmem) + zveřejněná hodnota z Groves 2013 jako kotva pro členy biasu a faktoru měřítka; čísla zařízení CAI vyčíslují hardware partnera a zůstávají MODELLED
  • 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 Průchod druhu campaign (jeden až tři klíče zapsané s tečkami libovolného druhu, na hodnotách os obecného průchodu, volitelně se souborem v každém uzlu) a oddíl monte_carlo. Oracle (InternalConsistency): Uzavřený tvar náhodné procházky fáze při šumu bílé frekvence, rozptyl q_wf tau (NIST Technical Note 1337), pro statistický aparát a bajtová shoda se samostatnými běhy pro seedování. Kontroluje aritmetiku souboru na vlastním modelu hodin enginu, nikoli vnější datovou sadu

Omezení#

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

  • 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))
  • Odolnost kvantové inerciální dead-reckoning navigace je MODELLED, nikoli ověřena proti nezávislé vnější referenci: kontroluje se proti samostatné implementaci v téže kódové základně, nezávislé na testované jednotce, ale není vnějším autoritativním zdrojem. (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))
  • Průchody parametrů a Monte Carlo soubory se seedem přes libovolný druh scénáře jsou MODELLED, nikoli ověřeny proti nezávislé vnější referenci: kontrolují se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#