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-time-transfer.md

quantum-time-transfer (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#

Cadeia de temporização quântica confiável, MODELLED: um orçamento de transferência de tempo de ponta a ponta quântico (relógio de rede óptica + enlace de emaranhamento/fóton único) contra clássico (CSAC + RF de dois sentidos), um nível de proteção de temporização reaproveitado + uma figura de mérito de segurança contra ataque de atraso/repetição (1-P_md), uma probabilidade de detecção de anomalia de relógio + latência do CUSUM, e a comparação quântico-versus-clássico como TradeEvidence honesto, com um registro de representatividade + lacunas até o voo. Parâmetros ilustrativos de dispositivo/enlace de fonte pública; modela a classe, sem alegação de TRL, voo nem certificação.

Uma execução de scenarios/quantum-time-transfer.toml resume-se assim: quantum-time-transfer | quantum chain 1.233e-12s vs classical 5.292e-9s | PL 555,24 ns | security Pd 1,000 (Pfa 1e-3) | anomaly Pd 0,761 | trade quantum wins 2/2 | MODELLED

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

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

Campo Valor Unidade
attack_delay_s 5.0000e-9 s
classical_link_sigma_s 1.0000e-9 s
clock_fault_sigma 4 não indicado
dissemination_interval_s 100 s
integration_s 1 s
kind quantum-time-transfer texto
link_loss_db 30 dB
monitor_pfa 0.001 1

Execute#

kshana scenarios/quantum-time-transfer.toml

O que ele fornece#

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

Resultado Valor Unidade
anomaly_cusum_latency_s 2 s
anomaly_pd 0.760985 1
classical_chain_sigma_s 5.2915e-9 s
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
monitor_pfa 0.001 1
protection_level_ns 555.239402 ns
quantum_chain_sigma_s 1.2332e-12 s
quantum_link_rate_hz 4900 Hz
O gráfico que o motor escreve para scenarios/quantum-time-transfer.toml, tipo de cenário quantum-time-transfer

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

  • VALIDATED Latência de detecção no pior caso do detector CUSUM tabular (⌊h/(z−k)⌋+1) e comprimento médio de execução fora de controle, usados pelo nível de proteção de temporização e pelos monitores de falsificação. Referência independente (ExternalDataset): ARL publicado do CUSUM tabular: aproximação de movimento browniano de Siegmund (1985) (Hawkins & Olwell 1998, eq. 3,7) ancorada de forma cruzada nas tabelas de ARL de Montgomery, Introduction to Statistical Quality Control (Wiley), para k=½, h∈{4.5}; a latência determinística coincide exatamente com uma referência de primeira passagem. O limite TPL composto continua MODELLED
  • MODELLED Bidirecional/TWSTFT (Sagnac), visada comum de GNSS, PPP; jitter do enlace→distância. Referência independente (ExternalDataset): Magnitude de Sagnac conferida contra um VALOR PUBLICADO de autoridade — N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), Eq. 1,29: uma circum-navegação equatorial para leste acumula 207,4 ns (2ωA_E/c²); o kshana reproduz 207,386 ns. Corroborado de forma independente pela geodist() do RTKLIB 2.4.3 (Takasu, BSD-2-Clause), que traz a mesma geometria 2Aω/c². O transponder/visada comum/ BIPM TWSTFT composto
  • 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

Limitações#

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

  • Cadeia de temporização quântica confiável, MODELLED: um orçamento de transferência de tempo de ponta a ponta quântico (relógio de rede óptica + enlace de emaranhamento/fóton único) contra clássico (CSAC + RF de dois sentidos), um nível de proteção de temporização reaproveitado + uma figura de mérito de segurança contra ataque de atraso/repetição (1-P_md), uma probabilidade de detecção de anomalia de relógio + latência do CUSUM, e a comparação quântico-versus-clássico como TradeEvidence honesto, com um registro de representatividade + lacunas até o voo. (catálogo de tipos de cenário (kshana kinds --json))
  • Temporização quântica confiável — cadeia de transferência de tempo de ponta a ponta, disseminação segura, detecção de anomalias e uma comparação quântico-versus-clássico. MODELLED; parâmetros ilustrativos de dispositivo/enlace, 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 orçamento de erros de transferência de tempo é 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 temporização quântica confiável (transferência de tempo + disseminação segura + anomalia) é 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#