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
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_passesemite, convertido poraperture_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#
- Página da família: Constelações, cobertura e geometria
- Todos os tipos de cenário: KINDS.md
- Página do tópico: CONTACT-SCHEDULING.md