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/quantum-gnss-free-nav.md

quantum-gnss-free-nav (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Sensores inerciais, de fusão e quânticos. 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#

Navegação quântica sem GNSS, MODELLED: durante uma interrupção do GNSS, um orçamento inercial quântico (interferômetro de átomos frios) contra um INS clássico de grau de navegação — crescimento do erro de posição ao longo da deriva, holdover até um limiar de posição e a comparação quântico-versus-clássico como TradeEvidence honesto, com representatividade. Nota honesta de observabilidade: sem solução externa, o viés do acelerômetro é não observável, de modo que o erro cresce; o sensor quântico desacelera essa diferença, mas não a fecha. Parâmetros ilustrativos de dispositivo de fonte pública; modela a classe, sem TRL, voo nem certificação.

Uma execução de scenarios/quantum-gnss-free-nav.toml resume-se assim: quantum-gnss-free-nav | outage 300s | quantum pos err 0,00 m vs classical 37,31 m (8289.5x) | holdover quantum 44721s vs classical 534s (thr 100 m) | trade quantum wins 2/2 | MODELLED

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: outage_s, threshold_m, quantum_bias_m_s2, classical_bias_m_s2

O exemplo scenarios/quantum-gnss-free-nav.toml define, entre outros:

Campo Valor Unidade
classical_bias_m_s2 5.0000e-5 m/s^2
kind quantum-gnss-free-nav texto
outage_s 300 s
quantum_bias_m_s2 1.0000e-7 m/s^2
threshold_m 100 m

Execute#

kshana scenarios/quantum-gnss-free-nav.toml

O que ele fornece#

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

Resultado Valor Unidade
classical_holdover_s 533.733798 s
classical_pos_err_m 37.31297 m
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
improvement_x 8289.499001 1
outage_s 300 s
quantum_holdover_s 44721.318429 s
quantum_pos_err_m 0.004501 m
threshold_m 100 m
O gráfico que o motor escreve para scenarios/quantum-gnss-free-nav.toml, tipo de cenário quantum-gnss-free-nav

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 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 Um objeto TradeEvidence reproduzível (referencial fixo: cenário+semente+motor; valores comuns por figura de mérito, quântico contra clássico, com benefício de polaridade correta, opcional 95%. Referência independente (InternalConsistency): identidades de benefício/vencedor em forma fechada + envoltório fiel do quantum_trade::TradeResult existente; a honestidade está ligada ao registro de representatividade e aos rótulos de verificação
  • MODELLED Navegação por estima com INS quântico (interferômetro de átomos frios) contra INS clássico de grau de navegação durante uma interrupção do GNSS: crescimento do erro de posição, holdover até um limiar de posição,. Referência independente (InternalConsistency): orçamentos inerciais reaproveitados, verificados de forma cruzada contra uma dupla integração independente em Octave da mesma EDO de navegação por estima (ambiente de execução diferente, modelo compartilhado → ReferenceImpl), mais o ruído de curto prazo publicado de Freier-2016 como âncora unilateral; o composto quântico-versus-clássico continua MODELLED

Limitações#

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

  • Navegação quântica sem GNSS, MODELLED: durante uma interrupção do GNSS, um orçamento inercial quântico (interferômetro de átomos frios) contra um INS clássico de grau de navegação — crescimento do erro de posição ao longo da deriva, holdover até um limiar de posição e a comparação quântico-versus-clássico como TradeEvidence honesto, com representatividade. (catálogo de tipos de cenário (kshana kinds --json))
  • Navegação quântica sem GNSS — navegação por estima com INS quântico (interferômetro de átomos frios) contra INS clássico de grau de navegação durante uma interrupção do GNSS. MODELLED; parâmetros ilustrativos de dispositivo, de fonte pública; modela a classe, sem alegação de TRL nem de voo. (comentário do arquivo de cenário, linhas 1 a 3)
  • 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))
  • 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))
  • A evidência de comparação quântico-versus-clássico (forma comum) é MODELLED, não validada: verificada contra a sua própria identidade analítica ou de forma fechada, o que detecta erros de transcrição e de coeficientes, mas não é uma referência externa independente. (matriz de verificação (docs/MODELLED-RATIONALE.md))
  • A navegação quântica sem GNSS é MODELLED, não validada: verificada contra a sua própria identidade analítica ou de forma fechada, o que detecta erros de transcrição e de coeficientes, mas não é uma referência externa independente. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#