time-transfer-budget (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 et de fréquence par satellite entre deux stations via un relais géostationnaire : l'équation bidirectionnelle résolue pour T_A - T_B avec chaque terme non réciproque (retards des équipements de station, ionosphère en bande Ku, transpondeur, Sagnac), un bilan d'incertitude en quadrature dont le terme de type A est le TDEV de la liaison simulée au temps de moyennage, une liaison simulée avec bruit de phase blanc et de scintillation et une non-réciprocité diurne, et la stabilité (dérive, RMS résiduel, TDEV, ADEV) de toute série BIPM Circular T Section 1, CSV MJD,ns ou enregistrements d'horloge de station RINEX IGS fournie. MODELLED.

Une exécution de scenarios/time-transfer-budget.toml se résume ainsi : time-transfer-budget : décalage europe - north-america 12,500 ns (Sagnac 204,365 ns, ionosphère 0,0213 ns) ; u combinée 1,087 ns (type A 0,031 ns à 86400 s) ; 0 série réelle (MODELLED)

Entrées#

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

• Champs obligatoires : station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Champs facultatifs : uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

L'exemple scenarios/time-transfer-budget.toml définit, entre autres :

L'exécuter#

kshana scenarios/time-transfer-budget.toml

Ce qu'il donne#

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

Libellé du résultat (celui du moteur) : MODELLED — équation bidirectionnelle TWSTFT (retards de station, ionosphère en bande Ku, transpondeur, Sagnac) résolue à partir de retards indiqués, un bilan d'incertitude en quadrature avec le TDEV de la liaison simulée comme terme de type A, une liaison simulée avec bruit de phase de scintillation et non-réciprocité diurne, et la stabilité de toute série r

Preuves#

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

• MODELLED L'équation bidirectionnelle TWSTFT résolue pour T_A - T_B avec les retards d'émission et de réception de station, l'asymétrie ionosphérique montante/descendante en bande Ku, la différence de retard de transpondeur et les termes de Sagnac, par rapport à son modèle direct exact ; une incertitude en quadrature

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 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
• MODELLED L'équation bidirectionnelle TWSTFT résolue pour T_A - T_B avec les retards d'émission et de réception de station, l'asymétrie ionosphérique montante/descendante en bande Ku, la différence de retard de transpondeur. Référence indépendante (InternalConsistency) : cohérence interne : le modèle direct et l'équation résolue concordent à 1e-15 s, le terme de Sagnac est égal à la forme en boucle BIPM 2A omega/c^2 indépendante du module, le terme ionosphérique est 40,3 TEC (1/f_up^2 - 1/f_down^2)/c, et les processus de bruit présentent les formes de TDEV attendues. CE QUI N'EST PAS FAIT : aucune mesure TWSTFT réelle ni aucun rapport d'étalonnage n'a été comparé ; les retards et incertitudes indiqués sont des entrées, non mesurées ; t

Limites#

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

• MODELLED — équation bidirectionnelle TWSTFT (retards de station, ionosphère en bande Ku, transpondeur, Sagnac) résolue à partir de retards indiqués, un bilan d'incertitude en quadrature avec le TDEV de la liaison simulée comme terme de type A, une liaison simulée avec bruit de phase de scintillation et non-réciprocité diurne, et la stabilité de toute série réelle UTC-UTC(k) ou d'horloge de station fournie ; non comparé à une vraie liaison TWSTFT (résultat label)
• MODELLED. (catalogue des types de scénario (kshana kinds --json))
• Transfert bidirectionnel de temps et de fréquence par satellite (TWSTFT) entre deux stations ILLUSTRATIVE, l'une en Europe centrale et l'autre dans l'est de l'Amérique du Nord, via un relais géostationnaire à 10 deg O. L'exécution résout l'équation bidirectionnelle pour T_A - T_B à partir des termes indiqués d'équipement, de transpondeur, d'ionosphère (bande Ku, 14/11 GHz) et de Sagnac. Elle forme un bilan d'incertitude dont le terme statistique est le TDEV, à un jour, d'une simula (commentaire du fichier de scénario, lignes 1 à 8)
• 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))
• L'équation bidirectionnelle TWSTFT, le bilan d'incertitude et la stabilité de liaison avec scintillation et non-réciprocité diurne sont MODELLED, non validés : vérifiés par rapport à leur propre identité analytique en forme fermée — détecte les erreurs de transcription et de coefficients, mais n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#

• Page de famille : Horloges, synchronisation temporelle et holdover
• Tous les types de scénario : KINDS.md