Mesures GNSS, positionnement et intégrité (famille de types de scénario)

6 types de scénario du moteur v0.40.0. À titre consultatif : sortie d'analyse d'un outil de recherche et d'ingénierie, pas un équipement de navigation homologué et pas un service de sauvegarde de la vie humaine. Chaque libellé ici est celui du moteur ou de la matrice de vérification ; un type est MODELLED sauf indication contraire de la matrice (comment un libellé s'obtient : la section Evidence du README).

Pages thématiques : INTEGRITY, POSITIONING, ARAIM_REFERENCE, OSNMA. En exécuter une : kshana scenarios/integrity-raim.toml. Toutes les familles : KINDS.md.

integrity#

RAIM instantané / à séparation de solutions / ARAIM avec HPL/VPL et un diagramme de Stanford.

Champs obligatoires : mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation. Facultatifs : sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline.

Registre : MODELLED 6 · VALIDATED 4. Page complète, avec les entrées, les résultats, les preuves et les limites : integrity.

kshana scenarios/integrity-raim.toml

gnss-sim#

Simulation de pseudodistances dans le domaine des mesures (ionosphère de Klobuchar, troposphère de Saastamoinen/Niell) + RAIM.

Champs obligatoires : seed, time, receiver, constellation. Facultatifs : iono, tropo, mask_deg, noise_sigma_m, multipath_m, sat_clock_rms_m, uere_m, p_fa, p_md, alert_limit_h_m, alert_limit_v_m, skyline.

Registre : VALIDATED. Page complète, avec les entrées, les résultats, les preuves et les limites : gnss-sim.

kshana scenarios/gnss-sim-raim.toml

pvt#

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.

Champs obligatoires : obs_rinex, nav_rinex. Facultatifs : truth_ecef, apriori_ecef, mask_deg, dual_frequency.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : pvt.

kshana scenarios/pvt-abmf.toml

araim-reference-check#

Vecteurs de référence de certification ARAIM publiés : les niveaux de protection horizontal et vertical ARAIM du moteur exécutés sur les exemples numériques traités PROPRES au sous-groupe technique ARAIM du WG-C, à la tolérance (TOL_PL = 5e-2 m) que ces documents indiquent eux-mêmes. Deux vecteurs sont enregistrés comme jeux de test, chacun portant son URL de récupération, sa date de récupération, le SHA-256 du fichier source et la page : le Reference Airborne Algorithm Description Document v3.1 (2019) annexe D — autocohérent, et le vecteur d'acceptation — et le rapport du jalon 3 (2016) annexe A section A.IX, la déclaration que citent les bibliographies de recherche. Chaque entrée publiée (la matrice de géométrie à 10 satellites et 2 constellations, les diagonales de variance C_int et C_acc, b_nom, P_sat, P_const et le jeu de constantes LPV-200) et chaque sortie publiée (VPL, HPL, EMT, sigma_v_acc, K_fa_3 et les sigma_3, sigma_ss_3 et b_3 des deux modes de défaut de constellation) est rapportée à côté du nombre propre du moteur et de leur différence absolue. L'équation du niveau de protection n'est PAS résolue de nouveau ici : la liste de modes de la référence est remise au raim::araim_protection_level / araim_integrity_risk existant du moteur, de sorte que la bissection et l'algèbre de la queue gaussienne éprouvées sont celles du moteur ; seuls la géométrie, les sous-solutions, les seuils de détection et la répartition publiée du budget sont construits pour lui. EXTERNALLY CHECKED par rapport au vecteur 2019 : VPL 18,2926 m contre 18,3 m publié, HPL 13,4063 m contre 13,45 m, EMT 7,2997 m contre 7,2998 m, sigma_v_acc 1,3694 m contre 1,3694 m, et les six intermédiaires publiés à moins d'une demi-unité de leur dernière décimale imprimée. Le vecteur 2016 comporte deux défauts internes que le rapport énonce au lieu de les cacher — une coquille de signe à la ligne 3 de G, et un K_fa_3 évalué à 57 modes de défaut alors que le document indique N_fault_max = 1 (12 modes) — de sorte que ses intermédiaires de géométrie se reproduisent exactement tandis que ses niveaux de protection sont rapportés comme des écarts mesurés et exclus du chiffre d'acceptation ; la tolérance n'est jamais élargie pour les absorber. Chaque champ numérique émis porte une unité et une classe de provenance, et un chiffre transcrit est étiqueté published afin de ne jamais pouvoir être pris pour un chiffre calculé. PORTÉE : seul N_fault_max = 1 (modes de défaut d'un seul satellite et d'une seule constellation) est mis en œuvre, et un cas dont les a priori exigent des sous-ensembles de défauts multi-événements simultanés est REFUSED au lieu d'être tronqué silencieusement ; la détection de défaut, l'exclusion, le contrôle de cohérence du khi-deux et l'étape de réallocation de double comptage de l'algorithme de référence sont hors périmètre. Cela reproduit l'exemple traité d'un algorithme de référence publié — ce n'est ni une certification, ni un artefact de navigabilité, ni une approbation.

