lunar-orbit-rendezvous (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 relativní navigace pro dokování ve stylu Orion–lander na nízké lunární oběžné dráze nebo eliptické polární dráze (třída Artemis). Chaser a cíl létají po téže dráze podle lunárního modelu sil v crate; společný dávkový odhad Gauss–Newton s 21 parametry přes oblouk (dva stavy vozidel a trvalé biasy signálu v prostoru) slučuje absolutní polohové určení pro každé vozidlo ze sady relé ILLUSTRATIVE třídy LCNS (relé za Měsícem se vyřadí, potřeba jsou čtyři, společná složka chyby signálu v prostoru se mezi vozidly vyruší) a křížový odhad vzdálenosti, s přesností měření vzdálenosti danou mezí sledování kódu na pilotu LunaNet AFS. Uvádí formální chybu relativní polohy a rychlosti i chybu metodou Monte Carlo v osách LVLH cíle, dostupnost určení, střední normalizovanou kvadratickou chybu odhadu oproti její očekávané hodnotě a každý pokus, jehož iterace nezkonvergovala, drift vzniklý zanedbáním gravitačních harmonických a úplnou kovarianci 6x6 předávanou dál. Pro kruhový případ platí kontrola v uzavřeném tvaru podle Hilla/Clohessyho–Wiltshirea. MODELLED: ilustrativní sada relé, rozpočet chyb a apriorní hodnoty; skutečnost a odhadovač sdílejí jeden model sil, takže NEES kontroluje vnitřní konzistenci a nikoli chybu modelu. Bez podpory agentury; software pouze poradního charakteru, nikoli certifikované navigační zařízení.

Jeden běh scenarios/lunar-orbit-rendezvous.toml se shrne takto: lunar-orbit-rendezvous | llo 100x100 km | sep 2000 m | určení 74% | rel. poloha 1sigma R/A/C 0.03/0.06/0.04 m | střední NEES 6,51 (6 očekáváno) | zkonvergovalo při 2000 s (MODELLED)

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree

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

Spusťte jej#

kshana scenarios/lunar-orbit-rendezvous.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-orbit-rendezvous: společný dávkový odhad Gauss–Newton dvou vozidel přes oblouk (dvacet jeden parametrů: oba stavy a trvalé polohové biasy signálu v prostoru, společné i nezávislé), narůstající přes čtvrtinu, polovinu. Testy: mission_thread_lunar_oracles.rs.

Řá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-orbit-rendezvous: společný dávkový odhad Gauss–Newton dvou vozidel přes oblouk (dvacet jeden parametrů: oba stavy a trvalé polohové biasy signálu v prostoru, společné i nezávislé), narůstající přes čtvrtinu, polovinu. Orákulum (InternalConsistency): Vnitřní konzistence podle předregistrace (xval/mission-thread-lunar/PREREGISTRATION.md, výsledky a historie odhadovače v RESULTS.md): střední NEES relativního stavu je 5,85 až 5,93 oproti pásmu 5,2 až 6,8 ve čtyřech konfiguracích, MET u čtvrtého návrhu odhadovače poté, co tři návrhy se sekvenčním filtrem práh nesplnily; skutečnost a odhadovač sdílejí jeden model sil, takže to nic neříká o chybě modelu. Pro
• 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 relativní navigace pro dokování ve stylu Orion–lander na nízké lunární oběžné dráze nebo eliptické polární dráze (třída Artemis). (katalog druhů (kshana kinds --json))
• MODELLED: ilustrativní sada relé, rozpočet chyb a apriorní hodnoty; skutečnost a odhadovač sdílejí jeden model sil, takže NEES kontroluje vnitřní konzistenci a nikoli chybu modelu. (katalog druhů (kshana kinds --json))
• ČESTNOST: MODELLED. Sada relé, chyba signálu v prostoru, podíl společné složky a apriorní hodnoty jsou ILLUSTRATIVE vstupy, nikoli měření; skutečnost a odhadovač sdílejí model sil (vestavěný centrální člen, J2 a C22). Předregistrovaná kontrola konzistence B1 (střední NEES v [5,2, 6,8]) je splněna ve všech čtyřech konfiguracích u dávkového návrhu: viz xval/mission-thread-lunar/RESULTS.md. Žádná shoda s žádným skutečným (komentář v souboru scénáře, řádky 10 až 14)
• 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))
• Relativní navigace k dokování na lunární oběžné dráze (lunar-orbit-rendezvous) je MODELLED, nikoli ověřena: 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))
• 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