Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutEi vielä GitHubissaLähde: docs/kinds/by-kind/mission-thread.md

mission-thread (skenaariolaji)

Moottorin v0.40.0 skenaariolaji, perhe Tehtäväketjut. 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 navigointi- ja ajoitusvirhebudjetti määritellylle tehtävävaiheiden ketjulle laukaisusta paluuseen: laukaisu ja nousu, matalan Maan kiertoradan kohtaaminen ja telakointi (toistettava), Kuuhun siirtyvä injektio ja kuunläheinen risteily, Kuun kiertoradan kohtaaminen, laskeutuminen, oleskelu pinnalla, nousu sekä paluu ja ilmakehään tulo, kukin vaihe yksi kahdeksasta rekisteröidystä lajista omine antureineen ja suotimineen. 6x6-kovarianssi, kello ja koordinaatisto siirretään vaiheesta toiseen määritellyn säännön mukaan (kanna, paisuta tai hanki uudelleen); koordinaatisto- ja aikaskaalamuunnokset (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) ovat omia budjettirivejään, ja Kuun tila tulee valinnaisesta DE440-kernelin leikkauksesta ja analyyttinen sarja on ilmoitettu varakeino. Valinnainen maaverkon peitto asettaa kunkin vaiheen seurantatyökuorman. Raportoi vaihekohtaisen budjetin (tulo-, huippu- ja poistumis-1-sigmat, jokainen osuus yksikköineen), marginaalin määriteltyyn vaatimukseen nähden, heikoimman lenkin, tapahtumat ja aikajanakuvan. MODELLED: jokainen luku on ilmoitettu syöte; ketju noudattaa yhtä pinoa, eikä mitään ajoneuvoa mallinneta. Vain julkisia lähteitä; ei ole sidoksissa mihinkään virastoon eikä sen hyväksymä; ohjeellinen ohjelmisto, ei virallisesti hyväksytty navigointilaite.

Yksi tiedoston scenarios/mission-thread-artemis-class.toml ajo tiivistyy seuraavasti: mission-thread | 11 vaihetta | Artemis-luokan tehtäväketju (ILLUSTRATIVE) | heikoin lenkki laskeutuminen | MODELLED

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: epoch_utc, entry, phase
  • Valinnaiset kentät: kind, title, seed, moon_kernel_path, ground_network

Esimerkki scenarios/mission-thread-artemis-class.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
entry.frame gcrf teksti
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 teksti
entry.x [5.2850e6, 1.8802e6, 3.0253e6, -137.105, 385.389, 0] ei ilmoitettu
epoch_utc 2028-01-01T00:00:00Z teksti
ground_network.handover_gap_s 120 s
ground_network.min_elevation_deg 10 deg
ground_network.phases[0].geometry moon-direction teksti
ground_network.phases[0].phase cruise teksti

Aja se#

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

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
epoch_utc 2028-01-01T00:00:00Z teksti
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
schema kshana-mission-thread/1 teksti
seed 20261024 1
weakest_link.basis pienin marginaali suhteessa määriteltyyn vaatimukseen teksti
weakest_link.limiting_source inertiaajautuma, ei apuvälinettä, itä teksti
weakest_link.margin 1.213087 1
weakest_link.phase_id descent teksti

Tuloksen merkintä (moottorin oma): MODELLED

Kaavio, jonka moottori kirjoittaa tiedostolle scenarios/mission-thread-artemis-class.toml, laji mission-thread

