passes (type de scénario)

Type de scénario du moteur v0.40.0, famille Constellations, couverture et géométrie. À 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#

Prévision des passages de stations au sol : les passages de visibilité dans le domaine temporel (AOS/TCA/LOS, élévation apparente maximale, durée) d'une orbite circulaire, sous forme d'éléments moyens SGP4 au début de la fenêtre, au-dessus d'une station située au-dessus d'un masque d'élévation sur une fenêtre, avec le temps d'accès total. Propagation SGP4/SDP4 sur le référentiel terrestre IAU 2006/2000A (UT1 - UTC et mouvement du pôle facultatifs), réfraction troposphérique UIT-R P.834-9 et temps de trajet lumineux de la liaison descendante (tous deux activés par défaut), franchissements résolus à 1e-7 s et culmination par recherche par section dorée. La géométrie des passages est VALIDATED par rapport à Orekit 13.1.8 à des stations au niveau de la mer ; l'orbite et la station du scénario sont des entrées illustratives.

Une exécution de scenarios/passes.toml se résume ainsi : passes: 5 pass(es) of a 550 km / 97,6° orbit over (52,2°, 4,4°) > 10° in 24 h; 1659 s total access (MODELLED)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

L'exemple scenarios/passes.toml définit, entre autres :

L'exécuter#

kshana scenarios/passes.toml

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Libellé du résultat (celui du moteur) : MODELLED — prévision des passages de stations au sol dans le domaine temporel ; propagation SGP4/SDP4, référentiel terrestre IAU 2006/2000A (UT1 = UTC, pas de mouvement du pôle sauf si des paramètres d'orientation de la Terre sont fournis), élévation apparente avec réfraction UIT-R P.834-9 et temps de trajet lumineux lorsqu'ils sont activés, franchissements et culmination affinés

Preuves#

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

• VALIDATED Passages de visibilité dans le domaine temporel (AOS/TCA/LOS, élévation maximale, durée) d'un propagateur du moteur au-dessus d'une station située au-dessus d'un masque d'élévation, avec franchissements de lever/coucher interpolés et accès total : passes::predict_passes, l'ordonnanceur géométrique (no Tests : ground_station_pass_prediction_reference.rs.
• VALIDATED Passages de visibilité (AOS, TCA, LOS, élévation apparente maximale, durée) d'un jeu d'éléments SGP4 au-dessus d'une station WGS-84 sur le chemin validé d'orbite terrestre (IAU 2006/2000A, paramètres d'orientation de la Terre facultatifs), avec réfraction troposphérique UIT-R P.834-9 Tests : pass_predictor_on_path_orekit_oracle.rs.
• MODELLED Es/N0 de liaison descendante le long de chaque passage d'un satellite au-dessus d'une station (PIRE, perte en espace libre, perte atmosphérique en loi de cosécante, autres pertes, G/T, constante de Boltzmann, débit de symboles), le MODCOD DVB-S2 le plus efficace qui franchit son seuil de l'ETSI EN 302 307-
• MODELLED Une exécution prend un plan de contacts (une liste de fenêtres aos_s/los_s, chacune demandant à l'ouverture la navigation ou les communications — le même vocabulaire de fenêtres qu'émet passes::predict_passes, converti par aperture_duty::windows_from_passes), un nombre d'ouvertures

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 Passages de visibilité dans le domaine temporel (AOS/TCA/LOS, élévation maximale, durée) d'un propagateur du moteur au-dessus d'une station située au-dessus d'un masque d'élévation, avec lever/coucher interpolés . Référence indépendante (ExternalDataset) : Orekit 12,2 (CS GROUP, Apache-2.0) + Hipparchus 3,1 — une bibliothèque indépendante de dynamique de vol : ElevationDetector (chercheur de racines de Brent) + EventsLogger sur une éphéméride ITRF, station comme TopocentricFrame WGS-84. AOS/LOS/élévation maximale/nombre de passages/accès total concordants sur une orbite+station+masque+fenêtre identiques (jeu de test consigné ; pilote xval/orekit-passes)

Limites#

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

• MODELLED — prévision des passages de stations au sol dans le domaine temporel ; propagation SGP4/SDP4, référentiel terrestre IAU 2006/2000A (UT1 = UTC, pas de mouvement du pôle sauf si des paramètres d'orientation de la Terre sont fournis), élévation apparente avec réfraction UIT-R P.834-9 et temps de trajet lumineux lorsqu'ils sont activés, franchissements et culmination affinés en deçà du pas (résultat label)
• 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 : Constellations, couverture et géométrie
• Tous les types de scénario : KINDS.md
• Page thématique : CONTACT-SCHEDULING.md