solar-system (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#

Le système solaire entier à une époque donnée, pour le PNT (positionnement, navigation et synchronisation temporelle) autour de n'importe quel corps. Pour le Soleil, les huit planètes, Pluton, la Lune, Phobos, Deimos, Io, Europe, Ganymède, Callisto et Titan, il fournit la position et la vitesse héliocentriques dans l'ICRF (Référentiel céleste international, équatorial J2000), la distance héliocentrique et la longitude et la latitude écliptiques J2000, le paramètre gravitationnel, le rayon équatorial et moyen, J2 lorsqu'il est publié et son rayon de référence, la période de rotation sidérale, le pôle de l'UAI et le méridien d'origine à l'époque, une trace d'orbite échantillonnée sur une révolution (héliocentrique pour les planètes, centrée sur le parent pour les lunes), ainsi que le temps de lumière, la distance aller simple et aller-retour, le retard de Shapiro solaire et la séparation du Soleil depuis un corps observateur (la Terre par défaut) ; les liens from/to supplémentaires reçoivent le même traitement. Positions : les éléments képlériens du JPL de Standish et Williams (Table 1 pour 1800 apr. J.-C. à 2050 apr. J.-C., Tables 2a/2b pour 3000 av. J.-C. à 3000 apr. J.-C.) avec l'erreur nominale de chaque planète, la série lunaire de Montenbruck & Gill pour la séparation Terre-Lune, les éléments moyens du JPL avec la vitesse de rotation synchrone de l'UAI pour les lunes martiennes et galiléennes, et le modèle de rotation de l'UAI pour Titan. Temps de lumière : la résolution radiométrique par point fixe, l'émetteur étant à sa position retardée ; newtonien, le retard de Shapiro étant indiqué séparément. VALIDATED par rapport à JPL Horizons (DE441) à moins du double de l'erreur nominale : de Mercure à Saturne et la Terre à partir de la Table 1 (pire cas 1,87 fois le nominal) et les huit planètes à partir des Tables 2a/2b (pire cas 1,71 fois), ainsi que le temps de lumière de la Terre à Mars et à Jupiter. MODELLED, chaque ligne étant étiquetée : Uranus et Neptune à partir de la Table 1 (2,0 et 5,2 fois l'erreur nominale par rapport à DE441), Pluton (la ligne de 1992 ; pas d'erreur indiquée), la Lune et les sept lunes (mesurées par rapport à Horizons, sans borne publiée).

Une exécution de scenarios/solar-system-tour.toml se résume ainsi : Système solaire au 2026-09-28T00:00:00 (JD 2461311,50080 TDB), 18 corps, observateur Terre Standish Table 1 (1800 apr. J.-C. à 2050 apr. J.-C.) Soleil 0,0000 au lon 0,00 deg temps de lumière 500,1 s [origine] Mercure 0,4666 au lon 259,05 deg temps de lumière 605,3 s [VALIDATED] Vénus 0,7272 au lon 348,72 deg temps de lumière 182,1 s [VALIDATED] Terre 1,0022 au lon 4,52 deg observateur [VALIDATED] Lune 1,0046 au lon 4,56 deg temps de lumière 1,3 s [MODELLED] Mars 1,5544 au lon 83,81 deg temps de lumière 841,1 s [VALIDATED] Phobos 1,5545 au lon 83,81 deg temps de lumière 841,2 s [MODELLED] Deimos 1,5545 au lon 83,80 deg temps de lumière 841,1 s [MODELLED] Jupiter 5,3036 au lon 130,91 deg temps de lumière 2970,6 s [VALIDATED] Io 5,3049 au lon 130,94 deg temps de lumière 2971,5 s [MODELLED] Europe 5,2995 au lon 130,93 deg temps de lumière 2968,7 s [MODELLED] Ganymède 5,3005 au lon 130,98 deg temps de lumière 2969,6 s [MODELLED] Callisto 5,3153 au lon 130,96 deg temps de lumière 2976,7 s [MODELLED] Saturne 9,4356 au lon 10,77 deg temps de lumière 4212,2 s [VALIDATED] Titan 9,4401 au lon 10,74 deg temps de lumière 4214,3 s [MODELLED] Uranus 19,4363 au lon 62,62 deg temps de lumière 9444,1 s [MODELLED] Neptune 29,8775 au lon 2,62 deg temps de lumière 14409,3 s [MODELLED] Pluton 35,6122 au lon 304,19 deg temps de lumière 17529,1 s [MODELLED] lien Mars -> Jupiter : aller simple 2193,539 s, aller-retour 4386,919 s, Shapiro 15,0 us, Soleil 15,0 deg lien Saturne -> Terre : aller simple 4212,176 s, aller-retour 8424,347 s, Shapiro 22,1 us, Soleil 172,5 deg lien Europe -> Jupiter : aller simple 2,218 s, aller-retour 4,437 s, Shapiro 0,0 us, Soleil 22,0 deg

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : epoch, epoch_jd_tdb, bodies, observer, track_points, table, links

L'exemple scenarios/solar-system-tour.toml définit, entre autres :

L'exécuter#

kshana scenarios/solar-system-tour.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) : MIXED : chaque corps porte son propre libellé. Les positions des planètes sont VALIDATED par rapport à JPL Horizons à moins du double de l'erreur nominale de Standish (de Mercure à Saturne et la Terre à partir de la Table 1 ; les huit planètes à partir des Tables 2a/2b) ; Uranus et Neptune à partir de la Table 1, Pluton, la Lune et les sept lunes sont MODELLED.

