cislunar-observability (skenaariolaji)

Moottorin v0.40.0 skenaariolaji, perhe Kuu ja kuunläheinen avaruus. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

MODELLED tasomaisen kuunläheisen satelliittitähdistön havaittavuus (P6): seuraa neljän avaruusaluksen differentiaalikorjattua tasomaista DRO-satelliittitähdistöä satelliittien välisellä etäisyysmittauksella ja raportoi, kuinka suuren osan avaruusaluksen nelitilasta [x,y,ẋ,ẏ] kaari tekee havaittavaksi. Tuottaa (1) aste-kaaren pituutta vastaan -taulukon yhdelle pelkkää etäisyyttä käyttävälle linkille — hetkellisesti aste 1, kasvaa kohti täyttä nelitilaa kaaren pidentyessä (P6 Table 1); (2) havaittavuuden Gramin matriisin ominaisarvospektrin ja ehtoluvun kaaren yli; (3) pelkkä etäisyys vs etäisyys+etäisyysnopeus -hetkellisen asteen vertailun (Doppler-suunnitteluvipu) sekä pelkän etäisyyden singulaarisen / etäisyys+nopeus-määritellyn GDOP-raportoinnin; ja (4) riippumattoman SRIF-ristiinvalidoinnin, jonka posteriorikovarianssi muuttuu äärelliseksi / hyvin ehdolliseksi täsmälleen kaarella, jolla havaittava aste saavuttaa neljä. VALIDATED ydin: havaittava aste on asteen paljastava singulaariarvokynnys, joka on ristiintarkistettu Gramin matriisin ominaisarvoasteella; ominaisarvospektri noudattaa spektri-invariantteja (trace=Σλ, det=Πλ, Frobenius²=Σλ²); variaatiotilansiirtomatriisi on äärellisellä differenssillä validoitu CR3BP:n tilansiirtomatriisi; etäisyyden/etäisyysnopeuden jakobiaanin rivit ovat äärellisellä differenssillä validoituja analyyttisiä osittaisderivaattoja (ristiintarkistettu paketin 3-D-etäisyysnopeushavaintoa vastaan); neljä alkuehtoa ovat differentiaalikorjattuja tasomaisia DRO:ita, jotka sulkeutuvat tiukkaan jaksollisuusjäännökseen ja ovat vastakulkuisia; asteen siirtymä on ristiinvalidoitu paketin neliöjuuri-informaatiosuodattimella (posteriorikovarianssi äärellinen täsmälleen täydellä asteella, cond(P)=cond(OᵀO)); asteeltaan vajaa tilannekuva merkitään GDOP-määrittelemättömäksi (fim condition=inf), ei koskaan valheelliseksi äärelliseksi arvoksi — sama singulaarigeometriasuoja, jota pvt::solve_spp soveltaa. MODELLED: satelliittitähdistön suunnittelu (DRO:n periluna-amplitudit ja vaiheet) ja sen tuottama erityinen asteen eteneminen. Ei sertifioitu navigoinnin suorituskykytuote.

Yksi ajo tiedostosta scenarios/cislunar-observability.toml tiivistyy näin: cislunar-observability | 4 s/c (3 viitettä) | 6,0 h kaari, 24 epookkia | aste 1 → 4 / 4 kaaren yli | Gramin matriisin λ [2.92e-11…5.98e-2] cond 2.05e9 | hetkellinen aste pelkkä etäisyys 2 → etäisyys+nopeus 4 (3 linkkiä) | GDOP pelkkä etäisyys määrittelemätön etäisyys+nopeus 6,353 | DRO-alkuehdot (suurin jaksollisuusjäännös 4.7e-9) | SRIF-posteriori äärellinen asteen 4 epookilla 8 (validoitu: aste/STM/DRO-sulkeutuminen/SRIF, mallinnettu: suunnittelu)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: mu, arc_hours, epochs, steps, rel_tol, spatial, sigma_range_m, family, n_spacecraft, sigma_pos_threshold_km

Esimerkki scenarios/cislunar-observability.toml asettaa muun muassa:

Aja se#

