moonlight-service-volume (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Lunar e cislunar. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED a menos que a matriz diga outra coisa (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Análise modelada de volume de serviço de navegação lunar a partir de uma constelação em órbita lunar da classe Moonlight/LCNS, ILLUSTRATIVE e de fonte pública (sem afiliação com a ESA): varre uma grade selenográfica de latitude/longitude sobre um horizonte de tempo e informa DOP / cobertura / disponibilidade (≥4 satélites E PDOP < limiar) mais um envelope generalizado de nível de proteção ARAIM lunar (HPL/VPL) sobre o volume. A geometria do DOP REAPROVEITA o núcleo VALIDATED do gnss_lib_py (crate::orbit::dop); o nível de proteção REAPROVEITA o mecanismo ARAIM lunar LNIS da LunaNet (crate::lunar, σ_URE≈30 m) e se reduz ao PL existente do polo sul como caso particular. Composição MODELLED: um conjunto de retransmissores kepleriano circular/elíptico (não as efemérides reais LCNS/NRHO corrigidas diferencialmente), uma Lua de rotação média (sem libração nem polo com precessão). Determinístico (geometria pura). Sem TRL, herança nem endosso de agência.

Uma execução de scenarios/moonlight-service-volume.toml resume-se assim: moonlight-service-volume | 8 sats (illustrative LCNS-class, not affiliated) | 24 pts × 12 epochs | coverage 37,8% (PDOP<6,0) | sats 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 m | PL avail 0,0% | MODELLED

Entradas#

A partir do esquema (kshana kinds --json):

• Campos obrigatórios: nenhum
• Campos opcionais: 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

O exemplo scenarios/moonlight-service-volume.toml define, entre outros:

Execute#

kshana scenarios/moonlight-service-volume.toml

O que ele fornece#

Os resultados escalares dessa execução, com as unidades que o motor declara:

Evidências#

MODELLED: as linhas da matriz de verificação que nomeiam este tipo de cenário.

• MODELLED O tipo de cenário e fase lunar-surface: disponibilidade de relés e PDOP, visibilidade da Terra e do Sol e um relógio de superfície disciplinado para cada local e estação, com o perfil do horizonte do terreno de moonlight-service-volume; uma execução de local único é igual ao do tipo

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas são nomeadas ali):

• MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo que a linha permanece MODELLED
• VALIDATED DOP / cobertura / disponibilidade lunar da classe Moonlight + níveis de proteção ARAIM lunar generalizados sobre um volume de serviço. Referência independente (ExternalDataset): propagador kepleriano astro::Orbit do ANISE 0.10.2, autoridade independente de terceiros (Nyx Space, MPL-2.0) — um caminho de código de dois corpos equinocial distinto do Kepler de Newton-Raphson do kshana; a posição MCI por satélite concorda a <1e-3 m e a contagem/conjunto derivado de satélites visíveis coincide exatamente em todo ponto da grade. O núcleo de DOP é validado pelo gnss_lib_py; a integridade usa parâmetros publicados da LunaNet/LCNS
• VALIDATED Ângulos de visada topocêntricos por satélite (azimute no sentido horário a partir do norte, elevação) e distância oblíqua em um local selenográfico nomeado, dado o satélite no do local. Referência independente (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, executado como ferramenta a partir de xval/anise-service-geometry, binário lunar-look-angles-xval, que não chama nenhum código do Kshana): a própria rotina de azimute, elevação e distância do ANISE (azimuth_elevation_range_sez) a partir de locais construídos pelo seu construtor de latitude-longitude-altitude sobre a Lua pck00011 (esfera de 1737,4 km), com os satélites girados para MOON_PA_DE440 por moon_pa_de440_200625.bpc. 768 amostras o

Limitações#

O que o próprio relatório da execução diz que não é modelado ou não é validado:

• Composição MODELLED: um conjunto de retransmissores kepleriano circular/elíptico (não as efemérides reais LCNS/NRHO corrigidas diferencialmente), uma Lua de rotação média (sem libração nem polo com precessão). (catálogo de tipos de cenário (kshana kinds --json))
• HONESTIDADE: composição MODELLED. A geometria do DOP é validada POR REAPROVEITAMENTO do núcleo validado; a composição de cobertura / disponibilidade / integridade é MODELLED — um conjunto de retransmissores kepleriano circular/ elíptico (não uma efeméride LCNS / NRHO 9:2 corrigida diferencialmente), uma Lua de rotação média (sem libração física nem polo com precessão) e parâmetros publicados de integridade LNIS da LunaNet. Isto demonstra o volume de serviço lunar M (comentário do arquivo de cenário, linhas 27 a 32)
• Reprodutibilidade e garantia de software é MODELLED, não validada: uma subafirmação é verificada externamente, mas a capacidade inteira compõe peças modeladas, de modo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#

• Página da família: Lunar e cislunar
• Todos os tipos de cenário: KINDS.md
• Página do tema: LUNAR-REFERENCE-STATION.md
• Página do tópico: MISSION-THREAD-LUNAR.md