Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Pages des types de scénarioModifier sur GitHubSource : docs/kinds/by-kind/lunar-integrity.md

lunar-integrity (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#

Passage de niveau de protection ARAIM au pôle sud lunaire par rapport à un ensemble représentatif de relais LunaNet. sigma_ure_m expose la précision de mesure de distance du signal dans l'espace (les niveaux de protection lui sont proportionnels, de sorte que la balayer répond à la question de la précision de mesure de distance qu'exige une limite d'alerte). Par défaut, le cas historique du pôle sud de classe LNIS.

Une exécution de scenarios/lunanet-araim.toml se résume ainsi : lunar-integrity | south pole | 0/24 epochs available (0,0%) | AL 50 m | σ_URE 30 m | HPL 263–452 m

Entrées#

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

  • Champs requis : aucun
  • Champs facultatifs : step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

L'exemple scenarios/lunanet-araim.toml définit, entre autres :

Champ Valeur Unité
alert_limit_m 50 m
duration_s 86400 s
kind lunar-integrity texte
p_hmi 1.0000e-4 non indiqué
step_s 3600 s

L'exécuter#

kshana scenarios/lunanet-araim.toml

Ce qu'il donne#

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

Résultat Valeur Unité
alert_limit_m 50 m
evidence.id_rule l'identifiant stable de la ligne de la matrice (l'ID texte
evidence.matrix docs/VERIFICATION-MATRIX.md texte
evidence.tier MODELLED texte
max_hpl_m 452.18433 m
min_hpl_m 263.02565 m
samples_available 0 nombre
samples_total 24 nombre
sigma_ure_m 30 m
Le graphique que le moteur écrit pour scenarios/lunanet-araim.toml, type de scénario lunar-integrity

Preuves#

Aucune ligne de la matrice ne nomme ce type de scénario ; l'étiquette de son résultat est celle du moteur lui-même, ci-dessus.

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) :

  • VALIDATED Séparation de solutions à hypothèses multiples ARAIM selon l'ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels et add_v42_protecti. Référence indépendante (ExternalDataset) : trois outils indépendants, préenregistrés (0123cee1) avant l'existence de toute donnée de banc d'essai ou de référence, tolérances alors fixées. (1) ARAIM : Stanford MAAST pour ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, exécuté comme programme séparé sous GNU Octave 8,4 avec une couche de compatibilité unique() côté pilote (divulguée, sans changement d'algorithme), au TOL_PL de l'ADD de 0,05 m : le Rust reproduit l'implémentation de référence de l'ADD sur
  • 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 L'étape géométrie-vers-covariance du niveau de protection lunaire — (GᵀG)⁻¹ sur la géométrie tous satellites en vue et chaque sous-géométrie à défaut unique, projetée sur la verticale locale a. Référence indépendante (ExternalDataset) : deux implémentations tierces établies composées, toutes deux exécutées hors ligne, avec le jeu de données régénéré de bout en bout et vérifié identique à l'octet près. RTKLIB 2.4.2-p13 (T. Takasu, BSD-2-Clause), commit 71db0ff, src/rtkcmn.c compilé à partir du source C avec -ULAPACK : lsq() → matinv() → ludcmp()/lubksb() inverse la matrice normale par LU de Crout avec pivot partiel, un algorithme sans rapport avec le invert4() de Gauss-Jordan écrit à la main de kshana

Limites#

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

  • 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#