Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedGitHubis veel mitteAllikas: docs/kinds/by-kind/lunar-orbit-rendezvous.md

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

Mootori joonistatud diagramm failile scenarios/lunar-orbit-rendezvous.toml, liik lunar-orbit-rendezvous

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#