gravity-map (type de scénario)

Type de scénario du moteur v0.40.0, famille PNT alternatif en environnement sans GPS. À titre consultatif : résultat d'analyse issu 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 indication contraire de la matrice (comment une étiquette s'obtient : section Evidence du README).

Ce qu'il fait#

Navigation par appariement de carte gravimétrique sans GPS : un gravimètre à atomes froids retrouve une dérive INS constante à partir de la séquence d'anomalies de gravité qu'il traverse.

Une exécution de scenarios/gravity-map-nav.toml se résume ainsi : gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Entrées#

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

• Champs obligatoires : nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
• Champs facultatifs : coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

L'exemple scenarios/gravity-map-nav.toml définit, entre autres :

L'exécuter#

kshana scenarios/gravity-map-nav.toml

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

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 Appariement de carte gravimétrique, navigation par référence au relief (TERCOM/SITAN), anomalie magnétique. Référence indépendante (InternalConsistency) : coefficients IGRF-14 ; CRLB du filtre adapté issu des premiers principes. Le champ du banc d'essai gravimétrique en champ réel est vérifié en externe (ligne « Gravity-anomaly synthesis from a spherical-harmonic model »), mais son résultat de navigation n'a aucune référence indépendante externe
• 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

Limites#

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

• Le PNT alternatif / complémentaire est MODELLED, et non validé : vérifié par rapport à sa propre identité analytique / en forme fermée — il détecte les erreurs de transcription et de coefficients, mais ce n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• 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 : PNT alternatif en environnement sans GPS
• Tous les types de scénario : KINDS.md