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

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

jamming (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Jamming, spoofing e o espetro. 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#

Jamming por balanço de enlace: J/S → C/N₀ efetivo → perda de sincronismo.

Uma execução de scenarios/jamming-demo.toml resume-se assim: cenário 5aac34b045c7 | jamming LIGADO | disponibilidade sob jamming 0,00 (nominal 1,00) | seguimento mín. 0 | J/S médio 72,2 dB

Entradas#

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

  • Campos obrigatórios: seed, time, receiver, constellation
  • Campos opcionais: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

O exemplo scenarios/jamming-demo.toml define, entre outros:

Campo Valor Unidade
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
jammer.bandwidth_mhz 20 MHz
jammer.gain_dbi 0 dBi
jammer.jammer_type broadband texto
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming texto
mask_deg 5 deg

Execute-o#

kshana scenarios/jamming-demo.toml

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

O que dá#

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

Resultado Valor Unidade
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier PARTNER texto
fom.availability_nominal 1 1
fom.availability_under_jamming 0 1
fom.mean_js_db 72.164862 dB
fom.min_tracking 0 contagem
jammer_present true sinalizador
seed 1 1
O gráfico que o motor gera para scenarios/jamming-demo.toml, tipo de cenário jamming

Evidências#

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

  • MODELLED Balanço de enlace de J/S geométrico, C/N₀ antijam, perda de sincronismo por satélite Testes: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED O relatório hybrid-optical-rf declara uma disponibilidade de enlace de RF, composta a partir de grandezas que o motor já calcula em vez de uma climatologia importada, e declara a composição como uma regra nomeada: A_rf = I_closure * I_track, onde I_clos
  • MODELLED Razão jammer-sinal nativa lunar, C/N₀ efetivo e perda de sincronismo para um utilizador na superfície selenográfica sob um jammer na superfície lunar (ou elevado), sobre a constelação ilustrativa de fonte pública da classe Moonlight/LCNS.
  • MODELLED O relatório lunar-jamming já não apoia o seu contorno de negação num único escalar.
  • e mais 5 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 estão aí nomeadas):

  • MODELLED Orçamento de enlace de J/S geométrico, C/N₀ antijamming, perda de sincronismo por satélite. Referência independente (InternalConsistency): Equação do orçamento de enlace de C/N₀ antijamming conferida contra uma nova derivação independente em numpy (partilha a mesma forma fechada → InternalConsistency) mais uma caracterização real da degradação de C/N₀ do JammerTest-2024. 0,30 ronda 2, bloqueado (permanece MODELLED): a queda de C/N0 medida no JammerTest 2024 contra uma previsão do orçamento de enlace (pré-registada 6a66994b, dentro de 3 dB) não foi executada porque a posição e o apontamento da antena F8.1 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
  • PARTNER Não fornecido — o Kshana modela o desempenho de sinal, não o hardware de carga útil/antena. Referência independente (NoneKind): nenhuma: uma disciplina de propriedade do parceiro, sem módulo e sem teste por conceção

Limitações#

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

  • A resiliência a jamming em ambientes sem GNSS é MODELLED, não validada: verificada contra a sua própria identidade analítica / de forma fechada — deteta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
  • 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#