ascent-losses (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#
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 (montée verticale, coup de tangage, poussée selon la vitesse), intégrant les pertes de gravité, de traînée, de pilotage et de contre-pression et vérifiant le dv idéal moins les pertes par rapport à la vitesse de fin de combustion ; max-Q, accélération de crête et état de fin de combustion. MODELLED.
Une exécution de scenarios/ascent-losses.toml se résume ainsi : ascent-losses: ideal dv 11290 m/s, losses 2359 m/s (gravity 2276, drag 15, steering 0, back-pressure 67); burnout 509 km at 8932 m/s, gamma 8,7 deg; max-Q 32,5 kPa (MODELLED)
Entrées#
D'après le schéma (kshana kinds --json) :
- Champs requis : aucun
- Champs facultatifs :
stages,payload_kg,drag_coefficient,reference_area_m2,kick_altitude_m,kick_angle_deg,kick_duration_s,step_s
L'exemple scenarios/ascent-losses.toml définit, entre autres :
| Champ | Valeur | Unité |
|---|---|---|
drag_coefficient |
0.3 | 1 |
kick_altitude_m |
1000 | m |
kick_angle_deg |
3 | deg |
kick_duration_s |
10 | s |
kind |
ascent-losses | texte |
payload_kg |
10000 | kg |
reference_area_m2 |
10.5 | m^2 |
stages[0].dry_mass_kg |
25000 | kg |
stages[0].exit_area_m2 |
6 | m^2 |
stages[0].isp_vac_s |
311 | s |
stages[0].propellant_kg |
400000 | kg |
stages[0].thrust_vac_n |
7600000 | N |
L'exécuter#
kshana scenarios/ascent-losses.toml
Ce qu'il donne#
Les résultats scalaires de cette exécution, avec les unités que le moteur indique :
| Résultat | Valeur | Unité |
|---|---|---|
burn_time_s |
508.755519 | s |
crashed |
false | indicateur |
end.altitude_m |
5.0903e5 | m |
end.circular_speed_m_s |
7607.618569 | m/s |
end.downrange_m |
1.5142e6 | m |
end.flight_path_angle_deg |
8.707144 | deg |
end.speed_m_s |
8931.555867 | m/s |
evidence.id_rule |
l'identifiant stable de la ligne de la matrice (l'ID | texte |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | texte |
evidence.tier |
MODELLED | texte |
Étiquette du résultat (celle du moteur) : MODELLED — ascension plane en virage gravitationnel d'un véhicule à plusieurs étages au-dessus d'une Terre sphérique sans rotation à travers l'US76, avec les pertes de gravité, de traînée, de pilotage et de contre-pression intégrées et l'identité dv idéal moins pertes vérifiée ; C_D constant, pas de rotation, pas de phase balistique, pas de guidage au-delà du coup de tangage
Preuves#
MODELLED : les lignes de la matrice de vérification qui nomment ce type de scénario.
- 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
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 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 c. Référence indépendante (InternalConsistency) : Cohérence interne : l'identité exacte vitesse de fin de combustion = somme Isp g0 ln(m0/mf) moins les quatre pertes intégrées (résidu inférieur à 1e-6 m/s), l'équation de Tsiolkovski sur une combustion verticale dans le vide avec la gravité pour seule perte, et les pressions US76 au niveau de la mer et à la tropopause. CE QUI NE L'EST PAS : les pertes d'aucun véhicule publié n'ont été comparées ; pas de rotation de la Terre, de phase balistique, de régulation de poussée ni de guidage au-delà du coup de tangage ; C_D constant ; pas une trajectoire
Limites#
Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :
- MODELLED — ascension plane en virage gravitationnel d'un véhicule à plusieurs étages au-dessus d'une Terre sphérique sans rotation à travers l'US76, avec les pertes de gravité, de traînée, de pilotage et de contre-pression intégrées et l'identité dv idéal moins pertes vérifiée ; C_D constant, pas de rotation, pas de phase balistique, pas de guidage au-delà du coup de tangage (résultat
label) - MODELLED. (catalogue des types de scénario (
kshana kinds --json)) - Pertes d'ascension en virage gravitationnel d'un lanceur bi-étage kérosène/oxygène ILLUSTRATIVE (pas un véhicule réel) : montée verticale jusqu'à 1 km, un coup de tangage de 3 deg pendant 10 s, puis une poussée selon la vitesse. L'exécution intègre les pertes de gravité, de traînée, de pilotage et de contre-pression et vérifie que le dv idéal moins les pertes est égal à la vitesse de fin de combustion. MODELLED : plan, Terre sans rotation, C_D constant, pas de phase balistique, pas de guidage au-delà du coup de tangage. (commentaire du fichier de scénario, lignes 1 à 5)
- 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))
- Les pertes de gravité, de traînée, de pilotage et de contre-pression de l'ascension d'un lancement sont MODELLED, et non validées : vérifiées 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 : Analyse de mission, liaisons et opérations spatiales
- Tous les types de scénario : KINDS.md
- Page thématique : ENTRY-EO-ASCENT.md