Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/quantum-time-transfer.md

quantum-time-transfer (scenarietype)

Scenarietype i motoren v0.40.0, familie Ure, tidssynkronisering og holdover. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

MODELLED kæde for troværdig kvantetidssynkronisering: et budget for tidsoverførsel fra ende til ende med kvante (optisk gitterur + sammenfiltrings-/enkeltfotonforbindelse) mod klassisk (CSAC + RF tovejs), et genbrugt beskyttelsesniveau for tidssynkronisering + et kvalitetsmål for sikkerhed mod forsinkelses- og genafspilningsangreb (1-P_md), en sandsynlighed for detektion af uranomalier + CUSUM-latens og afvejningen mellem kvante og klassisk som ærlig TradeEvidence med en repræsentativitets- og gaps-to-flight-registrering. Illustrative parametre for enhed og forbindelse fra offentlige kilder; modellerer klassen, ingen TRL/flyvning/certificering påstås.

Én kørsel af scenarios/quantum-time-transfer.toml opsummeres som: quantum-time-transfer | kvantekæde 1.233e-12s mod klassisk 5.292e-9s | PL 555,24 ns | sikkerhed Pd 1,000 (Pfa 1e-3) | anomali Pd 0,761 | afvejning: kvante vinder 2/2 | MODELLED

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: ingen
  • Valgfrie felter: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

Eksemplet scenarios/quantum-time-transfer.toml angiver blandt andet:

Felt Værdi Enhed
attack_delay_s 5.0000e-9 s
classical_link_sigma_s 1.0000e-9 s
clock_fault_sigma 4 ikke angivet
dissemination_interval_s 100 s
integration_s 1 s
kind quantum-time-transfer tekst
link_loss_db 30 dB
monitor_pfa 0.001 1

Kør den#

kshana scenarios/quantum-time-transfer.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
anomaly_cusum_latency_s 2 s
anomaly_pd 0.760985 1
classical_chain_sigma_s 5.2915e-9 s
evidence.id_rule det stabile id for matrixrækken (kolonnen ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
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
Diagrammet, som motoren skriver for scenarios/quantum-time-transfer.toml, type quantum-time-transfer

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • VALIDATED Den værst tænkelige detektionslatens for en tabulær CUSUM-detektor (⌊h/(z−k)⌋+1) og den gennemsnitlige run-længde uden for kontrol, brugt af beskyttelsesniveauet for tidssynkronisering og af spoof-monitorerne. Uafhængig reference (ExternalDataset): offentliggjort ARL for tabulær CUSUM: Siegmunds (1985) tilnærmelse med brownsk bevægelse (Hawkins & Olwell 1998, ligning 3,7) krydsforankret til ARL-tabellerne i Montgomery, Introduction to Statistical Quality Control (Wiley) for k=½, h∈{4.5}; deterministisk latens afstemt nøjagtigt mod en reference for første passage. Den sammensatte grænse for TPL forbliver MODELLED
  • MODELLED Tovejs/TWSTFT (Sagnac), GNSS common-view, PPP; linkjitter→afstand. Uafhængig reference (ExternalDataset): Sagnac-størrelsen kontrolleret mod en autoritativ OFFENTLIGGJORT VÆRDI: N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), ligning 1,29: en omsejling mod øst langs ækvator giver 207,4 ns (2ωA_E/c²); kshana gengiver 207,386 ns. Uafhængigt bekræftet af RTKLIB 2.4.3 geodist() (Takasu, BSD-2-Clause), som bærer den samme 2Aω/c²-geometri. Det sammensatte BIPM TWSTFT-transponder/common-view/
  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
  • PARTNER Ikke leveret: kun ydelsesmodeller; koldatom-/urhardware er en partners. Uafhængig reference (NoneKind): ingen: en disciplin, som partneren ejer, uden modul og uden test i designet
  • MODELLED Ét reproducerbart TradeEvidence-objekt (fast ramme: scenarie+seed+motor; fælles værdier for kvante mod klassisk pr. kvalitetsmål med polaritetskorrekt fordel, valgfri 95%. Uafhængig reference (InternalConsistency): identiteter i lukket form for fordel og vinder + tro indpakning af det eksisterende quantum_trade::TradeResult; ærligheden er knyttet til registeret over repræsentativitet og verifikationsmærkaterne

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • MODELLED kæde for troværdig kvantetidssynkronisering: et budget for tidsoverførsel fra ende til ende med kvante (optisk gitterur + sammenfiltrings-/enkeltfotonforbindelse) mod klassisk (CSAC + RF tovejs), et genbrugt beskyttelsesniveau for tidssynkronisering + et kvalitetsmål for sikkerhed mod forsinkelses- og genafspilningsangreb (1-P_md), en sandsynlighed for detektion af uranomalier + CUSUM-latens og afvejningen mellem kvante og klassisk som ærlig TradeEvidence med en repræsentativitets- og gaps-to-flight-registrering. (typekatalog (kshana kinds --json))
  • Troværdig kvantetidssynkronisering — kæde for tidsoverførsel fra ende til ende, sikker udbredelse, detektion af anomalier og en afvejning mellem kvante og klassisk. MODELLED; illustrative parametre for enhed og forbindelse fra offentlige kilder; modellerer klassen, ingen påstand om TRL eller flyvning. (kommentar i scenariefilen, linje 1 til 3)
  • Fejlbudgettering for tidsoverførsel er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Afvejning mellem kvante og klassisk (fælles form) er MODELLED, ikke valideret: kontrolleret mod dens egen identitet i lukket/analytisk form — det fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Troværdig kvantetidssynkronisering (tidsoverførsel + sikker udbredelse + anomali) er MODELLED, ikke valideret: kontrolleret mod dens egen identitet i lukket/analytisk form — det fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#