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-infrastructure.md

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

Études MODELLED de l'orbite et de la surface de la Lune comme infrastructure de navigation et de géodésie, cinq études derrière un seul type de scénario choisi par study : od-consistency (détermination d'orbite embarquée par GNSS terrestre en NRHO ou ELFO par rapport à une détermination d'orbite radiométrique au sol indépendante, jugées par leurs propres covariances sur une simulation de Monte-Carlo initialisée par une graine), carrier-phase (phase de la porteuse en double différence conjointe surface-orbiteur et résolution de l'ambiguïté entière avec LAMBDA), frame-coestimation (une station de surface et des orbiteurs ajoutés à la télémétrie de stations terrestres pour le datum de référentiel lunaire à sept paramètres), space-tie (GNSS, VLBI et télémétrie laser sur un même engin spatial, précision du rattachement de référentiel par rapport à l'erreur de rattachement local) et geodesy-sensitivity (information de Fisher des nombres de Love lunaires h2, k2, l2 et de la libration physique à partir de la télémétrie laser, du suivi d'orbiteur, d'un gravimètre de surface et d'une horloge de surface). Un modèle restreint à trois corps avec des simplifications énoncées ; les calculs numériques sont vérifiés par rapport à des programmes indépendants et rien n'est comparé à une mesure d'une grandeur lunaire.

Une exécution de scenarios/lunar-infrastructure-space-tie.toml se résume ainsi : lunar-infrastructure space-tie: 4 sweep points on 1 arcs; laser-vs-GNSS x translation sigma 1,0363 m at the registered local tie

Entrées#

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

  • Champs obligatoires : study
  • Champs facultatifs : seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

L'exemple scenarios/lunar-infrastructure-space-tie.toml définit, entre autres :

Champ Valeur Unité
kind lunar-infrastructure texte
orbit.arc_days 6.56 d
orbit.family nrho texte
orbit.sample_s 900 s
orbit.vy0 -0.102 non indiqué
orbit.x0 1.022 non indiqué
orbit.z0 -0.18 non indiqué
seed 20261019 non indiqué
study space-tie texte
techniques.gnss_sigma_m 10 m
techniques.local_tie_sigma_m 0.001 m
techniques.slr_sigma_m 0.1 m

L'exécuter#

kshana scenarios/lunar-infrastructure-space-tie.toml

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

Résultat Valeur Unité
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
local_tie_sigma_m 0.001 m
study space-tie texte
technique_sigma_m.gnss 10 m
technique_sigma_m.slr 0.1 m
technique_sigma_m.vlbi 1 m

Libellé du résultat (celui du moteur) : MODELLED — un modèle restreint à trois corps (Terre et Lune en masses ponctuelles, sans Soleil, sans harmoniques du champ de gravité lunaire) avec des simplifications énoncées et des entrées ILLUSTRATIVE étiquetées avec leurs sources publiques. Les calculs numériques sont vérifiés par rapport à des programmes indépendants ; rien n'est comparé à une mesure d'une grandeur lunai

