Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/timetransfer.md

timetransfer (scenarietype)

Scenarietype i motoren v0.40.0, familie Ure, tidssynkronisering og holdover. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Optisk mod RF tovejs tids-/frekvensoverførsel.

Én kørsel af scenarios/timetransfer.toml opsummeres som: scenarie 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

Input#

Fra skemaet (kshana kinds --json):

  • Obligatoriske felter: seed, samples, step_s, range_spec_mm, link_quantum, link_classical
  • Valgfrie felter: ingen

Eksemplet scenarios/timetransfer.toml angiver blandt andet:

Felt Værdi Enhed
kind timetransfer tekst
link_classical.id twstft-rf tekst
link_classical.provenance Tovejs tids- og frekvensoverførsel via satellit (TWSTFT, Ku-bå 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 Optisk inter-satellit-forbindelse, synkronisering på picosekundniveau 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 ikke angivet
seed 42 1

Kør den#

kshana scenarios/timetransfer.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
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
Diagrammet, som motoren skriver for scenarios/timetransfer.toml, type timetransfer

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • MODELLED Tovejs/TWSTFT (Sagnac), GNSS common-view, PPP; linkjitter→afstand. Uafhængig reference (ExternalDataset): Sagnac-størrelsen kontrolleret mod en autoritativ OFFENTLIGGJORT VÆRDI: N. Ashby, 'Relativity in the GPS', Living Reviews in Relativity 6:1 (2003), ligning 1,29: en omsejling mod øst langs ækvator giver 207,4 ns (2ωA_E/c²); kshana gengiver 207,386 ns. Uafhængigt bekræftet af RTKLIB 2.4.3 geodist() (Takasu, BSD-2-Clause), som bærer den samme 2Aω/c²-geometri. Det sammensatte BIPM TWSTFT-transponder/common-view/
  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • Fejlbudgettering for tidsoverførsel er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#