lunar-vlbi-fim (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#

Covarianza de las coordenadas de estación del VLBI lunar: las derivadas parciales del retardo de la observable lunar-vlbi acumuladas a lo largo de un CALENDARIO explícito (líneas base x épocas) en una matriz de información de Fisher, invertida e indicada como la covarianza de las coordenadas de estación y la sigma de estación por coordenada: una salida calculada por el motor, y no una precisión escalar del retardo pasada por un factor de equipartición isótropo supuesto g = 3. El estado lleva coordenadas de estación FIJAS a la Tierra (ITRS), de modo que el jacobiano es la derivada parcial inercial rotada por la matriz GCRS->ITRS de cada época: la rotación terrestre es lo que hace observables esas coordenadas, y el informe MIDE el barrido de la línea de visión fija a la Tierra y la declinación de la baliza en lugar de suponerlos. Una observación es un par (línea base, época) con AMBAS estaciones por encima de la máscara de elevación, ponderado con 1/delay_sigma_s^2. Indica rango, defecto de datum, número de condición, el espectro completo de información, la matriz de covarianza, las sigmas por estación y por eje y en 3-D, y el espacio nulo de la red libre en cada ejecución; ante una deficiencia de rango, la sigma principal se publica como NULL con un estado, nunca se lee de una inversa casi singular. El valor de equipartición cdelay_sigma_ssqrt(g/N) para el MISMO calendario se emite junto al valor calculado con el cociente, junto con la cota isótropa de traza sqrt(p/trace(M)) que AM-HM convierte en un suelo estricto, de modo que el cociente es la anisotropía que descartaba el supuesto. El cierre del retardo tau_ik = tau_ij + tau_jk hace que solo n-1 de las n(n-1)/2 líneas base sean geométricamente independientes; el informe indica ambos recuentos. MODELLED: las efemérides del centro de la Luna, los relojes de estación, la troposfera y los parámetros de orientación terrestre se mantienen FIJOS y las observaciones se tratan como independientes, de modo que la covarianza es una cota de Cramer-Rao para un conjunto reducido de parámetros, no un resultado de sesión predicho; la sigma del retardo, las coordenadas de estación y el calendario son entradas. La derivada parcial que el jacobiano del retardo geométrico omite (el término de Shapiro diferenciado) se mide por diferencias finitas y se emite. No es un producto geodésico.

Una ejecución de scenarios/lunar-vlbi-fim.toml se resume así: lunar-vlbi-fim | 3 estaciones / 3 líneas base x 49 épocas = 16 obs (máscara 10,0 grados) | datum anchor-first-station | rango 6/6 cond 2.209e4 | sigma de estación 0,0926 m frente a equipartición g=3 0,0013 m (cociente 71,360)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

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

Ejecútelo#

kshana scenarios/lunar-vlbi-fim.toml

Qué proporciona#

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

Etiqueta del resultado (la del motor): covarianza de las coordenadas de estación del VLBI lunar MODELLED. La covarianza se acumula a partir de las propias derivadas parciales analíticas del retardo del motor sobre un calendario explícito de líneas base y épocas y se invierte; NO se convierte a partir de una precisión escalar del retardo mediante un factor de geometría supuesto. La sigma del retardo por observación

Evidencias#

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

• 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
• VALIDATED La covarianza de la baliza con todas las estaciones fijas del escenario lunar-vlbi-fim (todas las estaciones terrestres fijas, estimándose únicamente las coordenadas de la baliza fijas a la Luna) con la baliza situada sobre la Luna de JPL DE440 leída por el propio lector de núcleos del motor
• MODELLED El datum de Helmert de siete parámetros propagado a partir de una CAMPAÑA DE OBSERVACIÓN SIMULADA en lugar de recuperado de una transformación inyectada.
• y 1 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
• 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 por coord. Referencia independiente (ExternalDataset): Una vía independiente dentro del repositorio. Cada fila del jacobiano se vuelve a derivar por diferencia finita central de lunar_vlbi::vlbi_delay_s evaluada a partir de las propias coordenadas fijas a la Tierra y fijas a la Luna del estado, rotadas hacia delante a través de la cadena de marcos: una vía que no calcula ninguna derivada y no comparte ninguna expresión con las derivadas parciales analíticas, y las matrices de información que construyen las dos vías coinciden hasta < 1e-6 de la mayor diagonal. La
• 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 se. Referencia independiente (ReferenceImpl): Identidades de forma cerrada, sin que se reclame ni exista una referencia independiente externa. El brazo de palanca se comprueba frente a ρ/B y las dos formas de equipartición entre sí hasta 1e-15: identidades algebraicas, de modo que detectan un error de conexionado y nada más, y se etiquetan como tales. El resultado sustantivo se MEASURED en lugar de afirmarse: un retardo de una línea base fija restringe la DIRECCIÓN de la baliza, de modo que la componente de la línea de visión rea

Limitaciones#

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

• Covarianza de las coordenadas de estación del VLBI lunar MODELLED. La covarianza se acumula a partir de las propias derivadas parciales analíticas del retardo del motor sobre un calendario explícito de líneas base y épocas y se invierte; NO se convierte a partir de una precisión escalar del retardo mediante un factor de geometría supuesto. La sigma del retardo por observación, las coordenadas de estación, el emplazamiento de la baliza y el calendario son entradas. Las efemérides del centro de la Luna, los relojes de estación (resultado label)
• Covarianza de las coordenadas de estación del VLBI lunar: las derivadas parciales del retardo de la observable lunar-vlbi acumuladas a lo largo de un CALENDARIO explícito (líneas base x épocas) en una matriz de información de Fisher, invertida e indicada como la covarianza de las coordenadas de estación y la sigma de estación por coordenada: una salida calculada por el motor, y no una precisión escalar del retardo pasada por un factor de equipartición isótropo supuesto g = 3. (catálogo de tipos (kshana kinds --json))
• El estado lleva coordenadas de estación FIJAS a la Tierra (ITRS), de modo que el jacobiano es la derivada parcial inercial rotada por la matriz GCRS->ITRS de cada época: la rotación terrestre es lo que hace observables esas coordenadas, y el informe MIDE el barrido de la línea de visión fija a la Tierra y la declinación de la baliza en lugar de suponerlos. (catálogo de tipos (kshana kinds --json))
• El valor de equipartición cdelay_sigma_ssqrt(g/N) para el MISMO calendario se emite junto al valor calculado con el cociente, junto con la cota isótropa de traza sqrt(p/trace(M)) que AM-HM convierte en un suelo estricto, de modo que el cociente es la anisotropía que descartaba el supuesto. (catálogo de tipos (kshana kinds --json))
• MODELLED: las efemérides del centro de la Luna, los relojes de estación, la troposfera y los parámetros de orientación terrestre se mantienen FIJOS y las observaciones se tratan como independientes, de modo que la covarianza es una cota de Cramer-Rao para un conjunto reducido de parámetros, no un resultado de sesión predicho; la sigma del retardo, las coordenadas de estación y el calendario son entradas. (catálogo de tipos (kshana kinds --json))
• La cadena publicada de D3 va de una precisión del retardo por observación a una incertidumbre de las coordenadas de estación mediante un factor de equipartición ISÓTROPO supuesto g = 3. Ese paso es el que el propio resumen del artículo califica de modelado y no de medido. Este escenario lo elimina: las derivadas parciales del retardo del VLBI lunar se acumulan sobre un calendario real de pares (línea base x época) en una matriz de información de Fisher, se invierten y se indican como (comentario del archivo de escenario, líneas 3 a 8)
• El estado lleva coordenadas FIJAS a la Tierra (ITRS), de modo que el jacobiano es la derivada parcial inercial rotada por la matriz GCRS->ITRS de cada época: la rotación terrestre es lo que hace observables esas coordenadas, y el informe MIDE el barrido de la línea de visión fija a la Tierra y la declinación de la baliza en lugar de suponerlos. Una observación es un par (línea base, época) con AMBAS estaciones por encima de la máscara de elevación, ponderado con 1/delay (comentario del archivo de escenario, líneas 10 a 14)
• Qué leer en el informe * las sigmas por estación y por eje y en 3-D: la respuesta calculada; * el valor de equipartición cdelay_sigma_ssqrt(g/N) para el MISMO calendario, impreso junto a ella con el cociente. Ese cociente ES la anisotropía que descartaba el supuesto, y la cota isótropa de traza sqrt(p/trace(M)) hace de AM-HM un suelo estricto, de modo que el supuesto solo puede subestimar; * rango, defecto de datum, número de condición, el espectro comp (comentario del archivo de escenario, líneas 16 a 26)

Véase también#

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