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/mars-pnt.md

mars-pnt (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Konstelace, pokrytí a geometrie. 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á#

Marsovské PNT v hlubokém vesmíru: simulovaná konstelace relé MARCONI (areostacionární + nakloněná relé vysílající jednosměrně + předávající dvousměrně do stanice v hlubokém vesmíru) navigují referenčního uživatele (transfer | lmo | surface) přes společný fúzní odhadovač jednosměrného/dvousměrného radiometrického měření. Uvádí geometrii/viditelnost v každé epoše, dosažené RMS vůči pravdě a formální kovarianci (1σ / 3σ polohy) — čestné simulované měřítko kvality, NEJDE o ochrannou úroveň s certifikací.

Jeden běh scenarios/mars-pnt-lmo.toml se shrne takto: mars-pnt 5aad87fcc94a | uživatel lmo, hodiny uso | 5 relé (průměrně 3,1 ve výhledu) | konvergované RMS polohy 0,25 m, formální 1σ 0,31 m (3σ 0,93 m — měřítko kvality z kovariance, nikoli PL s certifikací) | σ frekvence hodin 3.71e-13 | cov-PD true

Vstupy#

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

  • Povinná pole: žádná
  • Volitelná pole: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

Příklad scenarios/mars-pnt-lmo.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
clock_class uso text
doppler_sigma_mps 1.0000e-4 m/s
duration_s 7200 s
dynamic_tightness 0.1 neuvedeno
kind mars-pnt text
nmax 4 neuvedeno
range_sigma_m 1 m
seed 331514052 neuvedeno
step_s 60 s
two_way_period_s 1800 s
user lmo text

Spusťte jej#

kshana scenarios/mars-pnt-lmo.toml

Tento druh používají 3 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
areostationary_radius_m 2.0428e7 m
clock_class uso text
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
fom.converged_pos_3sigma_m 0.927387 m
fom.converged_pos_rms_m 0.245604 m
fom.converged_pos_sigma_m 0.309129 m
fom.covariance_pd_throughout true příznak
fom.epochs 120 počet
Graf, který engine zapisuje pro scenarios/mars-pnt-lmo.toml, druh mars-pnt

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Druh body-pnt: orbiter nebo povrchový lander kolem tělesa zvoleného podle názvu navigují jednosměrnými pseudovzdálenostmi z navigační konstelace typu Walker kolem tělesa (dvoutělesové dráhy se sekulárním driftem J2 tělesa, neznámé hodiny uživatele

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

  • VALIDATED Obnova stavu v epoše [r,v] ze vzdáleností od pozemních stanic pomocí dávkového diferenciálního korektoru Gauss–Newton a sekvenčního filtru nad silovým modelem dvou těles+J2. Orákulum (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) BatchLSEstimator (Levenberg–Marquardt) + KalmanEstimator (EKF) — nezávislá odhadovací knihovna třetí strany na shodném silovém modelu; obnovený stav v epoše a RMS reziduí po fitu se shodují na <1e-3 m bez šumu a <3 m při hladině šumu 5 m
  • MODELLED 3stavové (fáze / frekvence / drift) Kalmanovy hodiny van Loan, Joseph-stabilizované. Oracle (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), s F přes scipy.linalg.expm a Q přes blokovou matici Van Loan 1978 -- nezávislá referenční implementace reprodukující celou trajektorii filtru Kshany. Konzistence mezi implementacemi: fyzika hodin a kalibrace Allanovy odchylky nejsou ověřeny proti nezávislé vnější referenci, proto zůstává MODELLED. 0,30 vnější srovnání, zjištění (zůstává MODELLED): na hodinách IGS final 30 s z 11 GPS Blo
  • 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é:

  • Odhad stavu palubních hodin je MODELLED, nikoli ověřen 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))

Viz také#