mission-thread (scenarietype)

Scenarietype i motoren v0.40.0, familie Missionstråde. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en safety-of-life-tjeneste. Hver betegnelse her er motorens eller verifikationsmatricens; en type er MODELLED, medmindre matricen angiver andet (hvordan en betegnelse opnås: afsnittet Evidens i README).

Hvad det gør#

MODELLED fejlbudget for navigation og tidssynkronisering for en angivet kæde af missionsfaser, fra opsendelse til indflyvning: opsendelse og opstigning, rendezvous og docking i lav jordbane (kan gentages), trans-lunar injektion og cislunart krydstogt, rendezvous i månebane, nedstigning, ophold på overfladen, opstigning samt returflyvning og indflyvning, hver fase en af otte registrerede typer med sine egne sensorer og sit eget filter. 6x6-kovariansen, uret og referencesystemet gives videre fra fase til fase efter en angiven regel (carry, inflate eller reacquire); konverteringer af referencesystem og tidsskala (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) er deres egne budgetrækker, med Månens tilstand fra et valgfrit udsnit af DE440-kernen og den analytiske serie som den angivne reserve. Et valgfrit overlay af jordnetværk sætter hver fases sporingsandel. Rapporterer budgettet pr. fase (1-sigma ved indgang, spids og udgang, hvert bidrag med sin enhed), marginen mod et angivet krav, det svageste led, hændelserne og en tidslinjefigur. MODELLED: hvert tal er et angivet input; kæden følger én stak, og intet køretøj modelleres. Kun offentlige kilder; ikke tilknyttet eller støttet af nogen rumfartsorganisation; vejledende software, ikke certificeret navigationsudstyr.

Én kørsel af scenarios/mission-thread-artemis-class.toml opsummeres som: mission-thread | 11 faser | missionstråd i Artemis-klassen (ILLUSTRATIVE) | svageste led nedstigning | MODELLED

Input#

Fra skemaet (kshana kinds --json):

• Obligatoriske felter: epoch_utc, entry, phase
• Valgfrie felter: kind, title, seed, moon_kernel_path, ground_network

Eksemplet scenarios/mission-thread-artemis-class.toml sætter blandt andet:

Kør den#

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

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatetiket (motorens): MODELLED

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED Typen mission-thread: et dokument af faser, hver en af otte registrerede typer, kørt i rækkefølge, hvor 6x6-kovariansen, uret og referencesystemet gives videre efter en angiven regel (carry; inflate, hvid accelerationsstøj over et angivet hul Tests: field_units_global.rs.
• MODELLED Fasen launch-ascent: en position- og hastighedskovarians med konstant hastighed og hvid accelerationsstøj (dødregningsklassen), en GNSS-positionsbestemmelse med angivet nøjagtighed anvendt efter erhvervelsestiden og uden for angivne fadings, et ur med bias og
• MODELLED Fasen leo-rendezvous: den relative tilstand i målets LVLH-akser med den lukkede Clohessy-Wiltshire-overgang, en 6x6 Kalman-kovarians med hvid accelerationsstøj og positionsopdateringer, hvis varians er sensorens ved den aktu
• MODELLED Fasen tli-and-cruise: middeltilstanden fra motorens Cowell-propagator (Jorden som punktmasse og J2, Solen og Månen som tredjelegemer, Månen fra trådens DE440-kerne, hvor den dækker segmentet, og Solen fra den analytiske serie
• og 4 flere i matricen.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED Typen mission-thread: et dokument af faser, hver en af otte registrerede typer, kørt i rækkefølge, hvor 6x6-kovariansen, uret og referencesystemet gives videre efter en angiven regel. Uafhængig reference (InternalConsistency): Håndberegninger i testene (den retlinede vækst i kovariansen, den gennemsnitlige sideriske rotation, den sekulære månetid) og, kun for Månens tilstand, de indlagte udsnit af DE440-kernen mod fastlåste JPL Horizons-værdier (værst 2,6 m og 7e-6 m/s). Ingen missionsdata sammenlignes med kæden; dens faser er rækker for sig. Dokumentet er en angivet kæde med ILLUSTRATIVE input, kun offentlige kilder og ingen støtte fra nogen rumfartsor
• MODELLED Fasen launch-ascent: en position- og hastighedskovarians med konstant hastighed og hvid accelerationsstøj (dødregningsklassen), en GNSS-positionsbestemmelse med angivet n. Uafhængig reference (InternalConsistency): Riccati-ligevægtstilstanden og håndberegningen af prædiktionen i testene. Intet her modellerer en løfteraket eller en modtager; hvert tal er et angivet input
• MODELLED Fasen leo-rendezvous: den relative tilstand i målets LVLH-akser med den lukkede Clohessy-Wiltshire-overgang, en 6x6 Kalman-kovarians med hvid . Uafhængig reference (InternalConsistency): En énaksel-håndberegning af prædiktion og opdatering i testen; Clohessy-Wiltshire-overgangen er den, som cw_dynamics kontrollerer mod en uafhængig numerisk integration. Sensorerne er ILLUSTRATIVE, og intet virkeligt rendezvous sammenlignes
• MODELLED Fasen tli-and-cruise: middeltilstanden fra motorens Cowell-propagator (Jorden som punktmasse og J2, Solen og Månen som tredjelegemer, Månen fra tråden. Uafhængig reference (InternalConsistency): Liouvilles sætning (determinanten af tilstandsovergangsmatricen for den konservative del er en) og en finere differens i testene; middeltilstanden sammenlignes med en offentlig bane i rækken nedenfor, som den ikke rammer. Brændingsfejlen, opdateringerne og kovariansen sammenlignes ikke med noget

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED fejlbudget for navigation og tidssynkronisering for en angivet kæde af missionsfaser, fra opsendelse til indflyvning: opsendelse og opstigning, rendezvous og docking i lav jordbane (kan gentages), trans-lunar injektion og cislunart krydstogt, rendezvous i månebane, nedstigning, ophold på overfladen, opstigning samt returflyvning og indflyvning, hver fase en af otte registrerede typer med sine egne sensorer og sit eget filter. (typekatalog (kshana kinds --json))
• MODELLED: hvert tal er et angivet input; kæden følger én stak, og intet køretøj modelleres. (typekatalog (kshana kinds --json))
• ÆRLIGHED. Hvert tal her er ILLUSTRATIVE: et rundt tal valgt for at få kæden til at køre, ikke ydeevnen for noget køretøj, nogen sensor, station eller noget netværk. Kæden følger én stak som en angivet forenkling; køretøjsskift, besætningsoverførsler og månebanestationen modelleres ikke, månebanerne er de cirkulære og polare på 100 km, som månetyperne flyver (ikke den næsten retlinede halobane), og TLI-brændingen er (kommentar i scenariefilen, linje 11 til 17)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Fejlbudget for navigation og tidssynkronisering for en kæde af missionsfaser fra opsendelse til indflyvning (mission-thread) er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede / analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Opsendelse og opstigning til en parkeringsbane med GNSS-erhvervelse og fading (launch-ascent) er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede / analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Relativ navigation til dockingomhyllingen i lav jordbane over sensorstrækninger (leo-rendezvous) er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede / analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Trans-lunar injektion og cislunart krydstogt: propageret middeltilstand og kovarians med sporingsopdateringer (tli-and-cruise) er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede / analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Missionstråde
• Alle typer: KINDS.md
• Emneside: MISSION-THREAD.md
• Emneside: MISSION-THREAD-LUNAR.md