lunar-orbit-rendezvous (skenaariolaji)
Moottorin v0.40.0 skenaariotyyppi, 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 merkintä on moottorin tai varmennusmatriisin antama; tyyppi on MODELLED, ellei matriisi muuta sano (miten merkintä ansaitaan: README:n Evidence-osio).
Mitä se tekee#
MODELLED suhteellinen navigointi Orion–laskeutuja-tyyppiselle telakoinnille matalalla Kuun kiertoradalla tai elliptisellä napakiertoradalla (Artemis-luokka). Takaa-ajaja ja kohde lentävät samaa rataa paketin Kuun voimamallin mukaan; yhteinen 21-parametrinen eräpohjainen Gauss–Newton-estimaatti kaaren yli (kaksi ajoneuvon tilaa ja pysyvät signaalitien harhat) yhdistää ajoneuvokohtaisen absoluuttisen paikkakorjauksen ILLUSTRATIVE LCNS-luokan releiden joukosta (Kuun taakse jäävät releet pudotetaan, neljä tarvitaan, yhteismoodin signaalitien virhe kumoutuu ajoneuvojen välillä) ja ristikkäislinkin etäisyysmittauksen, jonka etäisyysmittauksen tarkkuus tulee LunaNet AFS -pilotin koodiseurannan rajasta. Raportoi muodollisen ja Monte Carlo -suhteellisen paikka- ja nopeusvirheen kohteen LVLH-akseleissa, korjausten saatavuuden, keskimääräisen normalisoidun estimointivirheen neliön suhteessa odotusarvoonsa, kaikki kokeet, joiden iteraatio ei suppennut, gravitaatioharmonisten sivuuttamisesta aiheutuvan ajautuman sekä eteenpäin siirretyn täyden 6x6-kovarianssin. Suljetun muodon Hill/Clohessy–Wiltshire-tarkistus koskee ympyräratatapausta. MODELLED: havainnollistava releiden joukko, virhebudjetti ja priorit; totuus ja estimaattori käyttävät samaa voimamallia, joten NEES tarkistaa itsejohdonmukaisuutta eikä mallivirhettä. Ei minkään viraston suosittelema; ohjeellinen ohjelmisto, ei virallisesti hyväksytty navigointilaite.
Yksi tiedoston scenarios/lunar-orbit-rendezvous.toml ajo tiivistyy seuraavasti: lunar-orbit-rendezvous | llo 100x100 km | etäisyys 2000 m | korjaukset 74 % | suht. paikka 1-sigma R/A/C 0.03/0.06/0.04 m | keskim. NEES 6,51 (6 odotettu) | suppeni arvolla 2000 s (MODELLED)
Syötteet#
Skeemasta (kshana kinds --json):
- Pakolliset kentät: ei yhtään
- Valinnaiset kentät:
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
Esimerkki scenarios/lunar-orbit-rendezvous.toml asettaa muun muassa seuraavat:
| Kenttä | Arvo | Yksikkö |
|---|---|---|
afs_cn0_dbhz |
35 | dB-Hz |
arc_s |
7200 | s |
carried_pos_sigma_m |
100 | m |
carried_vel_sigma_m_s |
0.1 | m/s |
common_mode_fraction |
0.9 | 1 |
isl_cn0_dbhz |
35 | dB-Hz |
kind |
lunar-orbit-rendezvous | teksti |
n_relays |
8 | 1 |
n_trials |
50 | ei ilmoitettu |
orbit |
llo | teksti |
seed |
20261024 | ei ilmoitettu |
separation_m |
2000 | m |
Aja se#
kshana scenarios/lunar-orbit-rendezvous.toml
2 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat hakemistossa scenarios/.
Mitä se antaa#
Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:
| Tulos | Arvo | Yksikkö |
|---|---|---|
advisory |
Ohjeellinen ohjelmisto, ei virallisesti hyväksytty navigoi | teksti |
arc_s |
7200 | s |
common_mode_fraction |
0.9 | 1 |
converged_at_s |
2000 | s |
cw_check.max_position_difference_m |
41.035408 | m |
cw_check.ratio_to_separation |
0.020518 | 1 |
cw_check.separation_m |
2000 | m |
estimator |
eräpohjainen Gauss–Newton kaaren yli | teksti |
evidence.id_rule |
matriisirivin vakaa tunniste (ID | teksti |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | teksti |
Tuloksen merkintä (moottorin oma): MODELLED
Todisteet#
MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.
- MODELLED Laji ja vaihe
lunar-orbit-rendezvous: yhteinen kahden ajoneuvon eräpohjainen Gauss–Newton-estimaatti kaaren yli (kaksikymmentäyksi parametria: molemmat tilat ja pysyvät signaalitien paikkaharhat, yhteiset ja riippumattomat), kasvatettu neljänneksen, puolen Tests: mission_thread_lunar_oracles.rs.
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 Laji ja vaihe
lunar-orbit-rendezvous: yhteinen kahden ajoneuvon eräpohjainen Gauss–Newton-estimaatti kaaren yli (kaksikymmentäyksi parametria: molemmat tilat ja pysyvät signaalitien. Oraakkeli (InternalConsistency): Itsejohdonmukaisuus ennakkorekisteröinnin alaisena (xval/mission-thread-lunar/PREREGISTRATION.md, tulokset ja estimaattorin historia tiedostossa RESULTS.md): suhteellisen tilan keskimääräinen NEES on 5,85–5,93 kaistaa 5,2–6,8 vasten neljässä kokoonpanossa, MET neljännellä estimaattorirakenteella sen jälkeen, kun kolme peräkkäissuodinrakennetta oli jäänyt vajaaksi; totuus ja estimaattori käyttävät samaa voimamallia, joten tämä ei kerro mallivirheestä mitään. The p - MODELLED Kuutyyppien jakama propagaattori (GRAIL GL0660B aste ja kertaluku 150, Maa ja Aurinko kolmansina kappaleina, suhteellisuus, DE440-Kuun orientaatio) verrattuna julk. Oraakkeli (ExternalDataset): JPL Horizons -avaruusalusefemeridit LRO:lle ja CAPSTONElle, kynnyksiä vasten, jotka on ennalta rekisteröity tiedostossa xval/mission-thread-lunar/PREREGISTRATION.md (muutokset 1–6). LRO: MET, suurin 3D-ero 33 m ja radiaalinen RMS 2,4 m, kun kynnykset ovat 500 m ja 60 m. CAPSTONE: NOT MET, loppupaikan ero 136,8 km, kun kynnys on 25 km, ja periapsiksen ero 28,4 km, kun kynnys on 10 km, syitä ei eristetty. Rivi on mallinnettu, koska CAPSTON
Rajoitukset#
Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:
- MODELLED (tulos
label) - MODELLED suhteellinen navigointi Orion–laskeutuja-tyyppiselle telakoinnille matalalla Kuun kiertoradalla tai elliptisellä napakiertoradalla (Artemis-luokka). (lajiluettelo (
kshana kinds --json)) - MODELLED: havainnollistava releiden joukko, virhebudjetti ja priorit; totuus ja estimaattori käyttävät samaa voimamallia, joten NEES tarkistaa itsejohdonmukaisuutta eikä mallivirhettä. (lajiluettelo (
kshana kinds --json)) - REHELLISYYS: MODELLED. Releiden joukko, signaalitien virhe, yhteismoodin osuus ja priorit ovat ILLUSTRATIVE syötteitä, eivät mittauksia; totuus ja estimaattori käyttävät samaa voimamallia (sisäänrakennettu keskustermi, J2 ja C22). Ennakkorekisteröity johdonmukaisuustarkistus B1 (keskimääräinen NEES välillä [5,2, 6,8]) täyttyy kaikissa neljässä kokoonpanossa eräpohjaisella rakenteella: ks. xval/mission-thread-lunar/RESULTS.md. Ei yhtään sopivuutta minkään todellisen kanssa (skenaariotiedoston kommentti, rivit 10–14)
- 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))
- Suhteellinen navigointi telakointiin Kuun kiertoradalla (
lunar-orbit-rendezvous) on MODELLED, ei validoitu: tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vastaan, mikä paljastaa kirjoitus- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md)) - Kuun voimamallin propagointi julkisia rekonstruoituja kuukiertäjien ja kuunläheisiä lentoratoja vasten on MODELLED, ei validoitu: osaväite tarkistetaan ulkoisesti, mutta koko ominaisuus koostuu mallinnetuista osista, joten ominaisuus pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
Katso myös#
- Perhesivu: Kuu ja kuunläheinen avaruus
- Kaikki lajit: KINDS.md
- Aihesivu: MISSION-THREAD-LUNAR.md
- Aihesivu: MISSION-THREAD.md