time-transfer-budget (тип сценарію)

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

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

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

Один прогін scenarios/time-transfer-budget.toml підсумовується так: time-transfer-budget: europe - north-america зсув 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, змодельована лінія з фліккерним фазовим шумом і добовою нереципрокністю та стабільність будь-якого р

Докази#

MODELLED: рядки матриці верифікації, що називають цей різновид.

• MODELLED Двобічне рівняння TWSTFT, розв'язане для T_A - T_B із затримками передавання й приймання станцій, асиметрією іоносфери діапазону Ku вгору/вниз, різницею затримок транспондера та членами Саньяка, щодо його точної прямої моделі; квадратурна невизначеність

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

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (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 чи звіту про калібрування не порівнювано; задані затримки та невизначеності є вхідними даними, а не виміряними; т

Обмеження#

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

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

Див. також#

• Сторінка родини: Годинники, синхронізація часу та holdover
• Усі різновиди: KINDS.md