ephemeris (tipo de cenário)

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

Efemérides e traço no solo: propaga um satélite (TLE→SGP4 ou órbita analítica) e emite o seu estado TEME/GCRS (posição + velocidade), a posição ITRF/ECEF, latitude/longitude/altitude subsatélite WGS-84 e, a cada passo, azimute/elevação/distância da estação + taxa de variação da distância (Doppler). O satélite vem de um tle ou de uma orbit analítica com a sua epoch (um tle prevalece quando ambos são dados); com um tle, um epoch substitui a própria época do TLE como t = 0.

Uma execução de scenarios/ephemeris.toml resume-se assim: cenário 0d4dd01b3160 | sgp4 (TLE) | 559 amostras | alt 419–434 km | |lat| ≤ 51,8° | velocidade 7653–7661 m/s | el máx. 25,7° Doppler de pico 34,3 kHz

Entradas#

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

• Campos obrigatórios: tle|orbit+epoch
• Campos opcionais: step_s, duration_s, station, dut1_s, xp_arcsec, yp_arcsec, carrier_hz, eop_finals2000a

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

Execute-o#

kshana scenarios/ephemeris.toml

O que dá#

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

Evidências#

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

• VALIDATED Rotação da Terra a partir de uma data juliana UT1 em duas partes no caminho da órbita, de modo que a posição fixa à Terra preserva o microssegundo que uma data num único f64 perde (cerca de 3e-9 rad perto de 2020): jd2::gmst82 (GMST da IAU 1982, a convenção TEME, sobre as duas partes), cio:

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

• VALIDATED SGP4/SDP4, Cowell 6-DOF + perturbações, OD em lote/sequencial. Referência independente (ExternalDataset): vetores de verificação do SGP4 do AIAA 2006-6753
• VALIDATED Precessão-nutação IAU 2006/2000A, GCRS↔ITRS pelo CIO, escalas de tempo com segundos intercalares. Referência independente (ExternalDataset): vetores de referência IAU SOFA / ERFA; Vallado AIAA 2006-6753 (0,1–4 mm)
• 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

Limitações#

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

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

Ver também#

• Página da família: Constelações, cobertura e geometria
• Todos os tipos: KINDS.md
• Página do tópico: SOLAR-SYSTEM.md
• Página do tópico: AGENCY-ORBIT-VALIDATION.md