attitude-budget (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#

Bilan d'erreur d'attitude et de pointage à 3 DOF : le couple perturbateur de gradient de gravité au pire cas ((3/2)(μ/R³)ΔI) et un bilan d'erreur de pointage en somme quadratique sur des contributeurs nommés à 1σ (bruit de capteur, gigue des roues de réaction, thermique, alignement) avec le terme dominant, pour une altitude d'orbite + un écart d'inertie du corps. Bilan AOCS scalaire MODELLED — un complément avant matériel à Basilisk/42, et non une simulation de boucle de commande / à 6 DoF / de modes flexibles.

Une exécution de scenarios/attitude-budget.toml se résume ainsi : attitude-budget: 600 km, ΔI 40 kg·m² -> GG torque 7.04e-5 N·m; pointing 10,7" RSS (dominant: reaction_wheel_jitter) (MODELLED scalar budget)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

L'exemple scenarios/attitude-budget.toml définit, entre autres :

L'exécuter#

kshana scenarios/attitude-budget.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 — bilan d'erreur AOCS scalaire à 3 DOF : couple perturbateur de gradient de gravité au pire cas + bilan de pointage en somme quadratique ; PAS une simulation de boucle de commande / à 6 DoF / de modes flexibles (un complément avant matériel à Basilisk/42, et non un remplacement)

Preuves#

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

• VALIDATED Couple perturbateur de gradient de gravité au pire cas ((3/2)(μ/R³)ΔI) comme crête sur l'attitude (l'affirmation validée), plus un bilan d'erreur de pointage en somme quadratique sur des contributeurs nommés à 1σ avec le terme dominant (une somme quadratique de nombres fournis par l'appelant Tests : attitude_gg_torque_reference.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
• VALIDATED Couple perturbateur de gradient de gravité au pire cas ((3/2)(μ/R³)ΔI) comme crête sur l'attitude (l'affirmation validée), plus un bilan d'erreur de pointage en somme quadratique sur des contributeurs nommés à 1σ . Référence indépendante (ExternalDataset) : Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), une implémentation C++ indépendante du couple de gradient de gravité à tenseur complet : la crête (3/2)(μ/R³)ΔI de Kshana est égale au couple de Basilisk à l'attitude de 45 deg à 1e-12 relatif près (pire cas 2.1e-15) sur 5 altitudes et 8 tenseurs d'inertie, et borne le couple de Basilisk sur 2000 attitudes aléatoires par cas ; tolérance fixée avant la comparaison. Affirmation validée : le gravity-
• PARTNER Non fourni — Kshana est un simulateur de performance de navigation, et non un fabricant de plateformes. Référence indépendante (NoneKind) : aucune : une discipline propre au partenaire, sans module ni test par conception

Limites#

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

• MODELLED — bilan d'erreur AOCS scalaire à 3 DOF : couple perturbateur de gradient de gravité au pire cas + bilan de pointage en somme quadratique ; PAS une simulation de boucle de commande / à 6 DoF / de modes flexibles (un complément avant matériel à Basilisk/42, et non un remplacement) (résultat label)
• Bilan AOCS scalaire MODELLED — un complément avant matériel à Basilisk/42, et non une simulation de boucle de commande / à 6 DoF / de modes flexibles. (catalogue des types de scénario (kshana kinds --json))
• PORTÉE HONNÊTE : bilan d'erreur scalaire MODELLED -- un complément avant matériel à Basilisk/42, et PAS une simulation de boucle de commande / à 6 DoF / de modes flexibles. Le terme de gradient de gravité est rapporté comme un couple (le convertir en pointage exige une raideur de commande que possède l'appelant) ; le bilan est la somme quadratique des contributeurs à 1 sigma fournis. Exécution : kshana scenarios/attitude-budget.toml (commentaire du fichier de scénario, lignes 8 à 13)
• 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))

Voir aussi#

• Page de famille : Analyse de mission, liaisons et opérations spatiales
• Tous les types de scénario : KINDS.md