kshana scenarios/cislunar-observability.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulosnimike (moottorin oma): MODELLED tasomaisen kuunläheisen satelliittitähdistön havaittavuus (P6). VALIDATED ydin: havaittava ASTE on asteen paljastava singulaariarvokynnys, joka on ristiintarkistettu Gramin matriisin ominaisarvoasteella; Gramin matriisin ominaisarvospektri noudattaa spektri-invariantteja (trace = sum eig, det = prod eig, Frobenius^2 = sum eig^2

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

• MODELLED Kuunläheisen avaruuden kaaren pituuden havaittavuuskynnys AVARUUDELLISESSA kuuden tilan CR3BP-mallissa tasomaisen nelitilaisen mallin sijaan, DRO-, L2 halo- ja L2 lähes suoraviivaisen halon perheissä, kun mittauskohina tulee Gramin matriisiin ja KAKSI kriteeriä raportoi

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

• MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
• MODELLED Kuunläheisen avaruuden kaaren pituuden havaittavuuskynnys AVARUUDELLISESSA kuuden tilan CR3BP-mallissa tasomaisen nelitilaisen mallin sijaan, DRO-, L2 halo- ja L2 lähes suoraviivaisen ha. Oraakkeli (InternalConsistency): Riippumaton rivi-porrasmuodon aste, joka lasketaan Gaussin eliminaatiolla osittaisella pivotoinnilla, vahvistaa jokaisen kuuden tilan astetuloksen — eri algoritmi, joka ei jaa koodia testattavan ominaisarvo-/SVD-reitin kanssa. CR3BP:n tilansiirtomatriisilla (6×6), jonka tämä koostaa, on oma oraakkeli (ReferenceImpl) SciPy-kirjaston variaatiointegrointia vastaan, ja halo-/NRHO-alkuehdot tulevat korjaimesta, joka toistaa julkaistun L2 souther

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• MODELLED tasomaisen kuunläheisen satelliittitähdistön havaittavuus (P6). VALIDATED ydin: havaittava ASTE on asteen paljastava singulaariarvokynnys, joka on ristiintarkistettu Gramin matriisin ominaisarvoasteella; Gramin matriisin ominaisarvospektri noudattaa spektri-invariantteja (jälki = summa eig, det = tulo eig, Frobenius^2 = summa eig^2); variaatioyhtälön tilansiirtomatriisi on differenssimenetelmällä validoitu CR3BP:n tilansiirtomatriisi (crate::cr3bp); etäisyys-/etäisyysnopeus-Jacobin rivit (tulos label)
• MODELLED tasomaisen kuunläheisen tähdistön havaittavuus (P6): seuraa neljän avaruusaluksen differentiaalikorjattua tasomaista DRO-tähdistöä satelliittien välisellä etäisyysmittauksella ja raportoi, kuinka suuren osan avaruusaluksen nelitilaisesta tilasta [x,y,ẋ,ẏ] kaari tekee havaittavaksi. (tyyppiluettelo (kshana kinds --json))
• MODELLED: tähdistön suunnittelu (DRO:n perilune-amplitudit ja -vaiheet) ja sen tuottama tietty asteen eteneminen. (tyyppiluettelo (kshana kinds --json))
• Rehellisyys: MODELLED. VALIDATED ydin -- havaittava ASTE on asteen paljastava singulaariarvokynnys, joka on ristiintarkistettu Gramin matriisin ominaisarvoasteella; ominaisarvospektri noudattaa spektri-invariantteja (jälki = summa eig, det = tulo eig, Frobenius^2 = summa eig^2); variaatioyhtälön tilansiirtomatriisi on differenssimenetelmällä validoitu CR3BP:n tilansiirtomatriisi; etäisyys-/etäisyysnopeus-Jacobin rivit ovat differenssimenetelmällä validoituja analyyttisiä osittaisderivaattoja (ristiintar (skenaariotiedoston kommentti, rivit 16–25)
• Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
• Avaruudellinen, kohinainen, usean perheen kuunläheisen kaaren pituuden havaittavuus on MODELLED, ei validoitu: se on tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vasten — se havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: Kuu ja kuunläheinen avaruus
• Kaikki lajit: KINDS.md