lunar-vlbi-fim (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#

Covariance des coordonnées de station en VLBI lunaire : les dérivées partielles du retard de l'observable lunar-vlbi accumulées sur un CALENDRIER explicite (lignes de base x époques) dans une matrice d'information de Fisher, inversée, et rapportée comme covariance des coordonnées de station et sigma de station par coordonnée — une sortie calculée du moteur plutôt qu'une précision de retard scalaire passée à travers un facteur d'équipartition isotrope supposé g = 3. L'état porte des coordonnées de station FIXES dans la Terre (ITRS), de sorte que le jacobien est la dérivée partielle inertielle tournée par la matrice GCRS->ITRS de chaque époque : la rotation de la Terre est ce qui rend ces coordonnées observables, et le rapport MESURE le balayage de la ligne de visée fixe dans la Terre et la déclinaison de la balise plutôt que de les supposer. Une observation est une paire (ligne de base, époque) avec LES DEUX stations au-dessus du masque d'élévation, pondérée par 1/delay_sigma_s^2. Rapporte à chaque exécution le rang, le défaut de datum, le conditionnement, le spectre d'information complet, la matrice de covariance, les sigmas par station et par axe ainsi que 3D, et l'espace nul du réseau libre ; en cas de déficience de rang, le sigma principal est publié comme NULL avec un statut, jamais lu dans une inverse quasi singulière. La valeur d'équipartition cdelay_sigma_ssqrt(g/N) pour le MÊME calendrier est émise à côté de la valeur calculée avec le rapport, ainsi que la borne isotrope de trace sqrt(p/trace(M)) qu'AM-HM rend plancher strict — de sorte que le rapport est l'anisotropie que l'hypothèse avait écartée. La fermeture de retard tau_ik = tau_ij + tau_jk ne rend géométriquement indépendantes que n-1 des n(n-1)/2 lignes de base ; le rapport énonce les deux nombres. MODELLED : l'éphéméride du centre de la Lune, les horloges des stations, la troposphère et les paramètres d'orientation de la Terre sont maintenus FIXES et les observations sont traitées comme indépendantes, de sorte que la covariance est une borne de Cramer-Rao pour un jeu de paramètres réduit, et non un résultat de session prédit ; le sigma de retard, les coordonnées des stations et le calendrier sont des entrées. La dérivée partielle que le jacobien du retard géométrique omet (le terme de Shapiro différencié) est mesurée par différence finie et émise. Pas un produit géodésique.

Une exécution de scenarios/lunar-vlbi-fim.toml se résume ainsi : lunar-vlbi-fim | 3 stations / 3 baselines x 49 epochs = 16 obs (mask 10,0 deg) | datum anchor-first-station | rank 6/6 cond 2.209e4 | station sigma 0,0926 m vs equipartition g=3 0,0013 m (ratio 71,360)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

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

L'exécuter#

kshana scenarios/lunar-vlbi-fim.toml

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) : covariance des coordonnées de station en VLBI lunaire MODELLED. La covariance est accumulée à partir des propres dérivées partielles analytiques du retard du moteur sur un calendrier explicite de lignes de base et d'époques, puis inversée ; elle n'est PAS convertie à partir d'une précision de retard scalaire par un facteur de géométrie supposé. Le sigma de retard par observation

Preuves#

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

• VALIDATED Dérivées partielles du retard accumulées sur un calendrier de lignes de base × époques dans une matrice d'information de Fisher, inversée en covariance des coordonnées de station et en sigma de station par coordonnée, remplaçant un lien d'équipartition isotrope supposé à partir d'un
• MODELLED Un troisième choix de datum, all-stations-fixed, qui maintient fixes toutes les stations terrestres et estime seules les coordonnées de la BALISE fixes dans la Lune — la configuration pour laquelle une incertitude de point de surface lunaire est effectivement citée, puisque les coordonnées des stations terrestres
• VALIDATED La covariance de balise à stations toutes fixes du scénario lunar-vlbi-fim (chaque station terrestre maintenue, les coordonnées de la balise fixes dans la Lune estimées seules) avec la balise placée sur la Lune de JPL DE440 lue par le propre lecteur de noyau du moteur
• MODELLED Le datum de Helmert à sept paramètres propagé à partir d'une CAMPAGNE D'OBSERVATION SIMULÉE au lieu d'être retrouvé à partir d'une transformation injectée.
• et 1 autre dans la matrice.

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 Dérivées partielles du retard accumulées sur un calendrier de lignes de base × époques dans une matrice d'information de Fisher, inversée en covariance des coordonnées de station et en sigma de station par coo. Référence indépendante (ExternalDataset) : un chemin indépendant dans le dépôt. Chaque ligne du jacobien est redérivée par différence finie centrée de lunar_vlbi::vlbi_delay_s évalué à partir des propres coordonnées fixes dans la Terre et fixes dans la Lune de l'état, tournées vers l'avant par la chaîne de référentiels — un chemin qui ne calcule aucune dérivée et ne partage aucune expression avec les dérivées partielles analytiques — et les matrices d'information que construisent les deux chemins concordent à moins de 1e-6 du plus grand terme diagonal. Les
• MODELLED Un troisième choix de datum, all-stations-fixed, qui maintient fixes toutes les stations terrestres et estime seules les coordonnées de la BALISE fixes dans la Lune — la configuration pour laquelle une. Référence indépendante (ReferenceImpl) : identités en forme close, sans référence externe revendiquée ni disponible. Le bras de levier est contrôlé par rapport à ρ/B et les deux formes d'équipartition entre elles à 1e-15 — des identités algébriques, qui ne détectent donc qu'une erreur de câblage et rien d'autre, et sont étiquetées comme telles. Le résultat de fond est MEASURED plutôt qu'affirmé : un retard issu d'une ligne de base fixe contraint la DIRECTION de la balise, de sorte que la composante de ligne de visée rea

