Tradução automática, não revista por um falante nativo. O inglês é a referência.

Páginas de tipos de cenárioEditar no GitHubFonte: docs/kinds/by-kind/integrity.md

integrity (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Medições GNSS, posicionamento e integridade. 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#

RAIM instantâneo / de separação de soluções / ARAIM com HPL/VPL e um diagrama de Stanford.

Uma execução de scenarios/integrity-raim.toml resume-se assim: integrity | 24 satélites | 344/361 épocas disponíveis (95,3%) | HAL 40 m VAL 50 m | sigma 1,0 m | Stanford(V): 0 eventos de integridade, 0 HMI

Entradas#

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

  • Campos obrigatórios: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
  • Campos opcionais: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

O exemplo scenarios/integrity-raim.toml define, entre outros:

Campo Valor Unidade
al_h_m 40 m
al_v_m 50 m
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 não indicado
constellation.planes 6 não indicado
constellation.sats_per_plane 4 não indicado
kind integrity texto
mask_deg 5 deg
p_fa 1.0000e-5 não indicado
p_md 0.001 não indicado
seed 7 não indicado

Execute#

kshana scenarios/integrity-raim.toml

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

O que ele fornece#

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

Resultado Valor Unidade
al_h_m 40 m
al_v_m 50 m
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier MODELLED texto
samples_available 344 contagem
samples_total 361 contagem
stanford.alert_limit_m 50 m
O gráfico que o motor gera para scenarios/integrity-raim.toml, tipo de cenário integrity

Evidências#

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

  • MODELLED A seção opcional [integrity] do tipo de cenário clock (clock_integrity::run): a partir de um local e de predefinições de constelação declarados (geometry::sky_geometry), em cada época de integridade enquanto a linha do tempo do GNSS não está negada, RAIM instantâneo (raim::snapshot_ Testes: clock_integrity.rs.
  • VALIDATED TPL de separação de soluções em tempo escalar sobre fontes heterogêneas; PL determinado pelo ruído do subconjunto de pior exclusão + viés de UTC(k)
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)); PL semicontínuo inferiormente PL(0+)≥PL(0−); máximo corrente K(IR/2); expoentes de fase τ/τ³/τ⁵
  • VALIDATED O envelope de máximo corrente superlimita (sem perfuração do zero) uma série metrológica real em cada defasagem testada tau>=90d em um segmento disjunto; tau curto (<=30d) é uma fronteira modelada declarada Testes: cti_holdover_coverage_reference.rs.
  • e mais 6 na matriz.

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

  • 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
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP a partir da geometria de linha de visada via Q=(HᵀH)⁻¹ com divisão ENU local. Referência independente (ExternalDataset): DOP do gnss_lib_py 1.0.4 (Stanford NAV Lab) — biblioteca independente, coincidente a 1e-6 relativo
  • VALIDATED O núcleo distribucional em que todo nível de proteção se apoia: o limiar de detecção de falha instantâneo χ²₁₋ₚfₐ(dof), a não centralidade de detecção perdida pbias=√λ, e . Referência independente (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — biblioteca independente (Cephes/Boost), um algoritmo diferente da série de gama incompleta do Kshana; coincidente a ≤1e-6 rel. Apenas o núcleo. A alocação do orçamento de P_HMI do MHSS do ARAIM deixou de ficar sem uma referência independente numérica publicada — o próprio exemplo trabalhado do Subgrupo Técnico ARAIM do WG-C agora sustenta a linha separada 'ARAIM MHSS protection levels against published referen
  • 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

Limitações#

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

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