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/passes.md

passes (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Constelações, cobertura e geometria. 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#

Predição de passagens por estação em solo: as passagens de visibilidade no domínio do tempo (AOS/TCA/LOS, elevação aparente máxima, duração) de uma órbita circular, como elementos médios SGP4 no início da janela, sobre uma estação acima de uma máscara de elevação ao longo de uma janela, com o tempo total de acesso. Propagação SGP4/SDP4 no referencial fixo na Terra IAU 2006/2000A (UT1 - UTC e movimento polar opcionais), refração troposférica ITU-R P.834-9 e o tempo de luz do enlace de descida (ambos ligados por padrão), cruzamentos resolvidos a 1e-7 s e a culminação por busca de seção áurea. A geometria da passagem é VALIDATED contra o Orekit 13.1.8 em estações ao nível do mar; a órbita e a estação do cenário são entradas ilustrativas.

Uma execução de scenarios/passes.toml resume-se assim: passes: 5 pass(es) of a 550 km / 97,6° orbit over (52,2°, 4,4°) > 10° in 24 h; 1659 s total access (MODELLED)

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: altitude_km, inclination_deg, raan_deg, arg_lat_deg, station_lat_deg, station_lon_deg, station_alt_m, epoch, mask_deg, duration_hours, step_s, refraction, light_time, ut1_minus_utc_s, xp_arcsec, yp_arcsec

O exemplo scenarios/passes.toml define, entre outros:

Campo Valor Unidade
altitude_km 550 km
arg_lat_deg 0 deg
duration_hours 24 h
epoch [2024, 1, 1, 0, 0, 0] não indicado
inclination_deg 97.6 deg
kind passes texto
mask_deg 10 deg
raan_deg 0 deg
station_alt_m 0 m
station_lat_deg 52.2 deg
station_lon_deg 4.4 deg
step_s 10 s

Execute#

kshana scenarios/passes.toml

O que ele fornece#

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

Resultado Valor Unidade
altitude_km 550 km
best_max_elevation_deg 70.081649 deg
duration_hours 24 h
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
inclination_deg 97.6 deg
light_time true flag
mask_deg 10 deg
pass_count 5 contagem

Rótulo do resultado (o do motor): MODELLED — predição de passagens por estação em solo no domínio do tempo; propagação SGP4/SDP4, referencial fixo na Terra IAU 2006/2000A (UT1 = UTC, sem movimento polar a menos que parâmetros de orientação da Terra sejam fornecidos), elevação aparente com refração ITU-R P.834-9 e tempo de luz quando ligados, cruzamentos e culminação refin

O gráfico que o motor escreve para scenarios/passes.toml, tipo de cenário passes

Evidências#

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

  • VALIDATED Passagens de visibilidade no domínio do tempo (AOS/TCA/LOS, elevação máxima, duração) de um propagador do motor sobre uma estação acima de uma máscara de elevação, com cruzamentos de nascer/pôr interpolados e acesso total: passes::predict_passes, o escalonador geométrico (sem Testes: ground_station_pass_prediction_reference.rs.
  • 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/2000A, parâmetros opcionais de orientação da Terra), com troposférica ITU-R P.834-9 Testes: pass_predictor_on_path_orekit_oracle.rs.
  • MODELLED Es/N0 do downlink ao longo de cada passagem de um satélite sobre uma estação (EIRP, perda no espaço livre, perda atmosférica pela lei da cossecante, outras perdas, G/T, constante de Boltzmann, taxa de símbolos), o MODCOD DVB-S2 mais eficiente que supera o seu limiar da ETSI EN 302 307-
  • MODELLED Uma execução recebe um plano de contatos (uma lista de janelas aos_s/los_s, cada uma pedindo à abertura navegação ou comunicações — o mesmo vocabulário de janelas que passes::predict_passes emite, convertido por aperture_duty::windows_from_passes), uma abertu

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

  • 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
  • VALIDATED Passagens de visibilidade no domínio do tempo (AOS/TCA/LOS, elevação máxima, duração) de um propagador do motor sobre uma estação acima de uma máscara de elevação, com nascer/pôr interpolados . Referência independente (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) + Hipparchus 3,1 — uma biblioteca independente de dinâmica de voo: ElevationDetector (localizador de raízes de Brent) + EventsLogger sobre uma efeméride ITRF, estação como um TopocentricFrame WGS-84. AOS/LOS/elevação máxima/contagem de passagens/acesso total coincidem para órbita+estação+máscara+janela idênticas (fixture registrado; driver xval/orekit-passes)

Limitações#

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

  • MODELLED — predição de passagens por estação em solo no domínio do tempo; propagação SGP4/SDP4, referencial fixo na Terra IAU 2006/2000A (UT1 = UTC, sem movimento polar a menos que parâmetros de orientação da Terra sejam fornecidos), elevação aparente com refração ITU-R P.834-9 e tempo de luz quando ligados, cruzamentos e culminação refinados abaixo do passo (resultado label)
  • 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#