Preuves#

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

• VALIDATED Le type solar-system avec planetary_kernel_path : chaque corps rapporté dont le SPK détient le propre code NAIF prend sa position et sa vitesse héliocentriques J2000 dans le noyau, par le lecteur propre du moteur (libellé KERNEL), un lien dont les deux extrémités
• VALIDATED Positions héliocentriques de Mercure, Vénus, du barycentre Terre-Lune, de la Terre, de Mars, de Jupiter et de Saturne à partir de la Table 1 de Standish (1800 apr. J.-C. à 2050 apr. J.-C.), et des huit planètes à partir des Tables 2a/2b (3000 av. J.-C. à 3000 apr. J.-C., avec les anomalies moyennes b, c, s, f Tests : solar_system_standish_earth_icrf_preregistered.rs.
• VALIDATED Le temps de lumière newtonien à sens unique de n'importe quel corps vers n'importe quel autre, reçu à une époque, résolu par le solveur radiométrique de temps de lumière à point fixe (radiometric::light_time_solution, émetteur à sa position retardée) via solar_system::link_o Tests : solar_system_light_time_preregistered.rs.
• MODELLED Positions d'Uranus et de Neptune à partir de la Table 1 de Standish (la valeur par défaut entre 1800 apr. J.-C. et 2050 apr. J.-C.), de Pluton à partir de la ligne de 1992 de la Table 1 que la page actuelle du JPL ne liste plus, et vitesse héliocentrique de chaque planète : la dérivée à deux corps avec Tests : solar_system_horizons_reference.rs.
• et 1 autre dans la matrice.

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 Le type solar-system avec planetary_kernel_path : chaque corps rapporté dont le SPK détient le propre code NAIF prend sa position et sa vitesse héliocentriques J2000 dans. Référence indépendante (ExternalDataset) : NAIF SPICE Toolkit (CSPICE N0067 à travers spiceypy 8.3.0) états héliocentriques spkezr sur le de440s.bsp complet, un programme distinct qui n'appelle aucun code de Kshana (tests/fixtures/solar_system_kernel/, NOTICE.md) ; le moteur lit des extraits de de440s à l'identique au bit près. Préenregistré f8e946ea. Une vérification de bibliothèque du câblage : DE440 lui-même et les corps analytiques ne sont pas validés ici. Résultats : docs/design/evidence/cap31-solar-system-kernel/RE
• 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 Positions héliocentriques de Mercure, Vénus, du barycentre Terre-Lune, de la Terre, de Mars, de Jupiter et de Saturne à partir de la Table 1 de Standish (1800 apr. J.-C. à 2050 apr. J.-C.), et de tous . Référence indépendante (ExternalDataset) : vecteurs héliocentriques géométriques JPL Horizons DE441 (écliptique et ICRF), récupérés après les commits de préenregistrement 80451866, 8d38a28b et 558cc807. Seuil : par planète et par composante, RMS d'au plus 1.0x les erreurs approximatives de l'Explanatory Supplement 3e éd. Table 8.10.1 (la ligne EMB pour la Terre) ; la séparation Terre-EMB est vérifiée directement par rapport à DE441 399 moins 3, d'au plus 0,3 deg et 8,1 km à chaque époque 1950-2050 (th
• VALIDATED Le temps de lumière newtonien aller simple d'un corps quelconque à un autre, reçu à une époque donnée, résolu par le solveur radiométrique de temps de lumière à point fixe (radiometric::light_t. Référence indépendante (ExternalDataset) : temps de lumière newtonien LT de la branche descendante aller simple de JPL Horizons DE441 (VEC_CORR=LT, observateur au centre de la Terre), préenregistré (480037d3, l'amendement 54d5c86f ne changeant que l'espacement des nœuds d'interpolation après que la première récupération a échoué à sa précondition de précision d'interpolation de 10 m, avant qu'aucun temps de lumière ait été comparé) avec un seuil de 1e-6 s par temps de lumière, le solveur étant alimenté par les positions barycentriques de DE441 de sorte que l'itération de l'émetteur retardé est visib
• MODELLED Positions d'Uranus et de Neptune à partir de la Table 1 de Standish (la valeur par défaut entre 1800 apr. J.-C. et 2050 apr. J.-C.), de Pluton à partir de la ligne de 1992 de la Table 1 que la page actuelle du JPL ne li. Référence indépendante (ExternalDataset) : mesuré par rapport à JPL Horizons DE441 (les mêmes fixtures versionnées dans le dépôt), mais non validé : les valeurs indiquées par la Table 1 pour Uranus et Neptune sont dépassées jusqu'à 2,0 et 5,2 fois par rapport aux positions héliocentriques de DE441 (Neptune les respecte par rapport aux positions barycentriques, ce qui suggère que l'ajustement n'était pas héliocentrique), la page n'indique aucune erreur pour Pluton, et aucune borne publiée n'existe pour les vitesses. Les Tables 2a/2b respectent leurs propres

