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 investigação e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Toda etiqueta 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 uma etiqueta é obtida: a secçã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) indica 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 secçã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 intervalo sem 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 numa 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-o#

kshana scenarios/lunar-surface.toml

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

O que dá#

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

Etiqueta do resultado (a do motor): MODELLED

Evidências#

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

• 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 estão aí nomeadas):

• MODELLED Determinista, com hash do cenário, SBOM + portões de referência multiplataforma. Referência independente (ExternalDataset): aderência à norma do SBOM ao esquema JSON oficial CycloneDX 1,5 (+ identificadores SPDX válidos) — uma norma externa publicada, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoM / reprodutibilidade byte a byte permanece uma verificação de autoconsistência fixada, pelo 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 está modelado ou não está 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 numa 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 a rodar à 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 ficheiro de cenário, linhas 11 a 15)
• A reprodutibilidade e a garantia de software são MODELLED, não validadas: uma subafirmação é verificada externamente, mas a capacidade no seu conjunto compõe partes modeladas, pelo 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 face 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))

Ver também#

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