contact-schedule (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#

Planification des contacts sol pour plusieurs satellites au-dessus de plusieurs stations : fenêtres d'accès apparentes (SGP4, référentiel terrestre IAU 2006/2000A, réfraction ITU-R P.834, temps de lumière), volume de données ACM DVB-S2 de chaque passage (seuils du tableau 13 de ETSI EN 302 307-1) et un planning sans conflit (un satellite par antenne avec un temps de retournement, une station par satellite, livraison pondérée par priorité plafonnée à chaque arriéré) obtenu par un algorithme glouton à valeur marginale, une référence de base du premier arrivé et un branch and bound exact sur de petits ensembles, avec l'écart d'optimalité du glouton. MODELLED.

Une exécution de scenarios/contact-schedule.toml se résume ainsi : contact-schedule: 3 satellites x 3 stations over 12 h -> 31 candidate contacts, 22 scheduled; 797266 of 860000 Mbit delivered (MODELLED)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : epoch, duration_hours, step_s, refraction, light_time, link, satellites, stations

L'exemple scenarios/contact-schedule.toml définit, entre autres :

L'exécuter#

kshana scenarios/contact-schedule.toml

Ce qu'il donne#

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

Étiquette du résultat (celle du moteur) : MODELLED — plan de contacts multisatellite et multistation : fenêtres d'accès apparentes (SGP4, IAU 2006/2000A, réfraction ITU-R P.834, temps de lumière), volume de données ACM DVB-S2 par passage à partir d'un bilan de liaison par ciel dégagé (seuils du tableau 13 de ETSI EN 302 307-1), et résolution des conflits (un satellite par antenne avec tu

Preuves#

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

• 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 Contacts candidats issus de chaque passage satellite-station avec son volume de données ACM ; conflits lorsqu'une antenne devrait servir deux satellites pendant son temps de retournement ou qu'un satellite devrait émettre vers deux stations à la fois ; une livraison pondérée par priorité

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é (AOS, TCA, LOS, élévation apparente maximale, durée) d'un ensemble d'éléments SGP4 au-dessus d'une station WGS-84 sur le chemin d'orbite terrestre validé (IAU 2006. Référence indépendante (ExternalDataset) : Orekit 13.1.8 (CS GROUP, Apache-2.0) avec Hipparchus 4.0.3 : TLEPropagator sur les mêmes ensembles d'éléments dans un TEME qu'Orekit construit selon la définition indiquée (sa rotation TOD IERS 2010 par GAST - GMST), ElevationDetector et ElevationExtremumDetector avec et sans ITURP834AtmosphericRefraction, et AngularAzEl avec AngularRadioRefractionModifier pour le cas du temps de lumière, franchissements et maximum résolus par Hipparchus ; 60 cas (f
• 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,. Référence indépendante (InternalConsistency) : Cohérence interne : l'efficacité spectrale calculée sous forme fermée à partir du K_bch du Tableau 5a et des longueurs de trame concorde avec les efficacités que le Tableau 13 imprime (un contrôle de transcription du tableau de seuils) ; les éléments du bilan de liaison concordent avec leurs formes fermées ; la sélection est monotone en Es/N0 et respecte la marge ; l'ACM transfère au moins le volume à codage constant. La géométrie des passages provient du VALIDATED distinct a
• MODELLED Contacts candidats issus de chaque passage satellite-station avec son volume de données ACM ; conflits lorsqu'une antenne devrait servir deux satellites pendant son temps de retournement ou. Référence indépendante (InternalConsistency) : cohérence interne : le branch and bound exact concorde avec l'énumération par force brute sur de petits ensembles aléatoires, chaque plan est vérifié comme réalisable au regard des règles de conflit, et le glouton ne bat jamais l'optimum exact. CE QUI NE L'EST PAS : aucun planificateur externe ni plan opérationnel n'a été comparé ; les contacts sont pris en entier (sans découpage), l'arriéré est fixé au début de la fenêtre, le temps de pointage au-delà du temps de retournement fixe et les s embarqués

Limites#

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

• MODELLED — plan de contacts multisatellite et multistation : fenêtres d'accès apparentes (SGP4, IAU 2006/2000A, réfraction ITU-R P.834, temps de lumière), volume de données ACM DVB-S2 par passage à partir d'un bilan de liaison par ciel dégagé (seuils du tableau 13 de ETSI EN 302 307-1), et résolution des conflits (un satellite par antenne avec temps de retournement, une station par satellite) par un algorithme glouton à valeur marginale vérifié par rapport à un branch and bound exact ; pas d'affaiblissement par la pluie, (résultat label)
• MODELLED. (catalogue des types de scénario (kshana kinds --json))
• Chaque nombre ci-dessous est ILLUSTRATIVE : ni orbites, ni stations, ni bilan de liaison d'un opérateur. MODELLED : le planificateur est vérifié par rapport à son propre solveur exact, et non à un outil externe. (commentaire du fichier de scénario, lignes 11 à 12)
• 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))
• Le codage et la modulation adaptatifs DVB-S2 le long d'un passage de liaison descendante LEO sont MODELLED, et non validés : vérifiés par rapport à leur propre identité analytique en forme fermée — détecte les erreurs de transcription et de coefficients, mais n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
• La planification des contacts sol multisatellite et multistation avec résolution des conflits est MODELLED, et non validée : vérifiée par rapport à sa propre identité analytique / en forme fermée — elle détecte les erreurs de transcription et de coefficients, mais ce n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#

• Page de famille : Analyse de mission, liaisons et opérations spatiales
• Tous les types de scénario : KINDS.md
• Page thématique : CONTACT-SCHEDULING.md