lunar-integrity (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Lunar e cislunar. Consultivo: resultado 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. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED salvo indicação em contrário da matriz (como se obtém um rótulo: a secção Evidence do README).

O que faz#

Passagem de nível de proteção ARAIM no polo sul lunar face a um conjunto de retransmissores LunaNet representativo. sigma_ure_m expõe a exatidão de medição de distâncias do sinal no espaço (os níveis de proteção escalam linearmente com ela, pelo que variá-la responde à pergunta sobre que exatidão de medição de distâncias um limite de alerta exige). Por predefinição, o caso histórico do polo sul da classe LNIS.

Uma execução de scenarios/lunanet-araim.toml resume-se assim: lunar-integrity | polo sul | 0/24 épocas disponíveis (0,0%) | AL 50 m | σ_URE 30 m | HPL 263–452 m

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

O exemplo scenarios/lunanet-araim.toml define, entre outros:

Execute-o#

kshana scenarios/lunanet-araim.toml

O que dá#

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

Evidências#

Nenhuma linha da matriz nomeia este tipo de cenário pelo nome; o rótulo do seu resultado é o do próprio motor, acima.

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):

• VALIDATED Solução de separação de múltiplas hipóteses do ARAIM segundo o ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels e add_v42_protecti. Referência independente (ExternalDataset): Três ferramentas independentes, fixadas antecipadamente (0123cee1) antes de existir qualquer fixture ou saída de referência independente, com tolerâncias fixadas então. (1) ARAIM: Stanford MAAST para ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, executado como programa separado no GNU Octave 8,4 com um shim de compatibilidade unique() do lado do driver (divulgado, sem alteração de algoritmo), no TOL_PL do ADD de 0,05 m: o Rust reproduz a implementação de referência do ADD em
• 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
• VALIDATED O passo da geometria para a covariância do nível de proteção lunar — (GᵀG)⁻¹ sobre a geometria com tudo à vista e cada subgeometria com uma única falha, projetada na vertical local a. Referência independente (ExternalDataset): Duas implementações de terceiros consagradas, compostas, ambas executadas offline, com o ficheiro de ensaio regenerado de ponta a ponta e verificado como idêntico byte a byte. RTKLIB 2.4.2-p13 (T. Takasu, BSD-2-Clause), commit 71db0ff, src/rtkcmn.c compilado a partir do código-fonte C com -ULAPACK: lsq() → matinv() → ludcmp()/lubksb() inverte a matriz normal por LU de Crout com pivotagem parcial, um algoritmo sem relação com o invert4() de Gauss-Jordan escrito à mão do kshana

Limitações#

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

• 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))

Ver também#

• Página da família: Lunar e cislunar
• Todos os tipos: KINDS.md