lunar-descent (вид сценария)

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

Что делает#

MODELLED бюджет разброса посадки при управляемом спуске на южнополярную площадку (класс Artemis). По каждой горизонтальной оси пятисостоянийная модель инерциальной ошибки (положение, скорость, смещение акселерометра, наклон ориентации, смещение гироскопа) приводится в действие удельной силой спуска; последовательный фильтр принимает фиксации положения от включённых средств: фиксацию AFS по видимым ретрансляторам ILLUSTRATIVE орбитальной группировки класса LCNS (автономную или дифференциальную, с использованием остатка линии поправок из lunar-differential-pnt, причём часы поддерживаются, когда видны только три ретранслятора) и рельефную фиксацию (сопоставитель TERCOM/SITAN крейта на синтетическом рельефе либо граница Крамера — Рао для сопоставления окна высот реальной южнополярной цифровой модели рельефа LOLA). Лунное время входит через часы аппарата в моменты фиксаций (смещение LTC-TT из lunar-time-offset или неопределённость его опубликованного диапазона) и как ошибка временной метки вдоль трека. Сообщает эллипс посадки 3-сигма, R95, инерциальные источники в замкнутой форме, вклад каждого средства, абляцию каждой комбинации средств, калибровку эллипса методом Монте-Карло и передаваемую дальше ковариацию. MODELLED: иллюстративный класс ИНС, набор ретрансляторов, профиль спуска и член наведения; рельефная навигация использует синтетический рельеф в земном масштабе метров; доступность AFS — одна эпоха при плоской маске. Не одобрено агентством; программное обеспечение консультативного характера, не сертифицированное навигационное оборудование.

Один прогон scenarios/lunar-descent.toml сводится к следующему: lunar-descent | -89.50 deg | только инерциальная навигация 517/517 m (E/N) | со средствами 7.6/4.8 m | разброс R95 51 m | эллипс 3-сигма 64 x 62 m | 99,1% внутри (ожидается 98,9%) (MODELLED)

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

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

• Обязательные поля: нет
• Необязательные поля: site_lat_deg, site_lon_deg, more_site_lats_deg, descent_s, specific_force_m_s2, horizontal_speed_m_s, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, carried_pos_sigma_m, carried_vel_sigma_m_s, guidance_sigma_m, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, trn_source, trn_fix_time_s, trn_altimeter_sigma_m, trn_map_sigma_m, dem_descriptor, trn_window_m, trn_height_sigma_m, trn_registration_sigma_m, lunar_time_mode, time_since_sync_days, n_trials, seed

Пример scenarios/lunar-descent.toml задаёт, среди прочего:

Запустите#

kshana scenarios/lunar-descent.toml

Этот вид используют 2 поставляемых сценария; остальные находятся в scenarios/.

Что он даёт#

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

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

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

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

• MODELLED Вид и фаза lunar-descent: пятисостоянийная модель инерциальной ошибки по каждой оси (положение, скорость, смещение акселерометра, наклон, смещение гироскопа) на управляемом спуске, поддерживаемая фиксациями AFS (автономными или дифференциальными, с поддержкой часов при трёх ретрансляторах

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

• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
• MODELLED Вид и фаза lunar-descent: пятисостоянийная модель инерциальной ошибки по каждой оси (положение, скорость, смещение акселерометра, наклон, смещение гироскопа) на управляемом спуске,. Оракул (InternalConsistency): Дрейф инерциальной навигации в замкнутой форме, собственные результаты повторно используемых видов и калибровка эллипса 3-сигма (доля внутри него согласуется с ожидаемой) в тестах. С какой-либо совершённой или испытанной посадкой сравнения нет

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

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

• MODELLED (результат label)
• MODELLED бюджет разброса посадки при управляемом спуске на южнополярную площадку (класс Artemis). (каталог видов (kshana kinds --json))
• MODELLED: иллюстративный класс ИНС, набор ретрансляторов, профиль спуска и член наведения; рельефная навигация использует синтетический рельеф в земном масштабе метров; доступность AFS — одна эпоха при плоской маске. (каталог видов (kshana kinds --json))
• ЧЕСТНОСТЬ: MODELLED. Класс ИНС, профиль спуска, набор ретрансляторов, ошибка сигнала в пространстве и член наведения — ILLUSTRATIVE входные данные, а не измерения. Режим рельефной навигации использует автономный синтетический рельеф и земной масштаб метров, поэтому рельефный член здесь описывает поведение сопоставителя на заменителе, а не утверждение о южнополярном рельефе: вариант lola-crlb (lunar-descent-lola.toml) использует реальный (комментарий в файле сценария, строки 14–20)
• Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Бюджет разброса посадки на лунной полярной площадке (lunar-descent) имеет уровень MODELLED, а не проверен независимо: проверено по собственному тождеству в замкнутой или аналитической форме, что выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

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