time-transfer-budget (вид сценария)

Вид сценария движка v0.40.0, семейство Часы, синхронизация времени и holdover. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не навигационное оборудование с утверждённым типом и не служба обеспечения безопасности жизни. Каждая метка здесь принадлежит движку или матрице верификации; вид считается MODELLED, если матрица не указывает иное (как заслуживается метка: раздел Evidence в README).

Что делает#

Двусторонняя спутниковая передача времени и частоты между двумя станциями через геостационарный ретранслятор: двустороннее уравнение, решённое относительно T_A - T_B, со всеми невзаимными членами (задержки аппаратуры станций, ионосфера в Ku-диапазоне, транспондер, эффект Саньяка), квадратурный бюджет неопределённости, в котором член типа A — это TDEV смоделированной линии на времени усреднения, смоделированная линия с белым и фликкерным фазовым шумом и суточной невзаимностью, а также стабильность (скорость, остаточный RMS, TDEV, ADEV) любого предоставленного ряда BIPM Circular T, раздел 1, CSV вида MJD,ns или записей часов станций IGS RINEX. MODELLED.

Один прогон scenarios/time-transfer-budget.toml сводится к следующему: time-transfer-budget: Европа — Северная Америка, смещение 12,500 ns (эффект Саньяка 204,365 ns, ионосфера 0,0213 ns); суммарная u 1,087 ns (тип A 0,031 ns на 86400 s); 0 реальных рядов (MODELLED)

Входные параметры#

Из схемы (kshana kinds --json):

• Обязательные поля: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty
• Необязательные поля: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series

В примере scenarios/time-transfer-budget.toml среди прочего задано:

Запустите#

kshana scenarios/time-transfer-budget.toml

Что он даёт#

Скалярные результаты этого прогона с единицами, которые указывает движок:

Метка результата (от движка): MODELLED — двустороннее уравнение TWSTFT (задержки станций, ионосфера в Ku-диапазоне, транспондер, эффект Саньяка), решённое по заданным задержкам, квадратурный бюджет неопределённости с TDEV смоделированной линии в качестве члена типа A, смоделированная линия с фликкерным фазовым шумом и суточной невзаимностью и стабильность любого r

Доказательства#

MODELLED: строки матрицы верификации, называющие этот вид.

• MODELLED Двустороннее уравнение TWSTFT, решённое относительно T_A - T_B, с задержками передачи и приёма станций, асимметрией ионосферы Ku-диапазона на восходящей и нисходящей линиях, разностью задержек транспондера и членами эффекта Саньяка, относительно своей точной прямой модели; квадратурная неопределённость

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

• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
• MODELLED Двустороннее уравнение TWSTFT, решённое относительно T_A - T_B, с задержками передачи и приёма станций, асимметрией ионосферы Ku-диапазона на восходящей и нисходящей линиях, разностью задержек транспондера. Оракул (InternalConsistency): внутренняя согласованность: прямая модель и решённое уравнение согласуются до 1e-15 s, член эффекта Саньяка равен независимой контурной форме BIPM 2A omega/c^2 этого модуля, ионосферный член равен 40,3 TEC (1/f_up^2 - 1/f_down^2)/c, а шумовые процессы показывают ожидаемые формы TDEV. ЧТО НЕ СДЕЛАНО: не проводилось сравнения с реальным измерением или отчётом о калибровке TWSTFT; заданные задержки и неопределённости являются входными данными, а не измеренными; t

Ограничения#

Что отчёт самого прогона называет не смоделированным или не проверенным:

• MODELLED — двустороннее уравнение TWSTFT (задержки станций, ионосфера в Ku-диапазоне, транспондер, эффект Саньяка), решённое по заданным задержкам, квадратурный бюджет неопределённости с TDEV смоделированной линии в качестве члена типа A, смоделированная линия с фликкерным фазовым шумом и суточной невзаимностью и стабильность любого предоставленного реального ряда UTC-UTC(k) или часов станции; не сопоставлено с реальной линией TWSTFT (результат label)
• MODELLED. (каталог видов (kshana kinds --json))
• Двусторонняя спутниковая передача времени и частоты (TWSTFT) между двумя ILLUSTRATIVE станциями, одной в центральной Европе и одной на востоке Северной Америки, через геостационарный ретранслятор на 10 deg з. д. Прогон решает двустороннее уравнение относительно T_A - T_B по заданным членам аппаратуры, транспондера, ионосферы (Ku-диапазон, 14/11 GHz) и эффекта Саньяка. Он формирует бюджет неопределённости, статистический член которого — TDEV за одни сутки смоделированной (комментарий в файле сценария, строки 1–8)
• Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Двустороннее уравнение TWSTFT, бюджет неопределённости и стабильность линии с фликкерным шумом и суточной невзаимностью относятся к уровню MODELLED, а не проверены по внешнему эталону: они проверены по собственному замкнутому / аналитическому тождеству — это выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

• Страница семейства: Часы, синхронизация времени и holdover
• Все виды: KINDS.md