Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůZatím ne na GitHubuZdroj: docs/kinds/by-kind/mission-thread.md

mission-thread (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Vlákna mise. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

MODELLED rozpočet chyb navigace a času pro uvedený řetězec fází mise od startu po vstup do atmosféry: start a výstup, setkání a dokování na nízké oběžné dráze Země (opakovatelné), trans-lunární injekce a cislunární plavba, setkání na lunární oběžné dráze, sestup, pobyt na povrchu, výstup a návrat a vstup do atmosféry, přičemž každá fáze je jedním z osmi registrovaných druhů s vlastními senzory a filtrem. Kovariance 6x6, hodiny a rámec se předávají z fáze do fáze podle uvedeného pravidla (přenést, nafouknout nebo znovu získat); převody rámců a časových škál (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) jsou samostatné řádky rozpočtu, přičemž stav Měsíce pochází z volitelného výřezu jádra DE440 a analytická řada slouží jako uvedená záloha. Volitelné překrytí pozemní sítí nastavuje sledovací pracovní cyklus každé fáze. Uvádí rozpočet pro jednotlivé fáze (1sigma při vstupu, ve špičce a při výstupu, každý příspěvek s jednotkou), rezervu oproti uvedenému požadavku, nejslabší článek, události a obrázek časové osy. MODELLED: každé číslo je uvedený vstup; řetězec sleduje jeden svazek a žádné vozidlo není modelováno. Pouze veřejné zdroje; bez spojení s žádnou agenturou ani její podpory; software pouze poradního charakteru, nikoli certifikované navigační zařízení.

Jeden běh scenarios/mission-thread-artemis-class.toml se shrne takto: mission-thread | 11 fází | Mise třídy Artemis (ILLUSTRATIVE) | nejslabší článek descent | MODELLED

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: epoch_utc, entry, phase
  • Volitelná pole: kind, title, seed, moon_kernel_path, ground_network

Příklad scenarios/mission-thread-artemis-class.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
entry.frame gcrf text
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 text
entry.x [5.2850e6, 1.8802e6, 3.0253e6, -137.105, 385.389, 0] neuvedeno
epoch_utc 2028-01-01T00:00:00Z text
ground_network.handover_gap_s 120 s
ground_network.min_elevation_deg 10 deg
ground_network.phases[0].geometry moon-direction text
ground_network.phases[0].phase cruise text

Spusťte jej#

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

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
epoch_utc 2028-01-01T00:00:00Z text
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
schema kshana-mission-thread/1 text
seed 20261024 1
weakest_link.basis nejmenší rezerva oproti uvedenému požadavku text
weakest_link.limiting_source inerciální drift, bez pomůcky, východ text
weakest_link.margin 1.213087 1
weakest_link.phase_id descent text

Štítek výsledku (enginu): MODELLED

Graf, který engine zapisuje pro scenarios/mission-thread-artemis-class.toml, druh mission-thread

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Druh mission-thread: dokument fází, z nichž každá je jedním z osmi registrovaných druhů, spouštěných postupně, přičemž kovariance 6x6, hodiny a soustava se předávají podle stanoveného pravidla (carry; inflate, šum bílého zrychlení po stanovenou mezeru Testy: field_units_global.rs.
  • MODELLED Fáze launch-ascent: kovariance polohy a rychlosti s konstantní rychlostí a bílým šumem zrychlení (třída dead-reckoning), určení GNSS uvedené přesnosti uplatněné po době akvizice a mimo uvedené úniky, a bias-a
  • MODELLED Fáze leo-rendezvous: relativní stav v osách LVLH cíle s přechodem Clohessyho–Wiltshirea v uzavřeném tvaru, kovariance Kalmanova filtru 6x6 s bílým šumem zrychlení a aktualizace polohy, jejichž rozptyl je rozptyl senzoru při aktuál
  • MODELLED Fáze tli-and-cruise: střední stav propagátorem Cowell z enginu (Země jako hmotný bod a J2, Slunce a Měsíc jako třetí tělesa, Měsíc z jádra DE440 vlákna, kde pokrývá úsek, a Slunce z analytické řady
  • a 4 další v matici.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • MODELLED Druh mission-thread: dokument fází, z nichž každá je jedním z osmi registrovaných druhů, spouštěných v pořadí s kovariancí 6x6, hodinami a rámcem předávanými dál pod. Orákulum (InternalConsistency): Ruční výpočty v testech (růst kovariance po přímce, průměrná siderická rotace, sekulární lunární rychlost hodin) a pouze pro stav Měsíce zapsané výřezy jádra DE440 proti připnutým hodnotám JPL Horizons (nejhorší 2,6 m a 7e-6 m/s). S řetězcem se neporovnávají žádná data mise; jeho fáze jsou samostatné řádky. Dokument je uvedený řetězec s ILLUSTRATIVE vstupy, pouze z veřejných zdrojů a bez podpory agentury
  • MODELLED Fáze launch-ascent: kovariance polohy a rychlosti s konstantní rychlostí a bílým šumem zrychlení (třída dead-reckoning), určení GNSS uvedené a. Orákulum (InternalConsistency): Ustálený stav Riccatiho rovnice a ruční výpočet predikce v testech. Nic zde nemodeluje nosnou raketu ani přijímač; každé číslo je uvedený vstup
  • MODELLED Fáze leo-rendezvous: relativní stav v osách LVLH cíle s přechodem Clohessyho–Wiltshirea v uzavřeném tvaru, kovariance Kalmanova filtru 6x6 s bílým . Orákulum (InternalConsistency): Jednoosý ruční výpočet predikce a aktualizace v testu; přechod Clohessyho–Wiltshirea je ten, který cw_dynamics kontroluje proti nezávislé numerické integraci. Senzory jsou ILLUSTRATIVE a neporovnává se žádné skutečné setkání
  • MODELLED Fáze tli-and-cruise: střední stav propagátorem Cowell v enginu (hmotný bod Země a J2, Slunce a Měsíc jako třetí tělesa, Měsíc z tří. Orákulum (InternalConsistency): Liouvilleova věta (determinant matice přechodu stavu konzervativní části je jedna) a jemnější diference v testech; střední stav se porovnává s veřejnou trajektorií v řádku níže, kterou nesplňuje. Chyba zážehu, aktualizace a kovariance se s ničím neporovnávají

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • MODELLED rozpočet chyb navigace a času pro uvedený řetězec fází mise od startu po vstup do atmosféry: start a výstup, setkání a dokování na nízké oběžné dráze Země (opakovatelné), trans-lunární injekce a cislunární plavba, setkání na lunární oběžné dráze, sestup, pobyt na povrchu, výstup a návrat a vstup do atmosféry, přičemž každá fáze je jedním z osmi registrovaných druhů s vlastními senzory a filtrem. (katalog druhů (kshana kinds --json))
  • MODELLED: každé číslo je uvedený vstup; řetězec sleduje jeden svazek a žádné vozidlo není modelováno. (katalog druhů (kshana kinds --json))
  • ČESTNOST. Každé číslo zde je ILLUSTRATIVE: zaokrouhlená hodnota zvolená tak, aby řetězec běžel, nikoli výkon jakéhokoli vozidla, senzoru, stanice či sítě. Řetězec sleduje jeden svazek jako uvedené zjednodušení; výměny vozidel, přesuny posádky a lunární stanice na oběžné dráze se nemodelují, lunární dráhy jsou kruhová a polární dráha 100 km, které létají lunární druhy (nikoli téměř přímočará halo dráha), a zážeh TLI je (komentář v souboru scénáře, řádky 11 až 17)
  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Rozpočet chyb navigace a času pro řetězec fází mise od startu po vstup do atmosféry (mission-thread) je MODELLED, nikoli ověřen: kontroluje se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Start a výstup na parkovací dráhu s akvizicí a únikem GNSS (launch-ascent) je MODELLED, nikoli ověřen: kontroluje se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Relativní navigace k dokovací obálce na nízké oběžné dráze Země přes úseky senzorů (leo-rendezvous) je MODELLED, nikoli ověřena: kontroluje se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Trans-lunární injekce a cislunární plavba: propagovaný střední stav a kovariance s aktualizacemi ze sledování (tli-and-cruise) je MODELLED, nikoli ověřena: kontroluje se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#