slot-timing (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Relógios, temporização e holdover. 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#

Temporização de intervalos: segundos até um relógio em funcionamento livre sair da guarda de um intervalo de encaminhamento ou de atribuição de tarefas indexado no tempo (o maior erro de tempo absoluto que o intervalo tolera), a contribuição de cada termo nesse momento com o dominante identificado (incerteza da solução de posição, ruído de fase branco, ruído de frequência branco, flicker, de passeio aleatório e de corrida aleatória, desvio de frequência residual, temperatura, envelhecimento), o tempo restante desde a última solução de posição e o maior intervalo entre soluções de posição que mantém o relógio dentro, líquido da latência da solução de posição. O oscilador é uma predefinição de CLASSE (csac, uso, dsac, tcxo, ocxo ou rafs: um desvio de Allan citado a um segundo e um patamar de ruído vermelho assumido), uma PREDEFINIÇÃO DE FICHA TÉCNICA de temporização de telecomunicações ou uma FICHA TÉCNICA em linha (máximos do desvio de Allan ajustados como envolvente, mais envelhecimento e um coeficiente de temperatura), ou um REGISTO DE FASE MEASURED em linha (o seu desvio de Allan sobreposto ajustado por mínimos quadrados ponderados na base de fase branca e de modulação de frequência IEEE Std 1139, de modo que o patamar de ruído vermelho é medido e não assumido). Uma violação além do maior tempo de média que a ficha técnica ou o registo suporta é assinalada como extrapolada. Uma secção opcional de spoofing acrescenta o nível de proteção de temporização para um recetor em órbita: velocidade e período orbitais, durante quanto tempo um único spoofer terrestre consegue alcançar o satélite por passagem, o patamar do monitor assistido por relógio e a latência de deteção CUSUM, o limite condicional, o arrastamento que um spoofer a uma taxa de rampa máxima indicada acumula antes de o satélite sair do seu alcance ou de uma verificação independente ser executada, e se cada verificação de contacto terrestre ou de ligação cruzada é independente desse spoofer. VALIDATED: a inversão de holdover a partir de um registo ajustado, reservada num relógio de césio real medido face a um maser de hidrogénio (tests/slot_timing_cs5071a_holdout.rs, condicionado pelos dados); num oscilador de cristal medido, a previsão reservada é conservadora mas não está dentro do limiar, pelo que o caso do cristal é MODELLED. MODELLED: as fontes de classe e de ficha técnica, os termos determinísticos e a avaliação de spoofing.

Uma execução de scenarios/slot-timing-ocxo-leo.toml resume-se assim: slot-timing (fonte ficha técnica): a guarda de 100,0 ns com k=3 é violada 650,8 s após uma solução de posição (restam 50,8 s); solução de posição pelo menos a cada 645,8 s (133,80 por dia); termo dominante: ruído de frequência de passeio aleatório

Entradas#

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

• Campos obrigatórios: oscillator, slot
• Campos opcionais: spoofing

O exemplo scenarios/slot-timing-ocxo-leo.toml define, entre outros:

Execute-o#

kshana scenarios/slot-timing-ocxo-leo.toml

O que dá#

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

Etiqueta de resultado (a do motor): MODELLED — tempo até um relógio em funcionamento livre sair da guarda de um intervalo de encaminhamento, e a cadência de soluções de posição que o mantém dentro, a partir de um modelo estacionário de relógio de lei de potência. Uma fonte de ficha técnica é uma envolvente dos seus máximos, não uma medição de qualquer unidade; uma fonte de classe assenta num patamar de ruído vermelho assumido.

Evidências#

MODELLED 2 · VALIDATED 1: as linhas da matriz de verificação que mencionam este tipo.

• VALIDATED O percurso de registo medido do tipo slot-timing: o desvio de Allan sobreposto de um registo de fase ajustado por mínimos quadrados não negativos ponderados por edf na base de fase branca e de modulação de frequência IEEE Std 1139 (slot_timing::fit_weighted), Ensaios: slot_timing_cs5071a_holdout.rs.
• MODELLED O tipo slot-timing: o erro previsto E(t) = k·√(σ₀² + σ_x²(t)) + (|y₀| + |c_T·ΔT|)·t + ½|D|t² invertido para a violação, o tempo restante, o intervalo de ressincronização líquido da latência da solução de posição e as soluções de posição por dia, cada termo discriminado com o Ensaios: slot_timing_igs_holdout.rs.
• MODELLED orbital_timing::orbital_timing, acessível como a secção de spoofing do tipo slot-timing: velocidade e período de órbita circular, o maior tempo durante o qual um spoofer terrestre consegue alcançar o satélite por passagem, o patamar do monitor assistido por relógio e a latência de deteção CUSUM

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
• MODELLED O tipo slot-timing: o erro previsto E(t) = k·√(σ₀² + σ_x²(t)) + (|y₀| + |c_T·ΔT|)·t + ½|D|t² invertido para a violação, o tempo restante, a ressincronização. Referência independente (InternalConsistency): formas fechadas para cada termo isolado e a procura de raiz independente holdover::holdover_seconds; os valores da ficha técnica são os dos documentos indicados (docs/SLOT-TIMING.md). Uma predefinição de classe assenta num patamar de ruído vermelho assumido e uma fonte de ficha técnica é uma envolvente de máximos, pelo que nenhuma é uma medição de qualquer unidade
• MODELLED orbital_timing::orbital_timing, acessível como a secção de spoofing do tipo slot-timing: velocidade e período de órbita circular, o maior tempo durante o qual um spoofer terrestre pode alcançar o. Referência independente (InternalConsistency): redução ao nível de proteção de temporização existente e às formas fechadas de visibilidade de órbita circular e Terra esférica. Condicional à deteção, um spoofer terrestre a uma taxa de rampa indicada, uma passagem a pino numa Terra sem rotação; não validado num recetor em órbita sujeito a spoofing

Limitações#

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

• saltos de frequência, efeitos da radiação e desvios de frequência relativistas (resultado not_modelled[0])
• um modelo térmico: a excursão de temperatura é aplicada como um degrau na solução de posição (resultado not_modelled[1])
• o próprio protocolo de sincronização: uma solução de posição repõe o erro em fix_sigma_ns (resultado not_modelled[2])
• a que métrica de deriva deve um intervalo de encaminhamento ser aceite; ver docs/SLOT-TIMING.md (resultado not_modelled[3])
• MODELLED — tempo até um relógio em funcionamento livre sair da guarda de um intervalo de encaminhamento, e a cadência de soluções de posição que o mantém dentro, a partir de um modelo estacionário de relógio de lei de potência. Uma fonte de ficha técnica é uma envolvente dos seus máximos, não uma medição de qualquer unidade; uma fonte de classe assenta num patamar de ruído vermelho assumido. (resultado label)
• O oscilador é uma predefinição de CLASSE (csac, uso, dsac, tcxo, ocxo ou rafs: um desvio de Allan citado a um segundo e um patamar de ruído vermelho assumido), uma PREDEFINIÇÃO DE FICHA TÉCNICA de temporização de telecomunicações ou uma FICHA TÉCNICA em linha (máximos do desvio de Allan ajustados como envolvente, mais envelhecimento e um coeficiente de temperatura), ou um REGISTO DE FASE MEASURED em linha (o seu desvio de Allan sobreposto ajustado por mínimos quadrados ponderados na base de fase branca e de modulação de frequência IEEE S (catálogo de tipos (kshana kinds --json))
• VALIDATED: a inversão de holdover a partir de um registo ajustado, reservada num relógio de césio real medido face a um maser de hidrogénio (tests/slot_timing_cs5071a_holdout.rs, condicionado pelos dados); num oscilador de cristal medido, a previsão reservada é conservadora mas não está dentro do limiar, pelo que o caso do cristal é MODELLED. (catálogo de tipos (kshana kinds --json))
• MODELLED: as fontes de classe e de ficha técnica, os termos determinísticos e a avaliação de spoofing. (catálogo de tipos (kshana kinds --json))

Ver também#

• Página da família: Relógios, temporização e holdover
• Todos os tipos: KINDS.md
• Página do tópico: LEO-PNT.md
• Página do tema: DECEIVED-TIME.md