Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/quantum-time-transfer.md

quantum-time-transfer (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Zegary, synchronizacja czasu i holdover. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi od silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, o ile macierz nie mówi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Łańcuch zaufanej synchronizacji kwantowej MODELLED: kompletny bilans transferu czasu kwantowego (zegar na sieci optycznej + łącze splątania/pojedynczych fotonów) wobec klasycznego (CSAC + dwukierunkowy RF), ponownie użyty poziom ochrony czasu + miara bezpieczeństwa ataku opóźnienia/odtworzenia (1-P_md), prawdopodobieństwo detekcji anomalii zegara + opóźnienie CUSUM oraz bilans kwantowy a klasyczny jako rzetelne TradeEvidence z zapisem reprezentatywności i luk do lotu. Ilustracyjne parametry urządzeń i łączy ze źródeł publicznych; modeluje klasę, bez deklaracji TRL, lotu ani certyfikacji.

Jeden przebieg scenarios/quantum-time-transfer.toml podsumowuje się tak: quantum-time-transfer | łańcuch kwantowy 1.233e-12s wobec klasycznego 5.292e-9s | PL 555,24 ns | bezpieczeństwo Pd 1,000 (Pfa 1e-3) | anomalia Pd 0,761 | bilans: kwantowy wygrywa 2/2 | MODELLED

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: brak
  • Pola opcjonalne: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma

Przykład scenarios/quantum-time-transfer.toml ustawia między innymi:

Pole Wartość Jednostka
attack_delay_s 5.0000e-9 s
classical_link_sigma_s 1.0000e-9 s
clock_fault_sigma 4 nie podano
dissemination_interval_s 100 s
integration_s 1 s
kind quantum-time-transfer tekst
link_loss_db 30 dB
monitor_pfa 0.001 1

Uruchom#

kshana scenarios/quantum-time-transfer.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
anomaly_cusum_latency_s 2 s
anomaly_pd 0.760985 1
classical_chain_sigma_s 5.2915e-9 s
evidence.id_rule stabilny identyfikator wiersza macierzy (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
Wykres zapisany przez silnik dla scenarios/quantum-time-transfer.toml, rodzaj quantum-time-transfer

Dowody#

Żaden wiersz macierzy nie wymienia tego rodzaju po nazwie; etykieta na jego wyniku jest własną etykietą silnika, powyżej.

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

  • VALIDATED Najgorszy przypadek opóźnienia detekcji detektora tabelarycznego CUSUM (⌊h/(z−k)⌋+1) i średnia długość przebiegu poza kontrolą, używane przez monitory poziomu ochrony czasu i spoofingu. Wyrocznia (ExternalDataset): opublikowane ARL tabelarycznego CUSUM: przybliżenie ruchem Browna wg Siegmunda (1985) (Hawkins i Olwell 1998, wzór 3,7) skotwiczone krzyżowo do tablic ARL z Montgomery, Introduction to Statistical Quality Control (Wiley) dla k=½, h∈{4 5}; deterministyczne opóźnienie zgodne dokładnie z wyrocznią pierwszego przejścia. Złożone ograniczenie TPL pozostaje MODELLED
  • MODELLED Dwukierunkowy/TWSTFT (Sagnac), GNSS common-view, PPP; link-jitter→odległość. Wyrocznia (ExternalDataset): wielkość efektu Sagnaca sprawdzona względem autorytatywnej OPUBLIKOWANEJ WARTOŚCI — N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), równ. 1,29: okrążenie równika ku wschodowi kumuluje 207,4 ns (2ωA_E/c²); kshana odtwarza 207,386 ns. Niezależnie potwierdzone przez RTKLIB 2.4.3 geodist() (Takasu, BSD-2-Clause), który zawiera tę samą geometrię 2Aω/c². Złożony BIPM TWSTFT transponder/common-view/
  • MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
  • PARTNER Nie jest zapewniane — tylko modele wydajności; sprzęt na zimnych atomach/zegary należy do partnera. Wyrocznia (NoneKind): brak: dyscyplina należąca do partnera, z założenia bez modułu i bez testu
  • MODELLED Jeden odtwarzalny obiekt TradeEvidence (stała rama: scenariusz+ziarno+silnik; wspólne wartości kwantowe i klasyczne dla każdego wskaźnika jakości z korzyścią o właściwej polaryzacji, opcjonalny 95%. Wyrocznia (InternalConsistency): tożsamości w postaci zamkniętej dla korzyści i zwycięzcy + wierne opakowanie istniejącego quantum_trade::TradeResult; rzetelność powiązana z rejestrem reprezentatywności i etykietami weryfikacji

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

  • Łańcuch zaufanej synchronizacji kwantowej MODELLED: kompletny bilans transferu czasu kwantowego (zegar na sieci optycznej + łącze splątania/pojedynczych fotonów) wobec klasycznego (CSAC + dwukierunkowy RF), ponownie użyty poziom ochrony czasu + miara bezpieczeństwa ataku opóźnienia/odtworzenia (1-P_md), prawdopodobieństwo detekcji anomalii zegara + opóźnienie CUSUM oraz bilans kwantowy a klasyczny jako rzetelne TradeEvidence z zapisem reprezentatywności i luk do lotu. (katalog rodzajów (kshana kinds --json))
  • Zaufana synchronizacja kwantowa — kompletny łańcuch transferu czasu, bezpieczne rozpowszechnianie, detekcja anomalii i bilans kwantowy a klasyczny. MODELLED; ilustracyjne parametry urządzeń i łączy ze źródeł publicznych; modeluje klasę, bez deklaracji TRL ani lotu. (komentarz w pliku scenariusza, wiersze 1 do 3)
  • Budżetowanie błędu transferu czasu jest MODELLED, nie jest sprawdzone względem niezależnego wzorca: podtwierdzenie jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc możliwość pozostaje oznaczona jako obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Bilans kwantowy a klasyczny (wspólny kształt) jest MODELLED, nie sprawdzony względem niezależnego wzorca zewnętrznego: sprawdzony względem własnej tożsamości w postaci zamkniętej lub analitycznej — wychwytuje błędy przepisania i współczynników, ale nie jest wyrocznią zewnętrzną. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Zaufana synchronizacja kwantowa (transfer czasu + bezpieczne rozpowszechnianie + anomalia) jest MODELLED, nie sprawdzona względem niezależnego wzorca zewnętrznego: sprawdzona względem własnej tożsamości w postaci zamkniętej lub analitycznej — wychwytuje błędy przepisania i współczynników, ale nie jest wyrocznią zewnętrzną. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#