lunar-descent (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. 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 budget for landingsspredning ved en drevet nedstigning til et sted ved sydpolen (Artemis-klassen). Pr. vandret akse drives en inertiel fejlmodel med fem tilstande (position, hastighed, accelerometerbias, attitudehældning, gyrobias) af nedstigningens specifikke kraft; et sekventielt filter tager positionsbestemmelser fra de aktiverede støtter: en AFS-positionsbestemmelse fra de synlige relæer i en ILLUSTRATIVE konstellation i LCNS-klassen (selvstændig eller differentiel med korrektionslinkets residual fra lunar-differential-pnt, med uret støttet, når kun tre relæer er synlige) og en terrænrelativ positionsbestemmelse (cratens TERCOM/SITAN-matcher på et syntetisk relief eller Cramer-Rao-grænsen for matchning af et højdevindue i den virkelige LOLA-DEM for sydpolen). Månetid indgår gennem køretøjets ur ved positionsbestemmelserne (LTC-TT-offsettet fra lunar-time-offset eller usikkerheden i dets offentliggjorte bånd) og som en tidsmærkefejl langs banen. Rapporterer 3-sigma-landingsellipsen, R95, de lukkede inertielle kilder, hver støttes bidrag, ablationen af hver kombination af støtter, en Monte Carlo-kalibrering af ellipsen og den kovarians, der gives videre. MODELLED: illustrativ IMU-klasse, relæsæt, nedstigningsprofil og styringsled; terrain-nav bruger et syntetisk relief på en jordisk meterskala; AFS-tilgængeligheden er én epoke på en flad maske. Ikke støttet af nogen rumfartsorganisation; vejledende software, ikke certificeret navigationsudstyr.

Én kørsel af scenarios/lunar-descent.toml opsummeres som: lunar-descent | -89.50 deg | kun inertiel 517/517 m (E/N) | med støtter 7.6/4.8 m | spredning R95 51 m | 3-sigma-ellipse 64 x 62 m | 99,1% inden for (forventet 98,9%) (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

Eksemplet scenarios/lunar-descent.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-descent.toml

2 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.

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 og fasen lunar-descent: en inertiel fejlmodel med fem tilstande pr. akse (position, hastighed, accelerometerbias, hældning, gyrobias) over en drevet nedstigning, støttet af AFS-positionsbestemmelser (selvstændige eller differentielle, med det urstøttede tilfælde med tre relæ

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 og fasen lunar-descent: en inertiel fejlmodel med fem tilstande pr. akse (position, hastighed, accelerometerbias, hældning, gyrobias) over en drevet nedstigning,. Uafhængig reference (InternalConsistency): Den lukkede inertielle drift, de genbrugte typers egne resultater og kalibreringen af 3-sigma-ellipsen (andelen inden for stemmer overens med forventningen) i testene. Ingen fløjet eller afprøvet landing sammenlignes

Begrænsninger#

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

• MODELLED (resultat label)
• MODELLED budget for landingsspredning ved en drevet nedstigning til et sted ved sydpolen (Artemis-klassen). (typekatalog (kshana kinds --json))
• MODELLED: illustrativ IMU-klasse, relæsæt, nedstigningsprofil og styringsled; terrain-nav bruger et syntetisk relief på en jordisk meterskala; AFS-tilgængeligheden er én epoke på en flad maske. (typekatalog (kshana kinds --json))
• ÆRLIGHED: MODELLED. IMU-klassen, nedstigningsprofilen, relæsættet, fejlen i signal i rummet og styringsleddet er ILLUSTRATIVE input, ikke målinger. Tilstanden terrain-nav bruger det selvstændige syntetiske relief og en jordisk meterskala, så terrænleddet her er matcherens adfærd på en stand-in, ikke en påstand om relieffet ved sydpolen: varianten lola-crlb (lunar-descent-lola.toml) bruger det virkelige (kommentar i scenariefilen, linje 14 til 20)
• 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))
• Budget for landingsspredning ved et polart sted på Månen (lunar-descent) 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: Måne og cislunart rum
• Alle typer: KINDS.md
• Emneside: MISSION-THREAD-LUNAR.md
• Emneside: MISSION-THREAD.md