Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperÄnnu inte på GitHubKälla: docs/kinds/by-kind/lunar-surface.md

lunar-surface (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 tillgänglighet för positionering och tidssynkronisering på ytan per plats och årstid för platser nära sydpolen i Artemis-klass. För varje plats och årstid (en epok och ett fönster efter den) redovisas positionering med reläer (fyra eller fler reläer i en ILLUSTRATIVE konstellation i LCNS-klass i sikte och PDOP under en tröskel, från samma funktioner som moonlight-service-volume och, med ett terrängavsnitt, den siluett framräknad med strålmarsch för terrängen i lunar-station-coverage), om jorden och solen ligger över platsens horisont (analytisk sol, måne och månorientering, libration inräknad, vilket är det som varierar med årstiden), och tillgänglighet för tidssynkronisering (ett relä eller jorden i sikte) med den längsta sträckan utan någotdera, den holdover som en ytklocka måste klara. Ett resultat för en enda plats är lika med moonlight-service-volumes, bit för bit. MODELLED: illustrativ keplersk reläuppsättning på en måne med medelrotation; reläsiffran ändras inte med årstiden; terrängen är LOLA-utsnittet på 1200 m. Inte stött av någon rymdorganisation; rådgivande programvara, inte certifierad navigationsutrustning.

En körning av scenarios/lunar-surface.toml sammanfattas som: lunar-surface | 4 platser x 4 årstider | positionering 41 % till 41 % | sämsta tillgänglighet för tidssynkronisering 100,0 % | längsta glapp i tidssynkronisering 0,0 h (MODELLED)

Indata#

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

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

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

Fält Värde Enhet
argp_deg 90 deg
earth_mask_deg 0 deg
eccentricity 0.6 inte angivet
inc_deg 57.7 deg
kind lunar-surface text
mask_deg 5 deg
n_sats 8 inte angivet
pdop_threshold 6 1
season_dates [2028-01-01, 2028-04-01, 2028-07-01, 2028-09-30] inte angivet
sites[0].lat_deg -89.9 deg
sites[0].lon_deg 0 deg
sites[0].name sydpolär 89,9 text

Kör den#

kshana scenarios/lunar-surface.toml

2 medföljande scenarier använder den här typen; de andra finns i scenarios/.

Vad den ger#

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

Resultat Värde Enhet
advisory Rådgivande programvara, inte certifierad navigat text
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
exit_state.clock_sigma_s 5.0000e-8 s
exit_state.evidence MODELLED text
exit_state.frame mci text
exit_state.longest_timing_gap_h 0 h
exit_state.position_velocity_covariance förs över oförändrad text
exit_state.stay_days 27.3217 d

Resultatetikett (motorns): MODELLED

Diagrammet som motorn skriver för scenarios/lunar-surface.toml, typ lunar-surface

Evidens#

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

  • MODELLED Typen och fasen lunar-surface: reläers tillgänglighet och PDOP, synlighet för jorden och solen samt en styrd ytklocka för varje plats och årstid, med terrängsiluetten från moonlight-service-volume; en körning för en enda plats ger exakt samma som den typens

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-surface: reläers tillgänglighet och PDOP, synlighet för jorden och solen samt en styrd ytklocka för varje plats och årstid, med ter. Oberoende referens (ReferenceImpl): Exakt likhet med den befintliga typen för en plats, samt monotonicitetskontroller, i testerna. Reläuppsättningen är ILLUSTRATIVE och ingen ytmätning jämförs

Begränsningar#

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

  • MODELLED (resultat label)
  • MODELLED tillgänglighet för positionering och tidssynkronisering på ytan per plats och årstid för platser nära sydpolen i Artemis-klass. (typkatalog (kshana kinds --json))
  • MODELLED: illustrativ keplersk reläuppsättning på en måne med medelrotation; reläsiffran ändras inte med årstiden; terrängen är LOLA-utsnittet på 1200 m. (typkatalog (kshana kinds --json))
  • ÄRLIGHET: MODELLED. Reläuppsättningen är illustrativ och keplersk, med månen roterande med medelhastigheten för reläerna (ingen libration) som i moonlight-service-volume; jorden och solen använder den analytiska orienteringen, så de två referenssystemen skiljer sig åt genom den utelämningen. Reläpositioneringssiffran ändras inte med årstiden i den här modellen; jord- och solsiffrorna gör det. Ingen samstämmighet med någon verklig tjänst eller plats hävdas. Råd (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))
  • Tillgänglighet för positionering och tidssynkronisering på ytan per plats och årstid vid månens poler (lunar-surface) är MODELLED, inte validerad: kontrollerad mot en separat implementation i samma kodbas — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#