quantum-trade (tipo de cenário)

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

Compromisso PNT quântico-vs-clássico (13503): benefício de holdover de temporização + holdover inercial de um relógio candidato (uma curva de ADEV medida — o eixo da defensabilidade — ou uma classe de relógio quântico) vs uma classe de linha de base clássica, com a ressalva do pressuposto de patamar a tau longo transportada no artefacto, mais uma envolvente de resiliência-vs-tempo sem GNSS. MODELLED; quantifica (nunca valida) um dispositivo de parceiro. O relógio candidato é uma curva medida (candidate_adev_taus + candidate_adev_values, de igual comprimento, com pelo menos 2 pontos; prevalece quando ambas as formas são indicadas) ou um candidate_clock_class.

Uma execução de scenarios/quantum-trade.toml resume-se assim: quantum-trade | candidato ADEV medida | holdover de temporização 2621947s vs 203s (12943.62x) | inercial 14108s vs 378s (37.34x) | deslize de resiliência 14108s | MODELLED [ressalva de patamar assumido]

Entradas#

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

• Campos obrigatórios: timing_threshold_s, position_threshold_m, baseline_clock_class, candidate_adev_taus+candidate_adev_values|candidate_clock_class
• Campos opcionais: baseline_ins, candidate_ins, resilience_times_s, alt_pnt_bound_m

O exemplo scenarios/quantum-trade.toml define, entre outros:

Execute-o#

kshana scenarios/quantum-trade.toml

O que dá#

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

Etiqueta de resultado (a do motor): MODELLED — quantifica (nunca valida) um relógio/sensor de parceiro; não demonstrado em voo

Evidências#

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

• VALIDATED Recuperação NNLS de lei de potência (FM branco + patamar de ruído vermelho) a partir de um desvio de Allan medido e publicado da transição de relógio ótico de ⁸⁸Sr — a reproduzir σ_y(τ) e a escala de destaque 4.7e-16/√τ a τ curto com um patamar genuíno medido a τ longo, em vez de Ensaios: optical_clock_adev_reference.rs.
• VALIDATED Ajuste NNLS de ADEV medida, bandas de consistência χ² de NEES/NIS e a covariância de ruído de processo discreto de van Loan do relógio (deslize em holdover) — a espinha dorsal computacional do motor de compromissos Ensaios: scipy_reference.rs.
• MODELLED Ingestão de ADEV medida (NNLS), tabela de compromissos (holdover de temporização/inercial + benefício), envolvente de resiliência-vs-tempo; ressalva de patamar transportada no artefacto.

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

• VALIDATED Ajuste NNLS de ADEV medida, bandas de consistência χ² de NEES/NIS e a covariância de ruído de processo discreto de van Loan do relógio (deslize em holdover) — a espinha dorsal computacional do motor de compromissos. Referência independente (ExternalDataset): scipy 1.17.1 — optimize.nnls / stats.chi2.ppf / linalg.expm; NNLS+Q exatos, χ² <5e-4 nos graus de liberdade operacionais. Apenas núcleos — os números de desempenho dos dispositivos continuam modelados (linha seguinte)
• 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 Ingestão de ADEV medida (NNLS), tabela de compromissos (holdover de temporização/inercial + benefício), envolvente de resiliência-vs-tempo; ressalva de patamar transportada no artefacto. Executável a partir. Referência independente (ExternalDataset): o núcleo de ajuste ADEV medida→PSD (NNLS) coincide com scipy.optimize.nnls (tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs) — um núcleo externo independente; mas os NÚMEROS do compromisso quantificam (nunca validam) um relógio/CAI de parceiro, pelo que o próprio compromisso continua MODELLED, sem halo de validação
• 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

Limitações#

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

• MODELLED — quantifica (nunca valida) um relógio/sensor de parceiro; não demonstrado em voo (resultado label)
• Compromisso PNT quântico-vs-clássico (13503): benefício de holdover de temporização + holdover inercial de um relógio candidato (uma curva de ADEV medida — o eixo da defensabilidade — ou uma classe de relógio quântico) vs uma classe de linha de base clássica, com a ressalva do pressuposto de patamar a tau longo transportada no artefacto, mais uma envolvente de resiliência-vs-tempo sem GNSS. (catálogo de tipos (kshana kinds --json))
• MODELLED; quantifica (nunca valida) um dispositivo de parceiro. (catálogo de tipos (kshana kinds --json))
• Calcula o benefício de holdover de temporização e de holdover inercial de um relógio CANDIDATO face a uma linha de base CLÁSSICA, mais uma envolvente de resiliência-vs-tempo sem GNSS. O patamar do candidato é determinado pela curva de ADEV sobreposta MEASURED de um relógio de parceiro (o eixo da defensabilidade), ajustada por mínimos quadrados não negativos — pelo que o orçamento de holdover assenta em dados reais, e não num patamar assumido a tau longo. (comentário do ficheiro de cenário, linhas 3 a 7)
• ÂMBITO HONESTO: MODELLED — QUANTIFICA o benefício do relógio quântico de um parceiro; NÃO valida o dispositivo e nunca pede emprestadas as ilhas de validação SGP4/Allan/IGS. Quando o patamar de alguma linha é uma predefinição de classe assumida, é apresentada no artefacto uma ressalva de patamar. Executar: kshana scenarios/quantum-trade.toml (comentário do ficheiro de cenário, linhas 9 a 12)
• 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 compromisso PNT quântico-vs-clássico e a resiliência sem GNSS (13503) são MODELLED, não validados: uma subalegação é verificada externamente, mas a capacidade no seu todo compõe peças modeladas, pelo que a capacidade continua modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Ver também#

• Página da família: Sensores inerciais, de fusão e quânticos
• Todos os tipos: KINDS.md
• Página do tema: POSITIONING.md
• Página do tópico: QUANTUM-MODELS.md