mission-thread (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Hilos de misión. Carácter consultivo: resultado 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. Cada 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 obtiene una etiqueta: la sección Evidence del README).

Qué hace#

Presupuesto de errores de navegación y temporización MODELLED de una cadena indicada de fases de misión, desde el lanzamiento hasta la entrada: lanzamiento y ascenso, encuentro y acoplamiento en órbita terrestre baja (repetible), inyección translunar y crucero cislunar, encuentro en órbita lunar, descenso, estancia en la superficie, ascenso y el regreso y la entrada, cada fase uno de ocho tipos registrados con sus propios sensores y filtro. La covarianza de 6x6, el reloj y el marco se transmiten de una fase a otra bajo una regla indicada (carry, inflate o reacquire); las conversiones de marco y de escala de tiempo (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) son filas de presupuesto propias, con el estado de la Luna a partir de un recorte opcional del kernel DE440 y la serie analítica como alternativa indicada. Una superposición opcional de la red terrestre fija el ciclo de seguimiento de cada fase. Informa del presupuesto por fase (1 sigma de entrada, máximo y salida, cada contribución con su unidad), el margen frente a un requisito indicado, el eslabón más débil, los eventos y una figura de línea de tiempo. MODELLED: cada número es una entrada indicada; la cadena sigue una sola pila y no se modela ningún vehículo. Solo fuentes públicas; sin afiliación ni respaldo de ninguna agencia; software de carácter consultivo, no un equipo de navegación certificado.

Una ejecución de scenarios/mission-thread-artemis-class.toml se resume así: mission-thread | 11 fases | hilo de misión de clase Artemis (ILLUSTRATIVE) | eslabón más débil descent | MODELLED

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: epoch_utc, entry, phase
• Campos opcionales: kind, title, seed, moon_kernel_path, ground_network

El ejemplo scenarios/mission-thread-artemis-class.toml establece, entre otros:

Ejecútelo#

kshana scenarios/mission-thread-artemis-class.toml

Qué proporciona#

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

Etiqueta del resultado (la del motor): MODELLED

Evidencias#

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

