ephemeris (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#

Éphéméride et trace au sol : propager un satellite (TLE→SGP4 ou orbite analytique) et émettre son état TEME/GCRS (position + vitesse), sa position ITRF/ECEF, la latitude/longitude/altitude sous-satellite WGS-84, et, à chaque pas, l'azimut/l'élévation/la distance de la station et le taux de variation de distance (Doppler). Le satellite provient d'un tle ou d'une orbit analytique avec son epoch (un tle l'emporte lorsque les deux sont donnés) ; avec un tle, un epoch remplace l'époque propre du TLE comme t = 0.

Une exécution de scenarios/ephemeris.toml se résume ainsi : scenario 0d4dd01b3160 | sgp4 (TLE) | 559 samples | alt 419–434 km | |lat| ≤ 51,8° | speed 7653–7661 m/s | max el 25,7° peak Doppler 34,3 kHz

Entrées#

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

• Champs obligatoires : tle|orbit+epoch
• Champs facultatifs : step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

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

L'exécuter#

kshana scenarios/ephemeris.toml

Ce qu'il donne#

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

Preuves#

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

• VALIDATED Rotation de la Terre à partir d'une date julienne UT1 en deux parties sur le chemin orbital, de sorte que la position dans le référentiel terrestre conserve la microseconde qu'une date en f64 simple perd (environ 3e-9 rad vers 2020) : jd2::gmst82 (GMST de l'IAU 1982, la convention TEME, sur les deux parties), cio:

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) :

• VALIDATED SGP4/SDP4, Cowell à 6 degrés de liberté + perturbations, DO par lots/séquentielle. Référence indépendante (ExternalDataset) : vecteurs de vérification SGP4 de AIAA 2006-6753
• VALIDATED Précession-nutation IAU 2006/2000A, GCRS↔ITRS par CIO, échelles de temps avec secondes intercalaires. Référence indépendante (ExternalDataset) : vecteurs de référence IAU SOFA / ERFA ; Vallado AIAA 2006-6753 (0,1–4 mm)
• 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

Limites#

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

• 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 : SOLAR-SYSTEM.md
• Page thématique : AGENCY-ORBIT-VALIDATION.md