Champs obligatoires : aucun. Facultatif : vector.

Registre : VALIDATED. Page complète, avec les entrées, les résultats, les preuves et les limites : araim-reference-check.

kshana scenarios/araim-reference-check.toml

space-weather#

Modèle d'environnement de météorologie spatiale : indices d'activité solaire (F10.7/F10.7a) et géomagnétique (Kp, avec la table de définition Kp↔ap), la température exosphérique de Jacchia-1971 qu'ils pilotent (validée par rapport aux minimum, moyenne et maximum solaires publiés), et la densité neutre thermosphérique de Jacchia-1971 à la température exosphérique moyenne diurne par rapport au profil statique sans activité, à un ensemble d'altitudes — la dépendance de la densité au cycle solaire que l'atmosphère statique omet. MODELLED : la densité concorde avec les densités dérivées d'accéléromètres (TOLEOS CHAMP et GRACE) à un facteur 2 près au maximum solaire mais est environ 1.7x trop dense au minimum solaire de 2008.

Champs obligatoires : aucun. Facultatifs : f107, f107a, kp, altitudes_km.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : space-weather.

kshana scenarios/space-weather.toml

realtime-frame-eop#

Budget de prévision du référentiel lunaire / de l'orientation de la Terre en temps réel : Table 1 de P4 (le contrôle de cohérence de l'erreur de référentiel — en post-traitement ~0,27 m ↔ ~0,010 ms et en temps réel ~15 m ↔ ~0,5 ms, chaque position de référentiel exprimée par son erreur UT1 équivalente via le bras de levier L19 Δr = D_EM·ω⊕·ΔUT1) et Table 2 (erreur mesurée de prévision d'UT1 en fonction de l'horizon — la courbe L18 lue directement sur la vraie série IERS finals2000A : le plancher final Bulletin A − Bulletin B et l'erreur du prédicteur de persistance sur plusieurs jours, chacune ramenée à une position dans le référentiel lunaire par L19), plus le budget d'erreur de référentiel en temps réel L21 en racine de la somme des carrés (EOP + éphéméride + plancher de réalisation). Forme close VALIDATED (le bras de levier L19, ω⊕ recoupé avec l'angle de rotation de la Terre du CIO) et données réelles VALIDATED (la courbe L18 lue sur les vraies lignes de finals2000A) ; sont MODELLED les ordres de grandeur de covariance d'OD du relais lunaire et le plancher de réalisation du référentiel (allocations représentatives) ainsi que le prédicteur de persistance (et non l'algorithme opérationnel du Bulletin A de l'IERS). Pas un produit certifié de référentiel en temps réel.

Champs obligatoires : aucun. Facultatifs : epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual.

Registre : MODELLED 1 · VALIDATED 2. Page complète, avec les entrées, les résultats, les preuves et les limites : realtime-frame-eop.

kshana scenarios/realtime-frame-eop.toml