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

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

Uma execução de scenarios/realtime-frame-eop.toml resume-se assim: realtime-frame-eop | Tabela 1: pós-proc. 0,27 m (0,0096 ms UT1) ↔ tempo real 14,4 m (0,514 ms UT1) | Tabela 2: patamar final 0,0171 ms → 3 dias 1,6644 ms | orçamento total 20,1 m (67,0 ns) | braço de alavanca L19 + dados reais L18 (validados), covariância OD (modelada)

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-o#

kshana scenarios/realtime-frame-eop.toml

O que dá#

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

Etiqueta de resultado (a do motor): Orçamento de previsão do 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), ω⊕ verificada por comparação com o ângulo de rotação da Terra CIO. Dados reais VALIDATED: as curvas de erro de previsão UT1 e de movimento polar L18 lidas diretamente da série real IERS finals200

Evidências#

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

• VALIDATED Uma tabela indica o erro de previsão UT1, o erro do polo de 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. Ensaios: embedded_eop_vintage_astropy_preregistered.rs.
• VALIDATED A predefinição de execução de realtime-frame-eop é a cópia incorporada da própria biblioteca de um extrato textual do IERS finals2000A (tools/finals2000A_20260930.txt: 174 linhas diárias consecutivas, MJD 61224-61397, extraídas do finals2000A.all de 2026-09-30) transporta Ensaios: operational_eop_predictor_reference.rs.
• MODELLED Um ajuste de mínimos quadrados de enviesamento 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 Ensaios: 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 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 Uma tabela indica o erro de previsão UT1, o erro do polo de 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) a ler o produto IERS finals2000A com a sua própria regra Boletim-B-senão-A, e pyerfa 2.0.1.5 (SOFA) com rotações completas celeste-para-terrestre (c2i06a, sp00, pom00, c2tcio; o ângulo de rotação da Terra segundo IERS 2010 eq. 5,15 em aritmética exata), executados como programas separados sobre linhas textuais do finals2000A.all congelado de 2026-09-30; pré-registado (455b8fb5) com as emendas A1 e A2 a fixar apenas
• VALIDATED A predefinição de execução de realtime-frame-eop é a cópia incorporada da própria biblioteca de um extrato textual do IERS finals2000A (tools/finals2000A_20260930.txt: 174 linhas diárias consecutivas. Referência independente (ExternalDataset): astropy 8.0.1 astropy.utils.iers.IERS_A (BSD-3-Clause), a ler os mesmos bytes com o seu próprio leitor, e a tabela do Boletim A do IERS Vol. XXXIX N.º 039, copiada número a número; pré-registado (6fdae01b) com seis critérios exatos antes de o astropy ser executado. Os seis verificam-se: 30 linhas finais, 54 rápidas e 90 previstas com listas MJD iguais, todas as linhas previstas com o indicador P, o recenseamento da execução predefinida igual, e as previsões iguais às do Bullet
• MODELLED Um ajuste de mínimos quadrados de enviesamento 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 vias independentes, nenhuma delas um valor publicado de exatidão de previsão. (1) Um sinal analítico com coeficientes conhecidos — a única forma de exercitar a maquinaria periódica, uma vez que nenhuma série registada é suficientemente longa para admitir um termo anual. (2) A solução de mínimos quadrados de forma fechada de manual, com álgebra diferente da resolução matricial em teste, sobre linhas reais. (3) As linhas genuínas de previsão arquivadas do Boletim A que o

Limitações#

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

• Orçamento de previsão do 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), ω⊕ verificada por comparação com o ângulo de rotação da Terra CIO. Dados reais VALIDATED: as curvas de erro de previsão UT1 e de movimento polar L18 lidas diretamente da série real IERS finals2000A (Boletim A rápido vs Boletim B final, e persistência a vários dias sobre as linhas diárias reais). DERIVED: o referencial (resultado label)
• Forma fechada VALIDATED (o braço de alavanca L19, ω⊕ verificada por comparação com o ângulo de rotação da Terra CIO) e dados reais VALIDATED (a curva L18 a partir das linhas reais finals2000A); são MODELLED as magnitudes de covariância OD do relé lunar e o patamar de realização do referencial (atribuições representativas) e o preditor de persistência (não é o algoritmo operacional do Boletim A do IERS). (catálogo de tipos (kshana kinds --json))
• Honestidade: forma fechada VALIDATED (o braço de alavanca L19, omega_earth verificada por comparação com o ângulo de rotação da Terra CIO) e dados reais VALIDATED (as curvas L18 de UT1 e de movimento polar a partir das linhas reais finals2000A). Patamar de realização do referencial DERIVED (o resíduo pós-ajuste de Helmert). São MODELLED as magnitudes de covariância OD do relé lunar (0,27 m pós-processado, ~14,4 m em tempo real com uma hora de latência — um valor redondo, não resolvido por retrocálculo, tod (comentário do ficheiro de cenário, linhas 27 a 32)
• 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))
• O erro de previsão da orientação da Terra em estilo operacional, medido entre previsto e final, é MODELLED, não validado: verificado face a uma implementação separada nesta mesma base de código — independente da unidade em ensaio, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

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