Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/quantum-time-transfer.md

quantum-time-transfer (scenariotyp)

Scenariotyp i motor v0.40.0, familj Klockor, tidssynkronisering och holdover. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

MODELLED kedja för betrodd kvanttidssynkronisering: en heltäckande budget för tidsöverföring med kvant (optisk gitterklocka + intrasslings-/enfotonslänk) mot klassisk (CSAC + RF tvåvägs), en återanvänd skyddsnivå för tidssynkronisering + ett säkerhetskvalitetsmått för fördröjnings-/återuppspelningsattacker (1-P_md), en detektionssannolikhet för klockanomalier + CUSUM-latens, och avvägningen kvant mot klassisk som ärlig TradeEvidence med en representativitets- och gap-till-flyg-post. Illustrativa parametrar för enhet/länk från offentliga källor; modellerar klassen, inget TRL/flygerfarenhet/certifiering görs gällande.

En körning av scenarios/quantum-time-transfer.toml sammanfattas som: 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

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: inga
  • Valfria fält: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

Exemplet scenarios/quantum-time-transfer.toml anger bland annat:

Fält Värde Enhet
attack_delay_s 5.0000e-9 s
classical_link_sigma_s 1.0000e-9 s
clock_fault_sigma 4 inte angivet
dissemination_interval_s 100 s
integration_s 1 s
kind quantum-time-transfer text
link_loss_db 30 dB
monitor_pfa 0.001 1

Kör den#

kshana scenarios/quantum-time-transfer.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
anomaly_cusum_latency_s 2 s
anomaly_pd 0.760985 1
classical_chain_sigma_s 5.2915e-9 s
evidence.id_rule det stabila id:t för matrisraden (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
Diagrammet som motorn skriver för scenarios/quantum-time-transfer.toml, typ quantum-time-transfer

Evidens#

Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • VALIDATED Värsta-fall-detektionslatens (⌊h/(z−k)⌋+1) för tabulär CUSUM-detektor och genomsnittlig körlängd utanför kontroll, som används av skyddsnivån för tidssynkronisering och spoof-övervakarna. Oberoende referens (ExternalDataset): Publicerad tabulär CUSUM-ARL: Siegmunds (1985) approximation med brownsk rörelse (Hawkins & Olwell 1998, ekv. 3,7) korsförankrad mot ARL-tabellerna i Montgomery, Introduction to Statistical Quality Control (Wiley) för k=½, h∈{4 5}; deterministisk latens matchad exakt mot ett förstapassage-orakel. Den sammansatta TPL-gränsen förblir MODELLED
  • MODELLED Tvåvägs/TWSTFT (Sagnac), GNSS common-view, PPP; länkjitter→avstånd. Oracle (ExternalDataset): Sagnac-storleken kontrollerad mot ett auktoritativt PUBLICERAT VÄRDE — N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), Eq. 1,29: ett ekvatorialt varv åt öster ackumulerar 207,4 ns (2ωA_E/c²); kshana återskapar 207,386 ns. Oberoende bekräftat av RTKLIB 2.4.3 geodist() (Takasu, BSD-2-Clause), som bär samma 2Aω/c²-geometri. Den sammansatta BIPM TWSTFT-transpondern/common-view/
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • PARTNER Tillhandahålls inte — endast prestandamodeller; kallatoms-/klockhårdvaran är en partners. Oracle (NoneKind): ingen: en disciplin som ägs av partner, utan modul och utan test av utformning
  • MODELLED Ett reproducerbart TradeEvidence-objekt (fast ram: scenario+frö+motor; gemensamma värden per kvalitetsmått för kvant mot klassisk med fördel med rätt polaritet, valfritt 95 %. Oberoende referens (InternalConsistency): Identiteter i sluten form för fördel/vinnare + en trogen inpackning av den befintliga quantum_trade::TradeResult; ärligheten är knuten till representativitetsregistret och verifieringsetiketterna

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • MODELLED kedja för betrodd kvanttidssynkronisering: en heltäckande budget för tidsöverföring med kvant (optisk gitterklocka + intrasslings-/enfotonslänk) mot klassisk (CSAC + RF tvåvägs), en återanvänd skyddsnivå för tidssynkronisering + ett säkerhetskvalitetsmått för fördröjnings-/återuppspelningsattacker (1-P_md), en detektionssannolikhet för klockanomalier + CUSUM-latens, och avvägningen kvant mot klassisk som ärlig TradeEvidence med en representativitets- och gap-till-flyg-post. (typkatalog (kshana kinds --json))
  • Betrodd kvanttidssynkronisering — heltäckande kedja för tidsöverföring, säker spridning, anomalidetektering och en avvägning kvant mot klassisk. MODELLED; illustrativa parametrar för enhet/länk från offentliga källor; modellerar klassen, inget TRL-/flygpåstående. (kommentar i scenariofilen, rad 1 till 3)
  • Felbudgetering för tidsöverföring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan består av modellerade delar, så förmågan förblir Modelled. (verification matrix (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Jämförande evidens för kvant mot klassisk (gemensam form) är MODELLED, inte validerad: kontrollerad mot sin egen slutna analytiska identitet. Det fångar överförings- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Betrodd kvanttidssynkronisering (tidsöverföring + säker spridning + anomali) är MODELLED, inte validerad: kontrollerad mot sin egen slutna analytiska identitet. Det fångar överförings- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#