Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/quantum-time-transfer.md

quantum-time-transfer (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Hodiny, časování a holdover. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Řetězec důvěryhodného kvantového časování, stav MODELLED: kompletní rozpočet přenosu času kvantový (hodiny s optickou mřížkou + spoj se spřažením/jednofotonový) oproti klasickému (CSAC + obousměrný RF), znovu použitá ochranná úroveň časování + bezpečnostní ukazatel kvality pro útok zpožděním/přehráním (1-P_md), pravděpodobnost detekce anomálie hodin + latence CUSUM a obchodní srovnání kvantového a klasického přístupu jako otevřené TradeEvidence se záznamem reprezentativnosti + mezer k letu. Ilustrativní parametry zařízení/spoje z veřejných zdrojů; modeluje třídu, netvrdí se žádné TRL/let/certifikace.

Jeden běh scenarios/quantum-time-transfer.toml se shrnuje takto: quantum-time-transfer | kvantový řetězec 1.233e-12s oproti klasickému 5.292e-9s | PL 555,24 ns | zabezpečení Pd 1,000 (Pfa 1e-3) | anomálie Pd 0,761 | obchodní srovnání vítězí kvantový 2/2 | MODELLED

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: žádná
  • Volitelná pole: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

Příklad scenarios/quantum-time-transfer.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
attack_delay_s 5.0000e-9 s
classical_link_sigma_s 1.0000e-9 s
clock_fault_sigma 4 neuvedeno
dissemination_interval_s 100 s
integration_s 1 s
kind quantum-time-transfer text
link_loss_db 30 dB
monitor_pfa 0.001 1

Spusťte jej#

kshana scenarios/quantum-time-transfer.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
anomaly_cusum_latency_s 2 s
anomaly_pd 0.760985 1
classical_chain_sigma_s 5.2915e-9 s
evidence.id_rule stabilní id řádku matice (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier PARTNER text
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
Graf, který engine zapisuje pro scenarios/quantum-time-transfer.toml, druh quantum-time-transfer

Důkazy#

Žádný řádek matice tento druh nejmenuje; označení jeho výsledku je vlastní označení enginu uvedené výše.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • VALIDATED Latence detekce v nejhorším případě detektoru tabulárního CUSUM (⌊h/(z−k)⌋+1) a průměrná délka běhu mimo kontrolu, používané monitory ochranné úrovně časování a spoofingu. Orákulum (ExternalDataset): Publikovaná ARL tabulárního CUSUM: aproximace Brownova pohybu podle Siegmunda (1985) (Hawkins & Olwell 1998, rov. 3,7) křížově ukotvená k tabulkám ARL v Montgomery, Introduction to Statistical Quality Control (Wiley) pro k=½, h∈{4 5}; deterministická latence přesně shodná s orákulem prvního průchodu. Složená mez TPL zůstává MODELLED
  • MODELLED Obousměrný přenos/TWSTFT (Sagnac), společný pohled GNSS, PPP; jitter spoje→vzdálenost. Orákulum (ExternalDataset): Velikost Sagnacova jevu zkontrolována proti autoritativní PUBLIKOVANÉ HODNOTĚ — N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), rov. 1,29: obeplutí rovníku východním směrem nahromadí 207,4 ns (2ωA_E/c²); kshana reprodukuje 207,386 ns. Nezávisle potvrzeno RTKLIB 2.4.3 geodist() (Takasu, BSD-2-Clause), který nese stejnou geometrii 2Aω/c². Složený BIPM TWSTFT transponder/společný pohled/
  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • PARTNER Neposkytuje se — pouze modely výkonu; hardware se studenými atomy a hodinami je záležitostí partnera. Orákulum (NoneKind): žádné: disciplína ve vlastnictví partnera, záměrně bez modulu a bez testu
  • MODELLED Jeden reprodukovatelný objekt TradeEvidence (pevný rámec: scénář+seed+engine; společné hodnoty kvantový-vs-klasický pro každý ukazatel kvality s polaritně správným přínosem, volitelné 95%. Orákulum (InternalConsistency): Identity uzavřeného tvaru pro přínos/vítěze a věrný obal stávajícího quantum_trade::TradeResult; poctivost svázaná s registrem reprezentativnosti a štítky ověření

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • Řetězec důvěryhodného kvantového časování, stav MODELLED: kompletní rozpočet přenosu času kvantový (hodiny s optickou mřížkou + spoj se spřažením/jednofotonový) oproti klasickému (CSAC + obousměrný RF), znovu použitá ochranná úroveň časování + bezpečnostní ukazatel kvality pro útok zpožděním/přehráním (1-P_md), pravděpodobnost detekce anomálie hodin + latence CUSUM a obchodní srovnání kvantového a klasického přístupu jako otevřené TradeEvidence se záznamem reprezentativnosti + mezer k letu. (katalog druhů (kshana kinds --json))
  • Důvěryhodné kvantové časování — kompletní řetězec přenosu času, zabezpečená distribuce, detekce anomálií a obchodní srovnání kvantového a klasického přístupu. MODELLED; ilustrativní parametry zařízení/spoje z veřejných zdrojů; modeluje třídu, žádné tvrzení o TRL ani letu. (komentář v souboru scénáře, řádky 1 až 3)
  • Rozpočet chyb přenosu času je MODELLED, nikoli ověřen proti nezávislé vnější referenci: dílčí tvrzení je zkontrolováno externě, ale celá schopnost skládá dohromady modelované části, takže schopnost zůstává na úrovni vypočtené z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Důkazy z obchodního srovnání kvantového a klasického přístupu (společný tvar) jsou MODELLED, nikoli ověřené: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Důvěryhodné kvantové časování (přenos času + zabezpečená distribuce + anomálie) je MODELLED, nikoli ověřené: zkontrolováno proti vlastní uzavřené / analytické identitě — zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#