moonlight-service-volume (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#

Modelleret analyse af servicevolumen for månenavigation ud fra en ILLUSTRATIVE konstellation i månebane af typen Moonlight/LCNS baseret på offentlige kilder (ikke tilknyttet ESA): den gennemløber et selenografisk bredde-/længdegradsgitter over en tidshorisont og rapporterer DOP, dækning og tilgængelighed (≥4 sat. OG PDOP < tærskel) samt en generaliseret ARAIM-beskyttelsesniveau-envelope (HPL/VPL) for månen over volumenen. DOP-geometrien GENBRUGER den VALIDATED kerne fra gnss_lib_py (crate::orbit::dop); beskyttelsesniveauet GENBRUGER LunaNets LNIS-maskineri til ARAIM på månen (crate::lunar, σ_URE≈30 m) og reduceres til det eksisterende PL ved sydpolen som et specialtilfælde. MODELLED sammensætning: et relæsæt med cirkulære/elliptiske Kepler-baner (ikke den reelle differentialkorrigerede LCNS/NRHO-efemeride), en måne med middelrotation (ingen libration og ingen præcederende pol). Deterministisk (ren geometri). Ingen TRL, flyvehistorik eller anbefaling fra en rumfartsorganisation.

Én kørsel af scenarios/moonlight-service-volume.toml opsummeres som: moonlight-service-volume | 8 sat. (illustrativ, af typen LCNS, ikke tilknyttet) | 24 punkter × 12 epoker | dækning 37,8% (PDOP<6,0) | sat. 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | PL-tilgængelighed 0,0% | MODELLED

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

Eksemplet scenarios/moonlight-service-volume.toml angiver blandt andet:

Kør den#

kshana scenarios/moonlight-service-volume.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

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
• VALIDATED DOP, dækning og tilgængelighed for månen af typen Moonlight samt generaliserede ARAIM-beskyttelsesniveauer for månen over en servicevolumen. Uafhængig reference (ExternalDataset): uafhængig tredjepartsautoritet ANISE 0.10.2 astro::Orbit, en Kepler-propagator (Nyx Space, MPL-2.0) — en ækvinoktial totlegemekodevej, der adskiller sig fra kshanas Newton-Raphson-Kepler; MCI-positionen for hver satellit stemmer overens inden for <1e-3 m, og det afledte antal og den afledte mængde af synlige satellitter stemmer nøjagtigt i hvert gitterpunkt. DOP-kernen er valideret mod gnss_lib_py; integriteten bruger offentliggjorte LunaNet/LCNS-parametre
• VALIDATED Topocentriske sigtevinkler (azimut med uret fra nord, elevation) og skråafstand til hver satellit fra et navngivet selenografisk sted, givet satellitten i stedets. Uafhængig reference (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, kørt som værktøj fra xval/anise-service-geometry, binærfilen lunar-look-angles-xval, som ikke kalder nogen Kshana-kode): ANISEs egen rutine for azimut, elevation og afstand (azimuth_elevation_range_sez) fra steder bygget med dens konstruktør for bredde, længde og højde på pck00011-månen (kugle 1737,4 km), hvor satellitterne er roteret ind i MOON_PA_DE440 via moon_pa_de440_200625.bpc. 768 prøver o

Begrænsninger#

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

• MODELLED sammensætning: et relæsæt med cirkulære/elliptiske Kepler-baner (ikke den reelle differentialkorrigerede LCNS/NRHO-efemeride), en måne med middelrotation (ingen libration og ingen præcederende pol). (typekatalog (kshana kinds --json))
• ÆRLIGHED: MODELLED sammensætning. DOP-geometrien er valideret VED GENBRUG af den validerede kerne; sammensætningen af dækning, tilgængelighed og integritet er MODELLED — et relæsæt med cirkulære/elliptiske Kepler-baner (ikke en differentialkorrigeret LCNS/9:2-NRHO-efemeride), en måne med middelrotation (ingen fysisk libration og ingen præcederende pol) og offentliggjorte integritetsparametre fra LunaNet LNIS. Dette viser servicevolumen for månen M (kommentar i scenariefilen, linje 27 til 32)
• 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))

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md
• Emneside: LUNAR-REFERENCE-STATION.md
• Emneside: MISSION-THREAD-LUNAR.md