`moonlight-service-volume` (scenariotype)

Scenariotype i motoren v0.40.0, familie Måne og cislunart rom. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Modellert analyse av tjenestevolumet for månenavigasjon fra en ILLUSTRATIVE konstellasjon i månebane av typen Moonlight/LCNS, bygget på offentlige kilder (ikke tilknyttet ESA): den sveiper over et selenografisk bredde-/lengdegradsnett over en tidshorisont og rapporterer DOP, dekning og tilgjengelighet (≥4 satellitter OG PDOP < terskel) samt en generalisert månebasert ARAIM-beskyttelsesnivå-omhylling (HPL/VPL) over volumet. DOP-geometrien GJENBRUKER kjernen som er VALIDATED mot gnss_lib_py (crate::orbit::dop); beskyttelsesnivået GJENBRUKER LunaNet LNIS' månebaserte ARAIM-maskineri (crate::lunar, σ_URE≈30 m) og reduseres til det eksisterende beskyttelsesnivået ved sørpolen som et spesialtilfelle. MODELLED sammensetning: et reléssett i sirkulære eller elliptiske Kepler-baner (ikke den virkelige differensialkorrigerte LCNS/NRHO-efemeriden) og en måne med middels rotasjon (ingen librasjon og ingen presesjon av polen). Deterministisk (ren geometri). Ingen TRL, flytradisjon eller byråstøtte.

Inndata#

Fra skjemaet (kshana kinds --json):

Påkrevde felt: ingen
Valgfrie felt: 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

Eksempelet scenarios/moonlight-service-volume.toml angir blant annet:

Felt	Verdi	Enhet
`alert_limit_m`	50	m
`argp_deg`	90	deg
`eccentricity`	0.6	ikke oppgitt
`elev_mask_deg`	5	deg
`horizon_hours`	12	h
`inc_deg`	57.7	deg
`kind`	moonlight-service-volume	tekst
`lat_max_deg`	-60	deg
`lat_min_deg`	-90	deg
`lat_step_deg`	10	deg
`lon_max_deg`	180	deg
`lon_min_deg`	-180	deg

Kjør den#

kshana scenarios/moonlight-service-volume.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat	Verdi	Enhet
`alert_limit_m`	50	m
`coverage_pct`	37.847222	%
`elev_mask_deg`	5	deg
`evidence.id_rule`	den stabile id-en til matriseraden (ID	tekst
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	tekst
`evidence.tier`	MODELLED	tekst
`hpl_max_m`	4176.665443	m
`hpl_min_m`	138.725726	m
`max_sats`	7	antall
`min_sats`	4	antall

Diagrammet motoren skriver for scenarios/moonlight-service-volume.toml, type moonlight-service-volume

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

MODELLED Typen og fasen lunar-surface: relétilgjengelighet og PDOP, synlighet av Jorden og Solen og en disiplinert overflateklokke for hvert sted og hver årstid, med terrengskylinen fra moonlight-service-volume; en kjøring for ett sted er lik den typens

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
VALIDATED DOP, dekning og tilgjengelighet for Moonlight-lignende månekonstellasjoner, samt generaliserte månebaserte ARAIM-beskyttelsesnivåer over et tjenestevolum. Uavhengig referanse (ExternalDataset): den uavhengige tredjeparts Kepler-propagatoren ANISE 0.10.2 astro::Orbit (Nyx Space, MPL-2.0), en ekvinoktial totrekrops-kodebane som er forskjellig fra kshanas Newton-Raphson-Kepler; posisjonen i MCI per satellitt stemmer til <1e-3 m, og det avledede antallet og settet av synlige satellitter samsvarer nøyaktig i hvert rutenettpunkt. DOP-kjernen er validert mot gnss_lib_py; integriteten bruker publiserte LunaNet/LCNS-parametere
VALIDATED Topocentriske siktevinkler per satellitt (azimut med klokken fra nord, elevasjon) og skrå avstand ved et navngitt selenografisk sted, gitt satellitten i stedets. Uavhengig referanse (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, kjørt som verktøy fra xval/anise-service-geometry, binærfilen lunar-look-angles-xval, som ikke kaller noen Kshana-kode): ANISEs egen rutine for azimut, elevasjon og avstand (azimuth_elevation_range_sez) fra steder bygget med dens konstruktør for breddegrad, lengdegrad og høyde på pck00011-månen (kule 1737,4 km), med satellittene rotert inn i MOON_PA_DE440 via moon_pa_de440_200625.bpc. 768 utvalg o

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

MODELLED sammensetning: et reléssett i sirkulære eller elliptiske Kepler-baner (ikke den virkelige differensialkorrigerte LCNS/NRHO-efemeriden) og en måne med middels rotasjon (ingen librasjon og ingen presesjon av polen). (typekatalog (kshana kinds --json))
ÆRLIGHET: MODELLED sammensetning. DOP-geometrien er validert VED GJENBRUK av den validerte kjernen; sammensetningen av dekning, tilgjengelighet og integritet er MODELLED: et reléssett i sirkulære eller elliptiske Kepler-baner (ikke en differensialkorrigert LCNS-/9:2-NRHO-efemeride), en måne med middels rotasjon (ingen fysisk librasjon og ingen presesjon av polen) og publiserte LunaNet LNIS-integritetsparametere. Dette demonstrerer tjenestevolumet for månen M (kommentar i scenariofilen, linje 27 til 32)
Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))