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/combined-altpnt.md

combined-altpnt (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á#

Kombinovaný gravitační + magnetický + terénní navigátor bez GPS: tři skalární polní kanály sloučené v každém bodu trasy pro ostřejší (s nižší mezí CRLB) určení driftu než kterékoli jednotlivé pole.

Jeden běh scenarios/combined-altpnt.toml se shrnuje takto: combined-altpnt | drift volné inerciální navigace 70659 m | gravitace 464 m magnetismus 782 m terén 368 m | SLOUČENO 365 m

Vstupy#

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

  • Povinná pole: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
  • Volitelná pole: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

Příklad scenarios/combined-altpnt.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
coeffs[0].cbar 6.0000e-6 neuvedeno
coeffs[0].m 0 neuvedeno
coeffs[0].n 2 neuvedeno
coeffs[0].sbar 0 neuvedeno
coeffs[1].cbar 3.0000e-6 neuvedeno
coeffs[1].m 1 neuvedeno
coeffs[1].n 3 neuvedeno
coeffs[1].sbar 2.0000e-6 neuvedeno
dem_seed 1 neuvedeno
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
gravity_sigma_mgal 3 mGal

Spusťte jej#

kshana scenarios/combined-altpnt.toml

Co poskytuje#

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

Výsledek Hodnota Jednotka
combined_m 364.881333 m
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
free_inertial_drift_m 70658.643788 m
gravity_only_m 464.136358 m
magnetic_only_m 782.430009 m
terrain_only_m 367.623242 m
Graf, který engine zapisuje pro scenarios/combined-altpnt.toml, druh combined-altpnt

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é#