Машинний переклад, не перевірений носієм мови. Еталоном є англійська версія.

Сторінки видів сценаріївРедагувати на GitHubДжерело: docs/kinds/by-kind/sweep.md

sweep (тип сценарію)

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

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

1-вимірний перебір для компромісного дослідження за параметром пакета годинника.

Один прогін 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 задає, серед іншого:

Поле Значення Одиниця
base.clock_classical.flicker_floor 2.0000e-11 не вказано
base.clock_classical.id csac-sa45s text
base.clock_classical.provenance Паспорт Microchip SA.45s CSAC sigma_y(1s)=3e-10; q_wf — це s text
base.clock_classical.q_rw 0 не вказано
base.clock_classical.q_wf 9.0000e-20 не вказано
base.clock_classical.y0 5.0000e-10 не вказано
base.clock_quantum.flicker_floor 1.0000e-16 не вказано
base.clock_quantum.id optical-sr-lattice text
base.clock_quantum.provenance Стронцієвий оптичний решітчастий годинник, орієнтована на космос мета sigma_y text
base.clock_quantum.q_rw 0 не вказано
base.clock_quantum.q_wf 1.0000e-30 не вказано
base.clock_quantum.y0 5.0000e-17 не вказано

Запуск#

kshana scenarios/sweep-clock-stability.toml

Що це дає#

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

Результат Значення Одиниця
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
metric holdover_s text
parameter classical_q_wf text
scale log text
Діаграма, яку рушій записує для scenarios/sweep-clock-stability.toml, тип sweep

Докази#

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 до порога; класи квантових годинників. Оракул (ReferenceImpl): Багатокрокова рекурсія коваріації clock_state (перехресна перевірка в тій самій кодовій базі); лежачі в основі ядро дисперсії інерційного руху та інверсії holdover зовнішньо перевірено проти scipy (див. «Clock-holdover coast-variance & threshold inversion»). Показники holdover для кожного класу з порогом червоного шуму лишаються MODELLED
  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • MODELLED Перебір типу campaign (один–три ключі через крапку будь-якого типу, за значеннями осей узагальненого перебору, за потреби з ансамблем у кожному вузлі) та розділи monte_carlo. Оракул (InternalConsistency): Замкнена форма випадкового блукання фази при білому частотному шумі, дисперсія q_wf tau (NIST Technical Note 1337), для статистичного апарату та байтова рівність з окремими прогонами для засівання. Вона перевіряє арифметику ансамблю на власній моделі годинника рушія, а не на зовнішньому наборі даних

Обмеження#

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

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

Див. також#