lunar-frame-realisation (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#

Réalisation modélisée du référentiel lunaire : ajustement d'un datum de Helmert (similitude) à 7 paramètres — 3 de translation, 3 de rotation à petit angle, 1 d'échelle — rattachant un ensemble estimé de coordonnées de points MCMF dérivées de coordonnées sélénographiques à un datum par moindres carrés pondérés (crate::batch_ls::gauss_newton), plus un simple rattachement d'orientation exprimant la petite rotation réalisée autour des axes de l'ICRF par rapport à l'orientation du corps WGCCRE de l'UAI 2015. Le scénario injecte une petite transformation connue (translation ~dizaines de m, rotation ~µrad, échelle ~1e-7) dans un réseau de points synthétique bien réparti, ajoute un bruit gaussien initialisé par une graine, retrouve le datum, et rapporte la transformation retrouvée, l'erreur de récupération par paramètre par rapport à la vérité injectée, et le résiduel RMS après ajustement. Autocohérence MODELLED — retrouve une transformation de similitude injectée (sans bruit à ~la précision machine), et NON une réalisation par rapport à de vraies données de suivi/VLBI ; déterministe (graine) ; aucun TRL, héritage ni aval d'une agence.

Une exécution de scenarios/lunar-frame-realisation.toml se résume ainsi : lunar-frame-realisation | 8 points | translation err 3.125e-1 m, rotation err 3.418e-7 rad, scale err -5.891e2 ppb | rms residual 0,887 m | converged false

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day

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

L'exécuter#

kshana scenarios/lunar-frame-realisation.toml

Ce qu'il donne#

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

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
• VALIDATED Ajustement d'un datum de Helmert à 7 paramètres + rattachement d'orientation ICRF à partir d'un réseau de points. Référence indépendante (ExternalDataset) : résolveur indépendant de transformation de similitude d'Umeyama (Horn) pondérée en forme close (basé sur la SVD de numpy/scipy ; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — un algorithme différent de l'ajustement itératif de Gauss–Newton de kshana, atteignant le même optimum des moindres carrés pondérés défini de façon unique sur des réseaux de points identiques à l'octet près

Limites#

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

• Autocohérence MODELLED — retrouve une transformation de similitude injectée (sans bruit à ~la précision machine), et NON une réalisation par rapport à de vraies données de suivi/VLBI ; déterministe (graine) ; aucun TRL, héritage ni aval d'une agence. (catalogue des types de scénario (kshana kinds --json))
• Honnêteté : autocohérence MODELLED. La référence indépendante est la récupération d'une transformation de similitude à 7 paramètres injectée (sans bruit à ~la précision machine) plus l'identité algébrique d'aller-retour de apply_helmert. Ce n'est PAS une réalisation du référentiel lunaire par rapport à de vraies données de suivi / VLBI, et elle ne revendique aucune précision de référentiel absolue. Déterministe (graine). Aucun TRL, héritage de vol ni aval d'une agence n'est revendiqué. (commentaire du fichier de scénario, lignes 23 à 27)
• 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