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

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

eo-coverage (type de scénario)

Type de scénario du moteur v0.40.0, famille Analyse de mission, liaisons et opérations spatiales. À 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#

Géométrie d'empreinte et de couverture d'une charge utile d'observation de la Terre (triangle spatial SMAD) : rayon angulaire de la Terre, largeur de fauchée, distance d'échantillonnage au sol au nadir, accès maximal hors nadir, période circulaire, période nodale J2 et espacement des traces au sol à l'équateur avec un indicateur de couverture contiguë, pour une altitude d'orbite, une inclinaison (héliosynchrone par défaut) et un FOV/IFOV de capteur. Géométrie MODELLED à Terre sphérique (sans radiométrie/FTM/atmosphère/gigue/réflexion spéculaire) ; espacement des nœuds R_e·(ω − Ω̇)·T_nodal avec des taux séculaires J2 au premier ordre.

Une exécution de scenarios/eo-coverage.toml se résume ainsi : eo-coverage: 700 km, ±7,5° FOV -> 184 km swath, 9,8 m nadir GSD, access to 745 km off-nadir; node spacing 2752 km (gapped) (MODELLED)

Entrées#

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

  • Champs requis : aucun
  • Champs facultatifs : altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

L'exemple scenarios/eo-coverage.toml définit, entre autres :

Champ Valeur Unité
altitude_km 700 km
half_fov_deg 7.5 deg
ifov_microrad 14 non indiqué
kind eo-coverage texte
max_off_nadir_deg 45 deg

L'exécuter#

kshana scenarios/eo-coverage.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é
altitude_km 700 km
contiguous_equatorial_coverage false indicateur
earth_angular_radius_deg 64.303554 deg
equatorial_ground_track_spacing_km 2752.173944 km
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
half_fov_deg 7.5 deg
inclination_deg 98.187982 deg
max_access_ground_range_km 745.175016 km

Étiquette du résultat (celle du moteur) : MODELLED — géométrie de triangle spatial à Terre sphérique ; fauchée/GSD/accès sont géométriques (sans radiométrie/FTM/atmosphère/gigue/réflexion spéculaire), l'espacement des traces au sol est R_e·(ω − Ω̇)·T_nodal avec des taux séculaires J2 au premier ordre

Le graphique que le moteur écrit pour scenarios/eo-coverage.toml, type de scénario eo-coverage

Preuves#

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

  • VALIDATED Géométrie du triangle spatial SMAD : rayon angulaire de la Terre, largeur de fauchée, GSD au nadir, accès maximal hors nadir et période circulaire, plus la période nodale J2 au premier ordre (eo_payload::j2_nodal_period) et l'espacement des traces au sol à l'équateur R_e (omega_ Tests : eo_payload_coverage_reference.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) :

  • 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 Géométrie du triangle spatial SMAD : rayon angulaire de la Terre, largeur de fauchée, GSD au nadir, accès maximal hors nadir et période circulaire, plus la période nodale J2 au premier ordre (. Référence indépendante (ExternalDataset) : Orekit 12,2 (Apache-2.0) et GeographicLib 2,1 (MIT), tous deux exécutés comme programmes séparés, préenregistrés (766823f3) avant la modification du moteur et toute exécution de la référence : grandeurs de la sphère à 1e-9 près en relatif (pire cas : rayon angulaire 5.4e-16, fauchée 7.0e-13, accès 1.9e-14), période 1e-12 (1.6e-16), GSD au nadir 1e-7 (2.9e-10), la période nodale J2 et l'espacement des nœuds à 0,1 % près d'une propagation J2 numérique d'Orekit avec un détecteur de nœud (1

Limites#

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

  • MODELLED — géométrie de triangle spatial à Terre sphérique ; fauchée/GSD/accès sont géométriques (sans radiométrie/FTM/atmosphère/gigue/réflexion spéculaire), l'espacement des traces au sol est R_e·(ω − Ω̇)·T_nodal avec des taux séculaires J2 au premier ordre (résultat label)
  • Géométrie MODELLED à Terre sphérique (sans radiométrie/FTM/atmosphère/gigue/réflexion spéculaire) ; espacement des nœuds R_e·(ω − Ω̇)·T_nodal avec des taux séculaires J2 au premier ordre. (catalogue des types de scénario (kshana kinds --json))
  • PÉRIMÈTRE HONNÊTE : géométrie MODELLED à Terre sphérique seulement -- aucun modèle de radiométrie / FTM / atmosphère / gigue de pointage / réflexion spéculaire du soleil. L'espacement des traces au sol est R_e*(omega - dOmega/dt)*T_nodal avec des taux séculaires J2 au premier ordre ; l'inclinaison est par défaut l'inclinaison héliosynchrone pour l'altitude. Exécution : kshana scenarios/eo-coverage.toml (commentaire du fichier de scénario, lignes 7 à 11)
  • 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#