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/acm-link.md

acm-link (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Análise de missão, ligações e operações espaciais. Consultivo: resultados de análise de uma ferramenta de investigação e engenharia, não um equipamento de navegação homologado nem um serviço de segurança de vidas. Cada etiqueta aqui é do motor ou da matriz de verificação; um tipo é MODELLED, salvo indicação em contrário da matriz (como se obtém uma etiqueta: a secção Evidence do README).

O que faz#

Um satélite sobre uma estação: a distância oblíqua, a elevação e o Es/N0 de cada passagem ao longo da passagem, o MODCOD DVB-S2 escolhido em cada passo (limiares da Tabela 13 da ETSI EN 302 307-1 mais uma margem de implementação) e o volume de dados que o ACM transfere face à linha de base de codificação constante que fecha na máscara. MODELLED.

Uma execução de scenarios/acm-link.toml resume-se assim: acm-link: 3 pass(es); ACM 92866 Mbit vs CCM 8PSK 3/4 58495 Mbit -> gain x1.59 (MODELLED)

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: epoch, duration_hours, step_s, refraction, light_time, link, satellite, station

O exemplo scenarios/acm-link.toml define, entre outros:

Campo Valor Unidade
duration_hours 12 h
epoch [2024, 1, 1, 0, 0, 0] não indicado
kind acm-link texto
light_time true sinalizador
link.acm_step_s 10 s
link.eirp_dbw 7 dBW
link.frequency_ghz 8.2 GHz
link.implementation_margin_db 1 dB
link.other_losses_db 2 dB
link.symbol_rate_msps 20 Msymbol/s
link.zenith_atm_loss_db 0.3 dB
refraction true sinalizador

Execute-o#

kshana scenarios/acm-link.toml

O que dá#

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

Resultado Valor Unidade
acm_gain 1.587588 1
acm_volume_mbit 92866.013644 Mbit
altitude_km 550 km
ccm_es_n0_at_mask_db 9.550995 dB
ccm_modcod 8PSK 3/4 texto
ccm_volume_mbit 58495.039442 Mbit
duration_hours 12 h
eirp_dbw 7 dBW
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto

Etiqueta do resultado (a do motor): MODELLED — codificação e modulação adaptativas DVB-S2 ao longo das passagens de um satélite numa estação: Es/N0 em céu limpo ao longo de cada passagem aparente, o MODCOD mais eficiente que satisfaz o limiar da Tabela 13 da ETSI EN 302 307-1 mais uma margem, face ao MODCOD de codificação constante que fecha na máscara; sem chuva f

O gráfico que o motor escreve para scenarios/acm-link.toml, tipo acm-link

Evidências#

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

  • MODELLED Es/N0 da ligação descendente ao longo de cada passagem de um satélite sobre uma estação (EIRP, perda em espaço livre, perda atmosférica em lei da cossecante, outras perdas, G/T, constante de Boltzmann, taxa de símbolos), o MODCOD DVB-S2 mais eficiente que satisfaz o limiar da ETSI EN 302 307-

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
  • VALIDATED Passagens de visibilidade (AOS, TCA, LOS, elevação aparente máxima, duração) de um conjunto de elementos SGP4 sobre uma estação WGS-84 no caminho validado de órbita terrestre (IAU 2006. Referência independente (ExternalDataset): Orekit 13.1.8 (CS GROUP, Apache-2.0) com Hipparchus 4.0.3: TLEPropagator sobre os mesmos conjuntos de elementos num TEME que o Orekit constrói segundo a definição indicada (a sua rotação TOD IERS 2010 por GAST - GMST), ElevationDetector e ElevationExtremumDetector com e sem ITURP834AtmosphericRefraction, e AngularAzEl com AngularRadioRefractionModifier para o caso do tempo de luz, cruzamentos e máximo resolvidos pelo Hipparchus; 60 casos (f
  • MODELLED Es/N0 da ligação descendente ao longo de cada passagem de um satélite sobre uma estação (EIRP, perda em espaço livre, perda atmosférica em lei da cossecante, outras perdas, G/T, constante de Boltzmann,. Referência independente (InternalConsistency): Consistência interna: a eficiência espetral calculada em forma fechada a partir de K_bch da Tabela 5a e dos comprimentos de trama concorda com as eficiências que a Tabela 13 apresenta (uma verificação de transcrição da tabela de limiares); as partes do balanço de ligação concordam com as suas formas fechadas; a seleção é monótona em Es/N0 e respeita a margem; o ACM transfere pelo menos o volume de codificação constante. A geometria da passagem provém do VALIDATED em separado a

Limitações#

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

  • MODELLED — codificação e modulação adaptativas DVB-S2 ao longo das passagens de um satélite numa estação: Es/N0 em céu limpo ao longo de cada passagem aparente, o MODCOD mais eficiente que satisfaz o limiar da Tabela 13 da ETSI EN 302 307-1 mais uma margem, face ao MODCOD de codificação constante que fecha na máscara; sem desvanecimento por chuva nem perda de apontamento ao longo da passagem (resultado label)
  • MODELLED. (catálogo de tipos (kshana kinds --json))
  • Todos os números abaixo são ILLUSTRATIVE: nenhuma órbita, estação ou balanço de ligação de um operador. MODELLED. (comentário do ficheiro de cenário, linha 8)
  • 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))
  • A codificação e modulação adaptativas DVB-S2 ao longo de uma passagem de descida LEO são MODELLED, não validadas: verificadas face à sua própria identidade analítica / de forma fechada — apanha 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#