lunar-station-coverage (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#

Couverture modélisée d'une station de référence lunaire : un balayage de Monte-Carlo du modèle de PNT différentiel lunaire sur une grille d'utilisateurs du pôle sud et une journée d'époques. Une station de référence différentielle en un site connu du pôle sud corrige une constellation donnée (képlérienne illustrative ou éphéméride tabulée) avec une erreur de signal dans l'espace, une erreur de relevé, une latence de correction et une quantification de liaison données ; par point et sur la région, elle rapporte l'erreur de position corrigée et non corrigée en percentile (3D, horizontale, verticale), la disponibilité, la couverture par rapport à un seuil donné, les niveaux de protection DO-229E, le rayon de couverture par azimut et le bilan de la liaison de correction à la station et au pire point. Pas une déclaration sur la performance d'un système réel ; sans affiliation ni aval d'aucune agence. MODELLED.

Une exécution de scenarios/lunar-station-coverage.toml se résume ainsi : lunar-station-coverage | 346 points x 144 epochs x 200 trials | availability 92,2 % | coverage 76,5 % (p95 <= 20 m) | corrected p95 3-D 15,592 m (uncorrected 1056,892 m) | HPL max 480,385 m | MODELLED; not a statement about any real system

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, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

L'exemple scenarios/lunar-station-coverage.toml définit, entre autres :

L'exécuter#

kshana scenarios/lunar-station-coverage.toml

3 scénarios fournis utilisent ce type ; les autres se trouvent dans scenarios/.

Ce qu'il donne#

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

Libellé du résultat (celui du moteur) : MODELLED

Preuves#

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

• MODELLED Balayage de Monte-Carlo du modèle de PNT différentiel lunaire sur une grille d'utilisateurs du pôle sud et une journée d'époques (le type de scénario lunar-station-coverage) : pour une station de référence différentielle en un site connu du pôle sud, par point et sur la région, le Tests : lunar_station_coverage_reference.rs.

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
• MODELLED Station de référence différentielle de classe NovaMoon : annulation du mode commun + résiduel croissant avec la ligne de base + niveaux de protection DGNSS. Référence indépendante (InternalConsistency) : identité d'annulation d'erreur différentielle + réutilisation du mécanisme de niveau de protection SBAS de la DO-229E ; la simple différence + la résolution WLS sont en outre recoupées avec lsq()/matinv() de RTKLIB (Takasu, BSD-2-Clause, C compilé) — code de résolution indépendant, mais la même algèbre au premier ordre de la différence de ligne de visée, donc toujours InternalConsistency
• MODELLED Les trois termes qu'une correction différentielle accumule entre l'époque où elle est calculée et l'époque où elle est utilisée, chacun auparavant laissé comme marge non modélisée :. Référence indépendante (InternalConsistency) : identités en forme close et autocohérence : la variance du quantificateur uniforme pas²/12, la propagation exacte de covariance (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ qui se réduit à σ·PDOP pour des σ égaux, le transfert 1:1 du terme de relevé comme conséquence de û_user ≈ û_ref, et la fermeture en quadrature de la désactivation. Le recoupement du PDOP avec orbit::dop partage la matrice normale [−û, 1], c'est donc un contrôle de cohérence, et il est étiqueté comme tel plutôt que comme un indépendant
• MODELLED Balayage de Monte-Carlo du modèle de PNT différentiel lunaire sur une grille d'utilisateurs du pôle sud et une journée d'époques (le type de scénario lunar-station-coverage) : pour une station de référence différentielle en un s. Référence indépendante (InternalConsistency) : arithmétique recalculée par un script numpy indépendant sur des cas exportés (scripts/gen_lunar_station_ref.py, numpy 2.5.4 ; préenregistré dans tests/fixtures/lunar_station/PREREGISTRATION.md, consigné seul dans 9caedf97 avant la première exécution) : sur 20 cas avec tous les termes d'erreur activés, les ensembles visibles et l'état sont identiques, les erreurs de distance brutes concordent à 1.4e-14 m, les vecteurs et amplitudes d'erreur de position à 1.4e-9 m par rapport à

Limites#

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

• MODELLED (résultat label)
• MODELLED. (catalogue des types de scénario (kshana kinds --json))
• HONNÊTETÉ : MODELLED. Sous les hypothèses énoncées ci-dessous, le modèle donne ces chiffres. Pas une déclaration sur la performance d'un système réel ; sans affiliation ni aval d'aucune agence ; aucune revendication de TRL ou d'héritage. Omis : masquage par le terrain et l'horizon au pôle (la première limite), multitrajet, matériel du récepteur. (commentaire du fichier de scénario, lignes 15 à 18)
• 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))
• Le PNT différentiel lunaire est MODELLED, et non vérifié : il est contrôlé par rapport à sa propre identité analytique ou en forme close, ce qui détecte les erreurs de transcription et de coefficients, mais n'est pas une référence externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• Le PNT différentiel lunaire — budget résiduel de la liaison de correction est MODELLED, et non vérifié : il est contrôlé par rapport à sa propre identité analytique ou en forme close, ce qui détecte les erreurs de transcription et de coefficients, mais n'est pas une référence externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• La carte de couverture et de précision d'une station de référence lunaire est MODELLED, et non vérifiée : elle est contrôlée par rapport à sa propre identité analytique ou en forme close, ce qui détecte les erreurs de transcription et de coefficients, mais n'est pas une référence externe. (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