lunar-orbit-rendezvous (stsenaariumi liik)
Mootori v0.40.0 stsenaariumi liik, perekond Kuu ja tsislunaarne. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).
Mida see teeb#
MODELLED suhteline navigatsioon Orioni ja maandurit ühendava dokkimise jaoks madalal Kuu orbiidil või elliptilisel polaarorbiidil (Artemis-klass). Jälitaja ja sihtmärk lendavad samal orbiidil crate'i Kuu jõumudeli all; ühine 21-parameetriline partii Gauss-Newtoni hinnang üle kaare (kaks sõiduki olekut ja püsivad signaali ruumis nihked) ühendab ühe absoluutse asukohafiksi sõiduki kohta ILLUSTRATIVE LCNS-klassi releekomplektist (Kuu taha jäävad releesatelliidid jäetakse välja, vaja on nelja, ühisrežiimi signaali ruumis viga tühistub sõidukite vahel) ja ristlingi kauguse, kusjuures kauguse mõõtmise täpsus tuleneb LunaNet AFS piloodi koodijälgimise tõkkest. Esitab formaalse ja Monte Carlo suhtelise asukoha- ja kiirusvea sihtmärgi LVLH telgedes, fiksi kättesaadavuse, keskmise normaliseeritud hinnangu vea ruudu selle oodatud väärtuse suhtes ning iga katse, mille iteratsioon ei koondunud, gravitatsioonihälbete eiramisest tuleneva triivi ja edasi antud täieliku 6x6 kovariatsiooni. Ringjuhu korral rakendub suletud kujuga Hilli/Clohessy-Wiltshire'i kontroll. MODELLED: illustratiivne releekomplekt, veaeelarve ja eeldused; tõeolek ja hindaja jagavad üht jõumudelit, seega kontrollib NEES omavahelist kooskõla, mitte mudeli viga. Agentuuri heakskiitu ei ole; nõuandev tarkvara, mitte kinnitatud navigatsiooniseade.
Ühe scenarios/lunar-orbit-rendezvous.toml käivituse kokkuvõte: lunar-orbit-rendezvous | llo 100x100 km | vahe 2000 m | fiksid 74% | suhtelise asukoha 1-sigma R/A/C 0.03/0.06/0.04 m | keskmine NEES 6,51 (6 oodatud) | koondus 2000 s juures (MODELLED)
Sisendid#
Skeemist (kshana kinds --json):
- Nõutavad väljad: puuduvad
- Valikulised väljad:
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
Näide scenarios/lunar-orbit-rendezvous.toml määrab muu hulgas:
| Väli | Väärtus | Ühik |
|---|---|---|
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 | tekst |
n_relays |
8 | 1 |
n_trials |
50 | ei ole märgitud |
orbit |
llo | tekst |
seed |
20261024 | ei ole märgitud |
separation_m |
2000 | m |
Käivitamine#
kshana scenarios/lunar-orbit-rendezvous.toml
2 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.
Mida see annab#
Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:
| Tulemus | Väärtus | Ühik |
|---|---|---|
advisory |
Nõuandev tarkvara, mitte kinnitatud navigat | tekst |
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 |
partii Gauss-Newton üle kaare | tekst |
evidence.id_rule |
maatriksi rea stabiilne id (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
Tulemuse silt (mootori oma): MODELLED
Tõendid#
MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.
- MODELLED Liik ja faas
lunar-orbit-rendezvous: ühine kahe sõiduki partii Gauss-Newtoni hinnang üle kaare (kakskümmend üks parameetrit: mõlemad olekud ja püsivad signaali ruumis asukohanihked, ühised ja sõltumatud), kasvatatud veerandi, poole Tests: mission_thread_lunar_oracles.rs.
Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):
- MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
- MODELLED Liik ja faas
lunar-orbit-rendezvous: ühine kahe sõiduki partii Gauss-Newtoni hinnang üle kaare (kakskümmend üks parameetrit: mõlemad olekud ja püsivad signaali ruumis asukohanihked, ühised ja sõltumatud), mis. Sõltumatu etalon (InternalConsistency): Omavaheline kooskõla eelregistreerimise all (xval/mission-thread-lunar/PREREGISTRATION.md, tulemused ja hindaja ajalugu failis RESULTS.md): suhtelise oleku keskmine NEES on 5,85 kuni 5,93 võrreldes ribaga 5,2 kuni 6,8 neljas konfiguratsioonis, MET neljanda hindajakujunduse korral pärast seda, kui kolm järjestikuse filtri kujundust jäid tulemata; tõeolek ja hindaja jagavad üht jõumudelit, seega ei ütle see mudeli vea kohta midagi. P - MODELLED Kuu liikide jagatud levitaja (GRAIL GL0660B järk ja aste 150, Maa ja Päikese kolmandad kehad, relatiivsus, DE440 Kuu orientatsioon) võrreldud avaliku. Oraakel (ExternalDataset): JPL Horizonsi kosmoseaparaatide efemeriidid LRO ja CAPSTONE'i jaoks, eelregistreeritud lävede vastu failis xval/mission-thread-lunar/PREREGISTRATION.md (muudatused 1 kuni 6). LRO: MET, 33 m suurim 3D-erinevus ja 2,4 m RMS radiaalne võrreldes 500 m ja 60 m. CAPSTONE: NOT MET, 136,8 km lõppasendi erinevus võrreldes 25 km ja 28,4 km periapsise erinevus võrreldes 10 km, põhjuseid ei eraldatud. Rida on modelleeritud, sest CAPSTON
Piirangud#
Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:
- MODELLED (tulemus
label) - MODELLED suhteline navigatsioon Orioni ja maandurit ühendava dokkimise jaoks madalal Kuu orbiidil või elliptilisel polaarorbiidil (Artemis-klass). (liikide kataloog (
kshana kinds --json)) - MODELLED: illustratiivne releekomplekt, veaeelarve ja eeldused; tõeolek ja hindaja jagavad üht jõumudelit, seega kontrollib NEES omavahelist kooskõla, mitte mudeli viga. (liikide kataloog (
kshana kinds --json)) - AUSTUS: MODELLED. Releekomplekt, signaali ruumis viga, ühisrežiimi osa ja eeldused on ILLUSTRATIVE sisendid, mitte mõõtmised; tõeolek ja hindaja jagavad jõumudelit (sisseehitatud keskliige, J2 ja C22). Eelregistreeritud kooskõlakontroll B1 (keskmine NEES vahemikus [5,2, 6,8]) on täidetud kõigis neljas konfiguratsioonis partii kujunduse korral: vt xval/mission-thread-lunar/RESULTS.md. Kokkulangevust ühegi re (stsenaariumifaili kommentaar, read 10 kuni 14)
- Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
- Suhteline navigatsioon dokkimiseni Kuu orbiidil (
lunar-orbit-rendezvous) on MODELLED, mitte valideeritud: kontrollitud omaenda suletud kujul / analüütilise samasuse vastu — tabab ülekande- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md)) - Kuu jõumudeli levitamine avalike rekonstrueeritud Kuu orbiitide ja tsislunaarsete trajektooride vastu on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, aga kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
Vt ka#
- Perekonna leht: Kuu ja tsislunaarne
- Kõik liigid: KINDS.md
- Teemaleht: MISSION-THREAD-LUNAR.md
- Teemaleht: MISSION-THREAD.md