telecom-timing (skenaariolaji)

Moottorin v0.40.0 skenaariotyyppi, perhe Kellot, ajoitus ja holdover. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

Telekommunikaation ajoitus: GNSS-holdoverin aikavirhe, suurin aikavälivirhe (MTIE) ja aikapoikkeama (TDEV) tarkistettuna ITU-T-maskeja vastaan siten, että jokaiselle maskille annetaan PASS tai FAIL ja marginaali. Syöte on joko SYNTEETTINEN HOLDOVER (oskillaattoriesiasetus -- ocxo, rubidium, caesium tai csac, kukin nimetyn julkisen Microchipin tietolehden vakaus-, ikääntymis- ja lämpötilaluvuin -- sekä GNSS:n menetysaika, tallenteen pituus ja näytteenottoväli; vapaasti käyvä kello kantaa valkoista, flicker- ja, kun tietolehtisovitus sitä tarvitsee, satunnaiskävelytaajuuskohinaa, lineaarista ikääntymistä ja sinimuotoista lämpötilatermiä) tai SISÄÄNOTETTU SARJA [time_s, time_error_ns]-pareja rivinsisäisesti annettuna (ja vain natiivirakennelmissa CSV-tiedostona). Maskit: ITU-T G.8272 (07/2025) PRTC-A ja PRTC-B (max|TE| 100 / 40 ns, MTIE taulukot 1-2, TDEV taulukot 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC lukittuna (30 ns, taulukot 1-2) ja ePRTC-A holdover (taulukon 3 aikavirheen verhokäyrä, joka nousee arvosta 30 ns arvoon 100 ns holdover-jakson H aikana, jonka lukitun keston määrää, MTIE taulukko 4, TDEV taulukko 5); G.8273.2 (2023) Amd. 2 (11/2025) T-BC/T-TSC-luokat A-C (max|TE|, vakioaikavirhe, alipäästösuodatettu MTIE ja TDEV) ja luokka D (max|TE_L| 5 ns, ainoa luokan D luku, jota ei ole jätetty jatkotutkimukseen); G.8271.1 (2022) Amd. 3 (05/2025) vertailupiste C (max|TE_L| 1100 / 600 / 100 ns MTIE-taulukoin 7-1–7-3 kanssa). Jokainen kohta, jonka Suositus merkitsee jatkotutkimukseen, puuttuu sen sijaan että se täytettäisiin, ja jokainen raportti luettelee, mitä ei ole toteutettu. Raportoi myös ajan, jossa kukin enimmäisaikavirhebudjetti ylittyy (oletukset: 100 ns ePRTC max|TE_HO|, 400 ns verkon holdover-varaus, 1100 ns piste C, 1,5 us luokka 4), MTIE-/TDEV-käyrät CSV-taulukkona jokaisen maskin rajan kanssa sekä yksiköt ja alkuperä -merkinnän jokaiselle numeeriselle kentälle. VALIDATED: MTIE- ja TDEV-estimaattorit allantools-pakettia vastaan committoidulla holdover-sarjalla. MODELLED: maskitaulukot ovat transkriptioita, ja synteettinen holdover on tietolehden maksimeista rakennettu malli, ei minkään yksilön mittaus. Ei vaatimustenmukaisuustesti.

Yksi ajo, jossa on scenarios/telecom-synce-eec.toml, tiivistyy seuraavasti: telecom-timing: max|TE| 488,2 ns over 12000 s; g8262-eec-option-1 FAIL, g8262-eec-option-2 FAIL, g8262-1-eeec FAIL (MODELLED)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: seed, masks, budgets, holdover, series

Esimerkki scenarios/telecom-synce-eec.toml asettaa muun muassa seuraavat:

Aja se#

kshana scenarios/telecom-synce-eec.toml

3 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat kohdassa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tuloksen tunniste (moottorin oma): MODELLED — aikavirhe, MTIE ja TDEV tarkistettuna transkriptoituja ITU-T-maskeja vastaan. Estimaattorit on validoitu allantoolsia vastaan; maskitaulukot ovat nimettyjen Suositusten transkriptioita; synteettinen holdover on julkisista tietolehtiluvuista rakennettu malli, ei minkään yksilön mittaus. Ei vaatimustenmukaisuustesti

Todisteet#

MODELLED 5 · VALIDATED 1: tämän lajin nimeävät varmennusmatriisin rivit.

• VALIDATED Suurin aikavälivirhe ja aikapoikkeama, jotka skenaariolaji telecom-timing raportoi telekommunikaatiomittakaavan holdover-tallenteella: O(n) monotoninen jonoliukuikkuna-MTIE (telecom_timing::mtie_sliding, tarpeen jotta yhden sekunnin näytteiden päivä Testit: telecom_timing_reference.rs.
• MODELLED ITU-T G.8272 (07/2025) PRTC-A/B:n, G.8272.1:n (2024) Amd. transkriptoidut rajat. Testit: telecom_timing_reference.rs.
• MODELLED Seitsemän vakiolämpötilan MTIE- ja TDEV-vaelluksen generointimaskia lajille telecom-timing: G.811 (09/1997) PRC (autonominen), G.812 (06/2004) tyypit I, II ja III, G.8262 (10/2024) EEC-optiot 1 ja 2 sekä G.8262.1 (11/2025) eEEC (lukit
• MODELLED clock_log::read_input: yksi jäsennyskerros, joka muuttaa RINEX-kellotiedoston (yhden nimetyn kellon AS/AR-tietueet, versiot 2 ja 3,00–3,04), TimeLab-tyylisen ASCII-vaihe- tai taajuuslokin tai TAPR TICC -aikaleima- tai -väliaikalokin yhtenäiseksi pha Testit: clock_log_allantools.rs.
• ja 2 muuta matriisissa.

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

• MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
• VALIDATED Suurin aikavälivirhe (MTIE) ja aikapoikkeama (TDEV), jotka skenaariotyyppi telecom-timing raportoi telekommunikaatiomittakaavan holdover-tallenteella: O(n) monotoninen jonoliuk. Oraakkeli (ExternalDataset): allantools 2024,06 — riippumaton kolmannen osapuolen taajuusvakauskirjasto — mtie() ja tdev() tiedostolla tests/fixtures/telecom_timing/holdover_te_series.csv, sarja jäsennetty samasta 17 merkitsevän numeron tekstistä molemmilla puolilla; viite tallentaa sarjan SHA-256:n ja on uudelleentuotettavissa offline-tilassa tiedostolla tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Validoi ESTIMAATTORIT tällä tallenteella, ei syn
• MODELLED ITU-T G.8272:n (07/2025) PRTC-A/B, G.8272.1:n (2024) Amd. 1 (07/2025) ePRTC lukitun ja ePRTC-A-holdoverin (mukaan lukien taulukon 3 aikavirheen verho. Oraakkeli (InternalConsistency): Nimettyjen suositusten transkriptio (vapaasti ladattavissa osoitteesta itu.int), jokaisella rajalla on taulukkonsa tai kohtansa, lueteltuna jokaisen vahvistamattoman tai toteuttamattoman kohdan kanssa tiedostossa docs/TELECOM-TIMING.md; taulukoiden implikoimat katkoskohtien jatkuvuusidentiteetit tarkistetaan testeissä. Standardien transkriptio sisäisillä johdonmukaisuustarkistuksilla, ei yhdenmukaisuustesti eikä ulkoinen validointi. 0,30 kierros 2 (ennakkorekisteröity
• MODELLED Neljä esiasetusta — OCXO (Microchip OX-208), rubidium (Microchip 8040C), caesium (Microchip 5071A high-performance tube) ja CSAC (Microchip SA.45s) — kukin kantaa . Oraakkeli (InternalConsistency): Neljä nimettyä Microchipin tietolehteä (asiakirjanumerot ja URL:t jokaisessa esiasetuksessa ja tiedostossa docs/TELECOM-TIMING.md) syöteluvuille; suljetun muodon ikääntymisramppi ja sovituksen verhokäyräominaisuus sisäisinä tarkistuksina. Se, miten luvuista tulee kohinamalli — sovitus, lattiasääntö, 30 päivän kuukausi, lineaarinen lämpötilatulkinta — on mallinnusvalinta; mikään esiasetus ei ole yksilön mittaus. 0,30-kierros 2, yksipuoliset kynnykset vastaan

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• jokainen vaatimus, jonka Suositukset merkitsevät 'jatkotutkimukseen' (luokka D max|TE_L|:n ulkopuolella, ePRTC-B-holdover, T-BC/T-TSC-holdover kummankin syötteen menetettyä, TDEV-verkkorajat, ePRTC-A-holdoverin MTIE ja TDEV yli 10 000 s) (tulos not_implemented[0])
• ylipäästösuodatettu dynaaminen aikavirhe (dTE_H, G.8273.2 taulukko 7-7 ja G.8271.1 kohdat 7.3.2-7.3.3) (tulos not_implemented[1])
• G.8273.2:n taulukon 7-6 muuttuvalämpötilainen MTIE ja G.8273.2:n taulukon 7-10 fyysisen kerroksen avustama holdover-MTIE (tulos not_implemented[2])
• suhteellinen aikavirhe (cTE_R, dTE_R,L) kahden ulostulon välillä (tulos not_implemented[3])
• G.8272:n ja G.8272.1:n PTP-rajapinnoille määrittelemä liukuva keskiarvopakettisuodatin: sarjaa käsitellään yhden pulssin sekunnissa aikavälivirheenä (tulos not_implemented[4])
• MODELLED — aikavirhe, MTIE ja TDEV tarkistettuna transkriptoituja ITU-T-maskeja vastaan. Estimaattorit on validoitu allantoolsia vastaan; maskitaulukot ovat nimettyjen Suositusten transkriptioita; synteettinen holdover on julkisista tietolehtiluvuista rakennettu malli, ei minkään yksilön mittaus. Ei vaatimustenmukaisuustesti. (tulos label)
• MODELLED: maskitaulukot ovat transkriptioita, ja synteettinen holdover on tietolehden maksimeista rakennettu malli, ei minkään yksilön mittaus. (lajiluettelo (kshana kinds --json))
• Kello: OCXO-esiasetus (Microchip OX-208 -tietolehti, Rev 12-1-2021), vapaasti käyvä ensimmäisestä näytteestä alkaen, valkoinen, flicker- ja (kun sovitus sitä tarvitsee) satunnaiskävelytaajuuskohina sovitettuna tietolehden Allanin poikkeaman maksimeihin, sekä sen lineaarinen ikääntyminen. Lämpötila pidetään vakiona (amplitudi 0 K), kuten maskit olettavat. (skenaariotiedoston kommentti, rivit 12–15)

Katso myös#

• Perhesivu: Kellot, ajoitus ja holdover
• Kaikki lajit: KINDS.md
• Aihesivu: CLOCK-LOG-FORMATS.md
• Aihesivu: LEO-PNT.md