lunar-ascent (type de scénario)

Type de scénario du moteur v0.40.0, famille Lunaire et cislunaire. À 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 propulsée MODELLED depuis un site de surface polaire sud jusqu'à l'orbite de rendez-vous, et la covariance de position et de vitesse qu'elle reporte en orbite (classe Artemis). Le modèle d'erreur inertielle à cinq états par axe de lunar-descent (position, vitesse, biais d'accéléromètre, inclinaison d'assiette, biais de gyroscope, piloté par la force spécifique) s'exécute sur les trois axes du site à partir de l'état de surface avec lequel la phase commence ; un point de position AFS issu des relais visibles d'une constellation ILLUSTRATIVE de classe LCNS (autonome, ou différentiel avec le résidu de la liaison de correction de lunar-differential-pnt, avec l'horloge aidée lorsque seuls trois relais sont visibles) est pris à un intervalle déclaré, le temps lunaire entrant par l'horloge du véhicule et une erreur d'horodatage le long de la trajectoire. Rapporte les sources inertielles en forme analytique, la contribution de l'aide, l'ablation, les 1-sigma de navigation sur l'ascension, la dispersion à la coupure des moteurs à côté de la connaissance de navigation, et la covariance MCI 6x6 complète à l'insertion avec la corrélation position-vitesse conservée. MODELLED : classe d'IMU illustrative, force spécifique, ensemble de relais et dispersion à la coupure illustratifs ; erreurs tenues dans les axes du site de lancement ; l'état de sortie nominal est un substitut. Sans aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Une exécution de scenarios/lunar-ascent.toml se résume ainsi : lunar-ascent | -89.50 deg | inertial only 785 m / 3,49 m/s | with AFS 11,4 m / 0,071 m/s | insertion dispersion 1,73 m/s (MODELLED)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

L'exemple scenarios/lunar-ascent.toml définit, entre autres :

L'exécuter#

kshana scenarios/lunar-ascent.toml

Ce qu'il donne#

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

Étiquette du résultat (celle du moteur) : MODELLED

Preuves#

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

• MODELLED Le type et la phase lunar-ascent : le modèle d'erreur inertielle à cinq états par axe exécuté sur une ascension propulsée avec une force spécifique le long de la trajectoire, aidé par des points AFS et le temps lunaire, qui rapporte la covariance de position et de vitesse à l'insertion trans

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 Le type et la phase lunar-ascent : le modèle d'erreur inertielle à cinq états par axe exécuté sur une ascension propulsée avec une force spécifique le long de la trajectoire, aidé par des points AFS. Référence indépendante (InternalConsistency) : La dérive inertielle en forme analytique et des vérifications de monotonie dans les tests. Aucune ascension réellement effectuée en vol n'est comparée
• MODELLED Le propagateur que partagent les types lunaires (GRAIL GL0660B degré et ordre 150, la Terre et le Soleil comme corps tiers, relativité, orientation lunaire DE440) comparé aux trajectoires pub. Référence indépendante (ExternalDataset) : Éphémérides de véhicules spatiaux JPL Horizons pour LRO et CAPSTONE, par rapport à des seuils préenregistrés dans xval/mission-thread-lunar/PREREGISTRATION.md (amendements 1 à 6). LRO : MET, 33 m de plus grand écart 3-D et 2,4 m RMS radial contre 500 m et 60 m. CAPSTONE : NOT MET, un écart de position finale de 136,8 km contre 25 km et un écart de périapse de 28,4 km contre 10 km, les causes n'étant pas isolées. La ligne est modélisée parce que le seuil de CAPSTON

Limites#

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

• MODELLED (résultat label)
• Ascension propulsée MODELLED depuis un site de surface polaire sud jusqu'à l'orbite de rendez-vous, et la covariance de position et de vitesse qu'elle reporte en orbite (classe Artemis). (catalogue des types de scénario (kshana kinds --json))
• MODELLED : classe d'IMU illustrative, force spécifique, ensemble de relais et dispersion à la coupure illustratifs ; erreurs tenues dans les axes du site de lancement ; l'état de sortie nominal est un substitut. (catalogue des types de scénario (kshana kinds --json))
• HONNÊTETÉ : MODELLED. La classe d'IMU, l'alignement, la force spécifique et la dispersion à la coupure sont des entrées ILLUSTRATIVE, et non des mesures. Les erreurs sont tenues dans les axes est-nord-haut du site de lancement, sans la courbure en distance de la trajectoire, et l'état de sortie nominal est un substitut à la verticale locale du site : seule la covariance est le résultat. Aucun accord avec un véhicule réel n'est affirmé. Logiciel à titre consultatif, et non un équ (commentaire du fichier de scénario, lignes 11 à 15)
• 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))
• L'ascension propulsée depuis un site polaire lunaire jusqu'à une orbite d'insertion (lunar-ascent) 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))
• La propagation du modèle de forces lunaires par rapport à des trajectoires publiques reconstituées d'orbiteurs lunaires et cislunaires est MODELLED, et non validée : une sous-affirmation est vérifiée en 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))

Voir aussi#

• Page de famille : Lunaire et cislunaire
• Tous les types de scénario : KINDS.md
• Page thématique : MISSION-THREAD-LUNAR.md
• Page thématique : MISSION-THREAD.md