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/timetransfer.md

timetransfer (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#

Optyczny i radiowy (RF) dwukierunkowy transfer czasu i częstotliwości: porównanie.

Jeden przebieg scenarios/timetransfer.toml daje następujące podsumowanie: scenario 8f9c2e0e31a5 | optical sync_rms 0.98ps range_rms 0.293mm adev(1s) 1.73e-12 | RF sync_rms 1137.3ps range_rms 341.0mm adev(1s) 8.65e-10

Wejścia#

Ze schematu (kshana kinds --json):

  • Pola wymagane: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
  • Pola opcjonalne: brak

Przykład scenarios/timetransfer.toml ustawia między innymi:

Pole Wartość Jednostka
kind timetransfer tekst
link_classical.id twstft-rf tekst
link_classical.provenance Dwukierunkowy satelitarny transfer czasu i częstotliwości (TWSTFT, pasmo Ku tekst
link_classical.q_rw_s 1.0000e-26 s
link_classical.sigma_j_s 5.0000e-10 s
link_quantum.id optical-isl tekst
link_quantum.provenance Optyczne łącze międzysatelitarne, synchronizacja na poziomie pikosekund tekst
link_quantum.q_rw_s 1.0000e-32 s
link_quantum.sigma_j_s 1.0000e-12 s
range_spec_mm 10 mm
samples 600 nie podano
seed 42 1

Uruchom#

kshana scenarios/timetransfer.toml

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
classical.fom.adev_tau0 8.6527e-10 1
classical.fom.range_p95_mm 636.83765 mm
classical.fom.range_rms_mm 340.957818 mm
classical.fom.sync_p95_ps 2124.261745 ps
classical.fom.sync_rms_ps 1137.312862 ps
classical.fom.within_spec_fraction 0.026667 1
classical.spec.id twstft-rf tekst
classical.spec.kind two-way-time-transfer tekst
classical.spec.params.q_rw 1.0000e-26 1/s
classical.spec.params.q_wf 0 s^2/s
Wykres zapisywany przez silnik dla scenarios/timetransfer.toml, rodzaj timetransfer

Dowody#

MODELLED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

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

  • 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

Ograniczenia#

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

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

Zobacz też#