lunar-surface (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#

Disponibilidad MODELLED de posicionamiento y temporización en la superficie por emplazamiento y estación para emplazamientos polares sur de clase Artemis. Para cada emplazamiento y estación (una época y una ventana posterior) informa del posicionamiento por relés (cuatro o más relés de una constelación ILLUSTRATIVE de clase LCNS a la vista y PDOP por debajo de un umbral, con las mismas funciones que moonlight-service-volume y, con una sección de terreno, el horizonte trazado por rayos del terreno de lunar-station-coverage), de si la Tierra y el Sol están sobre el horizonte del emplazamiento (Sol, Luna y orientación lunar analíticos, con libración incluida, que es lo que varía con la estación), y de la disponibilidad de temporización (un relé o la Tierra a la vista) con el tramo más largo sin ninguno de los dos, el holdover que debe superar un reloj de superficie. El resultado de un solo emplazamiento es igual al de moonlight-service-volume bit a bit. MODELLED: conjunto de relés kepleriano ilustrativo en una Luna de rotación media; la cifra de relés no cambia con la estación; el terreno es el recorte de LOLA de 1200 m. Sin respaldo de ninguna agencia; software de carácter consultivo, no un equipo de navegación certificado.

Una ejecución de scenarios/lunar-surface.toml se resume así: lunar-surface | 4 emplazamientos x 4 estaciones | posicionamiento 41 % a 41 % | peor disponibilidad de temporización 100,0 % | mayor hueco de temporización 0,0 h (MODELLED)

Entradas#

Del esquema (kshana kinds --json):

• Campos obligatorios: ninguno
• Campos opcionales: sites, season_dates, window_days, step_min, stay_days, timing_floor_s, n_sats, sma_km, eccentricity, inc_deg, argp_deg, mask_deg, pdop_threshold, earth_mask_deg, sun_mask_deg, terrain

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

Ejecútelo#

kshana scenarios/lunar-surface.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-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
• 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 hor. Referencia independiente (ReferenceImpl): Igualdad exacta con el tipo de escenario existente para un emplazamiento, y comprobaciones de monotonicidad, en las pruebas. El conjunto de relés es ILLUSTRATIVE y no se compara ninguna medición de superficie

Limitaciones#

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

• MODELLED (resultado label)
• Disponibilidad MODELLED de posicionamiento y temporización en la superficie por emplazamiento y estación para emplazamientos polares sur de clase Artemis. (catálogo de tipos de escenario (kshana kinds --json))
• MODELLED: conjunto de relés kepleriano ilustrativo en una Luna de rotación media; la cifra de relés no cambia con la estación; el terreno es el recorte de LOLA de 1200 m. (catálogo de tipos de escenario (kshana kinds --json))
• HONESTIDAD: MODELLED. El conjunto de relés es ilustrativo y kepleriano, con la Luna girando a la tasa media para los relés (sin libración) como en moonlight-service-volume; la Tierra y el Sol usan la orientación analítica, de modo que los dos marcos difieren por esa omisión. La cifra de posicionamiento por relés no cambia con la estación en este modelo; las de la Tierra y el Sol sí. No se afirma concordancia con ningún servicio ni emplazamiento reales. Soft (comentario del archivo de escenario, líneas 11 a 15)
• 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))
• Disponibilidad de posicionamiento y temporización en la superficie por emplazamiento y estación en los polos lunares (lunar-surface) es MODELLED, no validada: comprobada frente a una implementación separada de este mismo código: independiente de la unidad probada, pero sin autoridad externa. (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