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

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

pvt (type de scénario)

Type de scénario du moteur v0.40.0, famille Mesures GNSS, positionnement et intégrité. À 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#

Positionnement ponctuel sur observations réelles : résoudre la position d'un récepteur à partir d'un fichier d'observation RINEX 3 et d'un fichier de navigation diffusée (pseudodistances de code, éphéméride diffusée, ionosphère de Klobuchar, troposphère de Saastamoinen/Niell), éventuellement vérifié par rapport à une coordonnée relevée.

Une exécution de scenarios/pvt-abmf.toml se résume ainsi : pvt 55bdd18628e1 | 11 sat nav | 2/3 epochs solved | mean 9,0 sats, PDOP 1,8 | 3D error RMS 5,74 m (max 7,12 m)

Entrées#

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

  • Champs obligatoires : obs_rinex, nav_rinex
  • Champs facultatifs : truth_ecef, apriori_ecef, mask_deg, dual_frequency

L'exemple scenarios/pvt-abmf.toml définit, entre autres :

Champ Valeur Unité
dual_frequency true indicateur
kind pvt texte
mask_deg 5 deg
nav_rinex 3,03 N: GNSS NAV DATA M: MIXED texte
obs_rinex 3,02 OBSERVATION DATA M texte
truth_ecef [2.9198e6, -5.3837e6, 1.7746e6] non indiqué

L'exécuter#

kshana scenarios/pvt-abmf.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é
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
fom.epochs_solved 2 nombre
fom.epochs_total 3 nombre
fom.max_3d_m 7.116806 m
fom.mean_n_used 9 nombre
fom.mean_pdop 1.793611 1
fom.mean_postfit_rms_m 1.971614 m
fom.rms_3d_m 5.740406 m
Le graphique que le moteur écrit pour scenarios/pvt-abmf.toml, type de scénario pvt

Preuves#

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

  • MODELLED Filtre de Hatch sans divergence (code sans ionosphère porté par la porteuse sans ionosphère, fenêtre de N époques, redémarrage sur perte d'accrochage, saut sans géométrie ou trou) dans l'assemblage de positionnement ponctuel précis
  • MODELLED dop_error_mc::run_geometry et check : une simulation de Monte-Carlo initialisée par une graine (N = 20 000 époques par géométrie, sigma = 1,5 m, graine ChaCha8 36 + i) de la propre position calculée par moindres carrés itérés du moteur (pvt::solve_spp, poids unitaires, résolue à partir de la vraie position) sur Tests : uere_dop_monte_carlo.rs.

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 Position satellite ECEF képlérienne issue de l'éphéméride diffusée IS-GPS-200 / Galileo-OS / BeiDou-OS à partir d'un enregistrement de navigation RINEX-3 analysé. Référence indépendante (ExternalDataset) : eph2pos() de RTKLIB v2.4.2-p13 compilé à partir du source C (T. Takasu, BSD-2-Clause) — une implémentation indépendante de l'IS-GPS-200/SIS-ICD, alimentée par les mêmes enregistrements de navigation RINEX-3 ; position ECEF du satellite concordante à ~62 nm. (L'interpolation de l'éphéméride précise SP3 est vérifiée séparément — voir « Interpolation de l'éphéméride précise SP3 »)
  • 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é :

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