telecom-timing (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Hodiny, časování a holdover. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Telekomunikační časování: časová chyba, maximální chyba časového intervalu (MTIE) a časová odchylka (TDEV) holdoveru GNSS, zkontrolované proti maskám ITU-T s výsledkem PASS nebo FAIL a rezervou pro každou masku. Vstupem je buď SYNTETICKÝ HOLDOVER (předvolba oscilátoru -- ocxo, rubidium, cesium nebo csac, každá nese údaje o stabilitě, stárnutí a teplotě z pojmenovaného veřejného katalogového listu Microchip -- plus čas ztráty GNSS, délka záznamu a vzorkovací interval; volně běžící hodiny nesou bílý, flickerový a, kde to proložení katalogového listu vyžaduje, frekvenční šum náhodné procházky, lineární stárnutí a sinusový teplotní člen) nebo NAČTENÁ ŘADA dvojic [time_s, time_error_ns] zadaných přímo (a pouze v nativních sestaveních soubor CSV). Masky: ITU-T G.8272 (07/2025) PRTC-A a PRTC-B (max|TE| 100 / 40 ns, MTIE tabulky 1-2, TDEV tabulky 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC v synchronizovaném stavu (30 ns, tabulky 1-2) a holdover ePRTC-A (obálka časové chyby z tabulky 3 rostoucí z 30 ns na 100 ns po dobu holdoveru H určenou dobou synchronizace, MTIE tabulka 4, TDEV tabulka 5); G.8273.2 (2023) Amd. 2 (11/2025) třídy T-BC/T-TSC A-C (max|TE|, konstantní časová chyba, MTIE a TDEV filtrované dolní propustí) a třída D (max|TE_L| 5 ns, jediný údaj třídy D, který nebyl ponechán k dalšímu studiu); G.8271.1 (2022) Amd. 3 (05/2025) referenční bod C (max|TE_L| 1100 / 600 / 100 ns s MTIE tabulky 7-1 až 7-3). Každá položka, kterou Doporučení označuje k dalšímu studiu, je vynechána, nikoli doplněna, a každá zpráva uvádí, co není implementováno. Uvádí také čas do překročení každého rozpočtu maximální časové chyby (výchozí: 100 ns max|TE_HO| ePRTC, 400 ns přidělení holdoveru sítě, 1100 ns bod C, 1,5 us třída 4), křivky MTIE/TDEV jako tabulku CSV s limitem každé masky a pro každé číselné pole záznam o jednotkách a původu. VALIDATED: odhadovače MTIE a TDEV proti balíčku allantools na potvrzené řadě holdoveru. MODELLED: tabulky masek jsou přepisy a syntetický holdover je model sestavený z maxim katalogových listů, nikoli měření žádného kusu. Nejde o test shody.

Jeden běh scenarios/telecom-synce-eec.toml se shrnuje takto: telecom-timing: max|TE| 488,2 ns za 12000 s; g8262-eec-option-1 FAIL, g8262-eec-option-2 FAIL, g8262-1-eeec FAIL (MODELLED)

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: seed, masks, budgets, holdover, series

Příklad scenarios/telecom-synce-eec.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/telecom-synce-eec.toml

Tento druh používají 3 přibalené scénáře; ostatní jsou v scenarios/.

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Popisek výsledku (z enginu): MODELLED — časová chyba, MTIE a TDEV zkontrolované proti přepsaným maskám ITU-T. Odhadovače jsou ověřeny proti allantools; tabulky masek jsou přepisy pojmenovaných Doporučení; syntetický holdover je model sestavený z veřejných údajů z katalogových listů, nikoli měření žádného kusu. Nejde o test sh

Důkazy#

MODELLED 5 · VALIDATED 1: řádky verifikační matice, které tento druh uvádějí.

• VALIDATED Maximální chyba časového intervalu a časová odchylka, které druh scénáře telecom-timing uvádí, na záznamu holdoveru v telekomunikačním měřítku: MTIE s posuvným oknem a monotónní frontou O(n) (telecom_timing::mtie_sliding, potřebná, aby den jednosekundových vzorků Testy: telecom_timing_reference.rs.
• MODELLED Přepsané limity ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. Testy: telecom_timing_reference.rs.
• MODELLED Sedm masek generace kolísání MTIE a TDEV při konstantní teplotě pro druh telecom-timing: G.811 (09/1997) PRC (autonomní), G.812 (06/2004) typy I, II a III, G.8262 (10/2024) EEC varianty 1 a 2 a G.8262.1 (11/2025) eEEC (synchronizov
• MODELLED clock_log::read_input: jedna vrstva parseru, která převádí soubor hodin RINEX (záznamy AS/AR jedněch pojmenovaných hodin, verze 2 a 3,00 až 3,04), ASCII záznam fáze nebo frekvence ve stylu TimeLab nebo záznam časových značek či intervalů TAPR TICC na jednotnou pha Testy: clock_log_allantools.rs.
• a 2 další v matici.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• VALIDATED Maximální chyba časového intervalu a časová odchylka, které hlásí druh scénáře telecom-timing, na záznamu holdoveru telekomunikačního rozsahu: posuvná fronta monotónní s O(n). Orákulum (ExternalDataset): allantools 2024,06 — nezávislá knihovna třetí strany pro stabilitu frekvence — mtie() a tdev() na tests/fixtures/telecom_timing/holdover_te_series.csv, řada načtená z téhož textu o 17 platných číslicích na obou stranách; reference zaznamenává SHA-256 řady a lze ji offline znovu vygenerovat pomocí tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Ověřuje ESTIMÁTORY na tomto záznamu, ne syn
• MODELLED Přepsané limity ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. 1 (07/2025) ePRTC uzamčený a holdover ePRTC-A (včetně obálky časové chyby z tabulky 3. Orákulum (InternalConsistency): Přepis uvedených doporučení (volně ke stažení na itu.int), každý limit s označením tabulky nebo článku, vypsaný se všemi nepotvrzenými nebo neimplementovanými položkami v docs/TELECOM-TIMING.md; identity spojitosti v zlomových bodech, které tabulky implikují, jsou kontrolovány v testech. Přepis norem s kontrolami vnitřní konzistence, nikoli test shody a nikoli externí validace. 0,30 round 2 (pre-register
• MODELLED Čtyři předvolby — OCXO (Microchip OX-208), rubidium (Microchip 8040C), cesium (vysoce výkonná trubice Microchip 5071A) a CSAC (Microchip SA.45s) — každá nese . Orákulum (InternalConsistency): Čtyři pojmenované katalogové listy Microchip (čísla dokumentů a adresy URL v každé předvolbě a v docs/TELECOM-TIMING.md) pro vstupní údaje; uzavřená rampa stárnutí a obálková vlastnost proložení jako vnitřní kontroly. Jak se údaje stanou modelem šumu — proložení, pravidlo podlahy, 30denní měsíc, lineární čtení teploty — je modelovací volba; žádná předvolba není měřením kusu. 0,30 kolo 2, jednostranné prahy proti

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• každý požadavek, který Doporučení označují „k dalšímu studiu“ (třída D nad rámec max|TE_L|, holdover ePRTC-B, holdover T-BC/T-TSC při ztrátě obou vstupů, síťové limity TDEV, MTIE a TDEV holdoveru ePRTC-A nad 10 000 s) (výsledek not_implemented[0])
• dynamická časová chyba filtrovaná horní propustí (dTE_H, G.8273.2 tabulka 7-7 a G.8271.1 články 7.3.2-7.3.3) (výsledek not_implemented[1])
• MTIE při proměnné teplotě podle G.8273.2 tabulka 7-6 a MTIE holdoveru podporovaného fyzickou vrstvou podle G.8273.2 tabulka 7-10 (výsledek not_implemented[2])
• relativní časová chyba (cTE_R, dTE_R,L) mezi dvěma výstupy (výsledek not_implemented[3])
• paketový filtr klouzavého průměru podle G.8272 a G.8272.1 pro rozhraní PTP: řada se považuje za chybu časového intervalu s jedním pulzem za sekundu (výsledek not_implemented[4])
• MODELLED — časová chyba, MTIE a TDEV zkontrolované proti přepsaným maskám ITU-T. Odhadovače jsou ověřeny proti allantools; tabulky masek jsou přepisy pojmenovaných Doporučení; syntetický holdover je model sestavený z veřejných údajů z katalogových listů, nikoli měření žádného kusu. Nejde o test shody. (výsledek label)
• MODELLED: tabulky masek jsou přepisy a syntetický holdover je model sestavený z maxim katalogových listů, nikoli měření žádného kusu. (katalog druhů (kshana kinds --json))
• Hodiny: předvolba OCXO (katalogový list Microchip OX-208, Rev 12-1-2021), volně běžící od prvního vzorku s bílým, flickerovým a (kde to proložení vyžaduje) frekvenčním šumem náhodné procházky proloženým k maximům Allanovy odchylky z katalogového listu a s lineárním stárnutím. Teplota se drží konstantní (amplituda 0 K), jak masky předpokládají. (komentář v souboru scénáře, řádky 12 až 15)

Viz také#

• Stránka rodiny: Hodiny, časování a holdover
• Všechny druhy: KINDS.md
• Tematická stránka: CLOCK-LOG-FORMATS.md
• Tematická stránka: LEO-PNT.md