attitude-budget (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Análisis de misión, enlaces y operaciones espaciales. Consultivo: salida de análisis de una herramienta de investigación e ingeniería, no un equipo de navegación homologado ni un servicio de seguridad de la vida humana. Toda etiqueta de aquí es la del motor o la de la matriz de verificación; un tipo de escenario es MODELLED salvo que la matriz diga otra cosa (cómo se gana una etiqueta: la sección Evidence del README).

Qué hace#

Balance de errores de actitud y apuntamiento en 3 grados de libertad: el par de perturbación de gradiente de gravedad en el peor caso ((3/2)(μ/R³)ΔI) y un balance de error de apuntamiento por raíz de la suma de cuadrados sobre contribuyentes con nombre de 1σ (ruido de sensor, vibración de ruedas de reacción, térmico, alineación) con el término dominante, para una altitud orbital y una dispersión de inercia del cuerpo. Balance AOCS escalar MODELLED — un complemento previo al hardware de Basilisk/42, no una simulación de bucle de control, de 6 grados de libertad ni de modos flexibles.

Una ejecución de scenarios/attitude-budget.toml se resume así: 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)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

El ejemplo scenarios/attitude-budget.toml establece, entre otros:

Ejecútelo#

kshana scenarios/attitude-budget.toml

Qué proporciona#

Los resultados escalares de esa ejecución, con las unidades que indica el motor:

Etiqueta del resultado (la del motor): MODELLED — balance de errores AOCS escalar en 3 grados de libertad: par de perturbación de gradiente de gravedad en el peor caso + balance de apuntamiento por RSS; NO es una simulación de bucle de control / 6 grados de libertad / modos flexibles (un complemento previo al hardware de Basilisk/42, no un sustituto)

Evidencias#

VALIDATED: las filas de la matriz de verificación que nombran este tipo de escenario.

• VALIDATED Par de perturbación de gradiente de gravedad en el peor caso ((3/2)(μ/R³)ΔI) como el máximo sobre la actitud (la afirmación validada), más un balance de error de apuntamiento RSS sobre contribuyentes con nombre de 1σ con el término dominante (una suma cuadrática de números suministrados por quien llama Pruebas: attitude_gg_torque_reference.rs.

Las filas que la propia ejecución puso a prueba, con la referencia independiente que da la matriz a cada una (las fuentes públicas se nombran allí):

• MODELLED Determinista, con hash de escenario, SBOM + barreras golden multiplataforma. Referencia independiente (ExternalDataset): ajuste a la norma del SBOM al esquema JSON oficial de CycloneDX 1,5 (+ identificadores SPDX válidos) — un estándar externo publicado, cero errores de validación en todo el grafo de dependencias; la parte de determinismo de FoM / reproducibilidad byte a byte sigue siendo una comprobación de autoconsistencia fijada, por lo que la fila sigue siendo MODELLED
• VALIDATED Par de perturbación de gradiente de gravedad en el peor caso ((3/2)(μ/R³)ΔI) como el máximo sobre la actitud (la afirmación validada), más un balance de error de apuntamiento RSS sobre contribuyentes con nombre de 1σ . Referencia independiente (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), una implementación independiente en C++ del par de gradiente de gravedad con tensor completo: el máximo (3/2)(μ/R³)ΔI de Kshana es igual al par de Basilisk en la actitud de 45 deg con un error relativo inferior a 1e-12 (peor caso 2.1e-15) sobre 5 altitudes y 8 tensores de inercia, y acota el par de Basilisk sobre 2000 actitudes aleatorias por caso; tolerancia fijada antes de la comparación. Afirmación validada: el gravity-
• PARTNER No se proporciona — Kshana es un simulador de prestaciones de navegación, no un fabricante de plataformas. Referencia independiente (NoneKind): ninguna: una disciplina propiedad del socio, sin módulo ni prueba por diseño

Limitaciones#

Lo que el propio informe de la ejecución dice que no está modelado o no está validado:

• MODELLED — balance de errores AOCS escalar en 3 grados de libertad: par de perturbación de gradiente de gravedad en el peor caso + balance de apuntamiento por RSS; NO es una simulación de bucle de control / 6 grados de libertad / modos flexibles (un complemento previo al hardware de Basilisk/42, no un sustituto) (resultado label)
• Balance AOCS escalar MODELLED — un complemento previo al hardware de Basilisk/42, no una simulación de bucle de control, de 6 grados de libertad ni de modos flexibles. (catálogo de tipos de escenario (kshana kinds --json))
• ALCANCE HONESTO: balance de errores escalar MODELLED -- un complemento previo al hardware de Basilisk/42, NO una simulación de bucle de control / 6 grados de libertad / modos flexibles. El término de gradiente de gravedad se informa como un par (convertirlo en apuntamiento requiere una rigidez de control que corresponde a quien llama); el balance es la suma cuadrática de los contribuyentes de 1 sigma suministrados. Ejecución: kshana scenarios/attitude-budget.toml (comentario del archivo de escenario, líneas 8 a 13)
• La reproducibilidad y el aseguramiento del software son MODELLED, no están validados: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, por lo que la capacidad sigue siendo modelada. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de familia: Análisis de misión, enlaces y operaciones espaciales
• Todos los tipos de escenario: KINDS.md