lunar-ascent (scenariotype)

Scenariotype i motoren v0.40.0, familie Måne og cislunart rom. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

MODELLED drevet oppstigning fra et sted på overflaten nær sørpolen til rendezvous-banen, og posisjons-hastighetskovariansen den fører tilbake til bane (Artemis-klassen). Den inertielle feilmodellen med fem tilstander per akse fra lunar-descent (posisjon, hastighet, akselerometerbias, holdningshelling, gyrobias, drevet av den spesifikke kraften) kjøres på alle tre stedsaksene fra overflatetilstanden fasen går inn med; en AFS-posisjonsbestemmelse fra de synlige reléene i en ILLUSTRATIVE konstellasjon i LCNS-klassen (alene, eller differensiell med korreksjonslenkens residual fra lunar-differential-pnt, med klokken støttet når bare tre reléer er synlige) tas ved et oppgitt intervall, med månetid inn gjennom fartøyets klokke og en tidsmerkefeil langs banen. Rapporterer de lukkede inertielle kildene, hjelpemidlets bidrag, ablasjonen, navigasjonens 1-sigma-verdier over oppstigningen, spredningen ved motoravstengning ved siden av navigasjonskunnskapen, og den fulle 6x6 MCI-kovariansen ved innsetting med posisjons-hastighetskorrelasjonen beholdt. MODELLED: illustrativ IMU-klasse, spesifikk kraft, relésett og spredning ved avstengning; feil holdt i akser for oppskytingsstedet; den nominelle utgangstilstanden er en plassholder. Ikke støttet av noe byrå; veiledende programvare, ikke sertifisert navigasjonsutstyr.

Én kjøring av scenarios/lunar-ascent.toml oppsummeres som: lunar-ascent | -89.50 deg | bare inertiell 785 m / 3,49 m/s | med AFS 11,4 m / 0,071 m/s | spredning ved innsetting 1,73 m/s (MODELLED)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

Eksempelet scenarios/lunar-ascent.toml setter blant annet:

Kjør den#

kshana scenarios/lunar-ascent.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 og fasen lunar-ascent: den inertielle feilmodellen med fem tilstander per akse kjørt over en drevet oppstigning med spesifikk kraft langs banen, støttet av AFS-posisjonsbestemmelser og månetid, som rapporterer posisjons- og hastighetskovariansen ved innsetting som føres til

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 og fasen lunar-ascent: den inertielle feilmodellen med fem tilstander per akse kjørt over en drevet oppstigning med spesifikk kraft langs banen, støttet av AFS-posisjonsbestemmelser. Uavhengig referanse (InternalConsistency): Den lukkede formen for inertiell drift og monotonisitetskontroller i testene. Ingen fløyet oppstigning sammenlignes
• MODELLED Propagatoren de lunare typene deler (GRAIL GL0660B grad og orden 150, Jorden og Solen som tredje legemer, relativitet, DE440-månorientering) sammenlignet med de offentl. Uavhengig referanse (ExternalDataset): JPL Horizons-efemerider for romfartøy for LRO og CAPSTONE, mot terskler forhåndsregistrert i xval/mission-thread-lunar/PREREGISTRATION.md (endringene 1 til 6). LRO: MET, 33 m største 3D-forskjell og 2,4 m RMS radialt mot 500 m og 60 m. CAPSTONE: NOT MET, en forskjell i sluttposisjon på 136,8 km mot 25 km og en forskjell i periapsis på 28,4 km mot 10 km, årsakene er ikke isolert. Raden er Modellert fordi CAPSTON

Begrensninger#

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

• MODELLED (resultat label)
• MODELLED drevet oppstigning fra et sted på overflaten nær sørpolen til rendezvous-banen, og posisjons-hastighetskovariansen den fører tilbake til bane (Artemis-klassen). (typekatalog (kshana kinds --json))
• MODELLED: illustrativ IMU-klasse, spesifikk kraft, relésett og spredning ved avstengning; feil holdt i akser for oppskytingsstedet; den nominelle utgangstilstanden er en plassholder. (typekatalog (kshana kinds --json))
• REDELIGHET: MODELLED. IMU-klassen, justeringen, den spesifikke kraften og spredningen ved avstengning er ILLUSTRATIVE inndata, ikke målinger. Feilene holdes i oppskytingsstedets øst-nord-opp-akser, uten banens krumning nedover rekkevidden, og den nominelle utgangstilstanden er en plassholder ved stedets lokale vertikal: bare kovariansen er resultatet. Ingen overensstemmelse med noe virkelig fartøy påstås. Veiledende programvare, ikke c (kommentar i scenariofilen, linje 11 til 15)
• 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))
• Drevet oppstigning fra et sted ved månens pol til en innsettingsbane (lunar-ascent) er MODELLED, ikke validert: kontrollert mot sin egen lukkede form / analytiske identitet — fanger opp transkripsjons- og koeffisientfeil, men er ikke en ekstern uavhengig referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
• Propageringen med månens kraftmodell mot offentlige rekonstruerte baner for månesatellitter og cislunare baner 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))

Se også#

• Familieside: Måne og cislunart rom
• Alle typer: KINDS.md
• Temaside: MISSION-THREAD-LUNAR.md
• Temaside: MISSION-THREAD.md