mission-thread (scenariotype)

Scenariotype i motoren v0.40.0, familien Oppdragstråder. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en safety-of-life-tjeneste. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

MODELLED budsjett for navigasjons- og tidsfeil for en oppgitt kjede av oppdragsfaser, fra oppskyting til gjeninntreden: oppskyting og stigning, LEO-rendezvous og dokking (kan gjentas), trans-lunar injeksjon og cislunar ferd, månebane-rendezvous, nedstigning, opphold på overflaten, stigning og retur og gjeninntreden, hver fase én av åtte registrerte typer med egne sensorer og eget filter. 6x6-kovariansen, klokken og rammen føres fra fase til fase etter en oppgitt regel (videreføre, utvide eller gjenerverve); omregninger mellom rammer og tidsskalaer (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) er egne budsjettrader, med Månens tilstand fra et valgfritt DE440-kjerneutsnitt og den analytiske serien som oppgitt reserveløsning. Et valgfritt overlegg for bakkenettverk setter sporingsandelen for hver fase. Rapporterer budsjettet per fase (inngangs-, topp- og utgangs-1-sigma, hvert bidrag med sin enhet), marginen mot et oppgitt krav, det svakeste leddet, hendelsene og en tidslinjefigur. MODELLED: hvert tall er en oppgitt inndata; kjeden følger én stakk, og ingen fartøy er modellert. Bare offentlige kilder; ikke tilknyttet eller støttet av noe romfartsbyrå; veiledende programvare, ikke sertifisert navigasjonsutstyr.

Én kjøring av scenarios/mission-thread-artemis-class.toml oppsummeres slik: mission-thread | 11 faser | oppdragstråd i stil med Artemis-class (ILLUSTRATIVE) | svakeste ledd descent | MODELLED

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: epoch_utc, entry, phase
• Valgfrie felt: kind, title, seed, moon_kernel_path, ground_network

Eksempelet scenarios/mission-thread-artemis-class.toml setter blant annet:

Kjør den#

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

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens egen): MODELLED

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

• MODELLED Typen mission-thread: et dokument av faser, hver av dem én av åtte registrerte typer, kjørt i rekkefølge med 6x6-kovariansen, klokken og referansesystemet videreført under en oppgitt regel (carry; inflate, hvit akselerasjonsstøy over et oppgitt gap Tester: field_units_global.rs.
• MODELLED Fasen launch-ascent: en kovarians for posisjon og hastighet med konstant hastighet og hvit akselerasjonsstøy (dødregningsklassen), en GNSS-posisjonsbestemmelse med oppgitt nøyaktighet brukt etter innhentingstiden og utenfor oppgitte svekkelser, en bias-og-
• MODELLED Fasen leo-rendezvous: den relative tilstanden i målfartøyets LVLH-akser med den lukkede Clohessy-Wiltshire-overgangen, en 6x6 Kalman-kovarians med hvit akselerasjonsstøy og posisjonsoppdateringer med varians lik sensorens ved cu
• MODELLED Fasen tli-and-cruise: middeltilstanden fra motorens Cowell-propagator (jordens punktmasse og J2, Solen og Månen som tredje legemer, Månen fra oppdragstrådens DE440-kjerne der den dekker segmentet og Solen fra den analytiske serie
• og 4 til i matrisen.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• MODELLED Typen mission-thread: et dokument av faser, hver én av åtte registrerte typer, kjørt i rekkefølge med 6x6-kovariansen, klokken og rammen ført videre und. Uavhengig referanse (InternalConsistency): Håndberegninger i testene (den rettlinjede kovariansveksten, den midlere siderale rotasjonen, den sekulære raten for månens klokke) og, bare for Månens tilstand, de innsjekkede DE440-kjerneutsnittene mot festede JPL Horizons-verdier (verst 2,6 m og 7e-6 m/s). Ingen oppdragsdata er sammenlignet med kjeden; fasene er egne rader. Dokumentet er en oppgitt kjede med ILLUSTRATIVE inndata, bare offentlige kilder og ingen støtte fra noe romfartsbyrå
• MODELLED Fasen launch-ascent: en kovarians for posisjon og hastighet med konstant hastighet og hvit akselerasjonsstøy (dødregningsklassen), en GNSS-posisjonsbestemmelse med oppgitt a. Uavhengig referanse (InternalConsistency): Riccati-likevekten og håndberegningen av prediksjonen i testene. Ingenting her modellerer en bærerakett eller en mottaker; hvert tall er en oppgitt inndata
• MODELLED Fasen leo-rendezvous: den relative tilstanden i målfartøyets LVLH-akser med den lukkede Clohessy-Wiltshire-overgangen, en 6x6 Kalman-kovarians med hvit . Uavhengig referanse (InternalConsistency): En endimensjonal håndberegning av prediksjon og oppdatering i testen; Clohessy-Wiltshire-overgangen er den cw_dynamics kontrollerer mot en uavhengig numerisk integrasjon. Sensorene er ILLUSTRATIVE, og ingen virkelig rendezvous er sammenlignet
• MODELLED Fasen tli-and-cruise: den midlere tilstanden fra motorens Cowell-propagator (Jordens punktmasse og J2, Solen og Månen som tredjelegemer, Månen fra de tre. Uavhengig referanse (InternalConsistency): Liouvilles teorem (determinanten til tilstandsovergangsmatrisen for den konservative delen er én) og en finere differanse i testene; den midlere tilstanden er sammenlignet med en offentlig banekurve i raden under, som den bommer på. Brennfeilen, oppdateringene og kovariansen er ikke sammenlignet med noe

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• MODELLED budsjett for navigasjons- og tidsfeil for en oppgitt kjede av oppdragsfaser, fra oppskyting til gjeninntreden: oppskyting og stigning, LEO-rendezvous og dokking (kan gjentas), trans-lunar injeksjon og cislunar ferd, månebane-rendezvous, nedstigning, opphold på overflaten, stigning og retur og gjeninntreden, hver fase én av åtte registrerte typer med egne sensorer og eget filter. (typekatalog (kshana kinds --json))
• MODELLED: hvert tall er en oppgitt inndata; kjeden følger én stakk, og ingen fartøy er modellert. (typekatalog (kshana kinds --json))
• ÆRLIGHET. Hvert tall her er ILLUSTRATIVE: et rundt tall valgt for at kjeden skal kjøre, ikke ytelsen til noe fartøy, noen sensor, noen stasjon eller noe nettverk. Kjeden følger én stakk som en oppgitt forenkling; fartøyskifter, mannskapsoverføringer og månebanestasjonen er ikke modellert, månebanene er de sirkulære og polare på 100 km som månetypene flyr (ikke den nesten rettlinjede halobanen), og TLI-brennet i (kommentar i scenariofilen, linje 11 til 17)
• Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Budsjett for navigasjons- og tidsfeil for en kjede av oppdragsfaser fra oppskyting til gjeninntreden (mission-thread) er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Oppskyting og stigning til en parkeringsbane med GNSS-innhenting og svekkelse (launch-ascent) er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Relativ navigasjon til dokkingomhyllingen i lav jordbane over sensorstrekk (leo-rendezvous) er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Trans-lunar injeksjon og cislunar ferd: propagert middeltilstand og kovarians med sporingsoppdateringer (tli-and-cruise) er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Oppdragstråder
• Alle typer: KINDS.md
• Temaside: MISSION-THREAD.md
• Temaside: MISSION-THREAD-LUNAR.md