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

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

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

MODELLED активне виведення з південно-полярного місця на поверхні на орбіту зустрічі та коваріація положення–швидкості, яку воно переносить назад на орбіту (клас Artemis). П'ятистанова інерційна модель похибок за віссю з lunar-descent (положення, швидкість, зміщення акселерометра, нахил орієнтації, зміщення гіроскопа, що керується питомою силою) виконується на всіх трьох осях місця від стану на поверхні, з яким фаза входить; фікс положення AFS від видимих ретрансляторів ILLUSTRATIVE угруповання класу LCNS (автономний або диференціальний із залишком каналу корекції з lunar-differential-pnt, з підтримкою годинника, коли видно лише три ретранслятори) береться із заданим інтервалом, при цьому місячний час входить через годинник апарата та похибку мітки часу вздовж траєкторії. Повідомляє замкнені інерційні джерела, внесок допоміжного засобу, абляцію, навігаційні 1-сигми на виведенні, розсіювання при відсічці двигуна поряд з навігаційним знанням і повну коваріацію 6x6 MCI на вході з збереженою кореляцією положення–швидкості. MODELLED: ілюстративний клас IMU, питома сила, набір ретрансляторів і розсіювання при відсічці; похибки утримуються в осях місця запуску; номінальний стан виходу є заступником. Без схвалення агентством; консультативне програмне забезпечення, не сертифіковане навігаційне обладнання.

Один прогін scenarios/lunar-ascent.toml підсумовується так: lunar-ascent | -89.50 deg | лише інерційно 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 + міжплатформні еталонні шлюзи. Оракул (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, 33 м найбільша 3-D різниця та 2,4 м RMS радіально проти 500 м і 60 м. CAPSTONE: NOT MET, різниця кінцевого положення 136,8 км проти 25 км і різниця періапсиду 28,4 км проти 10 км, причини не відокремлено. Рядок є змодельованим, бо поріг CAPSTON

Обмеження#

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

• MODELLED (результат label)
• MODELLED активне виведення з південно-полярного місця на поверхні на орбіту зустрічі та коваріація положення–швидкості, яку воно переносить назад на орбіту (клас Artemis). (каталог видів (kshana kinds --json))
• MODELLED: ілюстративний клас IMU, питома сила, набір ретрансляторів і розсіювання при відсічці; похибки утримуються в осях місця запуску; номінальний стан виходу є заступником. (каталог видів (kshana kinds --json))
• ЧЕСНІСТЬ: MODELLED. Клас IMU, вирівнювання, питома сила та розсіювання при відсічці є ILLUSTRATIVE вхідними даними, а не вимірюваннями. Похибки утримуються в осях схід–північ–вгору місця запуску, без кривизни траєкторії вздовж дальності, а номінальний стан виходу є заступником на місцевій вертикалі місця: результатом є лише коваріація. Узгодження з жодним справжнім апаратом не заявляється. Консультативне програмне забезпечення, не с (коментар файла сценарію, рядки 11–15)
• Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
• Активне виведення з місячного полярного місця на орбіту входу (lunar-ascent) є MODELLED, а не перевіреним (validated): звірено з власною замкненою / аналітичною тотожністю — виявляє помилки перенесення та коефіцієнтів, але не є зовнішнім оракулом. (матриця верифікації (docs/MODELLED-RATIONALE.md))
• Пропагація місячної силової моделі проти публічних відновлених траєкторій місячних орбітальних апаратів і цисмісячного простору є MODELLED, а не перевіреною (validated): окреме підтвердження перевірено зовні, але вся можливість складається із змодельованих частин, тож вона лишається змодельованою. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#

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