Tradução automática, não revista por um falante nativo. O inglês é a referência.

Páginas de tipos de cenárioEditar no GitHubFonte: docs/kinds/by-kind/sweep-nd.md

sweep-nd (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 genérica N-D sobre qualquer pacote por meio de chaves TOML pontuadas / caminhos de métricas JSON.

Uma execução de scenarios/sweep-nd-inertial.toml resume-se assim: varredura genérica de inertial sobre [threshold_m, accel_classical.bias] | 15 nós (formato [5, 3]) | métricas [classical.fom.holdover_s, classical.fom.pos_rms_m]

Entradas#

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

  • Campos obrigatórios: base, axes, metrics
  • Campos opcionais: nenhum

O exemplo scenarios/sweep-nd-inertial.toml define, entre outros:

Campo Valor Unidade
axes[0].key threshold_m texto
axes[0].start 100 não indicado
axes[0].steps 5 não indicado
axes[0].stop 500 não indicado
axes[1].key accel_classical.bias texto
axes[1].scale log texto
axes[1].start 0.001 não indicado
axes[1].steps 3 não indicado
axes[1].stop 0.003 não indicado
axes[1].unit m/s^2 texto
base.accel_classical.bias 0.00157 não indicado
base.accel_classical.bias_instability 1.0000e-5 não indicado

Execute#

kshana scenarios/sweep-nd-inertial.toml

O que ele fornece#

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

Resultado Valor Unidade
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier PARTNER texto
O gráfico que o mecanismo gera para scenarios/sweep-nd-inertial.toml, tipo sweep-nd

Evidências#

Nenhuma linha da matriz nomeia este tipo de cenário pelo nome; o rótulo do seu resultado é o do próprio motor, acima.

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 Acelerômetro interferométrico de átomos frios a partir de primeiros princípios (k_eff·T², QPN). Referência independente (ExternalDataset): Vetores numéricos de artigos primários publicados de CAI (função de transferência de Cheinet 2008; sensibilidade de Peters/Freier): k_eff·T² coincide exatamente, o piso unilateral de ASD de ruído de disparo dentro de ~2× de cada instrumento publicado (dispositivos reais têm ruído técnico acima do piso quântico). Uma faixa, não uma paridade. 0,30 rodada 2 (fixada antecipadamente fcb9ac64), um achado (permanece MODELLED): o ruído de rotação somente por QPN contra o medido por Gauguet et al.
  • MODELLED Balanço de posição composto de viés + fator de escala + VRW + decaimento de estabilidade ao longo do holdover. Referência independente (ReferenceImpl): Integração independente de SDE por Monte Carlo em numpy do ruído de aceleração branca duplamente integrado (valida a variância analítica do VRW por um algoritmo genuinamente independente) + uma âncora de valores publicados de Groves 2013 para os termos de viés/fator de escala; os números do dispositivo CAI quantificam hardware de parceiro e 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
  • PARTNER Não fornecido — apenas modelos de desempenho; o hardware de átomos frios/relógio é de um parceiro. Referência independente (NoneKind): nenhuma: uma disciplina de propriedade do parceiro, sem módulo e sem teste por projeto
  • 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 desempenho de sensores inerciais quânticos é MODELLED, não validado: uma subafirmação é conferida 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))
  • A resiliência da navegação inercial por estima de sensores quânticos é MODELLED, não validada: conferida 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#