cislunar-observability (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é 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á#

MODELLED pozorovatelnost rovinné cislunární konstelace (P6): sleduje konstelaci čtyř družic na diferenciálně korigovaných rovinných drahách DRO s meziddružicovým měřením vzdálenosti a uvádí, jak velká část čtyřstavu [x,y,ẋ,ẏ] družice je na oblouku pozorovatelná. Vydává (1) tabulku hodnosti podle délky oblouku pro jediný spoj jen se vzdáleností -- okamžitě hodnost 1, rostoucí k plnému čtyřstavu s prodlužováním oblouku (P6 Table 1); (2) spektrum vlastních čísel Gramiánu pozorovatelnosti a číslo podmíněnosti přes oblouk; (3) srovnání okamžité hodnosti jen se vzdáleností a se vzdáleností plus její rychlostí změny (návrhová páka Doppler) spolu s hlášením GDOP, které je singulární pro jen vzdálenost a definované pro vzdálenost plus rychlost; a (4) nezávislou křížovou validaci SRIF, jejíž posteriorní kovariance se stane konečnou a dobře podmíněnou přesně na oblouku, kde pozorovatelná hodnost dosáhne čtyř. VALIDATED jádro: pozorovatelná hodnost je práh singulárních čísel odhalující hodnost, zkontrolovaný proti hodnosti z vlastních čísel Gramiánu; spektrum vlastních čísel splňuje spektrální invarianty (stopa=Σλ, det=Πλ, Frobenius²=Σλ²); variační STM je STM CR3BP ověřená konečnými diferencemi; řádky jakobiánu vzdálenosti a rychlosti změny vzdálenosti jsou analytické parciální derivace ověřené konečnými diferencemi (zkontrolované proti 3-D pozorovatelné rychlosti změny vzdálenosti v crate); čtyři počáteční podmínky jsou diferenciálně korigované rovinné DRO, které se uzavírají na těsné reziduum periodicity a jsou retrográdní; přechod hodnosti je křížově validován proti filtru odmocniny informace v crate (posteriorní kovariance konečná přesně při plné hodnosti, cond(P)=cond(OᵀO)); snímek s deficitem hodnosti je označen jako GDOP-nedefinované (fim condition=inf), nikdy ne smyšlenou konečnou hodnotou -- stejná ochrana proti singulární geometrii, jakou používá pvt::solve_spp. MODELLED: návrh konstelace (amplitudy a fáze perilunia DRO) a konkrétní postup hodnosti, který vytváří. Nejde o produkt s certifikací navigačního výkonu.

Jeden běh scenarios/cislunar-observability.toml se shrnuje takto: cislunar-observability | 4 s/c (3 ref.) | oblouk 6,0 h, 24 epoch | hodnost 1 → 4 ze 4 přes oblouk | λ Gramiánu [2.92e-11…5.98e-2] cond 2.05e9 | okamžitá hodnost jen vzdálenost 2 → vzdálenost+rychlost 4 (3 spoje) | GDOP jen vzdálenost nedefinováno, vzdálenost+rychlost 6,353 | počáteční podmínky DRO (max. reziduum periodicity 4.7e-9) | posteriorní SRIF konečná v epoše 8 s hodností 4 (ověřeno proti nezávislé vnější referenci: hodnost / STM / uzavření DRO / SRIF; vypočteno z modelu: návrh)

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

Příklad scenarios/cislunar-observability.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/cislunar-observability.toml

Co poskytuje#

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

Označení výsledku (z enginu): MODELLED pozorovatelnost rovinné cislunární konstelace (P6). VALIDATED jádro: pozorovatelná HODNOST je práh singulárních čísel odhalující hodnost, zkontrolovaný proti hodnosti z vlastních čísel Gramiánu; spektrum vlastních čísel Gramiánu splňuje spektrální invarianty (stopa = součet vl. čísel, det = součin vl. čísel, Frobenius^2 = součet vl. čísel^2

Důkazy#

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

• MODELLED Práh pozorovatelnosti podle délky cislunárního oblouku v PROSTOROVÉM šestistavovém CR3BP namísto rovinného čtyřstavu, napříč rodinami DRO, halo L2 a téměř přímočaré halo L2, se šumem měření vstupujícím do Gramiánu a DVĚMA kritérii, která uvádí

Řá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 Práh pozorovatelnosti podle délky cislunárního oblouku v PROSTOROVÉM šestistavovém CR3BP namísto rovinného čtyřstavu, napříč rodinami DRO, halo L2 a téměř přímočaré L2 ha. Oracle (InternalConsistency): Nezávislá hodnost v řádkově odstupňovaném tvaru Gaussovou eliminací s částečným výběrem pivotu potvrzuje každý verdikt o hodnosti šestistavu -- jiný algoritmus, který nesdílí žádný kód s testovanou cestou vlastních čísel / SVD. Přechodová matice stavu CR3BP 6×6, kterou se skládá, nese vlastní orákulum ReferenceImpl proti variační integraci v SciPy a počáteční podmínky halo/NRHO pocházejí z korektoru, který reprodukuje zveřejněné jižní L2

Omezení#

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

• MODELLED pozorovatelnost rovinné cislunární konstelace (P6). VALIDATED jádro: pozorovatelná HODNOST je práh singulárních čísel odhalující hodnost, zkontrolovaný proti hodnosti z vlastních čísel Gramiánu; spektrum vlastních čísel Gramiánu splňuje spektrální invarianty (stopa = součet vl. čísel, det = součin vl. čísel, Frobenius^2 = součet vl. čísel^2); variační STM je STM CR3BP ověřená konečnými diferencemi (crate::cr3bp); řádky jakobiánu vzdálenosti / rychlosti změny vzdálenosti (výsledek label)
• MODELLED pozorovatelnost rovinné cislunární konstelace (P6): sleduje konstelaci čtyř družic na diferenciálně korigovaných rovinných drahách DRO s meziddružicovým měřením vzdálenosti a uvádí, jak velká část čtyřstavu [x,y,ẋ,ẏ] družice je na oblouku pozorovatelná. (katalog druhů (kshana kinds --json))
• MODELLED: návrh konstelace (amplitudy a fáze perilunia DRO) a konkrétní postup hodnosti, který vytváří. (katalog druhů (kshana kinds --json))
• Poctivost: MODELLED. VALIDATED jádro -- pozorovatelná HODNOST je práh singulárních čísel odhalující hodnost, zkontrolovaný proti hodnosti z vlastních čísel Gramiánu; spektrum vlastních čísel splňuje spektrální invarianty (stopa = součet vl. čísel, det = součin vl. čísel, Frobenius^2 = součet vl. čísel^2); variační STM je STM CR3BP ověřená konečnými diferencemi; řádky jakobiánu vzdálenosti / rychlosti změny vzdálenosti jsou analytické parciální derivace ověřené konečnými diferencemi (zkont (komentář v souboru scénáře, řádky 16 až 25)
• 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))
• Prostorová, zašuměná pozorovatelnost délky cislunárního oblouku napříč více rodinami je MODELLED, nikoli ověřena 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))

Viz také#

• Stránka rodiny: Lunární a cislunární
• Všechny druhy: KINDS.md