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

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

Optický oproti RF obousměrný přenos času/frekvence.

Jeden běh scenarios/timetransfer.toml se shrnuje takto: scénář 8f9c2e0e31a5 | optický 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

Vstupy#

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

  • Povinná pole: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
  • Volitelná pole: žádná

Příklad scenarios/timetransfer.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
kind timetransfer text
link_classical.id twstft-rf text
link_classical.provenance Obousměrný družicový přenos času a frekvence (TWSTFT, pásmo Ku text
link_classical.q_rw_s 1.0000e-26 s
link_classical.sigma_j_s 5.0000e-10 s
link_quantum.id optical-isl text
link_quantum.provenance Optický mezidružicový spoj, synchronizace na úrovni pikosekund text
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 neuvedeno
seed 42 1

Spusťte jej#

kshana scenarios/timetransfer.toml

Co poskytuje#

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

Výsledek Hodnota Jednotka
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 text
classical.spec.kind two-way-time-transfer text
classical.spec.params.q_rw 1.0000e-26 1/s
classical.spec.params.q_wf 0 s^2/s
Graf, který engine zapisuje pro scenarios/timetransfer.toml, druh timetransfer

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

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

  • 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

Omezení#

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

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

Viz také#