lunar-orbit-rendezvous (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Lunar y cislunar. 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#

Navegación relativa MODELLED para un acoplamiento al estilo Orion-módulo de aterrizaje en una órbita lunar baja o una órbita polar elíptica (clase Artemis). Un perseguidor y un objetivo vuelan la misma órbita bajo el modelo de fuerzas lunar del crate; una estimación conjunta por lotes de Gauss-Newton de 21 parámetros a lo largo del arco (dos estados de vehículo y sesgos persistentes de la señal en el espacio) fusiona una posición absoluta por vehículo de un conjunto de relés ILLUSTRATIVE de clase LCNS (relés detrás de la Luna descartados, cuatro necesarios, el error de señal en el espacio de modo común se cancela entre los vehículos) y una distancia de enlace cruzado, con la precisión de medición de distancia a partir de la cota de seguimiento de código del piloto AFS de LunaNet. Informa del error formal y Monte Carlo de posición y velocidad relativas en los ejes LVLH del objetivo, la disponibilidad de posiciones, el error de estimación normalizado cuadrático medio frente a su valor esperado y toda prueba cuya iteración no convergió, la deriva por ignorar los armónicos de gravedad y la covarianza completa de 6x6 transmitida. Una comprobación de forma cerrada de Hill/Clohessy-Wiltshire se aplica al caso circular. MODELLED: conjunto de relés, presupuesto de errores y distribuciones a priori ilustrativos; la verdad de referencia y el estimador comparten un modelo de fuerzas, de modo que el NEES comprueba la autoconsistencia y no el error del modelo. Sin respaldo de ninguna agencia; software de carácter consultivo, no un equipo de navegación certificado.

Una ejecución de scenarios/lunar-orbit-rendezvous.toml se resume así: lunar-orbit-rendezvous | llo 100x100 km | sep 2000 m | posiciones 74 % | 1 sigma de posición relativa R/A/C 0.03/0.06/0.04 m | NEES medio 6,51 (6 esperado) | convergió a 2000 s (MODELLED)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: 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

El ejemplo scenarios/lunar-orbit-rendezvous.toml establece, entre otros:

Ejecútelo#

kshana scenarios/lunar-orbit-rendezvous.toml

2 escenarios incluidos usan este tipo de escenario; los demás están en scenarios/.

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 y fase lunar-orbit-rendezvous: una estimación conjunta por lotes de Gauss-Newton de dos vehículos a lo largo del arco (veintiún parámetros: ambos estados y sesgos persistentes de posición de la señal en el espacio, comunes e independientes), ampliada sobre un cuarto, la mitad Pruebas: mission_thread_lunar_oracles.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
• MODELLED El tipo de escenario y fase lunar-orbit-rendezvous: una estimación conjunta por lotes de Gauss-Newton de dos vehículos a lo largo del arco (veintiún parámetros: ambos estados y sesgos persistentes de la señal en. Referencia independiente (InternalConsistency): Autoconsistencia bajo un preregistro (xval/mission-thread-lunar/PREREGISTRATION.md, resultados e historial del estimador en RESULTS.md): el NEES medio del estado relativo es de 5,85 a 5,93 frente a la banda de 5,2 a 6,8 en cuatro configuraciones, MET con el cuarto diseño de estimador tras fallar tres diseños de filtro secuencial; la verdad de referencia y el estimador comparten un modelo de fuerzas, de modo que esto no dice nada sobre el error del modelo. El pro
• MODELLED El propagador que comparten los tipos de escenario lunares (GRAIL GL0660B de grado y orden 150, la Tierra y el Sol como terceros cuerpos, relatividad, orientación lunar DE440) comparado con las trayectorias públicas. Referencia independiente (ExternalDataset): Efemérides de nave de JPL Horizons para LRO y CAPSTONE, frente a umbrales fijados de antemano en xval/mission-thread-lunar/PREREGISTRATION.md (enmiendas 1 a 6). LRO: MET, 33 m de mayor diferencia 3D y 2,4 m RMS radial frente a 500 m y 60 m. CAPSTONE: NOT MET, una diferencia de posición final de 136,8 km frente a 25 km y una diferencia de periapsis de 28,4 km frente a 10 km, sin haberse aislado las causas. La fila es modelada porque el umbral de CAPSTO

Limitaciones#

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

• MODELLED (resultado label)
• Navegación relativa MODELLED para un acoplamiento al estilo Orion-módulo de aterrizaje en una órbita lunar baja o una órbita polar elíptica (clase Artemis). (catálogo de tipos de escenario (kshana kinds --json))
• MODELLED: conjunto de relés, presupuesto de errores y distribuciones a priori ilustrativos; la verdad de referencia y el estimador comparten un modelo de fuerzas, de modo que el NEES comprueba la autoconsistencia y no el error del modelo. (catálogo de tipos de escenario (kshana kinds --json))
• HONESTIDAD: MODELLED. El conjunto de relés, el error de la señal en el espacio, la fracción de modo común y las distribuciones a priori son entradas ILLUSTRATIVE, no mediciones; la verdad de referencia y el estimador comparten el modelo de fuerzas (un término central incorporado, J2 y C22). La comprobación de consistencia preregistrada B1 (NEES medio en [5,2, 6,8]) se alcanza en las cuatro configuraciones con el diseño por lotes: véase xval/mission-thread-lunar/RESULTS.md. No se afirma concordancia con ningún re (comentario del archivo de escenario, líneas 10 a 14)
• 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))
• Navegación relativa hasta el acoplamiento en una órbita lunar (lunar-orbit-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))
• La propagación con el modelo de fuerzas lunar frente a trayectorias públicas reconstruidas de orbitadores lunares y cislunares es MODELLED, no validada: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, de modo que la capacidad sigue siendo modelada. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de la familia: Lunar y cislunar
• Todos los tipos de escenario: KINDS.md
• Página del tema: MISSION-THREAD-LUNAR.md
• Página del tema: MISSION-THREAD.md