sweep (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Relógios, temporização e holdover. 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 é conquistado: a seção Evidence do README).

O que faz#

Varredura 1-D de estudo de compromissos sobre um parâmetro do pacote de relógio.

Uma execução de scenarios/sweep-clock-stability.toml resume-se assim: varredura de holdover_s sobre classical_q_wf (1.00e-24..1.00e-18, 25 pts, escala logarítmica) | quântico 6600.000->6600,000 | clássico 2610.000->250,000

Entradas#

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

• Campos obrigatórios: parameter, metric, start, stop, steps, base
• Campos opcionais: scale

O exemplo scenarios/sweep-clock-stability.toml define, entre outros:

Execute#

kshana scenarios/sweep-clock-stability.toml

O que ele fornece#

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

Evidências#

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

• 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_passes emite, convertido por aperture_duty::windows_from_passes), uma abertu
• MODELLED As varreduras de disponibilidade do tipo de cenário gnss-ssv: por constelação (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) e combinadas, a fração de pares (usuário, época) com pelo menos um e pelo menos quatro sinais e a interrupção mais longa, para um usuário em uma esfera
• MODELLED A fase tli-and-cruise: o estado médio pelo propagador de Cowell do motor (massa pontual da Terra e J2, o Sol e a Lua como terceiros corpos, a Lua a partir do kernel DE440 da sequência onde ele cobre o segmento e o Sol a partir da série analít
• MODELLED As seções sweep (de uma a três chaves pontuadas de qualquer tipo, sobre os valores de eixo da varredura genérica, opcionalmente com um conjunto em cada nó) e monte_carlo do tipo campaign: a realização k é executada em base_seed + k; cada métrica informa média, desvio padrão Testes: campaign_composition_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 Crescimento do erro em inércia de forma fechada + holdover até o limiar; classes de relógios quânticos. Referência independente (ReferenceImpl): Recursão de covariância multipasso de clock_state (conferência cruzada na mesma base de código); o núcleo subjacente de variância de deriva e inversão de holdover é validado externamente contra o scipy (ver 'Clock-holdover coast-variance & threshold inversion'). Os valores de holdover por classe com piso de ruído vermelho permanecem MODELLED
• 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
• MODELLED A varredura do tipo de cenário campaign (uma a três chaves com pontos de qualquer tipo de cenário, sobre os valores de eixo da varredura genérica, opcionalmente um conjunto em cada nó) e a seção monte_carlo. Referência independente (InternalConsistency): A forma fechada do passeio aleatório de fase sob ruído de frequência branco, variância q_wf tau (NIST Technical Note 1337), para a maquinaria estatística, e a igualdade byte a byte com as execuções isoladas para a semeadura. Ela verifica a aritmética do conjunto sobre o próprio modelo de relógio do motor, não um conjunto de dados externo

Limitações#

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

• O holdover do relógio sem GNSS é MODELLED, não validado: conferido contra uma implementação separada nesta mesma base de código — independente da unidade sob teste, mas sem autoridade externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))
• 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))
• As varreduras de parâmetros e os conjuntos de Monte Carlo com semente sobre qualquer tipo de cenário são MODELLED, não validados: verificados contra a sua própria identidade analítica / de forma fechada — detecta erros de transcrição e de coeficientes, mas não é uma referência independente externa. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#

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