realtime-frame-eop (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Medições GNSS, posicionamento e integridade. 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#

Orçamento de predição de referencial lunar / orientação da Terra em tempo real: Tabela 1 do P4 (a verificação de consistência do erro de referencial — pós-processado ~0,27 m ↔ ~0,010 ms e tempo real ~15 m ↔ ~0,5 ms, cada posição de referencial expressa como o seu erro equivalente de UT1 pelo braço de alavanca L19 Δr = D_EM·ω⊕·ΔUT1) e Tabela 2 (erro medido de predição de UT1 contra o horizonte — a curva L18 lida diretamente da série real finals2000A do IERS: o piso final Bulletin A − Bulletin B e o erro do preditor de persistência de vários dias, cada um mapeado para uma posição no referencial lunar por L19), mais o orçamento L21 de erro de referencial em tempo real pela raiz da soma dos quadrados (EOP + efemérides + piso de realização). Forma fechada VALIDATED (o braço de alavanca L19, ω⊕ verificado de forma cruzada contra o ângulo de rotação da Terra CIO) e dados reais VALIDATED (a curva L18 a partir das linhas reais de finals2000A); são MODELLED as magnitudes de covariância de OD do retransmissor lunar e o piso de realização do referencial (alocações representativas) e o preditor de persistência (não o algoritmo operacional do Bulletin A do IERS). Não é um produto certificado de referencial em tempo real.

Uma execução de scenarios/realtime-frame-eop.toml resume-se assim: realtime-frame-eop | Table 1: post-proc 0,27 m (0,0096 ms UT1) ↔ real-time 14,4 m (0,514 ms UT1) | Table 2: final floor 0,0171 ms → 3-day 1,6644 ms | budget total 20,1 m (67,0 ns) | L19 lever arm + L18 real-data (Validated), OD cov (Modelled)

Entradas#

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

• Campos obrigatórios: nenhum
• Campos opcionais: epoch, horizons_days, ephemeris_pos_sigma_m, ephemeris_vel_sigma_mps, latency_s, frame_realization_floor_m, delta_ut1_ms, delta_xp_mas, delta_yp_mas, eop_finals2000a, eop_finals2000a_later, frame_realization_tie_noise_m, operational_window_days, operational_min_cycle_fraction, operational_anchor_residual

O exemplo scenarios/realtime-frame-eop.toml define, entre outros:

Execute#

kshana scenarios/realtime-frame-eop.toml

O que ele fornece#

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

Rótulo do resultado (o do motor): orçamento de predição de referencial lunar / orientação da Terra em tempo real. Forma fechada VALIDATED: o braço de alavanca L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ verificado de forma cruzada contra o ângulo de rotação da Terra CIO. Dados reais VALIDATED: as curvas de erro de predição de UT1 e de movimento polar L18 lidas diretamente da série real finals200

Evidências#

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

• VALIDATED Uma tabela informa o erro de predição de UT1, o erro de polo do movimento polar e a sua combinação em quadratura na Lua sobre um conjunto de épocas IDÊNTICO por horizonte, emitindo as épocas em que cada componente foi medido. Testes: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED O padrão em tempo de execução de realtime-frame-eop é a cópia incorporada da própria biblioteca de um extrato literal do IERS finals2000A (tools/finals2000A_20260930.txt: 174 linhas diárias consecutivas, MJD 61224-61397, extraídas do finals2000A.all de 2026-09-30) carrega Testes: operational_eop_predictor_reference.rs.
• MODELLED Um ajuste de mínimos quadrados de viés mais taxa sobre uma janela final mais os principais termos periódicos — anual, semianual e as duas principais marés zonais para UT1; Chandler, anual e semianual para o polo — extrapolado com o último na janela Testes: operational_eop_predictor_reference.rs.

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 Uma tabela informa o erro de predição de UT1, o erro de polo do movimento polar e a sua combinação em quadratura na Lua sobre um conjunto de épocas IDÊNTICO por horizonte, em. Referência independente (ExternalDataset): astropy 8.0.1 utils.iers (BSD-3) lendo o produto finals2000A do IERS com a sua própria regra Bulletin-B-senão-A, e rotações completas celeste-terrestre do pyerfa 2.0.1.5 (SOFA) (c2i06a, sp00, pom00, c2tcio; o ângulo de rotação da Terra segundo a eq. 5,15 do IERS 2010 em aritmética exata), executados como programas separados sobre linhas literais do finals2000A.all congelado de 2026-09-30; com pré-registro (455b8fb5) com as emendas A1 e A2 fixando apenas
• VALIDATED O padrão em tempo de execução de realtime-frame-eop é a cópia incorporada da própria biblioteca de um extrato literal do IERS finals2000A (tools/finals2000A_20260930.txt: 174 consecutiv. Referência independente (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), lendo os mesmos bytes com o seu próprio leitor, e a tabela do IERS Bulletin A Vol. XXXIX No. 039, copiada número por número; com pré-registro (6fdae01b) com seis critérios exatos antes de o astropy ser executado. Os seis se verificam: 30 linhas finais, 54 rápidas e 90 preditas com listas de MJD iguais, toda linha predita com o sinalizador P, o censo da execução padrão igual, e as predições iguais ao Bullet
• MODELLED Um ajuste de mínimos quadrados de viés mais taxa sobre uma janela final mais os principais termos periódicos — anual, semianual e as duas principais marés zonais para UT1; Cha. Referência independente (ReferenceImpl): três rotas independentes, nenhuma delas um valor publicado de exatidão de predição. (1) Um sinal analítico com coeficientes conhecidos — a única forma de exercitar o mecanismo periódico, já que nenhuma série registrada é longa o bastante para admitir um termo anual. (2) A solução de mínimos quadrados em forma fechada de manual, com álgebra diferente da resolução matricial sob teste, sobre linhas reais. (3) As linhas genuínas arquivadas de predição do Bulletin A que o

Limitações#

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

• Orçamento de predição de referencial lunar / orientação da Terra em tempo real. Forma fechada VALIDATED: o braço de alavanca L19 (1 ms ↔ 28,03 m ↔ 93,5 ns), ω⊕ verificado de forma cruzada contra o ângulo de rotação da Terra CIO. Dados reais VALIDATED: as curvas de erro de predição de UT1 e de movimento polar L18 lidas diretamente da série real finals2000A do IERS (Bulletin A rápido contra Bulletin B final, e persistência de vários dias sobre as linhas diárias reais). DERIVED: o referencial (resultado label)
• Forma fechada VALIDATED (o braço de alavanca L19, ω⊕ verificado de forma cruzada contra o ângulo de rotação da Terra CIO) e dados reais VALIDATED (a curva L18 a partir das linhas reais de finals2000A); são MODELLED as magnitudes de covariância de OD do retransmissor lunar e o piso de realização do referencial (alocações representativas) e o preditor de persistência (não o algoritmo operacional do Bulletin A do IERS). (catálogo de tipos de cenário (kshana kinds --json))
• Honestidade: VALIDATED na forma fechada (o braço de alavanca L19, omega_earth conferido com o ângulo de rotação da Terra do CIO) e VALIDATED em dados reais (as curvas de UT1 e de movimento polar L18 a partir das linhas reais de finals2000A). Piso de realização do referencial DERIVED (o resíduo pós-ajuste de Helmert). MODELLED são as magnitudes de covariância da OD do relé lunar (0,27 m pós-processado, ~14,4 m em tempo real com latência de uma hora — um valor arredondado, não obtido por retrocálculo, all (comentário do arquivo de cenário, linhas 27 a 32)
• 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))
• O erro de predição da orientação da Terra em estilo operacional, medido entre o predito e o final, é MODELLED, não validado: conferido com outra implementação na mesma base de código — independente da unidade sob teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#

• Página da família: Medições GNSS, posicionamento e integridade
• Todos os tipos de cenário: KINDS.md
• Página do tema: integrations.md