sweep (вид сценария)

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

Что делает#

Одномерный (1-D) перебор для исследования компромисса по параметру пакета часов.

Один прогон scenarios/sweep-clock-stability.toml сводится к следующему: перебор holdover_s по classical_q_wf (1.00e-24..1.00e-18, 25 точек, логарифмическая шкала) | квантовая 6600.000->6600,000 | классическая 2610.000->250,000

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

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

• Обязательные поля: parameter, metric, start, stop, steps, base
• Необязательные поля: scale

В примере scenarios/sweep-clock-stability.toml среди прочего задано:

Запустите#

kshana scenarios/sweep-clock-stability.toml

Что он даёт#

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

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

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

• MODELLED Один прогон принимает план контактов (список окон aos_s/los_s, каждое из которых запрашивает у апертуры навигацию или связь — тот же словарь окон, который выдаёт passes::predict_passes и преобразует aperture_duty::windows_from_passes), число апертур
• MODELLED Переборы доступности вида gnss-ssv: по каждой орбитальной группировке (GPS, GLONASS, Galileo, BDS, QZSS, NavIC) и по всем вместе — доля пар (пользователь, эпоха) с не менее чем одним и не менее чем четырьмя сигналами и наибольший перерыв, для пользователя на сфере
• MODELLED Фаза tli-and-cruise: среднее состояние по пропагатору Коуэлла движка (точечная масса Земли и J2, Солнце и Луна как третьи тела, Луна из ядра DE440 нити там, где оно покрывает сегмент, а Солнце из аналитического ряд
• MODELLED Разделы sweep (от одного до трёх ключей с точками любого вида, по значениям осей обобщённого перебора, при желании с ансамблем в каждом узле) и monte_carlo вида campaign: реализация k запускается при base_seed + k; для каждой метрики выводятся среднее, стандартное откл Тесты: campaign_composition_reference.rs.

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

• MODELLED Рост ошибки при выбеге в замкнутой форме + holdover до порога; классы квантовых часов. Oracle (ReferenceImpl): Многошаговая рекурсия ковариации clock_state (перекрёстная проверка внутри одной кодовой базы); лежащее в основе ядро дисперсии выбега и обращения holdover внешне проверено по scipy (см. «Clock-holdover coast-variance & threshold inversion»). Значения holdover по классам для красного шумового пола остаются MODELLED
• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
• MODELLED Раздел sweep вида campaign (от одного до трёх ключей в точечной записи любого вида, по значениям оси универсального перебора, при необходимости с ансамблем в каждом узле) и monte_carlo. Оракул (InternalConsistency): замкнутая форма случайного блуждания фазы при белом частотном шуме, дисперсия q_wf tau (NIST Technical Note 1337), для статистического аппарата и побайтное равенство с автономными прогонами для задания seed. Проверяется арифметика ансамбля на собственной модели часов движка, а не внешний набор данных

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

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

• Holdover часов в условиях отсутствия GNSS — MODELLED, а не validated: он проверен по отдельной реализации в той же кодовой базе, независимой от проверяемого блока, но не являющейся внешним авторитетным источником. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Перебор параметров и ансамбли Монте-Карло с заданным seed для любого вида сценария имеют уровень MODELLED и не подтверждены внешней проверкой: проверено по собственному тождеству в замкнутой или аналитической форме — выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

• Страница семейства: Часы, синхронизация времени и holdover
• Все виды: KINDS.md
• Тематическая страница: CAMPAIGNS.md
• Тематическая страница: LEO-PNT.md