lunar-surface (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 tilgængelighed af positionering og tidssynkronisering på overfladen efter sted og årstid for steder ved sydpolen i Artemis-klassen. For hvert sted og hver årstid (en epoke og et vindue efter den) rapporterer den positionering via relæer (fire eller flere relæer i en ILLUSTRATIVE konstellation i LCNS-klassen i sigte og PDOP under en tærskel, fra de samme funktioner som moonlight-service-volume og, med et terrænafsnit, den stråleforfulgte horisont for terrænet i lunar-station-coverage), om Jorden og Solen er over stedets horisont (analytisk Sol, Måne og månens orientering, libration medregnet, hvilket er det, der flytter sig med årstiden), og tilgængelighed af tidssynkronisering (et relæ eller Jorden i sigte) med den længste strækning uden nogen af dem, den holdover, et overfladeur skal klare. Et resultat for ét sted er lig med moonlight-service-volumes til sidste bit. MODELLED: illustrativt keplersk relæsæt på en Måne med middelrotation; relætallet ændrer sig ikke med årstiden; terrænet er LOLA-udsnittet på 1200 m. Ikke støttet af nogen rumfartsorganisation; vejledende software, ikke certificeret navigationsudstyr.

Én kørsel af scenarios/lunar-surface.toml opsummeres som: lunar-surface | 4 steder x 4 årstider | positionering 41% til 41% | dårligste tilgængelighed af tidssynkronisering 100,0% | længste hul i tidssynkronisering 0,0 h (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

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

Kør den#

kshana scenarios/lunar-surface.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-surface: relætilgængelighed og PDOP, sigtbarhed af Jorden og Solen og et disciplineret overfladeur for hvert sted og hver årstid, med terrænhorisonten fra moonlight-service-volume; en kørsel for ét sted er lig med den types

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-surface: relætilgængelighed og PDOP, sigtbarhed af Jorden og Solen og et disciplineret overfladeur for hvert sted og hver årstid, med terr. Uafhængig reference (ReferenceImpl): Nøjagtig lighed med den eksisterende type for ét sted og monotonikontroller i testene. Relæsættet er ILLUSTRATIVE, og ingen overflademåling sammenlignes

Begrænsninger#

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

• MODELLED (resultat label)
• MODELLED tilgængelighed af positionering og tidssynkronisering på overfladen efter sted og årstid for steder ved sydpolen i Artemis-klassen. (typekatalog (kshana kinds --json))
• MODELLED: illustrativt keplersk relæsæt på en Måne med middelrotation; relætallet ændrer sig ikke med årstiden; terrænet er LOLA-udsnittet på 1200 m. (typekatalog (kshana kinds --json))
• ÆRLIGHED: MODELLED. Relæsættet er illustrativt og keplersk, med Månen drejende med middelhastigheden for relæerne (ingen libration) som i moonlight-service-volume; Jorden og Solen bruger den analytiske orientering, så de to referencesystemer afviger ved den udeladelse. Tallet for positionering via relæer ændrer sig ikke med årstiden i denne model; tallene for Jorden og Solen gør. Ingen overensstemmelse med nogen virkelig tjeneste eller noget virkeligt sted hævdes. Vejl (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))
• Tilgængelighed af positionering og tidssynkronisering på overfladen efter sted og årstid ved månepolerne (lunar-surface) er MODELLED, ikke valideret: kontrolleret mod en særskilt implementering i den samme kodebase — uafhængig af den enhed, der afprøves, men ikke eksternt autoritativ. (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