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

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

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

Optisk jämfört med RF tvåvägs tids- och frekvensöverföring.

En körning av scenarios/timetransfer.toml sammanfattas som: scenario 8f9c2e0e31a5 | optisk 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

Indata#

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

  • Obligatoriska fält: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
  • Valfria fält: inga

Exemplet scenarios/timetransfer.toml anger bland annat:

Fält Värde Enhet
kind timetransfer text
link_classical.id twstft-rf text
link_classical.provenance Tvåvägs tids- och frekvensöverföring via satellit (TWSTFT, Ku-ba 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 Optisk länk mellan satelliter, synkronisering på pikosekundnivå 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 inte angivet
seed 42 1

Kör den#

kshana scenarios/timetransfer.toml

Vad den ger#

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

Resultat Värde Enhet
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
Diagrammet som motorn skriver för scenarios/timetransfer.toml, typ timetransfer

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

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

  • 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

Begränsningar#

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

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

Se även#