lunar-ascent (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 drevet opstigning fra et sted på overfladen ved sydpolen til rendezvous-banen og den position-hastighedskovarians, den fører tilbage til banen (Artemis-klassen). Den inertielle fejlmodel med fem tilstande pr. akse fra lunar-descent (position, hastighed, accelerometerbias, attitudehældning, gyrobias, drevet af den specifikke kraft) kører på alle tre stedsakser fra den overfladetilstand, fasen går ind med; 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) tages ved et angivet interval, hvor månetid indgår gennem køretøjets ur og en tidsmærkefejl langs banen. Rapporterer de lukkede inertielle kilder, støttens bidrag, ablationen, navigationens 1-sigma over opstigningen, spredningen ved motorafbrydelse ved siden af navigationsviden og den fulde 6x6 MCI-kovarians ved indsætning med position-hastighedskorrelationen bevaret. MODELLED: illustrativ IMU-klasse, specifik kraft, relæsæt og spredning ved afbrydelse; fejl holdt i affyringsstedets akser; den nominelle sluttilstand er en stand-in. Ikke støttet af nogen rumfartsorganisation; vejledende software, ikke certificeret navigationsudstyr.

Én kørsel af scenarios/lunar-ascent.toml opsummeres som: lunar-ascent | -89.50 deg | kun inertiel 785 m / 3,49 m/s | med AFS 11,4 m / 0,071 m/s | spredning ved indsætning 1,73 m/s (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

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

Kør den#

kshana scenarios/lunar-ascent.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 og fasen lunar-ascent: den inertielle fejlmodel med fem tilstande pr. akse kørt over en drevet opstigning med specifik kraft langs banen, støttet af AFS-positionsbestemmelser og månetid, som rapporterer den position- og hastighedskovarians ved indsætning, der føres

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-ascent: den inertielle fejlmodel med fem tilstande pr. akse kørt over en drevet opstigning med specifik kraft langs banen, støttet af AFS-positionsbestemmelser. Uafhængig reference (InternalConsistency): Den lukkede inertielle drift og monotonikontroller i testene. Ingen fløjet opstigning sammenlignes
• MODELLED Den propagator, månetyperne deler (GRAIL GL0660B grad og orden 150, Jorden og Solen som tredjelegemer, relativitet, DE440-månorientering), sammenlignet med de offentl. Uafhængig reference (ExternalDataset): JPL Horizons-efemerider for LRO og CAPSTONE mod tærskler præregistreret i xval/mission-thread-lunar/PREREGISTRATION.md (Ændringerne 1 til 6). LRO: MET, 33 m største 3D-forskel og 2,4 m RMS radialt mod 500 m og 60 m. CAPSTONE: NOT MET, en forskel i slutposition på 136,8 km mod 25 km og en forskel i periapsis på 28,4 km mod 10 km, årsagerne ikke isoleret. Rækken er modelleret, fordi CAPSTONE-tærsklen ikke nås

Begrænsninger#

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

• MODELLED (resultat label)
• MODELLED drevet opstigning fra et sted på overfladen ved sydpolen til rendezvous-banen og den position-hastighedskovarians, den fører tilbage til banen (Artemis-klassen). (typekatalog (kshana kinds --json))
• MODELLED: illustrativ IMU-klasse, specifik kraft, relæsæt og spredning ved afbrydelse; fejl holdt i affyringsstedets akser; den nominelle sluttilstand er en stand-in. (typekatalog (kshana kinds --json))
• ÆRLIGHED: MODELLED. IMU-klassen, justeringen, den specifikke kraft og spredningen ved afbrydelse er ILLUSTRATIVE input, ikke målinger. Fejlene holdes i affyringsstedets øst-nord-op-akser uden banens krumning i nedrækkevidde, og den nominelle sluttilstand er en stand-in ved stedets lokale lodlinje: kun kovariansen er resultatet. Ingen overensstemmelse med noget virkeligt køretøj hævdes. Vejledende software, ikke c (kommentar i scenariefilen, linje 11 til 15)
• 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))
• Drevet opstigning fra et polart sted på Månen til en indsætningsbane (lunar-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))
• Propageringen med månekraftmodellen mod offentlige rekonstruerede baner for månesatellitter og cislunare baner er MODELLED, ikke valideret: en delpåstand er kontrolleret eksternt, men hele funktionen sammensætter modellerede dele, så funktionen forbliver modelleret. (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