telecom-timing (тип сценарію)

Тип сценарію рушія v0.40.0, родина Годинники, синхронізація часу та holdover. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не навігаційне обладнання із затвердженням типу і не послуга забезпечення безпеки життя. Кожна позначка тут належить рушієві або матриці верифікації; тип вважається MODELLED, якщо матриця не каже іншого (як заробляється позначка: розділ Evidence у README).

Що він робить#

Телекомунікаційна синхронізація: похибка часу, максимальна похибка часового інтервалу (MTIE) і девіація часу (TDEV) для holdover GNSS, перевірені за масками ITU-T із вердиктом PASS або FAIL і запасом для кожної маски. Вхідні дані — це або СИНТЕТИЧНИЙ holdover (пресет генератора -- ocxo, рубідієвий, цезієвий або csac, кожен із показниками стабільності, старіння та температури з названого публічного паспорта Microchip -- плюс час втрати GNSS, довжина запису та інтервал вибірки; вільноходовий годинник має білий, фліккерний і, де цього потребує підгонка за паспортом, випадкове блукання частотного шуму, лінійне старіння та синусоїдальний температурний член), або ЗАВАНТАЖЕНИЙ РЯД пар [time_s, time_error_ns], заданих вбудовано (а лише в рідних збірках — файлом CSV). Маски: ITU-T G.8272 (07/2025) PRTC-A і PRTC-B (max|TE| 100 / 40 ns, MTIE Tables 1-2, TDEV Tables 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC у захопленому стані (30 ns, Tables 1-2) і holdover ePRTC-A (огинаюча похибки часу Table 3, що зростає від 30 ns до 100 ns протягом періоду holdover H, який задає тривалість захопленого стану, MTIE Table 4, TDEV Table 5); G.8273.2 (2023) Amd. 2 (11/2025) класи T-BC/T-TSC A-C (max|TE|, стала похибка часу, MTIE і TDEV після фільтра нижніх частот) і клас D (max|TE_L| 5 ns, єдине значення класу D, не залишене для подальшого вивчення); G.8271.1 (2022) Amd. 3 (05/2025) опорна точка C (max|TE_L| 1100 / 600 / 100 ns з MTIE Tables 7-1 до 7-3). Кожен елемент, який Рекомендація позначає для подальшого вивчення, відсутній, а не домислений, і кожен звіт перелічує, що не реалізовано. Також подає час перевищення кожного бюджету максимальної похибки часу (типово: 100 ns ePRTC max|TE_HO|, 400 ns розподіл holdover мережі, 1100 ns точка C, 1,5 us клас 4), криві MTIE/TDEV як таблицю CSV із кожною межею маски та запис про одиниці й походження для кожного числового поля. VALIDATED: оцінювачі MTIE і TDEV щодо пакета allantools на зафіксованому ряді holdover. MODELLED: таблиці масок є переписаними, а синтетичний holdover — це модель, побудована з паспортних максимумів, а не вимірювання будь-якого екземпляра. Не випробування на відповідність.

Один прогін scenarios/telecom-synce-eec.toml підсумовується так: telecom-timing: max|TE| 488,2 ns за 12000 s; g8262-eec-option-1 FAIL, g8262-eec-option-2 FAIL, g8262-1-eeec FAIL (MODELLED)

Входи#

Зі схеми (kshana kinds --json):

• Обов'язкові поля: немає
• Необов'язкові поля: seed, masks, budgets, holdover, series

Приклад scenarios/telecom-synce-eec.toml задає, серед іншого:

Запуск#

kshana scenarios/telecom-synce-eec.toml

Цей тип використовують 3 вбудовані сценарії; решта — у scenarios/.

Що це дає#

Скалярні результати цього прогону з одиницями, які вказує рушій:

Мітка результату (рушія): MODELLED — похибка часу, MTIE і TDEV, перевірені за переписаними масками ITU-T. Оцінювачі підтверджено щодо allantools; таблиці масок є переписаними з названих Рекомендацій; синтетичний holdover — це модель, побудована з публічних паспортних значень, а не вимірювання будь-якого екземпляра. Не

Докази#

MODELLED 5 · VALIDATED 1: рядки матриці верифікації, що стосуються цього типу.

• VALIDATED Максимальна похибка часового інтервалу та девіація часу, які подає тип сценарію telecom-timing, на записі holdover телекомунікаційного масштабу: ковзне вікно MTIE з монотонною чергою за O(n) (telecom_timing::mtie_sliding, потрібне, щоб доба односекундних вибірок Тести: telecom_timing_reference.rs.
• MODELLED Переписані межі ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. Тести: telecom_timing_reference.rs.
• MODELLED Сім масок MTIE та TDEV для генерації блукання при сталій температурі для типу telecom-timing: G.811 (09/1997) PRC (автономний), G.812 (06/2004) Types I, II і III, G.8262 (10/2024) EEC Options 1 і 2 та G.8262.1 (11/2025) eEEC (у захопленому
• MODELLED clock_log::read_input: один шар розбору, що перетворює файл годинника RINEX (записи AS/AR одного названого годинника, версії 2 та від 3,00 до 3,04), ASCII-журнал фази або частоти в стилі TimeLab чи журнал позначок часу або інтервалів TAPR TICC на єдиний фаз Тести: clock_log_allantools.rs.
• і ще 2 у матриці.

Рядки, які задіяв сам прогін, з оракулом, що його дає матриця кожному (публічні джерела названі там):

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• VALIDATED Максимальна похибка часового інтервалу та девіація часу, які повідомляє вид сценарію telecom-timing для запису holdover телекомунікаційного масштабу: ковзне вікно O(n) на монотонній черзі. Оракул (ExternalDataset): allantools 2024,06 — незалежна стороння бібліотека стабільності частоти — mtie() і tdev() на tests/fixtures/telecom_timing/holdover_te_series.csv, ряд розібрано з того самого тексту з 17 значущими цифрами з обох боків; еталон записує SHA-256 ряду і може бути відтворений офлайн за допомогою tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Перевіряє ОЦІНЮВАЧІ на цьому записі, а не син
• MODELLED Перенесені межі ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. 1 (07/2025) ePRTC у синхронізованому стані та ePRTC-A holdover (зокрема огинна похибки часу з таблиці 3). Оракул (InternalConsistency): Перенесення названих рекомендацій (вільно доступних на itu.int), кожна межа із зазначенням таблиці чи пункту, з переліком усіх непідтверджених або нереалізованих позицій у docs/TELECOM-TIMING.md; тотожності неперервності у точках зламу, які випливають із таблиць, перевіряються в тестах. Перенесення стандарту з перевірками внутрішньої узгодженості, а не тест на відповідність і не зовнішня перевірка за еталоном. 0,30 раунд 2 (попередня реєстрація
• MODELLED Чотири пресети — OCXO (Microchip OX-208), рубідієвий (Microchip 8040C), цезієвий (Microchip 5071A, трубка високої продуктивності) і CSAC (Microchip SA.45s) — кожен із . Оракул (InternalConsistency): чотири названі паспорти Microchip (номери документів і URL у кожному пресеті та в docs/TELECOM-TIMING.md) для вхідних значень; замкнена лінійна лінія старіння та властивість огинаючої підгонки як внутрішні перевірки. Те, як значення стають моделлю шуму — підгонка, правило підлоги, 30-денний місяць, лінійне прочитання температури, — є модельним вибором; жоден пресет не є вимірюванням екземпляра. 0,30 раунд 2, односторонні пороги проти

Обмеження#

Що, за власним звітом прогону, не обчислено за моделлю або не перевірено за зовнішнім еталоном:

• кожна вимога, яку Рекомендації позначають як «для подальшого вивчення» (клас D поза max|TE_L|, holdover ePRTC-B, holdover T-BC/T-TSC із втратою обох входів, мережеві межі TDEV, MTIE і TDEV holdover ePRTC-A понад 10 000 s) (результат not_implemented[0])
• динамічна похибка часу після фільтра верхніх частот (dTE_H, G.8273.2 Table 7-7 і G.8271.1 clauses 7.3.2-7.3.3) (результат not_implemented[1])
• MTIE зі змінною температурою за G.8273.2 Table 7-6 і MTIE holdover за допомогою фізичного рівня за G.8273.2 Table 7-10 (результат not_implemented[2])
• відносна похибка часу (cTE_R, dTE_R,L) між двома виходами (результат not_implemented[3])
• пакетний фільтр ковзного середнього, який G.8272 і G.8272.1 визначають для інтерфейсів PTP: ряд розглядається як похибка часового інтервалу з одним імпульсом на секунду (результат not_implemented[4])
• MODELLED — похибка часу, MTIE і TDEV, перевірені за переписаними масками ITU-T. Оцінювачі підтверджено щодо allantools; таблиці масок є переписаними з названих Рекомендацій; синтетичний holdover — це модель, побудована з публічних паспортних значень, а не вимірювання будь-якого екземпляра. Не випробування на відповідність. (результат label)
• MODELLED: таблиці масок є переписаними, а синтетичний holdover — це модель, побудована з паспортних максимумів, а не вимірювання будь-якого екземпляра. (каталог типів (kshana kinds --json))
• Годинник: пресет OCXO (паспорт Microchip OX-208, Rev 12-1-2021), вільноходовий від першого відліку з білим, фліккерним і (де цього потребує підгонка) випадковим блуканням частотного шуму, підігнаним до максимумів девіації Аллана з паспорта, і його лінійним старінням. Температура тримається сталою (амплітуда 0 K), як припускають маски. (коментар у файлі сценарію, рядки 12–15)

Див. також#

• Сторінка родини: Годинники, синхронізація часу та holdover
• Усі різновиди: KINDS.md
• Тематична сторінка: CLOCK-LOG-FORMATS.md
• Тематична сторінка: LEO-PNT.md