lunar-ascent (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 motorický výstup z jihopolárního povrchového místa na oběžnou dráhu setkání a kovariance polohy a rychlosti, kterou přenáší zpět na dráhu (ve stylu Artemis). Pětistavový inerciální model chyb po osách z lunar-descent (poloha, rychlost, bias akcelerometru, náklon polohy, bias gyroskopu, buzený specifickou silou) běží na všech třech osách místa od povrchového stavu, s nímž fáze vstupuje; určení polohy AFS z viditelných relé ILLUSTRATIVE konstelace třídy LCNS (samostatné, nebo diferenční s využitím rezidua korekčního spoje z lunar-differential-pnt, s podporou hodin, když jsou viditelná jen tři relé) se pořizuje v stanoveném intervalu, přičemž lunární čas vstupuje přes hodiny vozidla a chyba časové značky podél dráhy. Uvádí uzavřené inerciální zdroje, příspěvek podpory, ablaci, navigační 1 sigma po dobu výstupu, rozptyl vypnutí motoru vedle navigační znalosti a úplnou kovarianci 6x6 MCI při vložení se zachovanou korelací polohy a rychlosti. MODELLED: ilustrační třída IMU, specifická síla, sada relé a rozptyl vypnutí; chyby držené v osách místa startu; nominální výstupní stav je zástupný. Bez podpory agentury; software pouze poradního charakteru, nikoli certifikované navigační zařízení.

Jeden běh scenarios/lunar-ascent.toml se shrne takto: lunar-ascent | -89.50 deg | jen inerciálně 785 m / 3,49 m/s | s AFS 11,4 m / 0,071 m/s | rozptyl vložení 1,73 m/s (MODELLED)

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

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

Spusťte jej#

kshana scenarios/lunar-ascent.toml

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-ascent: pětistavový inerciální model chyb po osách běžící přes motorický výstup se specifickou silou podél trajektorie, podporovaný určeními polohy AFS a lunárním časem, uvádějící kovarianci polohy a rychlosti při vložení přenášenou

Řá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-ascent: pětistavový inerciální model chyb po osách běžící přes motorický výstup se specifickou silou podél trajektorie, podporovaný určeními polohy AFS. Orákulum (InternalConsistency): Inerciální drift v uzavřeném tvaru a kontroly monotónnosti v testech. Neporovnává se žádný uskutečněný výstup
• MODELLED Propagátor, který sdílejí lunární druhy (GRAIL GL0660B stupně a řádu 150, Země a Slunce jako třetí tělesa, relativita, lunární orientace DE440), porovnaný s veřejnými. Orákulum (ExternalDataset): Efemeridy kosmických lodí z JPL Horizons pro LRO a CAPSTONE, proti prahům předregistrovaným v xval/mission-thread-lunar/PREREGISTRATION.md (dodatky 1 až 6). LRO: MET, největší rozdíl ve 3D 33 m a radiální RMS 2,4 m proti 500 m a 60 m. CAPSTONE: NOT MET, rozdíl koncové polohy 136,8 km proti 25 km a rozdíl periapsidy 28,4 km proti 10 km, příčiny nebyly izolovány. Řádek je modelovaný, protože práh CAPSTON

Omezení#

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

• MODELLED (výsledek label)
• MODELLED motorický výstup z jihopolárního povrchového místa na oběžnou dráhu setkání a kovariance polohy a rychlosti, kterou přenáší zpět na dráhu (ve stylu Artemis). (katalog druhů (kshana kinds --json))
• MODELLED: ilustrační třída IMU, specifická síla, sada relé a rozptyl vypnutí; chyby držené v osách místa startu; nominální výstupní stav je zástupný. (katalog druhů (kshana kinds --json))
• ČESTNOST: MODELLED. Třída IMU, zarovnání, specifická síla a rozptyl vypnutí jsou ILLUSTRATIVE vstupy, nikoli měření. Chyby jsou drženy v osách východ-sever-nahoru místa startu, bez zakřivení dráhy po směru letu, a nominální výstupní stav je zástupný v místní svislici místa: výsledkem je jen kovariance. Netvrdí se žádná shoda s žádným skutečným vozidlem. Software pouze poradního charakteru, nikoli c (komentář v souboru scénáře, řádky 11 až 15)
• 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))
• Motorický výstup z lunárního polárního místa na dráhu vložení (lunar-ascent) je MODELLED, nikoli ověřen: zkontrolován proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není externím orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Propagace lunárním silovým modelem proti veřejným rekonstruovaným trajektoriím lunárních orbiterů a cislunárních těles je MODELLED, nikoli ověřena: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává modelovaná. (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