lunar-surface (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 o contrário (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Disponibilidade MODELLED de posicionamento e temporização na superfície por local e estação para locais polares sul de classe Artemis. Para cada local e estação (uma época e uma janela após ela) informa o posicionamento por relés (quatro ou mais relés de uma constelação ILLUSTRATIVE de classe LCNS à vista e PDOP abaixo de um limite, a partir das mesmas funções de moonlight-service-volume e, com uma seção de terreno, o horizonte por traçado de raios do terreno de lunar-station-coverage), se a Terra e o Sol estão acima do horizonte do local (Sol, Lua e orientação lunar analíticos, libração incluída, que é o que varia com a estação) e a disponibilidade de temporização (um relé ou a Terra à vista) com o maior trecho de nenhum dos dois, o holdover que um relógio de superfície precisa atravessar. Um resultado de local único é igual, bit a bit, ao de moonlight-service-volume. MODELLED: conjunto de relés kepleriano ilustrativo em uma Lua de rotação média; o valor dos relés não muda com a estação; o terreno é o recorte de 1200 m do LOLA. Sem aval de agência; software de caráter consultivo, não um equipamento de navegação certificado.

Uma execução de scenarios/lunar-surface.toml é resumida assim: lunar-surface | 4 locais x 4 estações | posicionamento 41% a 41% | pior disponibilidade de temporização 100,0% | maior lacuna de temporização 0,0 h (MODELLED)

Entradas#

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

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

O exemplo scenarios/lunar-surface.toml define, entre outros:

Execute#

kshana scenarios/lunar-surface.toml

2 cenários incluídos usam este tipo; os demais estão em scenarios/.

O que ele fornece#

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

Rótulo do resultado (o do motor): MODELLED

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
• 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 hori. Referência independente (ReferenceImpl): Igualdade exata com o tipo de cenário existente para um local, e verificações de monotonicidade, nos testes. O conjunto de relés é ILLUSTRATIVE e nenhuma medição de superfície é comparada

Limitações#

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

• MODELLED (resultado label)
• Disponibilidade MODELLED de posicionamento e temporização na superfície por local e estação para locais polares sul de classe Artemis. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED: conjunto de relés kepleriano ilustrativo em uma Lua de rotação média; o valor dos relés não muda com a estação; o terreno é o recorte de 1200 m do LOLA. (catálogo de tipos de cenário (kshana kinds --json))
• HONESTIDADE: MODELLED. O conjunto de relés é ilustrativo e kepleriano, com a Lua girando à taxa média para os relés (sem libração), como em moonlight-service-volume; a Terra e o Sol usam a orientação analítica, de modo que os dois referenciais diferem por essa omissão. O valor de posicionamento por relés não muda com a estação neste modelo; os da Terra e do Sol mudam. Nenhuma concordância com qualquer serviço ou local real é afirmada. Cons (comentário do arquivo de cenário, linhas 11 a 15)
• 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))
• A disponibilidade de posicionamento e temporização na superfície por local e estação nos polos lunares (lunar-surface) é MODELLED, não validada: verificada em relação a uma implementação separada nesta mesma base de código — independente da unidade sob teste, mas sem autoridade externa. (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 tópico: MISSION-THREAD-LUNAR.md
• Página do tópico: MISSION-THREAD.md