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 таблицы 1–2, TDEV таблицы 3–4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC в режиме синхронизации (30 ns, таблицы 1–2) и holdover ePRTC-A (огибающая ошибки времени из таблицы 3, нарастающая с 30 ns до 100 ns за период holdover H, задаваемый длительностью периода в режиме синхронизации, MTIE таблица 4, TDEV таблица 5); G.8273.2 (2023) Amd. 2 (11/2025) классы A–C T-BC/T-TSC (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 таблицы 7-1–7-3). Каждая запись, которую Рекомендация отмечает как предмет дальнейшего изучения, отсутствует, а не заполнена, и каждый отчёт перечисляет то, что не реализовано. Также выводятся время до превышения каждого бюджета максимальной ошибки времени (по умолчанию: 100 ns для max|TE_HO| ePRTC, 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) типы I, II и III, G.8262 (10/2024) EEC варианты 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 в единый pha Тесты: clock_log_allantools.rs.
• и ещё 2 в матрице.

Строки, которые задействовал сам прогон, с оракулом, который указывает им матрица (публичные источники названы там):

• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (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 в захваченном режиме и holdover ePRTC-A (включая огибающую ошибки времени таблицы 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 таблица 7-7 и G.8271.1 пункты 7.3.2–7.3.3) (результат not_implemented[1])
• MTIE при переменной температуре по G.8273.2, таблица 7-6, и MTIE holdover с помощью физического уровня по G.8273.2, таблица 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