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

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

Что делает#

MODELLED активный подъём с южно-полярной точки поверхности на орбиту сближения и ковариация положения и скорости, которую он возвращает на орбиту (класс Artemis). Пятисостоянная инерциальная модель ошибок по осям из lunar-descent (положение, скорость, смещение акселерометра, наклон ориентации, смещение гироскопа, возбуждаемые удельной силой) выполняется по всем трём осям площадки от состояния поверхности, с которым фаза начинается; определение положения AFS по видимым ретрансляторам созвездия класса LCNS ILLUSTRATIVE (автономное или дифференциальное, с использованием остатка линии коррекции из lunar-differential-pnt, с поддержкой часов, когда видимы только три ретранслятора) берётся через заданный интервал, при этом лунное время поступает через часы аппарата, а ошибка временной метки — вдоль траектории. Сообщает инерциальные источники в замкнутом виде, вклад средства, абляцию, навигационные 1-сигмы на подъёме, разброс при отсечке двигателя рядом с навигационным знанием и полную ковариацию 6x6 MCI при выводе с сохранённой корреляцией положения и скорости. MODELLED: класс IMU, удельная сила, набор ретрансляторов и разброс при отсечке иллюстративны; ошибки заданы в осях места запуска; номинальное состояние выхода — заместитель. Не одобрено агентством; программное обеспечение консультативного характера, не навигационное оборудование с утверждённым типом.

Один прогон scenarios/lunar-ascent.toml сводится к следующему: lunar-ascent | -89.50 град | только инерциально 785 м / 3,49 м/с | с AFS 11,4 м / 0,071 м/с | разброс при выводе 1,73 м/с (MODELLED)

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

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

• Обязательные поля: нет
• Необязательные поля: site_lat_deg, site_lon_deg, ascent_s, specific_force_m_s2, insertion_altitude_km, accel_bias_ug, align_arcmin, gyro_bias_deg_per_hr, surface_pos_sigma_m, surface_vel_sigma_m_s, cutoff_sigma_m_s, afs_mode, n_relays, mask_deg, afs_cn0_dbhz, sis_ure_m, afs_first_fix_s, afs_interval_s, baseline_km, lunar_time_mode, time_since_sync_days

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

Запустите#

kshana scenarios/lunar-ascent.toml

Что он даёт#

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

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

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

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

• MODELLED Вид и фаза lunar-ascent: пятисостоянная инерциальная модель ошибок по осям на активном подъёме с удельной силой вдоль траектории, с поддержкой определениями AFS и лунным временем, сообщающая ковариацию положения и скорости при выводе, перенос

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

• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
• MODELLED Вид и фаза lunar-ascent: пятисостоянная инерциальная модель ошибок по осям на активном подъёме с удельной силой вдоль траектории, с поддержкой определениями AFS. Оракул (InternalConsistency): инерциальный дрейф в замкнутом виде и проверки монотонности в тестах. Ни один выполненный подъём не сравнивается
• MODELLED Пропагатор, общий для лунных видов (GRAIL GL0660B степени и порядка 150, Земля и Солнце как третьи тела, релятивизм, ориентация Луны по DE440), в сравнении с откр. Оракул (ExternalDataset): эфемериды космических аппаратов JPL Horizons для LRO и CAPSTONE по порогам, зарегистрированным заранее в xval/mission-thread-lunar/PREREGISTRATION.md (поправки 1–6). LRO: MET, наибольшая 3-D разность 33 м и радиальная СКО 2,4 м против 500 м и 60 м. CAPSTONE: NOT MET, разность конечных положений 136,8 км против 25 км и разность перицентра 28,4 км против 10 км, причины не выделены. Строка остаётся смоделированной, потому что порог CAPSTO

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

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

• MODELLED (результат label)
• MODELLED активный подъём с южно-полярной точки поверхности на орбиту сближения и ковариация положения и скорости, которую он возвращает на орбиту (класс Artemis). (каталог видов (kshana kinds --json))
• MODELLED: класс IMU, удельная сила, набор ретрансляторов и разброс при отсечке иллюстративны; ошибки заданы в осях места запуска; номинальное состояние выхода — заместитель. (каталог видов (kshana kinds --json))
• Честная оценка: MODELLED. Класс IMU, выравнивание, удельная сила и разброс при отсечке — входные данные ILLUSTRATIVE, а не измерения. Ошибки заданы в осях восток–север–вверх места запуска, без кривизны траектории по дальности, а номинальное состояние выхода — заместитель в местной вертикали места: результатом является только ковариация. Согласие с каким-либо реальным аппаратом не заявляется. Программное обеспечение консультативного характера, не с (комментарий файла сценария, строки 11–15)
• Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Активный подъём из лунной полярной точки на орбиту вывода (lunar-ascent) имеет уровень MODELLED, а не подтверждён независимо: проверен по собственному тождеству в замкнутом или аналитическом виде — выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
• Распространение по лунной модели сил в сравнении с открытыми восстановленными траекториями лунных орбитальных аппаратов и цислунных аппаратов имеет уровень MODELLED, а не подтверждено независимо: часть заявления проверена внешне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся смоделированной. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

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