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

Stsenaariumi liikide lehedGitHubis veel mitteAllikas: docs/kinds/by-kind/mission-thread.md

mission-thread (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Missiooniahelad. 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 navigatsiooni- ja ajastusvea eelarve nimetatud missioonifaaside ahelale starditest sisenemiseni: start ja tõus, madala Maa orbiidi kohtumine ja dokkimine (korratav), Kuule suunav siirdepõletus (TLI) ja tsislunaarne lend, Kuu orbiidil kohtumine, laskumine, viibimine pinnal, tõus ning tagasitulek ja sisenemine, iga faas üks kaheksast registreeritud liigist oma andurite ja filtriga. 6x6 kovariatsioon, kell ja tugisüsteem antakse faasist faasi edasi nimetatud reegli järgi (kanna edasi, paisuta või omanda uuesti); tugisüsteemide ja ajaskaalade teisendused (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) on eraldi eelarveread, kusjuures Kuu olek pärineb valikulisest DE440 kerneli väljalõikest ja analüütiline rida on nimetatud varuvariant. Valikuline maajaamade võrgu kate määrab iga faasi jälgimistööpõhimõtte. Esitab faasipõhise eelarve (sisenemise, tipu ja väljumise 1-sigmad, iga panus koos ühikuga), varu nimetatud nõude suhtes, nõrgima lüli, sündmused ja ajajoone joonise. MODELLED: iga arv on nimetatud sisend; ahel järgib ühte pinu ja ühtegi sõidukit ei modelleerita. Ainult avalikud allikad; ühegi agentuuriga sidumata ja nende poolt heaks kiitmata; nõuandev tarkvara, mitte kinnitatud navigatsiooniseade.

Ühe scenarios/mission-thread-artemis-class.toml käivituse kokkuvõte: mission-thread | 11 faasi | Artemis-klassi missiooniahel (ILLUSTRATIVE) | nõrgim lüli descent | MODELLED

Sisendid#

Skeemist (kshana kinds --json):

  • Kohustuslikud väljad: epoch_utc, entry, phase
  • Valikulised väljad: kind, title, seed, moon_kernel_path, ground_network

Näide scenarios/mission-thread-artemis-class.toml määrab muu hulgas:

Väli Väärtus Ühik
entry.frame gcrf tekst
entry.sigma_drift_s_per_s 1.0000e-12 s
entry.sigma_pos_m 10 m
entry.sigma_time_s 1.0000e-7 s
entry.sigma_vel_mps 0.01 m/s
entry.timescale utc tekst
entry.x [5.2850e6, 1.8802e6, 3.0253e6, -137.105, 385.389, 0] ei ole märgitud
epoch_utc 2028-01-01T00:00:00Z tekst
ground_network.handover_gap_s 120 s
ground_network.min_elevation_deg 10 deg
ground_network.phases[0].geometry moon-direction tekst
ground_network.phases[0].phase cruise tekst

Käivitamine#

kshana scenarios/mission-thread-artemis-class.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
epoch_utc 2028-01-01T00:00:00Z tekst
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
schema kshana-mission-thread/1 tekst
seed 20261024 1
weakest_link.basis väikseim varu nimetatud nõude suhtes tekst
weakest_link.limiting_source inertsiaalne triiv, ilma abivahendita, ida tekst
weakest_link.margin 1.213087 1
weakest_link.phase_id descent tekst

Tulemuse silt (mootori oma): MODELLED

Mootori joonistatud diagramm failile scenarios/mission-thread-artemis-class.toml, liik mission-thread

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Liik mission-thread: faaside dokument, millest iga on üks kaheksast registreeritud liigist, käivitatud järjekorras, 6x6 kovariatsiooni, kella ja tugisüsteemi edasiandmisega öeldud reegli järgi (carry; inflate, valge kiirendusmüra öeldud vahemiku jooksul Testid: field_units_global.rs.
  • MODELLED Faas launch-ascent: konstantse kiirusega asukoha ja kiiruse kovariatsioon valge kiirendusmüraga (arvestusnavigatsiooni klass), nimetatud täpsusega GNSS-fiks, mida rakendatakse pärast omandamisaega ja väljaspool nimetatud signaalikadusid, nihke-ja-
  • MODELLED Faas leo-rendezvous: suhteline olek sihtmärgi LVLH telgedes suletud kujuga Clohessy-Wiltshire'i siirdega, 6x6 Kalmani kovariatsioon valge kiirendusmüraga ja asukohauuendused, mille dispersioon on anduri oma praegusel
  • MODELLED Faas tli-and-cruise: keskmine olek mootori Cowelli levitajaga (Maa punktmass ja J2, Päike ja Kuu kolmandate kehadena, Kuu lõimest DE440 kernelist seal, kus see lõiku katab, ja Päike analüütilisest serie
  • ja veel 4 maatriksis.

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 mission-thread: faaside dokument, millest iga on üks kaheksast registreeritud liigist, käivitatud järjekorras, 6x6 kovariatsiooni, kella ja tugisüsteemi edasi andes. Sõltumatu etalon (InternalConsistency): Käsitsiarvutused testides (sirgjoonelise kovariatsiooni kasv, keskmine sideeriline pööre, ilmalik Kuu kellakiirus) ja ainult Kuu oleku puhul kinnitatud DE440 kerneli väljalõiked kinnistatud JPL Horizonsi väärtuste vastu (halvim 2,6 m ja 7e-6 m/s). Ahelaga ei võrrelda ühtegi missiooniandmestikku; selle faasid on eraldi read. Dokument on nimetatud ahel ILLUSTRATIVE sisenditega, ainult avalikud allikad ja ühtegi agentuuri heakskiitu
  • MODELLED Faas launch-ascent: konstantse kiirusega asukoha ja kiiruse kovariatsioon valge kiirendusmüraga (arvestusnavigatsiooni klass), nimetatud täpsusega GNSS-fiks. Sõltumatu etalon (InternalConsistency): Riccati püsiolek ja ennustuse käsitsiarvutus testides. Siin ei modelleerita kanderaketti ega vastuvõtjat; iga arv on nimetatud sisend
  • MODELLED Faas leo-rendezvous: suhteline olek sihtmärgi LVLH telgedes suletud kujuga Clohessy-Wiltshire'i siirdega, 6x6 Kalmani kovariatsioon valge. Sõltumatu etalon (InternalConsistency): Ühe telje käsitsiarvutus ennustuse ja uuenduse kohta testis; Clohessy-Wiltshire'i siire on see, mida cw_dynamics kontrollib sõltumatu numbrilise integreerimise vastu. Andurid on ILLUSTRATIVE ja ühtegi päris kohtumist ei võrrelda
  • MODELLED Faas tli-and-cruise: keskmine olek mootori Cowelli levitajaga (Maa punktmass ja J2, Päike ja Kuu kolmanda kehana, Kuu lõimest. Sõltumatu etalon (InternalConsistency): Liouville'i teoreem (konservatiivse osa olekusiirdemaatriksi determinant on üks) ja peenem vahe testides; keskmist olekut võrreldakse avaliku trajektooriga allolevas reas, mille see möödub. Impulsi viga, uuendusi ja kovariatsiooni ei võrrelda millegagi

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • MODELLED navigatsiooni- ja ajastusvea eelarve nimetatud missioonifaaside ahelale starditest sisenemiseni: start ja tõus, madala Maa orbiidi kohtumine ja dokkimine (korratav), Kuule suunav siirdepõletus (TLI) ja tsislunaarne lend, Kuu orbiidil kohtumine, laskumine, viibimine pinnal, tõus ning tagasitulek ja sisenemine, iga faas üks kaheksast registreeritud liigist oma andurite ja filtriga. (liikide kataloog (kshana kinds --json))
  • MODELLED: iga arv on nimetatud sisend; ahel järgib ühte pinu ja ühtegi sõidukit ei modelleerita. (liikide kataloog (kshana kinds --json))
  • AUSTUS. Iga arv siin on ILLUSTRATIVE: ümar suurus, mis on valitud ahela käitamiseks, mitte ühegi sõiduki, anduri, jaama ega võrgu jõudlus. Ahel järgib ühte pinu nimetatud lihtsustusena; sõidukivahetusi, meeskonnaülekandeid ja Kuu orbiidi jaama ei modelleerita, Kuu orbiidid on 100 km ringorbiit ja polaarorbiidid, mida Kuu liigid lendavad (mitte peaaegu sirgjooneline halo-orbiit), ja TLI põletus on (stsenaariumifaili kommentaar, read 11 kuni 17)
  • 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))
  • Navigatsiooni- ja ajastusvea eelarve missioonifaaside ahelale starditest sisenemiseni (mission-thread) 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))
  • Start ja tõus parkimisorbiidile GNSS-i omandamise ja summutusega (launch-ascent) 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))
  • Suhteline navigatsioon dokkimisümbriseni madalal Maa orbiidil üle andurilõikude (leo-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))
  • Kuule suunav siirdepõletus (TLI) ja tsislunaarne lend: levitatud keskmine olek ja kovariatsioon jälgimisuuendustega (tli-and-cruise) 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))

Vt ka#