Traducción automática, no revisada por un hablante nativo. El inglés es la referencia.

Páginas de tipos de escenarioEditar en GitHubFuente: docs/kinds/by-kind/moonlight-service-volume.md

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
El gráfico que el motor genera para scenarios/moonlight-service-volume.toml, tipo de escenario moonlight-service-volume

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 de moonlight-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#