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/gravity-map.md

gravity-map (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Alternativní PNT bez GPS. 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á#

Navigace shodou s gravitační mapou bez GPS: studenoatomový gravimetr z posloupnosti gravitačních anomálií, kterou přeletí, určí konstantní drift INS.

Jeden běh scenarios/gravity-map-nav.toml se shrnuje takto: gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Vstupy#

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

  • Povinná pole: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
  • Volitelná pole: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

Příklad scenarios/gravity-map-nav.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 neuvedeno
coeffs[0].m 0 neuvedeno
coeffs[0].n 2 neuvedeno
coeffs[0].sbar 0 neuvedeno
coeffs[1].cbar 2.0000e-6 neuvedeno
coeffs[1].m 1 neuvedeno
coeffs[1].n 3 neuvedeno
coeffs[1].sbar 1.0000e-6 neuvedeno
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 neuvedeno

Spusťte jej#

kshana scenarios/gravity-map-nav.toml

Tento druh používají 4 přibalené scénáře; ostatní jsou v scenarios/.

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 MODELLED text
free_inertial_drift_m 78301.878584 m
map_matched_error_m 1881.790568 m
measurement_sigma_mgal 2 mGal
Graf, který engine zapisuje pro scenarios/gravity-map-nav.toml, druh gravity-map

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 Porovnávání s gravitační mapou, navigace podle terénu (TERCOM/SITAN), magnetická anomálie. Oracle (InternalConsistency): koeficienty IGRF-14; CRLB signálově přizpůsobeného filtru z prvních principů. Pole v gravitačním benchmarku se skutečným polem je zkontrolováno externě (řádek 'Gravity-anomaly synthesis from a spherical-harmonic model'), ale jeho navigační výsledek nemá žádné vnější orákulum
  • 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

Omezení#

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

  • Alternativní / doplňkové PNT je MODELLED, nikoli ověřeno proti nezávislé vnější referenci: kontroluje 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))
  • 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))

Viz také#