lunar-orbit-rendezvous (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#

Navigation relative MODELLED pour un amarrage de type Orion-atterrisseur sur une orbite lunaire basse ou une orbite polaire elliptique (classe Artemis). Un chasseur et une cible volent sur la même orbite sous le modèle de forces lunaires de la crate ; une estimation conjointe par lots de Gauss-Newton à 21 paramètres sur l'arc (deux états de véhicule et des biais persistants du signal dans l'espace) fusionne un point de position absolu par véhicule issu d'un ensemble de relais ILLUSTRATIVE de classe LCNS (relais derrière la Lune écartés, quatre nécessaires, l'erreur de signal dans l'espace en mode commun s'annulant entre les véhicules) et une distance par liaison croisée, avec une précision de mesure de distance tirée de la borne de suivi de code sur le pilote AFS de LunaNet. Rapporte l'erreur de position et de vitesse relatives formelle et Monte Carlo dans les axes LVLH de la cible, la disponibilité des points, l'erreur d'estimation normalisée moyenne au carré par rapport à sa valeur attendue, et tout essai dont l'itération n'a pas convergé, la dérive due à l'omission des harmoniques de gravité, et la covariance 6x6 complète transmise. Une vérification de Hill/Clohessy-Wiltshire en forme analytique s'applique au cas circulaire. MODELLED : ensemble de relais, budget d'erreur et a priori illustratifs ; la vérité et l'estimateur partagent un même modèle de forces, de sorte que la NEES vérifie l'autocohérence et non l'erreur de modèle. Sans aval d'aucune agence ; logiciel à titre consultatif, et non un équipement de navigation certifié.

Une exécution de scenarios/lunar-orbit-rendezvous.toml se résume ainsi : lunar-orbit-rendezvous | llo 100x100 km | sep 2000 m | fixes 74% | rel pos 1-sigma R/A/C 0.03/0.06/0.04 m | mean NEES 6,51 (6 expected) | converged at 2000 s (MODELLED)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : orbit, sma_km, eccentricity, inc_deg, argp_deg, mean_anomaly_deg, separation_m, arc_s, step_s, n_relays, afs_cn0_dbhz, isl_cn0_dbhz, integration_s, sis_ure_m, common_mode_fraction, target_pos_sigma_m, target_vel_sigma_m_s, carried_pos_sigma_m, carried_vel_sigma_m_s, filter_model, n_trials, seed, conv_threshold_m, gravity_table_path, gravity_degree

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

L'exécuter#

kshana scenarios/lunar-orbit-rendezvous.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-orbit-rendezvous : une estimation conjointe par lots de Gauss-Newton à deux véhicules sur l'arc (vingt et un paramètres : les deux états et des biais de position persistants du signal dans l'espace, communs et indépendants), élargie sur un quart, une m Tests : mission_thread_lunar_oracles.rs.

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-orbit-rendezvous : une estimation conjointe par lots de Gauss-Newton à deux véhicules sur l'arc (vingt et un paramètres : les deux états et des biais de position persistants du sig. Référence indépendante (InternalConsistency) : Autocohérence sous un préenregistrement (xval/mission-thread-lunar/PREREGISTRATION.md, résultats et historique de l'estimateur dans RESULTS.md) : l'erreur d'estimation normalisée moyenne au carré de l'état relatif est de 5,85 à 5,93 contre la bande de 5,2 à 6,8 dans quatre configurations, MET à la quatrième conception d'estimateur après l'échec de trois conceptions de filtre séquentiel ; la vérité et l'estimateur partagent un même modèle de forces, ce qui ne dit donc rien de l'erreur de modèle. Le pro
• 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)
• Navigation relative MODELLED pour un amarrage de type Orion-atterrisseur sur une orbite lunaire basse ou une orbite polaire elliptique (classe Artemis). (catalogue des types de scénario (kshana kinds --json))
• MODELLED : ensemble de relais, budget d'erreur et a priori illustratifs ; la vérité et l'estimateur partagent un même modèle de forces, de sorte que la NEES vérifie l'autocohérence et non l'erreur de modèle. (catalogue des types de scénario (kshana kinds --json))
• HONNÊTETÉ : MODELLED. L'ensemble de relais, l'erreur du signal dans l'espace, la fraction de mode commun et les a priori sont des entrées ILLUSTRATIVE, et non des mesures ; la vérité et l'estimateur partagent le modèle de forces (un terme central intégré, J2 et C22). La vérification de cohérence préenregistrée B1 (NEES moyenne dans [5,2, 6,8]) est atteinte dans les quatre configurations sur la conception par lots : voir xval/mission-thread-lunar/RESULTS.md. Aucun accord avec un véhicule réel (commentaire du fichier de scénario, lignes 10 à 14)
• 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 navigation relative jusqu'à l'amarrage en orbite lunaire (lunar-orbit-rendezvous) 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