lunar-vlbi (tipo de escenario)

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

Observable modelada del retardo de VLBI geodésico lunar: una línea base terrestre (dos estaciones en tierra, GCRS) observa una señal unidireccional de una baliza de superficie lunar de clase NovaMoon. Emite el retardo de campo cercano como diferencia de dos distancias, su tasa y la corrección de campo cercano por curvatura del frente de onda a lo largo de un pase, contrastada con la observable Δ-DOR de onda plana del mismo código en el límite de campo lejano, con derivadas parciales verificadas por diferencias finitas. La vía analítica por defecto es MODELLED y lleva las salvedades de coherencia de marcos, de movimiento polar xp=yp=0 y de onda plana frente a campo cercano. Si se establecen planetary_kernel_path, earth_orientation_kernel_path y moon_orientation_kernel_path, se ejecuta en su lugar la vía de núcleos (DE440, MOON_PA_DE440, ITRF93; tiempos de luz baricéntricos convergidos; añade las derivadas parciales de la baliza y de la estación de la época), cuyo retardo newtoniano y cuyas derivadas parciales coinciden con los tiempos de luz convergidos de NAIF SPICE hasta 0,06 ps y 7.4e-9. No validado con datos reales de VLBI.

Una ejecución de scenarios/lunar-vlbi.toml se resume así: lunar-vlbi | línea base 10727 km | distancia a la baliza 402900 km | retardo -10049.126 µs (tasa 1.312e-6 s/s) | campo cercano 58,9 µs | 13 muestras a lo largo de 6,0 h

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

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

Ejecútelo#

kshana scenarios/lunar-vlbi.toml

Qué proporciona#

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

Evidencias#

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

• MODELLED Retardo de VLBI de campo cercano para una línea base terrestre que observa una baliza lunar + derivadas parciales
• VALIDATED Retardo de VLBI de campo cercano para una línea base terrestre que observa una baliza lunar, con derivadas parciales de la baliza y de la estación, en la vía de núcleos (lunar_vlbi::KernelGeometry): Tierra y Luna de DE440, ejes principales lunares de DE440, orientación terrestre ITRF93 con UT1 y Pruebas: naif_kernel_reader_check.rs.
• VALIDATED Derivadas parciales del retardo acumuladas sobre un calendario de líneas base × épocas en una matriz de información de Fisher, invertida hasta la covarianza de las coordenadas de estación y la sigma de estación por coordenada, en sustitución de un vínculo de equipartición isótropo supuesto a partir de
• MODELLED Una tercera opción de datum, all-stations-fixed, que mantiene fijas todas las estaciones terrestres y estima únicamente las coordenadas de la BALIZA fijas a la Luna: la configuración para la que realmente se cita la incertidumbre de un punto de la superficie lunar, dado que las coordenadas de las estaciones terrestres
• y 2 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 Retardo de VLBI de campo cercano para una línea base terrestre que observa una baliza lunar + derivadas parciales. Referencia independiente (ReferenceImpl): delta_dor de onda plana (del mismo código) en el límite de campo lejano; derivadas parciales por diferencias finitas. 0,30 comparación externa, un hallazgo (sigue siendo MODELLED): frente a los tiempos de luz convergidos de ANISE 0,10 a través de DE440 (75 retardos el 2024-01-01 sobre tres líneas base de la DSN, generados por xval/anise-lunar-od sin código de Kshana), ningún retardo queda dentro de la tolerancia de 1 ps. La mayor diferencia es de 24 µs, procedente del centro lunar analítico (a unos 200 km de DE

Limitaciones#

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

• La vía analítica por defecto es MODELLED y lleva las salvedades de coherencia de marcos, de movimiento polar xp=yp=0 y de onda plana frente a campo cercano. (catálogo de tipos (kshana kinds --json))
• Honestidad: MODELLED, NO validado con datos reales de VLBI. Se omite el movimiento polar (xp = yp = 0), de modo que las posiciones inerciales de las estaciones llevan un error de marco de unos pocos metros; la baliza mezcla una serie de la Luna de ecuador medio de la fecha con un desfase fijo al cuerpo en ICRF (jd_tdb ~ jd_tt), una incoherencia de marcos inferior a la fidelidad del modelo; sin iteración del tiempo de luz, medios ni aberración más allá del Shapiro diferenciado. Sin TRL, herencia de vuelo ni respaldo de agencia alguna (comentario del archivo de escenario, líneas 17 a 21)
• 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))
• El VLBI geodésico lunar es MODELLED, no validado: se comprueba frente a una implementación distinta dentro de este mismo código, independiente de la unidad sometida a prueba pero sin autoridad externa. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#

• Página de familia: Lunar y cislunar
• Todos los tipos de escenario: KINDS.md