mission-thread (вид сценария)

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

Что делает#

MODELLED бюджет ошибок навигации и времени заданной цепочки фаз миссии от запуска до входа в атмосферу: запуск и выведение, сближение и стыковка на низкой околоземной орбите (повторяемая), транслунная инжекция и цислунный перелёт, сближение на лунной орбите, спуск, пребывание на поверхности, взлёт и возвращение с входом в атмосферу, причём каждая фаза — один из восьми зарегистрированных видов со своими датчиками и фильтром. Ковариация 6x6, часы и система отсчёта передаются от фазы к фазе по заданному правилу (перенос, раздувание или повторный захват); преобразования систем отсчёта и шкал времени (GCRF, MCI, MCMF, UTC, TT, TDB, LTC) — самостоятельные строки бюджета, причём состояние Луны берётся из необязательного фрагмента ядра DE440, а аналитический ряд служит заявленным запасным вариантом. Необязательное наложение наземной сети задаёт долю времени слежения каждой фазы. Сообщает бюджет по фазам (1-сигма на входе, в пике и на выходе, каждый вклад с единицей измерения), запас относительно заданного требования, самое слабое звено, события и рисунок временной шкалы. MODELLED: каждое число — заданный входной параметр; цепочка следует одному стеку, и никакой аппарат не моделируется. Только открытые источники; не связано ни с каким агентством и не одобрено им; программное обеспечение консультативного характера, не сертифицированное навигационное оборудование.

Один прогон scenarios/mission-thread-artemis-class.toml сводится к следующему: mission-thread | 11 фаз | цепочка миссии класса Artemis (ILLUSTRATIVE) | самое слабое звено — спуск | MODELLED

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

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

• Обязательные поля: epoch_utc, entry, phase
• Необязательные поля: kind, title, seed, moon_kernel_path, ground_network

Пример scenarios/mission-thread-artemis-class.toml задаёт, среди прочего:

Запустите#

kshana scenarios/mission-thread-artemis-class.toml

Что он даёт#

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

Метка результата (движка): MODELLED

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

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

• MODELLED Вид mission-thread: документ из фаз, каждая из которых относится к одному из восьми зарегистрированных видов; фазы выполняются по порядку, а ковариация 6x6, часы и система координат передаются по заданному правилу (carry; inflate, белый шум ускорения на заданном интервале Тесты: field_units_global.rs.
• MODELLED Фаза launch-ascent: ковариация положения и скорости при постоянной скорости с белым шумом ускорения (класс счисления пути), фиксация GNSS заданной точности, применяемая после времени захвата и вне заданных замираний, смещение и
• MODELLED Фаза leo-rendezvous: относительное состояние в осях LVLH цели с переходом Клохесси — Уилтшира в замкнутой форме, ковариация Калмана 6x6 с белым шумом ускорения и обновления положения, дисперсия которых — дисперсия датчика на
• MODELLED Фаза tli-and-cruise: среднее состояние по пропагатору Коуэлла движка (точечная масса Земли и J2, Солнце и Луна как третьи тела, Луна из ядра DE440 нити там, где оно покрывает сегмент, а Солнце из аналитического ряд
• и ещё 4 в матрице.

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

• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
• MODELLED Вид mission-thread: документ из фаз, каждая — один из восьми зарегистрированных видов, выполняемых по порядку, с передачей ковариации 6x6, часов и системы отсчёта дальше по. Оракул (InternalConsistency): Ручные расчёты в тестах (рост ковариации при прямолинейном движении, среднее звёздное вращение, вековой ход лунных часов) и, только для состояния Луны, зафиксированные фрагменты ядра DE440 против закреплённых значений JPL Horizons (наихудшие 2,6 m и 7e-6 m/s). Данные какой-либо миссии с цепочкой не сравниваются; её фазы — отдельные строки. Документ — заданная цепочка с ILLUSTRATIVE входными данными, только открытыми источниками и без одобрения какого-либо агентства
• MODELLED Фаза launch-ascent: ковариация положения и скорости при постоянной скорости с белым шумом ускорения (класс счисления пути), фиксация GNSS заданной т. Оракул (InternalConsistency): Установившееся решение Риккати и ручной расчёт предсказания в тестах. Здесь не моделируется ни ракета-носитель, ни приёмник; каждое число — заданный входной параметр
• MODELLED Фаза leo-rendezvous: относительное состояние в осях LVLH цели с переходом Клохесси — Уилтшира в замкнутой форме, ковариация Калмана 6x6 с белым . Оракул (InternalConsistency): Одноосный ручной расчёт предсказания и обновления в тесте; переход Клохесси — Уилтшира — тот, который cw_dynamics проверяет по независимому численному интегрированию. Датчики ILLUSTRATIVE, и никакое реальное сближение не сравнивается
• MODELLED Фаза tli-and-cruise: среднее состояние по пропагатору Коуэлла движка (точечная масса Земли и J2, Солнце и Луна как третьи тела, Луна из третьего. Оракул (InternalConsistency): Теорема Лиувилля (определитель матрицы перехода состояния консервативной части равен единице) и более мелкая разность в тестах; среднее состояние сравнивается с общедоступной траекторией в строке ниже, и она его не выдерживает. Ошибка импульса, обновления и ковариация ни с чем не сравниваются

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

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

• MODELLED бюджет ошибок навигации и времени заданной цепочки фаз миссии от запуска до входа в атмосферу: запуск и выведение, сближение и стыковка на низкой околоземной орбите (повторяемая), транслунная инжекция и цислунный перелёт, сближение на лунной орбите, спуск, пребывание на поверхности, взлёт и возвращение с входом в атмосферу, причём каждая фаза — один из восьми зарегистрированных видов со своими датчиками и фильтром. (каталог видов (kshana kinds --json))
• MODELLED: каждое число — заданный входной параметр; цепочка следует одному стеку, и никакой аппарат не моделируется. (каталог видов (kshana kinds --json))
• ЧЕСТНОСТЬ. Каждое число здесь ILLUSTRATIVE: круглая величина, выбранная для того, чтобы цепочка работала, а не характеристика какого-либо аппарата, датчика, станции или сети. Цепочка следует одному стеку как заданному упрощению; смена аппаратов, переход экипажа и лунная орбитальная станция не моделируются, лунные орбиты — круговая и полярная 100 km, по которым летают лунные виды (а не околопрямолинейная гало-орбита), а импульс TLI (комментарий в файле сценария, строки 11–17)
• Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Бюджет ошибок навигации и времени цепочки фаз миссии от запуска до входа (mission-thread) имеет уровень MODELLED, а не проверен независимо: проверено по собственному тождеству в замкнутой или аналитической форме, что выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Запуск и выведение на орбиту ожидания с захватом GNSS и замиранием (launch-ascent) имеет уровень MODELLED, а не проверен независимо: проверено по собственному тождеству в замкнутой или аналитической форме, что выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Относительная навигация до стыковочного коридора на низкой околоземной орбите по участкам датчиков (leo-rendezvous) имеет уровень MODELLED, а не проверена независимо: проверено по собственному тождеству в замкнутой или аналитической форме, что выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Транслунная инжекция и цислунный перелёт: распространённые среднее состояние и ковариация с обновлениями по слежению (tli-and-cruise) имеют уровень MODELLED, а не проверены независимо: проверено по собственному тождеству в замкнутой или аналитической форме, что выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

• Страница семейства: Цепочки миссий
• Все виды: KINDS.md
• Тематическая страница: MISSION-THREAD.md
• Тематическая страница: MISSION-THREAD-LUNAR.md