• MODELLED El tipo de escenario mission-thread: un documento de fases, cada una de uno de ocho tipos registrados, ejecutadas en orden con la covarianza de 6x6, el reloj y el marco transmitidos bajo una regla indicada (carry; inflate, ruido de aceleración blanco sobre un intervalo indicado Pruebas: field_units_global.rs.
• MODELLED La fase launch-ascent: una covarianza de posición y velocidad de velocidad constante con ruido de aceleración blanco (el grado de navegación a estima), una posición GNSS de precisión indicada aplicada tras el tiempo de adquisición y fuera de los desvanecimientos indicados, un reloj de sesgo y
• MODELLED La fase leo-rendezvous: el estado relativo en los ejes LVLH del objetivo con la transición de Clohessy-Wiltshire de forma cerrada, una covarianza de Kalman de 6x6 con ruido de aceleración blanco y actualizaciones de posición cuya varianza es la del sensor a la dis
• MODELLED La fase tli-and-cruise: el estado medio mediante el propagador de Cowell del motor (masa puntual terrestre y J2, el Sol y la Luna como terceros cuerpos, la Luna a partir del kernel DE440 del hilo donde cubre el segmento y el Sol a partir de la serie analít
• y 4 más en la matriz.

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
• MODELLED El tipo de escenario mission-thread: un documento de fases, cada una de uno de ocho tipos registrados, ejecutadas en orden con la covarianza de 6x6, el reloj y el marco transmitidos bajo. Referencia independiente (InternalConsistency): Cálculos manuales en las pruebas (el crecimiento de la covarianza en línea recta, la rotación sidérea media, la tasa secular del reloj lunar) y, solo para el estado de la Luna, los recortes del kernel DE440 confirmados frente a valores fijados de JPL Horizons (el peor 2,6 m y 7e-6 m/s). No se compara ningún dato de misión con la cadena; sus fases son filas propias. El documento es una cadena declarada con entradas ILLUSTRATIVE, solo fuentes públicas y sin respaldo de ninguna age
• MODELLED La fase launch-ascent: una covarianza de posición y velocidad de velocidad constante con ruido de aceleración blanco (el grado de navegación a estima), una posición GNSS de precisión indicada a. Referencia independiente (InternalConsistency): El estado estacionario de Riccati y el cálculo manual de la predicción en las pruebas. Nada de aquí modela un vehículo de lanzamiento ni un receptor; cada número es una entrada indicada
• MODELLED La fase leo-rendezvous: el estado relativo en los ejes LVLH del objetivo con la transición de Clohessy-Wiltshire de forma cerrada, una covarianza de Kalman de 6x6 con ruido de aceleración blanco y . Referencia independiente (InternalConsistency): Un cálculo manual de un solo eje de la predicción y la actualización en la prueba; la transición de Clohessy-Wiltshire es la que cw_dynamics comprueba frente a una integración numérica independiente. Los sensores son ILLUSTRATIVE y no se compara ningún encuentro real
• MODELLED La fase tli-and-cruise: el estado medio mediante el propagador de Cowell del motor (masa puntual terrestre y J2, el Sol y la Luna como terceros cuerpos, la Luna a partir del hilo. Referencia independiente (InternalConsistency): El teorema de Liouville (el determinante de la matriz de transición de estado de la parte conservativa es uno) y una diferencia más fina en las pruebas; el estado medio se compara con una trayectoria pública en la fila siguiente, que no alcanza. El error de maniobra, las actualizaciones y la covarianza no se comparan con nada

Limitaciones#

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

• Presupuesto de errores de navegación y temporización MODELLED de una cadena indicada de fases de misión, desde el lanzamiento hasta la entrada: lanzamiento y ascenso, encuentro y acoplamiento en órbita terrestre baja (repetible), inyección translunar y crucero cislunar, encuentro en órbita lunar, descenso, estancia en la superficie, ascenso y el regreso y la entrada, cada fase uno de ocho tipos registrados con sus propios sensores y filtro. (catálogo de tipos de escenario (kshana kinds --json))
• MODELLED: cada número es una entrada indicada; la cadena sigue una sola pila y no se modela ningún vehículo. (catálogo de tipos de escenario (kshana kinds --json))
• HONESTIDAD. Cada número de aquí es ILLUSTRATIVE: una cifra redonda elegida para que la cadena funcione, no el rendimiento de ningún vehículo, sensor, estación o red. La cadena sigue una sola pila como simplificación indicada; no se modelan los cambios de vehículo, los traspasos de tripulación ni la estación en órbita lunar, las órbitas lunares son las circulares y polares de 100 km que vuelan los tipos de escenario lunares (no la órbita de halo casi rectilínea), y la maniobra TLI i (comentario del archivo de escenario, líneas 11 a 17)
• 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))
• Presupuesto de errores de navegación y temporización de una cadena de fases de misión desde el lanzamiento hasta la entrada (mission-thread) es MODELLED, no validado: comprobado frente a su propia identidad analítica / de forma cerrada: detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))
• Lanzamiento y ascenso a una órbita de estacionamiento con adquisición y desvanecimiento de GNSS (launch-ascent) es MODELLED, no validado: comprobado frente a su propia identidad analítica / de forma cerrada: detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))
• Navegación relativa hasta la envolvente de acoplamiento en órbita terrestre baja a lo largo de tramos de sensor (leo-rendezvous) es MODELLED, no validada: comprobada frente a su propia identidad analítica / de forma cerrada: detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))
• Inyección translunar y crucero cislunar: estado medio y covarianza propagados con actualizaciones de seguimiento (tli-and-cruise) es MODELLED, no validada: comprobada frente a su propia identidad analítica / de forma cerrada: detecta errores de transcripción y de coeficientes, pero no es una referencia independiente externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de la familia: Hilos de misión
• Todos los tipos de escenario: KINDS.md
• Página del tema: MISSION-THREAD.md
• Página del tema: MISSION-THREAD-LUNAR.md