pas de tracé : l'exemple n'écrit aucun graphique

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

  • 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 Détermination d'orbite sur une orbite de halo quasi rectiligne (ou une orbite gelée elliptique) à partir de deux types de données indépendants : pseudodistances GNSS terrestres reçues à bord . Référence indépendante (ReferenceImpl) : un programme scipy/numpy indépendant intègre les mêmes équations variationnelles (seuil O1). Rien n'est comparé à une mesure d'une orbite lunaire. La référence indépendante vérifie les calculs numériques de formules énoncées, et non la physique, de sorte que la ligne reste MODELLED. Modèle restreint à trois corps : pas de Soleil, pas d'harmoniques lunaires, l'axe de rotation de la Terre le long de la normale à l'orbite, entrées ILLUSTRATIVE de récepteur et de station.
  • MODELLED Phase de la porteuse et code GNSS terrestres en simple différence entre récepteurs à une station de surface lunaire et à un orbiteur, avec la différence d'horloge par époque éliminée par profilage ou. Référence indépendante (ReferenceImpl) : une résolution numpy indépendante des mêmes équations normales à partir des lignes exportées (Q3) et une énumération entière par force brute (Q4). Aucune mesure de phase de la porteuse GNSS ou lunaire n'est comparée. MODELLED.
  • MODELLED Information de Fisher du datum de référentiel lunaire à sept paramètres à partir de la télémétrie laser de stations terrestres vers les cinq réflecteurs seuls et avec la télémétrie orbiteur-vers-station de surface. Référence indépendante (ReferenceImpl) : une différence finie numpy indépendante du modèle direct (F2). Rien n'est comparé à de vraies solutions de référentiel lunaire. Le facteur est conditionnel à l'orbite supposée connue et au sigma de distance de 1 m. MODELLED.
  • MODELLED Précision de Cramer-Rao des décalages inter-techniques de translation, d'échelle et de rotation entre les référentiels GNSS, VLBI et de télémétrie laser lorsqu'un seul engin spatial porte tous . Référence indépendante (ReferenceImpl) : un système empilé numpy indépendant dont les inconnues de position sont éliminées par compléments de Schur explicites (T3). Aucune donnée de GRASP, de Genesis ou d'une autre mission n'est comparée. MODELLED.

Limites#

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

  • MODELLED — un modèle restreint à trois corps (Terre et Lune en masses ponctuelles, sans Soleil, sans harmoniques du champ de gravité lunaire) avec des simplifications énoncées et des entrées ILLUSTRATIVE étiquetées avec leurs sources publiques. Les calculs numériques sont vérifiés par rapport à des programmes indépendants ; rien n'est comparé à une mesure d'une grandeur lunaire, et rien ici n'est une déclaration sur une mission ou un système quelconque. Sans affiliation ni aval d'aucune agence. Indicatif (résultat label)
  • Études MODELLED de l'orbite et de la surface de la Lune comme infrastructure de navigation et de géodésie, cinq études derrière un seul type de scénario choisi par study : od-consistency (détermination d'orbite embarquée par GNSS terrestre en NRHO ou ELFO par rapport à une détermination d'orbite radiométrique au sol indépendante, jugées par leurs propres covariances sur une simulation de Monte-Carlo initialisée par une graine), carrier-phase (phase de la porteuse en double différence conjointe surface-orbiteur et ambiguïté entière (catalogue des types de scénario (kshana kinds --json))
  • Scénario lunar-infrastructure de Kshana : space-tie. MODELLED ; la conception, les entrées et les seuils sont fixés dans xval/lunar-infra/PREREGISTRATION.md (consignés dans le dépôt avant toute exécution). Les entrées ILLUSTRATIVE y sont étiquetées avec leurs sources publiques. (commentaire du fichier de scénario, lignes 1 à 3)
  • 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))
  • La détermination d'orbite lunaire : GNSS terrestre par rapport à la radiométrie au sol est MODELLED, et non vérifiée : elle est contrôlée par rapport à une implémentation distincte dans ce même code source, indépendante de l'unité testée mais sans autorité externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
  • La résolution d'ambiguïté de la phase de la porteuse lunaire : surface et orbiteur est MODELLED, et non vérifiée : elle est contrôlée par rapport à une implémentation distincte dans ce même code source, indépendante de l'unité testée mais sans autorité externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
  • La co-estimation du référentiel lunaire : stations de surface et orbiteurs est MODELLED, et non vérifiée : elle est contrôlée par rapport à une implémentation distincte dans ce même code source, indépendante de l'unité testée mais sans autorité externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
  • La précision du rattachement de référentiel space-tie : GNSS, VLBI et télémétrie laser colocalisés est MODELLED, et non vérifiée : elle est contrôlée par rapport à une implémentation distincte dans ce même code source, indépendante de l'unité testée mais sans autorité externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#