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

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

space-weather (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#

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.

Une exécution de scenarios/space-weather.toml se résume ainsi : space-weather : F10.7=180 F10.7a=165 Kp=4,0 (ap=27) -> T_inf=1047 K ; densité x1.49 à 300 km (MODELLED)

Entrées#

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

  • Champs requis : aucun
  • Champs facultatifs : f107, f107a, kp, altitudes_km

L'exemple scenarios/space-weather.toml définit, entre autres :

Champ Valeur Unité
altitudes_km [300, 400, 500, 600, 800] km
f107 180 sfu
f107a 165 sfu
kind space-weather texte
kp 4 1

L'exécuter#

kshana scenarios/space-weather.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é
ap 27 2 nT
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
exospheric_temperature_k 1046.737945 K
f107 180 sfu
f107a 165 sfu
kp 4 1
mean_exospheric_temperature_k 1186.737445 K

Libellé du résultat (celui du moteur) : MODELLED — indices solaires et géomagnétiques, température exosphérique de Jacchia-71 et densité statique de Jacchia-71 à la température moyenne diurne

Le graphique que le moteur écrit pour scenarios/space-weather.toml, type space-weather

Preuves#

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

  • MODELLED Indices solaires et géomagnétiques (table de définition Kp↔ap), température exosphérique de Jacchia-1971 et densité thermosphérique de Jacchia 1971 (SAO Special Report 332 : profils de diffusion statiques reproduisant sa Table 7, avec les effets diurne, géomagne

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
  • MODELLED Indices solaires et géomagnétiques (table de définition Kp↔ap), température exosphérique de Jacchia-1971 et densité thermosphérique de Jacchia 1971 (SAO Special Report 33. Référence indépendante (ExternalDataset) : table de définition Kp↔ap + forme fermée de la température exosphérique de Jacchia-1971 (concordant à <1 K avec les ancrages publiés, tests/space_weather_reference.rs) ; la densité est caractérisée par rapport à pymsis NRLMSISE-00 (un modèle NRL indépendant) : l'amplitude du cycle solaire à 800 km est de 10.4x contre 13.6x pour NRLMSISE-00. Révision 0,30 : le facteur d'activité calibré du premier ordre a été remplacé par Jacchia 1971 (densité du scénario par défaut à 40

Limites#

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

  • MODELLED — indices solaires et géomagnétiques, température exosphérique de Jacchia-71 et densité statique de Jacchia-71 à la température moyenne diurne (résultat label)
  • 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. (catalogue des types (kshana kinds --json))
  • PORTÉE HONNÊTE : MODELLED. La conversion Kp<->ap est la table de définition de l'IAGA et la température exosphérique est validée par rapport aux ordres de grandeur publiés du minimum, de la moyenne et du maximum solaires, mais la correction de densité est un couplage de hauteur d'échelle du PREMIER ORDRE CALIBRÉ — elle capture le bon signe, la monotonie et l'ordre de grandeur, et NON la précision absolue d'une atmosphère validée sur des données (NRLMSISE-00). Exécution : kshana scenarios/space-weath (commentaire du fichier de scénario, lignes 10 à 15)
  • 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))
  • L'environnement de météorologie spatiale et la densité thermosphérique pilotée par l'activité sont MODELLED, non validés : une sous-affirmation est vérifiée de façon externe, mais la capacité entière compose des éléments modélisés, de sorte que la capacité reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#