moonlight-service-volume (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#
Análisis modelado del volumen de servicio de navegación lunar a partir de una constelación en órbita lunar ILLUSTRATIVE, de fuentes públicas, de clase Moonlight/LCNS (sin afiliación con la ESA): barre una cuadrícula selenográfica de latitud y longitud a lo largo de un horizonte temporal e indica DOP, cobertura y disponibilidad (≥4 satélites Y PDOP < umbral), además de una envolvente generalizada de nivel de protección (HPL/VPL) de ARAIM lunar sobre el volumen. La geometría de DOP REUTILIZA el núcleo gnss_lib_py-VALIDATED (crate::orbit::dop); el nivel de protección REUTILIZA la maquinaria de ARAIM lunar LNIS de LunaNet (crate::lunar, σ_URE≈30 m) y se reduce al nivel de protección del polo sur existente como caso particular. Composición MODELLED: un conjunto de relés kepleriano circular o elíptico (no las efemérides reales LCNS/NRHO corregidas diferencialmente), una Luna de rotación media (sin libración ni polo con precesión). Determinista (geometría pura). Sin TRL, herencia de vuelo ni respaldo de agencia alguna.
Una ejecución de scenarios/moonlight-service-volume.toml se resume así: moonlight-service-volume | 8 satélites (ilustrativos de clase LCNS, sin afiliación) | 24 puntos × 12 épocas | cobertura 37,8% (PDOP<6,0) | satélites 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | disponibilidad de PL 0,0% | MODELLED
Entradas#
Del esquema (kshana kinds --json):
- Campos obligatorios: ninguno
- Campos opcionales:
n_sats,sma_km,eccentricity,inc_deg,argp_deg,lat_min_deg,lat_max_deg,lat_step_deg,lon_min_deg,lon_max_deg,lon_step_deg,horizon_hours,step_min,elev_mask_deg,pdop_threshold,alert_limit_m,p_hmi,perturbed,sigma_ure_m,export_site_lat_deg,export_site_lon_deg,export_antenna,ephemeris_path,planetary_kernel_path,epoch_utc,terrain
El ejemplo scenarios/moonlight-service-volume.toml establece, entre otros:
| Campo | Valor | Unidad |
|---|---|---|
alert_limit_m |
50 | m |
argp_deg |
90 | deg |
eccentricity |
0.6 | no indicado |
elev_mask_deg |
5 | deg |
horizon_hours |
12 | h |
inc_deg |
57.7 | deg |
kind |
moonlight-service-volume | texto |
lat_max_deg |
-60 | deg |
lat_min_deg |
-90 | deg |
lat_step_deg |
10 | deg |
lon_max_deg |
180 | deg |
lon_min_deg |
-180 | deg |
Ejecútelo#
kshana scenarios/moonlight-service-volume.toml
Qué proporciona#
Los resultados escalares de esa ejecución, con las unidades que indica el motor:
| Resultado | Valor | Unidad |
|---|---|---|
alert_limit_m |
50 | m |
coverage_pct |
37.847222 | % |
elev_mask_deg |
5 | deg |
evidence.id_rule |
el identificador estable de la fila de la matriz (el ID | texto |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | texto |
evidence.tier |
MODELLED | texto |
hpl_max_m |
4176.665443 | m |
hpl_min_m |
138.725726 | m |
max_sats |
7 | recuento |
min_sats |
4 | recuento |
Evidencias#
MODELLED: las filas de la matriz de verificación que nombran este tipo de escenario.
- MODELLED El tipo de escenario y fase
lunar-surface: disponibilidad de relés y PDOP, visibilidad de la Tierra y del Sol y un reloj de superficie disciplinado para cada emplazamiento y estación, con el horizonte de terreno demoonlight-service-volume; una ejecución de un solo emplazamiento iguala el de ese tipo de escenario
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 DOP, cobertura y disponibilidad lunares de clase Moonlight + niveles de protección generalizados de ARAIM lunar sobre un volumen de servicio. Referencia independiente (ExternalDataset): Autoridad independiente de terceros, propagador kepleriano astro::Orbit de ANISE 0.10.2 (Nyx Space, MPL-2.0): una vía de código equinoccial de dos cuerpos distinta del Kepler por Newton-Raphson de kshana; la posición MCI de cada satélite coincide hasta <1e-3 m y el recuento y el conjunto derivados de satélites visibles coinciden exactamente en cada punto de la cuadrícula. El núcleo de DOP está validado con gnss_lib_py; la integridad usa parámetros publicados de LunaNet/LCNS
- VALIDATED Ángulos de observación topocéntricos por satélite (acimut en sentido horario desde el norte, elevación) y distancia oblicua en un emplazamiento selenográfico con nombre, dado el satélite en el del emplazamiento. Referencia independiente (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, ejecutado como herramienta desde xval/anise-service-geometry, binario lunar-look-angles-xval, que no llama a ningún código de Kshana): la propia rutina de ANISE de acimut, elevación y distancia (azimuth_elevation_range_sez) desde emplazamientos construidos con su constructor de latitud, longitud y altitud sobre la Luna pck00011 (esfera 1737,4 km), con los satélites rotados a MOON_PA_DE440 mediante moon_pa_de440_200625.bpc. 768 muestras o
Limitaciones#
Lo que el propio informe de la ejecución dice que no está modelado o no está validado:
- Composición MODELLED: un conjunto de relés kepleriano circular o elíptico (no las efemérides reales LCNS/NRHO corregidas diferencialmente), una Luna de rotación media (sin libración ni polo con precesión). (catálogo de tipos (
kshana kinds --json)) - HONESTIDAD: composición MODELLED. La geometría de DOP está validada POR REUTILIZACIÓN del núcleo validado; la composición de cobertura, disponibilidad e integridad es MODELLED: un conjunto de relés kepleriano circular o elíptico (no unas efemérides NRHO LCNS 9:2 corregidas diferencialmente), una Luna de rotación media (sin libración física ni polo con precesión) y parámetros de integridad LNIS de LunaNet publicados. Esto demuestra el volumen de servicio lunar M (comentario del archivo de escenario, líneas 27 a 32)
- 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: Lunar y cislunar
- Todos los tipos de escenario: KINDS.md
- Página temática: LUNAR-REFERENCE-STATION.md
- Página del tema: MISSION-THREAD-LUNAR.md