lunar-jamming (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#

Jamming de RF nativo lunar: razão jammer-sinal por satélite, C/N₀ efetivo e perda de bloqueio para um utilizador à superfície selenográfica sob um jammer na superfície lunar (ou elevado), sobre a constelação ilustrativa de fontes públicas de órbita lunar da classe Moonlight/LCNS. Compõe a física aberta de jamming existente (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) com a geometria do céu lunar existente (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); não se rededuz nenhuma geometria nem radiometria. Ao contrário do tipo de cenário jamming terrestre, a componente do sinal NÃO é uma potência recebida fixa: a potência recebida isotrópica de cada satélite é o seu próprio orçamento de ligação EIRP − FSPL(distância oblíqua), pelo que o J/S varia de satélite para satélite com a distância e a elevação lunares. Indica UMA LINHA POR LIGAÇÃO (época, satélite) VISÍVEL — azimute, elevação, distância oblíqua, as duas potências recebidas de que o J/S é a diferença, o J/S, o C/N₀ nominal e efetivo e o estado de bloqueio — mais figuras de mérito agregadas a par dessa tabela (nunca em seu lugar), e a mesma tabela como artefacto CSV. Cada campo numérico emitido traz uma unidade e uma classe de proveniência. Os subresultados VALIDATED trazem a referência independente do respetivo módulo de origem (a equação antiinterferência e a ligação J/S de Kaplan & Hegarty §9,4, referenciadas externamente em tests/gnss_denied_jamming_resilience_reference.rs; a geometria lunar de lunar_service). A própria composição é verificada de forma cruzada face a um percurso independente de dois orçamentos de ligação (linkbudget::received_signal_power_dbw, uma expressão de perda no espaço livre diferente) até 1e-9 dB. MODELLED: a constelação ilustrativa, a EIRP / potência do jammer / ganhos de antena / temperatura de ruído representativos, e a ausência de sombreamento do terreno, multipercurso, dinâmica do AGC e anulação adaptativa. Não é um produto certificado de negação de serviço. Com um jammer configurado, o relatório traz também um CONTORNO DE NEGAÇÃO COM UMA BANDA DE INCERTEZA, em vez de um contorno lido a partir de um único escalar: a distribuição completa medida do C/N₀ do sinal pretendido sobre a tabela por satélite (n, mín., p05, p25, mediana, p75, p95, máx., média, desvio-padrão amostral e a própria assimetria da amostra), e o contorno avaliado em cada uma dessas estatísticas de ordem segundo AMBOS os critérios de negação que o motor reconhece — o incumbente de razão de potências (J/S = 30 dB, como em attack-surface e tracking-loop) e o de perda de bloqueio (C/N₀ efetivo a descer até tracking_threshold_dbhz, o critério que a própria coluna de estado deste relatório utiliza) — nos dois eixos do plano de negação (EIRP do jammer exigida à distância de afastamento do cenário, distância de afastamento de negação à EIRP do cenário). Os limites da banda SÃO contour(p05) e contour(p95), o mesmo mapa de forma fechada aplicado aos quantis da própria amostra: não um sigma ajustado à amostra e não mediana ± k·desvio-padrão, com o desvio-padrão emitido por continuidade e não utilizado por nada. Um quantil já igual ou inferior ao limiar de seguimento não tem J/S de negação finito e as suas colunas de perda de bloqueio são nulas, com um motivo contabilizado, nunca um raio truncado.

Uma execução de scenarios/lunar-jamming.toml resume-se assim: lunar-jamming | 4 sats, 12 épocas, 38 ligações a partir de (-89.67, 129,78) | J/S 33,651..36.668 dB (média 35,622) | 0 LOST | disponibilidade de 0,167 de 0,167 nominal

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer

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

Execute-o#

kshana scenarios/lunar-jamming.toml

O que dá#

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

Evidências#

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

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

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
• 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
• MODELLED Razão jammer-sinal nativa lunar, C/N₀ efetivo e perda de bloqueio para um utilizador à superfície selenográfica sob um jammer na superfície lunar (ou elevado), sobre a ilustr. Referência independente (ReferenceImpl): Verificação cruzada da composição face a um percurso de código independente dentro do repositório: cada J/S por ligação é rededuzido como a diferença de dois orçamentos de ligação calculados com linkbudget::received_signal_power_dbw, cuja perda no espaço livre é a expressão única 20·log10(4πRf/c) e não a soma de três termos que jamming::free_space_path_loss_db utiliza — as duas concordam até < 1e-9 dB em todas as linhas (pior caso medido de 7.11e-14 dB, isto é, arredondamento de vírgula flutuante)
• MODELLED O relatório lunar-jamming deixa de apoiar o seu contorno de negação num único escalar. Emite a distribuição completa medida do C/N₀ do sinal pretendido sobre a tabela por satélite. Referência independente (InternalConsistency): Consistência interna face às funções diretas do próprio motor, que é tudo o que esta capacidade pode afirmar com honestidade. Cada ponto do contorno é uma inversão de forma fechada, e cada inversão é verificada fazendo passar a sua resposta de novo pela função DIRETA com que as linhas do próprio relatório foram avaliadas: a coluna do J/S através de jamming::effective_cn0_dbhz (que tem de devolver tracking_threshold_dbhz até < 1e-9 dB-Hz), a coluna da distância de afastamento

Limitações#

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

• MODELLED: a constelação ilustrativa, a EIRP / potência do jammer / ganhos de antena / temperatura de ruído representativos, e a ausência de sombreamento do terreno, multipercurso, dinâmica do AGC e anulação adaptativa. (catálogo de tipos de cenário (kshana kinds --json))
• MODELLED. A constelação é a geometria ilustrativa, de fontes públicas, da classe Moonlight/LCNS (não as efemérides reais; sem afiliação nem aval implícitos), e o modelo de interferência é um orçamento de ligação: sem sombreamento do terreno ao jammer (um efeito de primeira ordem em terreno do polo sul), sem multipercurso, sem dinâmica perto/longe do AGC, sem anulação adaptativa, sem histerese aquisição-versus-seguimento. (comentário do ficheiro de cenário, linhas 26 a 30)
• 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))
• O jamming de RF da navegação à superfície lunar (J/S por satélite) é MODELLED, não validado: verificado face a uma implementação separada nesta mesma base de código — independente da unidade em teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• O contorno de negação lunar com uma banda de incerteza a partir da dispersão medida do C/N₀ é MODELLED, não validado: verificado face à sua própria identidade analítica de forma fechada, deteta erros de transcrição e de coeficientes, mas não é uma referência independente. (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 tema: integrations.md