Todisteet#

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

  • MODELLED Tyyppi mission-thread: vaiheiden asiakirja, jossa kukin vaihe on yksi kahdeksasta rekisteröidystä tyypistä, ajetaan järjestyksessä ja 6x6-kovarianssi, kello ja koordinaatisto siirretään eteenpäin ilmoitetun säännön mukaan (carry; inflate, valkoinen kiihtyvyyskohina ilmoitetun välin yli Testit: field_units_global.rs.
  • MODELLED Vaihe launch-ascent: vakionopeuksinen paikan ja nopeuden kovarianssi valkoisella kiihtyvyyskohinalla (dead reckoning -luokka), määritellyn tarkkuuden GNSS-korjaus, jota sovelletaan hankinta-ajan jälkeen ja määriteltyjen häipymien ulkopuolella, harhan ja
  • MODELLED Vaihe leo-rendezvous: suhteellinen tila kohteen LVLH-akseleissa suljetun muodon Clohessy–Wiltshire-siirtymällä, 6x6 Kalman-kovarianssi valkoisella kiihtyvyyskohinalla ja paikkapäivitykset, joiden varianssi on anturin varianssi kulloisella
  • MODELLED Vaihe tli-and-cruise: keskitila moottorin Cowell-propagaattorilla (Maa pistemassana ja J2, Aurinko ja Kuu kolmansina kappaleina, Kuu ketjun DE440-kernelistä, missä se kattaa osuuden, ja Aurinko analyyttisestä sarj
  • ja 4 lisää matriisissa.

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 mission-thread: vaiheiden asiakirja, kukin vaihe yksi kahdeksasta rekisteröidystä lajista, ajettuna järjestyksessä niin, että 6x6-kovarianssi, kello ja koordinaatisto siirretään eteenpäin määrit. Oraakkeli (InternalConsistency): Käsinlaskut testeissä (suoraviivaisen kovarianssin kasvu, keskimääräinen tähtiaikainen pyöriminen, Kuun kellon sekulaarinen nopeus) ja vain Kuun tilan osalta sitoutetut DE440-kernelin leikkaukset kiinnitettyjä JPL Horizons -arvoja vasten (pahin 2,6 m ja 7e-6 m/s). Mitään tehtävädataa ei verrata ketjuun; sen vaiheet ovat omia rivejään. Asiakirja on määritelty ketju ILLUSTRATIVE syötteillä, vain julkisia lähteitä eikä minkään viraston suositusta
  • MODELLED Vaihe launch-ascent: vakionopeuksinen paikan ja nopeuden kovarianssi valkoisella kiihtyvyyskohinalla (dead reckoning -luokka), määritellyn tarkkuuden GNSS-korjaus. Oraakkeli (InternalConsistency): Riccatin vakaa tila ja ennusteen käsinlasku testeissä. Mikään tässä ei mallinna kantorakettia tai vastaanotinta; jokainen luku on ilmoitettu syöte
  • MODELLED Vaihe leo-rendezvous: suhteellinen tila kohteen LVLH-akseleissa suljetun muodon Clohessy–Wiltshire-siirtymällä, 6x6 Kalman-kovarianssi valkoisella . Oraakkeli (InternalConsistency): Yksiakselinen käsinlasku ennustamisesta ja päivittämisestä testissä; Clohessy–Wiltshire-siirtymä on se, jonka cw_dynamics tarkistaa riippumatonta numeerista integrointia vasten. Anturit ovat ILLUSTRATIVE, eikä mitään todellista kohtaamista verrata
  • MODELLED Vaihe tli-and-cruise: keskimääräinen tila moottorin Cowell-propagaattorilla (Maan pistemassa ja J2, Aurinko ja Kuu kolmansina kappaleina, Kuu kolmannesta. Oraakkeli (InternalConsistency): Liouvillen lause (konservatiivisen osan tilasiirtymämatriisin determinantti on yksi) ja hienompi differenssi testeissä; keskimääräistä tilaa verrataan julkiseen lentoratakäyrään alla olevalla rivillä, jonka se ei täytä. Polttovirhettä, päivityksiä ja kovarianssia ei verrata mihinkään

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED navigointi- ja ajoitusvirhebudjetti määritellylle tehtävävaiheiden ketjulle laukaisusta paluuseen: laukaisu ja nousu, matalan Maan kiertoradan kohtaaminen ja telakointi (toistettava), Kuuhun siirtyvä injektio ja kuunläheinen risteily, Kuun kiertoradan kohtaaminen, laskeutuminen, oleskelu pinnalla, nousu sekä paluu ja ilmakehään tulo, kukin vaihe yksi kahdeksasta rekisteröidystä lajista omine antureineen ja suotimineen. (lajiluettelo (kshana kinds --json))
  • MODELLED: jokainen luku on ilmoitettu syöte; ketju noudattaa yhtä pinoa, eikä mitään ajoneuvoa mallinneta. (lajiluettelo (kshana kinds --json))
  • REHELLISYYS. Jokainen luku tässä on ILLUSTRATIVE: pyöreä luku, joka on valittu saamaan ketju toimimaan, ei minkään ajoneuvon, anturin, aseman tai verkon suorituskyky. Ketju noudattaa yhtä pinoa määriteltynä yksinkertaistuksena; ajoneuvonvaihtoja, miehistön siirtoja ja Kuun kiertoradan asemaa ei mallinneta, Kuun kiertoradat ovat 100 km:n ympyrärata ja napakiertoradat, joita Kuun lajit lentävät (ei lähes suoraviivainen halorata), ja TLI-poltto on (skenaariotiedoston kommentti, rivit 11–17)
  • 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))
  • Tehtäväketjun navigointi- ja ajoitusvirhebudjetti laukaisusta paluuseen (mission-thread) 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))
  • Laukaisu ja nousu parkkiradalle GNSS-hankinnalla ja häipymällä (launch-ascent) 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))
  • Suhteellinen navigointi telakointiverhokäyrään matalalla Maan kiertoradalla anturijaksojen yli (leo-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))
  • Kuuhun siirtyvä injektio ja kuunläheinen risteily: propagoitu keskimääräinen tila ja kovarianssi seurantapäivityksillä (tli-and-cruise) 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))

Katso myös#