launch-window (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#
Géométrie de lancement et d'ascension à deux corps : azimut(s) de lancement (sin Az = cos i / cos lat), inclinaison minimale atteignable, vitesse circulaire, gain de la rotation de la Terre vers l'est, Δv de changement de plan en dogleg lorsque l'inclinaison cible est inférieure à la latitude du site, et nombre d'opportunités de lancement quotidiennes. Géométrie MODELLED à Terre sphérique (sans correction du triangle des vitesses de Terre en rotation, sans modèle de pertes d'ascension/de traînée).
Une exécution de scenarios/launch-window.toml se résume ainsi : launch-window: lat 28,5° -> i 51,6°: Az 45,0° asc, v_circ 7669 m/s, +409 m/s Earth-rotation bonus, 2 opportunities/day (MODELLED)
Entrées#
D'après le schéma (kshana kinds --json) :
- Champs requis : aucun
- Champs facultatifs :
site_lat_deg,target_inclination_deg,altitude_km,site_lon_deg,epoch,eop_finals2000a
L'exemple scenarios/launch-window.toml définit, entre autres :
| Champ | Valeur | Unité |
|---|---|---|
altitude_km |
400 | km |
kind |
launch-window | texte |
site_lat_deg |
28.5 | deg |
target_inclination_deg |
51.6 | deg |
L'exécuter#
kshana scenarios/launch-window.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é |
|---|---|---|
altitude_km |
400 | km |
circular_velocity_m_s |
7668.558175 | m/s |
daily_opportunities |
2 | nombre |
dogleg_plane_change_dv_m_s |
aucune valeur | m/s |
epoch |
aucune valeur | non indiqué |
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 |
launch_azimuth_deg.ascending |
44.975133 | deg |
launch_azimuth_deg.descending |
135.024867 | deg |
Étiquette du résultat (celle du moteur) : MODELLED — géométrie de lancement à deux corps et Terre sphérique ; l'azimut est la relation géométrique sin(Az)=cos(i)/cos(lat) (sans correction du triangle des vitesses de Terre en rotation, sans modèle de pertes d'ascension/de traînée)
Preuves#
MODELLED : les lignes de la matrice de vérification qui nomment ce type de scénario.
- MODELLED Azimut(s) de lancement à deux corps (sin Az = cos i / cos lat), inclinaison minimale atteignable, vitesse circulaire, gain de la rotation de la Terre vers l'est, Δv de changement de plan en dogleg et opportunités quotidiennes, et, à partir d'une époque et de lignes IERS finals2000A, le site
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 Azimut(s) de lancement à deux corps (sin Az = cos i / cos lat), inclinaison minimale atteignable, vitesse circulaire, gain de la rotation de la Terre vers l'est, Δv de changement de plan en dogleg a. Référence indépendante (InternalConsistency) : géométrie de lancement en trigonométrie sphérique en forme fermée par rapport à des ancrages d'exemples travaillés publiés (Vallado, Fundamentals of Astrodynamics 4e éd., algorithme 37 azimut de lancement + chap. 6 changement de plan ; tests/launch_window_ascent_geometry_reference.rs). Ils réutilisent la même forme fermée que celle qu'implémente kshana (un contrôle de parité de valeur publiée / de transcription, InternalConsistency) ; MODELLED à deux corps, sans triangle des vitesses de Terre en rotation / ascension / traî
Limites#
Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :
- MODELLED — géométrie de lancement à deux corps et Terre sphérique ; l'azimut est la relation géométrique sin(Az)=cos(i)/cos(lat) (sans correction du triangle des vitesses de Terre en rotation, sans modèle de pertes d'ascension/de traînée) (résultat
label) - Géométrie MODELLED à Terre sphérique (sans correction du triangle des vitesses de Terre en rotation, sans modèle de pertes d'ascension/de traînée). (catalogue des types de scénario (
kshana kinds --json)) - PÉRIMÈTRE HONNÊTE : MODELLED. Azimut géométrique seulement -- aucune correction du triangle des vitesses de Terre en rotation (le gain est rapporté séparément pour être intégré), aucun modèle de trajectoire d'ascension / de pertes de traînée / de pilotage. Géométrie de pré-phase A. Exécution : kshana scenarios/launch-window.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))
- La géométrie de fenêtre de lancement et d'ascension (analyse de mission) 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 : ENTRY-EO-ASCENT.md