lunar-infrastructure (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 sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

MODELLED studier af Månens bane og overflade som navigations- og geodætisk infrastruktur, fem studier bag én type, valgt med study: od-consistency (banebestemmelse om bord med Earth-GNSS i en NRHO eller ELFO mod uafhængig radiometrisk banebestemmelse fra jorden, bedømt efter deres egne kovarianser over en seedet Monte Carlo), carrier-phase (fælles dobbeltdifferentieret bærebølgefase mellem overflade og orbiter og opløsning af heltalsmultiplicitet med LAMBDA), frame-coestimation (en overfladestation og orbitere føjet til afstandsmåling fra jordstationer for det lunare referencesystem med syv parametre), space-tie (GNSS, VLBI og laserafstandsmåling på ét rumfartøj, præcisionen af referencesystemets forbindelse mod fejlen i den lokale forbindelse) og geodesy-sensitivity (Fisher-information om de lunare Love-tal h2, k2, l2 og den fysiske libration fra laserafstandsmåling, sporing af orbitere, et gravimeter på overfladen og et ur på overfladen). En begrænset trelegemsmodel med angivne forenklinger; tallene er kontrolleret mod uafhængige programmer, og intet sammenlignes med en måling af en lunar størrelse.

Én kørsel af scenarios/lunar-infrastructure-space-tie.toml opsummeres som: lunar-infrastructure space-tie: 4 sweep points on 1 arcs; laser-vs-GNSS x translation sigma 1,0363 m at the registered local tie

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: study
• Valgfrie felter: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

Eksemplet scenarios/lunar-infrastructure-space-tie.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-infrastructure-space-tie.toml

6 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:

Resultatmærkat (motorens egen): MODELLED — en begrænset trelegemsmodel (Jorden og Månen som punktmasser, ingen Sol, ingen lunare tyngdeharmoniske) med angivne forenklinger og ILLUSTRATIVE input mærket med deres offentlige kilder. Tallene er kontrolleret mod uafhængige programmer; intet sammenlignes med en måling af en lunar størrelse

intet plot: eksemplet skriver intet diagram

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

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 Banebestemmelse i en næsten retlinet halobane (eller en elliptisk frossen bane) ud fra to uafhængige datatyper: Earth-GNSS-pseudoafstande modtaget om bord. Uafhængig reference (ReferenceImpl): Et uafhængigt scipy/numpy-program integrerer de samme variationsligninger (tærskel O1). Intet sammenlignes med en måling af en lunar bane. Den uafhængige reference kontrollerer tallene i de angivne formler, ikke fysikken, så rækken forbliver MODELLED. Begrænset trelegemsmodel: ingen Sol, ingen lunare harmoniske, Jordens rotationsakse langs banenormalen, ILLUSTRATIVE modtager- og stationsinput.
• MODELLED Single-differenced Earth-GNSS-bærebølgefase og -kode mellem modtagere ved en station på månens overflade og en orbiter, med differencen mellem urene pr. epoke profileret ud. Uafhængig reference (ReferenceImpl): En uafhængig numpy-løsning af de samme normalligninger ud fra de eksporterede rækker (Q3) og en brute-force-opregning af heltal (Q4). Ingen GNSS- eller lunar bærebølgefasemåling sammenlignes med. MODELLED.
• MODELLED Fisher-information for det lunare referencesystem med syv parametre fra laserafstandsmåling fra jordstationer til de fem reflektorer alene og med orbiter-til-overfladestation ra. Uafhængig reference (ReferenceImpl): En uafhængig numpy-differenskvotient af fremadmodellen (F2). Intet sammenlignes med reelle løsninger af det lunare referencesystem. Faktoren afhænger af den antagne kendte bane og afstandssigma på 1 m. MODELLED.
• MODELLED Cramer-Rao-præcision for forskydningerne i translation, skala og rotation mellem teknikkerne GNSS, VLBI og laserafstandsmåling, når ét rumfartøj bærer alle. Uafhængig reference (ReferenceImpl): Et uafhængigt numpy-stakket system, hvor positionsubekendte er elimineret ved eksplicitte Schur-komplementer (T3). Ingen data fra GRASP, Genesis eller andre missioner sammenlignes med. MODELLED.

Begrænsninger#

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

• MODELLED — en begrænset trelegemsmodel (Jorden og Månen som punktmasser, ingen Sol, ingen lunare tyngdeharmoniske) med angivne forenklinger og ILLUSTRATIVE input mærket med deres offentlige kilder. Tallene er kontrolleret mod uafhængige programmer; intet sammenlignes med en måling af en lunar størrelse, og intet her er en udtalelse om nogen mission eller noget system. Ikke tilknyttet eller støttet af nogen myndighed. Adviso (resultat label)
• MODELLED studier af Månens bane og overflade som navigations- og geodætisk infrastruktur, fem studier bag én type, valgt med study: od-consistency (banebestemmelse om bord med Earth-GNSS i en NRHO eller ELFO mod uafhængig radiometrisk banebestemmelse fra jorden, bedømt efter deres egne kovarianser over en seedet Monte Carlo), carrier-phase (fælles dobbeltdifferentieret bærebølgefase mellem overflade og orbiter og opløsning af heltalsmultiplicitet (kategori-katalog (kshana kinds --json))
• Kshana lunar-infrastructure-scenarie: space-tie. MODELLED; udformningen, inputtene og tærsklerne er fastlagt i xval/lunar-infra/PREREGISTRATION.md (committet før nogen kørsel). ILLUSTRATIVE input er mærket med deres offentlige kilder dér. (kommentar i scenariefilen, linje 1 til 3)
• 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))
• Lunar banebestemmelse: Earth-GNSS mod radiometrisk fra jorden er MODELLED, ikke valideret: kontrolleret mod en separat implementering i selve denne kodebase — uafhængig af enheden under test, men ikke eksternt autoritativ. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Lunar opløsning af bærebølgefasemultiplicitet: overflade og orbiter er MODELLED, ikke valideret: kontrolleret mod en separat implementering i selve denne kodebase — uafhængig af enheden under test, men ikke eksternt autoritativ. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Lunar samestimering af referencesystemet: overfladestationer og orbitere er MODELLED, ikke valideret: kontrolleret mod en separat implementering i selve denne kodebase — uafhængig af enheden under test, men ikke eksternt autoritativ. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Præcision af space-tie-forbindelsen mellem referencesystemer: samplaceret GNSS, VLBI og laserafstandsmåling er MODELLED, ikke valideret: kontrolleret mod en separat implementering i selve denne kodebase — uafhængig af enheden under test, men ikke eksternt autoritativ. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md
• Emneside: LUNAR-INFRASTRUCTURE.md