Limites#

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

• Covariance des coordonnées de station en VLBI lunaire MODELLED. La covariance est accumulée à partir des propres dérivées partielles analytiques du retard du moteur sur un calendrier explicite de lignes de base et d'époques, puis inversée ; elle n'est PAS convertie à partir d'une précision de retard scalaire par un facteur de géométrie supposé. Le sigma de retard par observation, les coordonnées des stations, le site de la balise et le calendrier sont des entrées. L'éphéméride du centre de la Lune, les horloges des stations (résultat label)
• Covariance des coordonnées de station en VLBI lunaire : les dérivées partielles du retard de l'observable lunar-vlbi accumulées sur un CALENDRIER explicite (lignes de base x époques) dans une matrice d'information de Fisher, inversée, et rapportée comme covariance des coordonnées de station et sigma de station par coordonnée — une sortie calculée du moteur plutôt qu'une précision de retard scalaire passée à travers un facteur d'équipartition isotrope supposé g = 3. (catalogue des types de scénario (kshana kinds --json))
• L'état porte des coordonnées de station FIXES dans la Terre (ITRS), de sorte que le jacobien est la dérivée partielle inertielle tournée par la matrice GCRS->ITRS de chaque époque : la rotation de la Terre est ce qui rend ces coordonnées observables, et le rapport MESURE le balayage de la ligne de visée fixe dans la Terre et la déclinaison de la balise plutôt que de les supposer. (catalogue des types de scénario (kshana kinds --json))
• La valeur d'équipartition cdelay_sigma_ssqrt(g/N) pour le MÊME calendrier est émise à côté de la valeur calculée avec le rapport, ainsi que la borne isotrope de trace sqrt(p/trace(M)) qu'AM-HM rend plancher strict — de sorte que le rapport est l'anisotropie que l'hypothèse avait écartée. (catalogue des types de scénario (kshana kinds --json))
• MODELLED : l'éphéméride du centre de la Lune, les horloges des stations, la troposphère et les paramètres d'orientation de la Terre sont maintenus FIXES et les observations sont traitées comme indépendantes, de sorte que la covariance est une borne de Cramer-Rao pour un jeu de paramètres réduit, et non un résultat de session prédit ; le sigma de retard, les coordonnées des stations et le calendrier sont des entrées. (catalogue des types de scénario (kshana kinds --json))
• La chaîne publiée de D3 passe d'une précision de retard par observation à une incertitude de coordonnées de station par un facteur d'équipartition ISOTROPE supposé g = 3. Cette étape est celle que le résumé de l'article lui-même qualifie de modélisée plutôt que mesurée. Ce scénario la supprime : les dérivées partielles du retard VLBI lunaire sont accumulées sur un vrai calendrier de paires (ligne de base x époque) dans une matrice d'information de Fisher, inversée, et rapportée comme (commentaire du fichier de scénario, lignes 3 à 8)
• L'état porte des coordonnées FIXES dans la Terre (ITRS), de sorte que le jacobien est la dérivée partielle inertielle tournée par la matrice GCRS->ITRS de chaque époque : la rotation de la Terre est ce qui rend ces coordonnées observables, et le rapport MESURE le balayage de la ligne de visée fixe dans la Terre et la déclinaison de la balise plutôt que de les supposer. Une observation est une paire (ligne de base, époque) avec LES DEUX stations au-dessus du masque d'élévation, pondérée par 1/delay (commentaire du fichier de scénario, lignes 10 à 14)
• Ce qu'il faut lire dans le rapport * les sigmas par station et par axe ainsi que 3D — la réponse calculée ; * la valeur d'équipartition cdelay_sigma_ssqrt(g/N) pour le MÊME calendrier, imprimée à côté avec le rapport. Ce rapport EST l'anisotropie que l'hypothèse avait écartée, et la borne isotrope de trace sqrt(p/trace(M)) fait d'AM-HM un plancher strict, de sorte que l'hypothèse ne peut jamais que sous-estimer ; * le rang, le défaut de datum, le conditionnement, le sp (commentaire du fichier de scénario, lignes 16 à 26)

Voir aussi#

• Page de famille : Lunaire et cislunaire
• Tous les types de scénario : KINDS.md