Limites#

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

• MIXED : chaque corps porte son propre libellé. Les positions des planètes sont VALIDATED par rapport à JPL Horizons à moins du double de l'erreur nominale de Standish (de Mercure à Saturne et la Terre à partir de la Table 1 ; les huit planètes à partir des Tables 2a/2b) ; Uranus et Neptune à partir de la Table 1, Pluton, la Lune et les sept lunes sont MODELLED. Les temps de lumière sont newtoniens, à partir des mêmes positions. (résultat label)
• MODELLED, chaque ligne étant étiquetée : Uranus et Neptune à partir de la Table 1 (2,0 et 5,2 fois l'erreur nominale par rapport à DE441), Pluton (la ligne de 1992 ; pas d'erreur indiquée), la Lune et les sept lunes (mesurées par rapport à Horizons, sans borne publiée). (catalogue des types (kshana kinds --json))
• CE QUI EST VALIDATED, ET CE QUI NE L'EST PAS Chaque corps porte son propre libellé. De Mercure à Saturne et la Terre sont VALIDATED par rapport à JPL Horizons (Development Ephemeris DE441) à moins du double de l'erreur nominale de la page de Standish. Uranus et Neptune à partir de la Table 1 dépassent les valeurs de la page par rapport à DE441 (de 2,0 et 5,2 fois) et sont MODELLED ; de même pour Pluton, la Lune et les sept lunes, qui ont été mesurées par rapport à Horizons mais n'ont aucune borne publi (commentaire du fichier de scénario, lignes 20 à 25)
• 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))
• Uranus et Neptune à partir de la Table 1 de Standish, Pluton et les vitesses planétaires 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))
• Les positions de la Lune et de sept lunes majeures (Phobos, Deimos, les lunes galiléennes, Titan) sont MODELLED, non validées : 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))
• Les constantes physiques de chaque corps du système solaire et le rapport du système entier sont MODELLED, 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))

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 : CONSTELLATION-DESIGN.md