lunar-descent (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#

Budget de dispersion à l'atterrissage MODELLED pour une descente propulsée vers un site polaire sud (classe Artemis). Par axe horizontal, un modèle d'erreur inertielle à cinq états (position, vitesse, biais d'accéléromètre, inclinaison d'assiette, biais de gyroscope) est piloté par la force spécifique de la descente ; un filtre séquentiel prend les points de position des aides activées : un point 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) et un point relatif au terrain (le comparateur TERCOM/SITAN de la crate sur un relief synthétique, ou la borne de Cramer-Rao de l'appariement d'une fenêtre d'altitude du véritable MNT polaire sud LOLA). Le temps lunaire entre par l'horloge du véhicule aux points (le décalage LTC-TT de lunar-time-offset, ou l'incertitude de sa bande publiée) et sous la forme d'une erreur d'horodatage le long de la trajectoire. Rapporte l'ellipse d'atterrissage à 3 sigma, le R95, les sources inertielles en forme analytique, la contribution de chaque aide, l'ablation de chaque combinaison d'aides, un étalonnage Monte Carlo de l'ellipse, et la covariance transmise. MODELLED : classe d'IMU, ensemble de relais, profil de descente et terme de guidage illustratifs ; la navigation sur terrain utilise un relief synthétique à une échelle en mètres terrestres ; la disponibilité AFS est d'une seule époque sur un masque plat. Sans aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Une exécution de scenarios/lunar-descent.toml se résume ainsi : lunar-descent | -89.50 deg | inertial only 517/517 m (E/N) | with aids 7.6/4.8 m | dispersion R95 51 m | 3-sigma ellipse 64 x 62 m | 99,1% inside (expect 98,9%) (MODELLED)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

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

L'exécuter#

kshana scenarios/lunar-descent.toml

2 scénarios fournis utilisent ce type ; les autres se trouvent dans scenarios/.

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-descent : un modèle d'erreur inertielle à cinq états par axe (position, vitesse, biais d'accéléromètre, inclinaison, biais de gyroscope) sur une descente propulsée, aidé par des points AFS (autonomes ou différentiels, avec le cas à trois relais aidé par l'horloge

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-descent : un modèle d'erreur inertielle à cinq états par axe (position, vitesse, biais d'accéléromètre, inclinaison, biais de gyroscope) sur une descente propulsée,. Référence indépendante (InternalConsistency) : La dérive inertielle en forme analytique, les résultats propres des types réutilisés et l'étalonnage de l'ellipse à 3 sigma (la fraction à l'intérieur concorde avec ce qui est attendu) dans les tests. Aucun atterrissage réel ou testé n'est comparé

Limites#

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

• MODELLED (résultat label)
• Budget de dispersion à l'atterrissage MODELLED pour une descente propulsée vers un site polaire sud (classe Artemis). (catalogue des types de scénario (kshana kinds --json))
• MODELLED : classe d'IMU, ensemble de relais, profil de descente et terme de guidage illustratifs ; la navigation sur terrain utilise un relief synthétique à une échelle en mètres terrestres ; la disponibilité AFS est d'une seule époque sur un masque plat. (catalogue des types de scénario (kshana kinds --json))
• HONNÊTETÉ : MODELLED. La classe d'IMU, le profil de descente, l'ensemble de relais, l'erreur du signal dans l'espace et le terme de guidage sont des entrées ILLUSTRATIVE, et non des mesures. Le mode de navigation sur terrain utilise le relief synthétique autonome et une échelle en mètres terrestres, de sorte que le terme de terrain ici est le comportement du comparateur sur un substitut, et non un énoncé sur le relief polaire sud : la variante lola-crlb (lunar-descent-lola.toml) utilise le véritable (commentaire du fichier de scénario, lignes 14 à 20)
• 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 budget de dispersion à l'atterrissage sur un site polaire lunaire (lunar-descent) est MODELLED, et non validé : vérifié par rapport à sa propre identité analytique / en forme fermée — il 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 : Lunaire et cislunaire
• Tous les types de scénario : KINDS.md
• Page thématique : MISSION-THREAD-LUNAR.md
• Page thématique : MISSION-THREAD.md