earth-gnss-lunar (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#

Receção de GNSS da Terra à distância lunar, a camada de sinal fraco que o artigo sobre resiliência a conflitos nomeia e para a qual o motor não tinha modelo. Um satélite GNSS aponta a sua antena para a Terra; um recetor perto da Lua fica a cerca de quinze vezes o raio orbital de distância, de modo que três coisas pesam ao mesmo tempo. A Terra OCULTA O EIXO DE VISADA: a partir de 26 560 km ela subtende um semiângulo de 13,9 graus, de modo que qualquer raio dirigido à Lua deve deixar o transmissor com pelo menos esse afastamento do nadir, o que remove o pico do feixe antes de qualquer potência ser calculada. O que resta são A ORLA DO LÓBULO PRINCIPAL E OS LÓBULOS LATERAIS, o regime em que a carga útil LuGRE realmente operou em 2025. E a perda no espaço livre é de cerca de 208 dB em L1, aproximadamente 25 dB a mais do que um utilizador terrestre paga. O relatório emite uma linha por satélite (ângulo fora do eixo, ocultação pela Terra, distância, perda de percurso, ganho de transmissão nesse ângulo, potência recebida, densidade de portadora sobre ruído) e agrega apenas os enlaces que superam o limiar de seguimento. TAMBÉM INDICA O CONDICIONAMENTO, porque é isso que define esta camada: cada satélite visível está dentro de um cone de poucos graus de largura visto da Lua, de modo que as linhas de visada são quase paralelas, a diluição de precisão é enorme, e uma solução de GNSS da Terra à distância lunar é uma observação de grau de TEMPORIZAÇÃO muito mais do que de grau de posição. MODELLED, e o diagrama de transmissão é o motivo: o ganho em função do ângulo é uma abertura circular uniforme (Airy), enquanto uma antena GPS L1 real é um arranjo helicoidal de doze elementos com um lóbulo principal moldado e lóbulos laterais que não são de Airy. Existem diagramas medidos e eles não estão incluídos aqui, de modo que ordenações e ordens de grandeza são significativas, mas o dB de um único satélite não é. DELIBERADAMENTE AUSENTES, cada uma tornando o balanço otimista: nenhuma perda ionosférica ou troposférica nos raios rasantes ao limbo, nenhuma perda por polarização, apontamento ou implementação, e uma Terra esférica sem extensão refrativa. A posição da Lua é uma ENTRADA (distância mais direção inercial) em vez de uma consulta a efemérides, porque a grandeza sob teste é o enlace e a geometria do feixe. Elevar esta linha a validada exige um diagrama de transmissão medido e pontos normais do LuGRE; nenhum dos dois está no repositório e nenhum é inventado aqui.

Uma execução de scenarios/earth-gnss-lunar.toml resume-se assim: GNSS da Terra à distância lunar — 24 satélites, recetor a 384400 km Limbo da Terra visto da constelação: 13,90 graus fora do nadir — qualquer raio dirigido à Lua deve exceder isto 22 de 24 não ocultados; 0 superam o limiar de seguimento de 25,0 dB-Hz nenhum enlace atinge o limiar menos de dois enlaces passíveis de seguimento; sem dispersão angular a indicar menos de quatro enlaces passíveis de seguimento, ou uma geometria singular: sem DOP VARRIMENTO em 64 épocas / 43082 s: disponibilidade de sinal 0,375, disponibilidade de SOLUÇÃO 0,000 enlaces passíveis de seguimento média 0,75, máx. 2; melhor C/N0 30,93 dB-Hz; melhor PDOP nenhum Tome a disponibilidade de SOLUÇÃO como o prior desta camada, não a disponibilidade de sinal: um enlace é uma observação de relógio, quatro são uma posição. MODELLED: o ganho de transmissão é um substituto de abertura uniforme (Airy), não um feixe GPS medido, e nenhuma perda atmosférica, de polarização ou de implementação é aplicada — portanto o balanço aqui é otimista. Ordens de grandeza e ordenações são significativas; o dB de um satélite individual não é.

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: altitude_km, inclination_deg, planes, sats_per_plane, phasing_f, epoch_s, receiver_range_m, receiver_ra_deg, receiver_dec_deg, tx_power_dbw, tx_diameter_m, tx_efficiency, freq_hz, rx_gain_dbi, system_temp_k, tracking_threshold_dbhz, back_lobe_suppression_db, epochs, span_s

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

Execute-o#

kshana scenarios/earth-gnss-lunar.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 Receção de GNSS da Terra à distância lunar: a camada de sinal fraco que a Tabela 1 do P7 nomeia e para a qual o motor não tinha modelo.

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 Receção de GNSS da Terra à distância lunar: a camada de sinal fraco que a Tabela 1 do P7 nomeia e para a qual o motor não tinha modelo. Por satélite e por época ele calcula o off-. Referência independente (InternalConsistency): Identidades de forma fechada e consistência interna; NENHUMA referência independente externa é alegada. O semiângulo do limbo é conferido contra asin(R_earth/r_orbit) e a geometria contra ele; a perda no espaço livre, o núcleo de DOP e a propagação SGP4 que isto compõe são cada um validados externamente nas suas próprias linhas, e esta linha não herda o estado deles. POR QUE MODELLED, e é o diagrama de transmissão: o ganho em função do ângulo é um ilumina uniformemente

Limitações#

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

• MODELLED, e o diagrama de transmissão é o motivo: o ganho em função do ângulo é uma abertura circular uniforme (Airy), enquanto uma antena GPS L1 real é um arranjo helicoidal de doze elementos com um lóbulo principal moldado e lóbulos laterais que não são de Airy. (catálogo de tipos de cenário (kshana kinds --json))
• O QUE É MODELLED, E PORQUE NÃO É VALIDATED O ganho de transmissão em função do ângulo é uma abertura circular iluminada uniformemente — um diagrama de Airy. Uma antena GPS L1 real é um arranjo helicoidal de doze elementos cujo diagrama medido tem um lóbulo principal moldado, deliberadamente com pico fora do eixo para uniformizar a potência sobre o disco da Terra, e lóbulos laterais que não são de Airy de modo algum. Existem diagramas medidos publicados; eles não estão incluídos neste (comentário do ficheiro de cenário, linhas 29 a 35)
• 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 GNSS da Terra à distância lunar é MODELLED, não validado: conferido 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))

Ver também#

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