telecom-timing (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kellad, ajastus ja holdover. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Telekommunikatsiooni ajastus: GNSS-i holdover-i ajaviga, maksimaalne ajaintervalli viga (MTIE) ja ajahälve (TDEV), kontrollitud ITU-T maskide vastu hinnetega PASS või FAIL ja varuga iga maski kohta. Sisend on kas SÜNTEETILINE HOLDOVER (ostsillaatori eelseade -- ocxo, rubiidium, tseesium või csac, igaüks kannab nimetatud avaliku Microchipi andmelehe stabiilsuse, vananemise ja temperatuuri arve -- pluss GNSS-i kaotuse aeg, kirje pikkus ja valimiintervall; vabalt töötav kell kannab valget, flicker- ja, kus andmelehe sobitus seda nõuab, juhusliku kõnni sagedusmüra, lineaarset vananemist ja siinuselist temperatuuriliiget) või SISESTATUD SARI [time_s, time_error_ns] paaridest, antud sisseehitatult (ja ainult natiivsetes ehitustes CSV-fail). Maskid: ITU-T G.8272 (07/2025) PRTC-A ja PRTC-B (max|TE| 100 / 40 ns, MTIE tabelid 1-2, TDEV tabelid 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC lukustatud (30 ns, tabelid 1-2) ja ePRTC-A holdover (tabeli 3 ajavea ümbris, mis tõuseb 30 ns-ilt 100 ns-ni holdover-i perioodi H jooksul, mille määrab lukustatud kestus, MTIE tabel 4, TDEV tabel 5); G.8273.2 (2023) Amd. 2 (11/2025) T-BC/T-TSC klassid A-C (max|TE|, konstantne ajaviga, madalpääsfiltreeritud MTIE ja TDEV) ja klass D (max|TE_L| 5 ns, ainus klassi D arv, mis ei ole jäetud edasiseks uurimiseks); G.8271.1 (2022) Amd. 3 (05/2025) tugipunkt C (max|TE_L| 1100 / 600 / 100 ns koos MTIE tabelitega 7-1 kuni 7-3). Iga kirje, mille Soovitus märgib edasiseks uurimiseks, puudub, mitte ei ole täidetud, ja iga aruanne loetleb, mis ei ole teostatud. Annab aru ka ajast, mil iga maksimaalse ajavea eelarve ületatakse (vaikeväärtused: 100 ns ePRTC max|TE_HO|, 400 ns võrgu holdover-i eraldis, 1100 ns punkt C, 1,5 us klass 4), MTIE/TDEV kõveratest CSV-tabelina koos iga maski piiriga ja ühikute-ja-päritolu kirjest iga arvulise välja kohta. VALIDATED: MTIE ja TDEV hinnangud allantools paketi vastu kinnistatud holdover-i seerial. MODELLED: maskitabelid on ärakirjad ning sünteetiline holdover on andmelehe maksimumidest ehitatud mudel, mitte ühegi üksuse mõõtmine. Mitte standardi järgimise test.

Ühe scenarios/telecom-synce-eec.toml käivituse kokkuvõte: telecom-timing: max|TE| 488,2 ns 12000 s jooksul; g8262-eec-option-1 FAIL, g8262-eec-option-2 FAIL, g8262-1-eeec FAIL (MODELLED)

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: seed, masks, budgets, holdover, series

Näide scenarios/telecom-synce-eec.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/telecom-synce-eec.toml

3 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemuse silt (mootori oma): MODELLED — ajaviga, MTIE ja TDEV kontrollitud ärakirjutatud ITU-T maskide vastu. Hinnangud on valideeritud allantools vastu; maskitabelid on nimetatud Soovituste ärakirjad; sünteetiline holdover on avaliku andmelehe arvudest ehitatud mudel, mitte ühegi üksuse mõõtmine. Mitte standardi järgimise te

Tõendid#

MODELLED 5 · VALIDATED 1: kontrollimaatriksi read, mis nimetavad seda liiki.

• VALIDATED Maksimaalne ajaintervalli viga ja ajahälve, mida stsenaariumi liik telecom-timing teatab telekommunikatsiooni mastaabis holdover-i kirjel: O(n) monotoonse järjekorraga liugakna MTIE (telecom_timing::mtie_sliding, vajalik, et päev ühesekundilisi valimeid Testid: telecom_timing_reference.rs.
• MODELLED ITU-T G.8272 (07/2025) PRTC-A/B ärakirjutatud piirid, G.8272.1 (2024) Amd. Testid: telecom_timing_reference.rs.
• MODELLED Seitse püsitemperatuuri MTIE ja TDEV hälbe tekitamise maski liigile telecom-timing: G.811 (09/1997) PRC (autonoomne), G.812 (06/2004) tüübid I, II ja III, G.8262 (10/2024) EEC valikud 1 ja 2 ning G.8262.1 (11/2025) eEEC (lukus
• MODELLED clock_log::read_input: üks parsimiskiht, mis muudab RINEX-i kellafaili (ühe nimetatud kella AS/AR kirjed, versioonid 2 ja 3,00 kuni 3,04), TimeLab-stiilis ASCII faasi- või sagedusloo või TAPR TICC ajatempli- või intervallilogi ühtseks pha Testid: clock_log_allantools.rs.
• ja veel 2 maatriksis.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
• VALIDATED Maksimaalne ajaintervalli viga ja ajahälve, mida stsenaarium liigiga telecom-timing annab, telekommunikatsiooni mastaabis holdover-kirjel: O(n) monotoonne järjekorra libisev. Sõltumatu etalon (ExternalDataset): allantools 2024,06 — sõltumatu kolmanda osapoole sagedusstabiilsuse teek — mtie() ja tdev() failil tests/fixtures/telecom_timing/holdover_te_series.csv, rida parsitud samast 17 olulise numbriga tekstist mõlemal poolel; etalon salvestab rea SHA-256 ja on võrguühenduseta taasloodav failiga tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Valideerib selle kirje HINNANGUFUNKTSIOONE, mitte sün
• MODELLED ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. 1 (07/2025) ePRTC lukustatud ja ePRTC-A holdover-i ümber kirjutatud piirid (sealhulgas tabeli 3 ajavea ümbrik. Sõltumatu etalon (InternalConsistency): Nimetatud soovituste ümberkirjutus (vabalt allalaetav aadressilt itu.int), iga piir kannab oma tabelit või punkti, loetletud koos iga kinnitamata või realiseerimata punktiga failis docs/TELECOM-TIMING.md; tabelitest tulenevad murdepunktide pidevuse samasused kontrollitakse testides. Standardi ümberkirjutus sisemise kooskõla kontrollidega, mitte standardi järgimise test ega väline valideerimine. 0,30 ring 2 (eelregistree
• MODELLED Neli eelseadet — OCXO (Microchip OX-208), rubiidium (Microchip 8040C), tseesium (Microchip 5071A kõrgjõudlusega toru) ja CSAC (Microchip SA.45s) — igaüks kannab . Sõltumatu etalon (sisemine kooskõla; InternalConsistency): neli nimetatud Microchipi andmelehte (dokumendinumbrid ja URL-id igas eelseades ning failis docs/TELECOM-TIMING.md) sisendarvude jaoks; kinnine vananemisrampp ja sobituse ümbriku omadus sisemiste kontrollidena. See, kuidas arvudest saab müramudel — sobitus, põhjataseme reegel, 30-päevane kuu, lineaarne temperatuurilugemine — on modelleerimisvalik; ükski eelseade ei ole üksuse mõõtmine. 0,30 ring 2, ühepoolsed lävid vastu

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

• iga nõue, mille Soovitused märgivad „edasiseks uurimiseks“ (klass D peale max|TE_L|, ePRTC-B holdover, T-BC/T-TSC holdover mõlema sisendi kaotusega, TDEV võrgupiirid, ePRTC-A holdover MTIE ja TDEV üle 10 000 s) (tulemus not_implemented[0])
• kõrgpääsfiltreeritud dünaamiline ajaviga (dTE_H, G.8273.2 tabel 7-7 ja G.8271.1 punktid 7.3.2-7.3.3) (tulemus not_implemented[1])
• G.8273.2 tabeli 7-6 muutuva temperatuuri MTIE ja G.8273.2 tabeli 7-10 füüsilise kihi abil holdover-i MTIE (tulemus not_implemented[2])
• suhteline ajaviga (cTE_R, dTE_R,L) kahe väljundi vahel (tulemus not_implemented[3])
• liikuva keskmise paketifilter, mida G.8272 ja G.8272.1 esitavad PTP liideste jaoks: seeriat käsitletakse ühe impulsi sekundis ajaintervalli veana (tulemus not_implemented[4])
• MODELLED — ajaviga, MTIE ja TDEV kontrollitud ärakirjutatud ITU-T maskide vastu. Hinnangud on valideeritud allantools vastu; maskitabelid on nimetatud Soovituste ärakirjad; sünteetiline holdover on avaliku andmelehe arvudest ehitatud mudel, mitte ühegi üksuse mõõtmine. Mitte standardi järgimise test. (tulemus label)
• MODELLED: maskitabelid on ärakirjad ning sünteetiline holdover on andmelehe maksimumidest ehitatud mudel, mitte ühegi üksuse mõõtmine. (liikide kataloog (kshana kinds --json))
• Kell: OCXO eelseade (Microchip OX-208 andmeleht, Rev 12-1-2021), vabalt töötav alates esimesest valimist valge, flicker- ja (kus sobitus seda nõuab) juhusliku kõnni sagedusmüraga, mis on sobitatud andmelehe Alani hälbe maksimumidele, ja selle lineaarne vananemine. Temperatuur hoitakse konstantsena (amplituud 0 K), nagu maskid eeldavad. (stsenaariumifaili kommentaar, read 12–15)

Vt ka#

• Perekonna leht: Kellad, ajastus ja holdover
• Kõik liigid: KINDS.md
• Teemaleht: CLOCK-LOG-FORMATS.md
• Teemaleht: LEO-PNT.md