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

Corridor de rentrée balistique d'Allen-Eggers : décélération maximale (indépendante du coefficient balistique, V_e^2 sin|γ|/(2eH)), vitesse et altitude au pic de g, et vitesse au pic d'échauffement, pour une vitesse d'entrée, un angle de trajectoire et un coefficient balistique donnés dans une atmosphère exponentielle, plus une intégration planaire en masse ponctuelle de la même entrée balistique avec la gravité, la courbure de la Terre et l'atmosphère standard américaine 1976 (décélération maximale, vitesse, altitude et instant du pic). Entrée balistique (sans portance) MODELLED ; la sortie d'échauffement est la VITESSE au pic d'échauffement, et non un flux thermique (pas de modèle aérothermique ni de protection thermique).

Une exécution de scenarios/reentry.toml se résume ainsi : reentry (Allen–Eggers) : V_e 7800 m/s, γ 6,0° -> pic 16,6 g à 49 km, 4731 m/s ; l'échauffement culmine à 6603 m/s ; masse ponctuelle (gravité, courbure, US76) pic 16,4 g (balistique MODELLED, sans aérothermique)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

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

L'exécuter#

kshana scenarios/reentry.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 — entrée balistique (sans portance) d'Allen–Eggers, atmosphère exponentielle isotherme, angle de trajectoire constant ; le pic de g est indépendant du coefficient balistique ; l'échauffement est la VITESSE au pic d'échauffement, et NON un flux thermique (pas de modèle aérothermique ni de protection thermique)

Preuves#

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

• MODELLED Décélération maximale (indépendante du coefficient balistique), vitesse et altitude au pic de g, et vitesse au pic d'échauffement pour une entrée balistique dans une atmosphère exponentielle. Tests : reentry_point_mass_accelerometer_oracle.rs.
• MODELLED Ascension plane en virage gravitationnel d'un véhicule à plusieurs étages au-dessus d'une Terre sphérique sans rotation, à travers l'US Standard Atmosphere 1976 (densité et pression), avec un coup de tangage, une poussée réduite par la contre-pression de la tuyère, des fins de combustion d'étage à des s exacts
• MODELLED La phase entry : la croisière retour de tli-and-cruise sans poussée, qui se termine à l'interface d'entrée ; l'angle de trajectoire et son sigma à partir de la covariance complète par un gradient aux différences finies ; la probabilité que l'angle soit à l'intérieur d'un cor

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
• MODELLED Décélération maximale (indépendante du coefficient balistique), vitesse et altitude au pic de g, et vitesse au pic d'échauffement pour une entrée balistique dans une atmosphère exponentielle. R. Référence indépendante (InternalConsistency) : entrée analytique d'Allen–Eggers en forme fermée, en outre recoupée avec une intégration numérique scipy 1,18 solve_ivp (DOP853) de la MÊME EDO d'entrée à traînée seule (tests/ballistic_re_entry_corridor_reference.rs, 36 cas, pire a_max rel 2.9e-9) — une vérification d'une intégrale numérique par rapport à sa propre forme analytique, donc toujours InternalConsistency, et NON une validation externe. Balistique (sans portance) MODELLED, sans aérothermique ni protection thermique — la sortie d'échauffement est une ve

Limites#

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

• MODELLED — entrée balistique (sans portance) d'Allen–Eggers, atmosphère exponentielle isotherme, angle de trajectoire constant ; le pic de g est indépendant du coefficient balistique ; l'échauffement est la VITESSE au pic d'échauffement, et NON un flux thermique (pas de modèle aérothermique ni de protection thermique) (résultat label)
• Entrée balistique (sans portance) MODELLED ; la sortie d'échauffement est la VITESSE au pic d'échauffement, et non un flux thermique (pas de modèle aérothermique ni de protection thermique). (catalogue des types (kshana kinds --json))
• PORTÉE HONNÊTE : balistique (sans portance) MODELLED, atmosphère exponentielle isotherme, angle de trajectoire constant. Pas de modèle aérothermique ni de protection thermique -- la sortie d'échauffement est la VITESSE au pic d'échauffement, et non un flux thermique. Pas une trajectoire à 3 ou 6 degrés de liberté. Exécution : kshana scenarios/reentry.toml (commentaire du fichier de scénario, lignes 8 à 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))
• Le corridor de rentrée balistique (Allen–Eggers) est MODELLED, non validé : vérifié par rapport à sa 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 : Analyse de mission, liaisons et opérations spatiales
• Tous les types de scénario : KINDS.md
• Page thématique : ENTRY-EO-ASCENT.md