lunar-descent (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Lunární a cislunární. 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ý štítek zde je štítkem enginu nebo verifikační matice; druh je MODELLED, pokud matice neříká jinak (jak se štítek získává: oddíl Evidence v README).

Co dělá#

MODELLED rozpočet rozptylu přistání pro motorický sestup na místo u jižního pólu (třída Artemis). Pro každou horizontální osu je pětistavový model inerciální chyby (poloha, rychlost, bias akcelerometru, náklon polohy, bias gyroskopu) řízen měrnou silou sestupu; sekvenční filtr přijímá polohové určení z povolených pomůcek: určení AFS z viditelných relé ILLUSTRATIVE konstelace třídy LCNS (samostatně, nebo diferenciálně s využitím rezidua korekčního spoje z lunar-differential-pnt, s podporou hodin, jsou-li viditelná jen tři relé) a určení podle terénu (porovnávač TERCOM/SITAN v crate na syntetickém reliéfu, nebo Cramérova–Raova mez porovnávání výškového okna skutečného jihopolárního DEM z LOLA). Lunární čas vstupuje přes hodiny vozidla při určeních (posun LTC-TT z lunar-time-offset nebo nejistota jeho zveřejněného pásma) a jako chyba časové značky podél dráhy. Uvádí 3sigma elipsu přistání, R95, inerciální zdroje v uzavřeném tvaru, příspěvek každé pomůcky, ablaci každé kombinace pomůcek, kalibraci elipsy metodou Monte Carlo a předávanou kovarianci. MODELLED: ilustrativní třída IMU, sada relé, profil sestupu a naváděcí člen; navigace podle terénu používá syntetický reliéf v měřítku metrů na Zemi; dostupnost AFS je jedna epocha na plochém prahu. Bez podpory agentury; software pouze poradního charakteru, nikoli certifikované navigační zařízení.

Jeden běh scenarios/lunar-descent.toml se shrne takto: lunar-descent | -89.50 deg | pouze inerciálně 517/517 m (E/N) | s pomůckami 7.6/4.8 m | rozptyl R95 51 m | 3sigma elipsa 64 x 62 m | 99,1% uvnitř (očekáváno 98,9%) (MODELLED)

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

Příklad scenarios/lunar-descent.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/lunar-descent.toml

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

Co poskytuje#

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

Štítek výsledku (enginu): MODELLED

Důkazy#

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

• MODELLED Druh a fáze lunar-descent: pětistavový model inerciální chyby pro každou osu (poloha, rychlost, bias akcelerometru, náklon, bias gyroskopu) při motorickém sestupu, podporovaný určeními AFS (samostatně nebo diferenciálně, s podporou hodin při třech relé

Řá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 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
• MODELLED Druh a fáze lunar-descent: pětistavový model inerciální chyby pro každou osu (poloha, rychlost, bias akcelerometru, náklon, bias gyroskopu) při motorickém sestupu,. Orákulum (InternalConsistency): Inerciální drift v uzavřeném tvaru, vlastní výsledky znovu použitých druhů a kalibrace 3sigma elipsy (podíl uvnitř odpovídá očekávání) v testech. Neporovnává se žádné uskutečněné ani zkoušené přistání

Omezení#

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

• MODELLED (výsledek label)
• MODELLED rozpočet rozptylu přistání pro motorický sestup na místo u jižního pólu (třída Artemis). (katalog druhů (kshana kinds --json))
• MODELLED: ilustrativní třída IMU, sada relé, profil sestupu a naváděcí člen; navigace podle terénu používá syntetický reliéf v měřítku metrů na Zemi; dostupnost AFS je jedna epocha na plochém prahu. (katalog druhů (kshana kinds --json))
• ČESTNOST: MODELLED. Třída IMU, profil sestupu, sada relé, chyba signálu v prostoru a naváděcí člen jsou ILLUSTRATIVE vstupy, nikoli měření. Režim navigace podle terénu používá samostatný syntetický reliéf a měřítko metrů na Zemi, takže člen terénu je zde chování porovnávače na zástupném reliéfu, nikoli tvrzení o jihopolárním reliéfu: varianta lola-crlb (lunar-descent-lola.toml) používá skutečný (komentář v souboru scénáře, řádky 14 až 20)
• 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))
• Rozpočet rozptylu přistání na lunárním polárním místě (lunar-descent) je MODELLED, nikoli ověřen: 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))

Viz také#

• Stránka rodiny: Lunární a cislunární
• Všechny druhy: KINDS.md
• Stránka tématu: MISSION-THREAD-LUNAR.md
• Stránka tématu: MISSION-THREAD.md