moonlight-service-volume (type de scénario)

Type de scénario du moteur v0.40.0, famille Lunaire et cislunaire. À titre consultatif : résultat d'analyse d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf si la matrice dit le contraire (comment une étiquette s'acquiert : la section Evidence du README).

Ce qu'il fait#

Analyse modélisée du volume de service de navigation lunaire à partir d'une constellation ILLUSTRATIVE de classe Moonlight/LCNS en orbite lunaire, à sources publiques (sans affiliation à l'ESA) : balaie une grille sélénographique de latitude/longitude sur un horizon temporel et rapporte le DOP / la couverture / la disponibilité (≥4 sats ET PDOP < seuil) ainsi qu'une enveloppe généralisée de niveaux de protection ARAIM lunaires (HPL/VPL) sur le volume. La géométrie du DOP RÉUTILISE le noyau VALIDATED par gnss_lib_py (crate::orbit::dop) ; le niveau de protection RÉUTILISE le mécanisme ARAIM lunaire LunaNet LNIS (crate::lunar, σ_URE≈30 m) et se réduit au niveau de protection existant du pôle sud comme cas particulier. Composition MODELLED : un ensemble de relais képlériens circulaires/elliptiques (et non l'éphéméride réelle LCNS/NRHO à correction différentielle), une Lune à rotation moyenne (sans libration ni pôle en précession). Déterministe (géométrie pure). Aucun TRL, héritage ni aval d'une agence.

Une exécution de scenarios/moonlight-service-volume.toml se résume ainsi : moonlight-service-volume | 8 sats (illustrative LCNS-class, not affiliated) | 24 pts × 12 epochs | coverage 37,8% (PDOP<6,0) | sats 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | PL avail 0,0% | MODELLED

Entrées#

D'après le schéma (kshana kinds --json) :

• Champs requis : aucun
• Champs facultatifs : 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

L'exemple scenarios/moonlight-service-volume.toml définit, entre autres :

L'exécuter#

kshana scenarios/moonlight-service-volume.toml

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Preuves#

MODELLED : les lignes de la matrice de vérification qui nomment ce type de scénario.

• MODELLED Le type et la phase lunar-surface : disponibilité des relais et PDOP, visibilité de la Terre et du Soleil et horloge de surface asservie pour chaque site et chaque saison, avec la ligne d'horizon du terrain de moonlight-service-volume ; une exécution à site unique égale celle de ce type

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

• MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED
• VALIDATED DOP / couverture / disponibilité lunaires de classe Moonlight + niveaux de protection ARAIM lunaires généralisés sur un volume de service. Référence indépendante (ExternalDataset) : autorité tierce indépendante, propagateur képlérien astro::Orbit d'ANISE 0.10.2 (Nyx Space, MPL-2.0) — un chemin de code à deux corps équinoxial distinct du Kepler de Newton-Raphson de kshana ; la position MCI par satellite concorde à <1e-3 m et le nombre/ensemble de satellites visibles dérivé concorde exactement en chaque point de la grille. Le noyau DOP est validé par gnss_lib_py ; l'intégrité utilise les paramètres publiés de LunaNet/LCNS
• VALIDATED Angles de visée topocentriques par satellite (azimut dans le sens horaire à partir du nord, élévation) et distance oblique en un site sélénographique nommé, étant donné le satellite dans le référentiel du site. Référence indépendante (ExternalDataset) : ANISE 0.10.2 (Nyx Space, MPL-2.0, exécuté comme outil depuis xval/anise-service-geometry, binaire lunar-look-angles-xval, qui n'appelle aucun code Kshana) : la propre routine d'azimut, d'élévation et de distance d'ANISE (azimuth_elevation_range_sez) à partir de sites construits par son constructeur de latitude-longitude-altitude sur la Lune pck00011 (sphère de 1737,4 km), les satellites étant tournés dans MOON_PA_DE440 par moon_pa_de440_200625.bpc. 768 échantillons o

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

• Composition MODELLED : un ensemble de relais képlériens circulaires/elliptiques (et non l'éphéméride réelle LCNS/NRHO à correction différentielle), une Lune à rotation moyenne (sans libration ni pôle en précession). (catalogue des types de scénario (kshana kinds --json))
• HONNÊTETÉ : composition MODELLED. La géométrie du DOP est validée PAR RÉUTILISATION du noyau validé ; la composition couverture / disponibilité / intégrité est MODELLED — un ensemble de relais képlériens circulaires/elliptiques (et non une éphéméride LCNS / NRHO 9:2 à correction différentielle), une Lune à rotation moyenne (sans libration physique ni pôle en précession), et les paramètres d'intégrité LunaNet LNIS publiés. Cela démontre le M du volume de service lunaire (commentaire du fichier de scénario, lignes 27 à 32)
• La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#

• Page de famille : Lunaire et cislunaire
• Tous les types de scénario : KINDS.md
• Page de sujet : LUNAR-REFERENCE-STATION.md
• Page thématique : MISSION-THREAD-LUNAR.md