lunar-ascent (scenariotyp)

Scenariotyp i motorn v0.40.0, familj Månen och cislunart rum. Rådgivande: analysresultat från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en säkerhetskritisk tjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

MODELLED driven stigning från en plats på ytan nära sydpolen till rendezvousbanan, och kovariansen för position och hastighet som den för tillbaka till banan (Artemis-klass). Den inertiella felmodellen med fem tillstånd per axel från lunar-descent (position, hastighet, accelerometerbias, lutning i attityd, gyrobias, driven av den specifika kraften) körs på alla tre platsaxlarna från det ytillstånd som fasen går in med; en AFS-positionsbestämning från de synliga reläerna i en ILLUSTRATIVE konstellation i LCNS-klass (fristående, eller differentiell med korrektionslänkens residual från lunar-differential-pnt, med klockan stödd när bara tre reläer är synliga) tas med ett angivet intervall, med månens tid som går in via fordonets klocka och ett tidsstämpelfel längs banan. Redovisar de inertiella källorna i sluten form, stödets bidrag, ablationen, navigeringens 1-sigman över stigningen, spridningen vid motoravstängning bredvid navigeringskunskapen, och hela 6x6-MCI-kovariansen vid insättningen med korrelationen mellan position och hastighet bevarad. MODELLED: illustrativ IMU-klass, specifik kraft, reläuppsättning och spridning vid avstängning; fel hållna i avfyrningsplatsens axlar; det nominella utgångstillståndet är en ersättning. Inte stött av någon rymdorganisation; rådgivande programvara, inte certifierad navigationsutrustning.

En körning av scenarios/lunar-ascent.toml sammanfattas som: lunar-ascent | -89.50 deg | endast inertiell 785 m / 3,49 m/s | med AFS 11,4 m / 0,071 m/s | spridning vid insättning 1,73 m/s (MODELLED)

Indata#

Från schemat (kshana kinds --json):

• Obligatoriska fält: inga
• Valfria fält: 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

Exemplet scenarios/lunar-ascent.toml anger bland annat:

Kör den#

kshana scenarios/lunar-ascent.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultatetikett (motorns): MODELLED

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

• MODELLED Typen och fasen lunar-ascent: den inertiella felmodellen med fem tillstånd per axel körd över en driven stigning med specifik kraft längs banan, stödd av AFS-positionsbestämningar och månens tid, som redovisar kovariansen för position och hastighet vid insättningen som förs

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

• MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
• MODELLED Typen och fasen lunar-ascent: den inertiella felmodellen med fem tillstånd per axel körd över en driven stigning med specifik kraft längs banan, stödd av AFS-positionsbestämningar. Oberoende referens (InternalConsistency): Den inertiella driften i sluten form och monotonicitetskontroller i testerna. Ingen genomförd stigning jämförs
• MODELLED Propagatorn som månens typer delar (GRAIL GL0660B grad och ordning 150, jorden och solen som tredje kroppar, relativitet, DE440-månorientering) jämförd med de offentl. Oberoende referens (ExternalDataset): JPL Horizons rymdfarkostefemerider för LRO och CAPSTONE, mot trösklar som fastställts i förväg i xval/mission-thread-lunar/PREREGISTRATION.md (tillägg 1 till 6). LRO: MET, 33 m största 3D-skillnad och 2,4 m radiellt RMS mot 500 m och 60 m. CAPSTONE: NOT MET, en skillnad i slutposition på 136,8 km mot 25 km och en skillnad i periapsis på 28,4 km mot 10 km, orsakerna är inte isolerade. Raden är modellerad eftersom CAPSTON

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

• MODELLED (resultat label)
• MODELLED driven stigning från en plats på ytan nära sydpolen till rendezvousbanan, och kovariansen för position och hastighet som den för tillbaka till banan (Artemis-klass). (typkatalog (kshana kinds --json))
• MODELLED: illustrativ IMU-klass, specifik kraft, reläuppsättning och spridning vid avstängning; fel hållna i avfyrningsplatsens axlar; det nominella utgångstillståndet är en ersättning. (typkatalog (kshana kinds --json))
• ÄRLIGHET: MODELLED. IMU-klassen, riktningen, den specifika kraften och spridningen vid avstängning är ILLUSTRATIVE indata, inte mätningar. Felen hålls i avfyrningsplatsens öst-nord-upp-axlar, utan banans krökning i sträckriktningen, och det nominella utgångstillståndet är en ersättning vid platsens lokala vertikal: bara kovariansen är resultatet. Ingen samstämmighet med något verkligt fordon hävdas. Rådgivande programvara, inte c (kommentar i scenariofilen, rad 11 till 15)
• Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• Driven stigning från en polarplats på månen till en insättningsbana (lunar-ascent) är MODELLED, inte validerad: kontrollerad mot sin egen identitet i sluten form / analytisk identitet — fångar överföringsfel och koefficientfel, men är inte en extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
• Propageringen med månens kraftmodell mot offentliga rekonstruerade banor för månsatelliter och cislunara banor är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätter ihop modellerade delar, så förmågan förblir modellerad. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#

• Familjesida: Månen och cislunart rum
• Alla typer: KINDS.md
• Ämnessida: MISSION-THREAD-LUNAR.md
• Ämnessida: MISSION-THREAD.md