Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Pages des types de scénarioModifier sur GitHubSource : docs/kinds/by-kind/timetransfer.md

timetransfer (type de scénario)

Type de scénario du moteur v0.40.0, famille Horloges, synchronisation temporelle et holdover. À titre consultatif : résultat d'analyse issu d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf indication contraire de la matrice (comment une étiquette s'obtient : section Evidence du README).

Ce qu'il fait#

Transfert bidirectionnel de temps/fréquence optique contre RF.

Une exécution de scenarios/timetransfer.toml se résume ainsi : scénario 8f9c2e0e31a5 | optique 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

Entrées#

D'après le schéma (kshana kinds --json) :

  • Champs obligatoires : seed, samples, step_s, range_spec_mm, link_quantum, link_classical
  • Champs facultatifs : aucun

L'exemple scenarios/timetransfer.toml définit, entre autres :

Champ Valeur Unité
kind timetransfer texte
link_classical.id twstft-rf texte
link_classical.provenance Transfert bidirectionnel de temps et de fréquence par satellite (TWSTFT, bande Ku texte
link_classical.q_rw_s 1.0000e-26 s
link_classical.sigma_j_s 5.0000e-10 s
link_quantum.id optical-isl texte
link_quantum.provenance Liaison optique intersatellite, synchronisation au niveau de la picoseconde texte
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 non indiqué
seed 42 1

L'exécuter#

kshana scenarios/timetransfer.toml

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Résultat Valeur Unité
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 texte
classical.spec.kind two-way-time-transfer texte
classical.spec.params.q_rw 1.0000e-26 1/s
classical.spec.params.q_wf 0 s^2/s
Le graphique que le moteur écrit pour scenarios/timetransfer.toml, type timetransfer

Preuves#

MODELLED : les lignes de la matrice de vérification qui nomment ce type de scénario.

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

  • MODELLED Aller-retour/TWSTFT (Sagnac), vue commune GNSS, PPP ; gigue de liaison→distance. Référence indépendante (ExternalDataset) : amplitude de Sagnac vérifiée par rapport à une VALEUR PUBLIÉE faisant autorité — N. Ashby, « Relativity in the GPS », Living Reviews in Relativity 6:1 (2003), éq. 1,29 : un tour de l'équateur vers l'est accumule 207,4 ns (2ωA_E/c²) ; kshana reproduit 207,386 ns. Corroboré indépendamment par geodist() de RTKLIB 2.4.3 (Takasu, BSD-2-Clause), qui porte la même géométrie 2Aω/c². Le BIPM TWSTFT composite transpondeur/vue commune/
  • MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

  • Le budget d'erreur du transfert de temps est MODELLED, et non validé : une sous-affirmation est vérifiée en externe, mais la capacité entière compose des éléments modélisés, de sorte que la capacité reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))
  • La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#