moonlight-service-volume (scenariosoort)

Scenariokind van de engine v0.40.0, familie Maan en cislunair. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Gemodelleerde analyse van het lunaire navigatieservicevolume voor een ILLUSTRATIVE constellatie in een lunaire baan van het type Moonlight/LCNS, op basis van openbare bronnen (niet verbonden aan ESA): zij doorloopt een selenografisch breedte-/lengteraster over een tijdshorizon en rapporteert DOP / dekking / beschikbaarheid (≥4 sats EN PDOP < drempel) plus een gegeneraliseerde lunaire ARAIM-beschermingsniveau-envelop (HPL/VPL) over het volume. De DOP-geometrie HERGEBRUIKT de gnss_lib_py-VALIDATED kernel (crate::orbit::dop); het beschermingsniveau HERGEBRUIKT de lunaire ARAIM-machinerie van LunaNet LNIS (crate::lunar, σ_URE≈30 m) en gaat als bijzonder geval over in het bestaande beschermingsniveau voor de zuidpool. MODELLED samenstelling: een cirkelvormige/elliptische Kepler-relaisverzameling (niet de echte, differentieel gecorrigeerde LCNS/NRHO-efemeride), een Maan met gemiddelde rotatie (geen libratie/precesserende pool). Deterministisch (zuivere geometrie). Geen TRL, geen vluchtervaring, geen goedkeuring door een ruimtevaartorganisatie.

Eén run van scenarios/moonlight-service-volume.toml vat samen als: moonlight-service-volume | 8 sats (illustratief, LCNS-type, niet verbonden) | 24 punten × 12 epochs | dekking 37,8% (PDOP<6,0) | sats 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | PL-beschikbaarheid 0,0% | MODELLED

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

Het voorbeeld scenarios/moonlight-service-volume.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/moonlight-service-volume.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Bewijs#

MODELLED: de rijen van de verificatiematrix die dit type noemen.

• MODELLED De soort en fase lunar-surface: beschikbaarheid van relais en PDOP, zicht op aarde en zon en een gestuurde oppervlakteklok voor elke locatie en elk seizoen, met de terreinhorizon van moonlight-service-volume; een run voor één locatie is gelijk aan die van die soort

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• VALIDATED Moonlight-type lunaire DOP / dekking / beschikbaarheid + gegeneraliseerde lunaire ARAIM-beschermingsniveaus over een servicevolume. Onafhankelijke referentie (ExternalDataset): onafhankelijke externe autoriteit, de Kepler-propagator ANISE 0.10.2 astro::Orbit (Nyx Space, MPL-2.0) — een equinoctiaal tweelichamenpad dat verschilt van de Newton-Raphson-Kepler van kshana; de MCI-positie per satelliet komt overeen tot <1e-3 m en het afgeleide aantal/de afgeleide set zichtbare satellieten komt in elk rasterpunt exact overeen. De DOP-kernel is door gnss_lib_py getoetst; de integriteit gebruikt gepubliceerde LunaNet/LCNS-parameters
• VALIDATED Topocentrische kijkhoeken per satelliet (azimut met de klok mee vanaf noord, elevatie) en schuine afstand op een benoemde selenografische locatie, gegeven de satelliet in het van de locatie. Onafhankelijke referentie (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, als hulpmiddel gedraaid vanuit xval/anise-service-geometry, binary lunar-look-angles-xval, dat geen Kshana-code aanroept): de eigen routine van ANISE voor azimut, elevatie en afstand (azimuth_elevation_range_sez) vanaf locaties die zijn opgebouwd met de constructor voor breedte, lengte en hoogte op de pck00011-Maan (bol 1737,4 km), waarbij de satellieten via moon_pa_de440_200625.bpc naar MOON_PA_DE440 zijn gedraaid. 768 samples o

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• MODELLED samenstelling: een cirkelvormige/elliptische Kepler-relaisverzameling (niet de echte, differentieel gecorrigeerde LCNS/NRHO-efemeride), een Maan met gemiddelde rotatie (geen libratie/precesserende pool). (soortencatalogus (kshana kinds --json))
• EERLIJKHEID: MODELLED samenstelling. De DOP-geometrie is getoetst DOOR HERGEBRUIK van de getoetste kernel; de samenstelling van dekking / beschikbaarheid / integriteit is MODELLED — een cirkelvormige/elliptische Kepler-relaisverzameling (niet een differentieel gecorrigeerde LCNS / 9:2 NRHO-efemeride), een Maan met gemiddelde rotatie (geen fysieke libratie / precesserende pool) en gepubliceerde LunaNet LNIS-integriteitsparameters. Dit toont het lunaire servicevolume M (opmerking in het scenariobestand, regels 27 tot 32)
• Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md
• Onderwerppagina: LUNAR-REFERENCE-STATION.md
• Onderwerppagina: MISSION-THREAD-LUNAR.md