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

Сторінки видів сценаріївНа GitHub ще немаєДжерело: docs/kinds/by-kind/lunar-descent.md

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

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

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

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

Один прогін scenarios/lunar-descent.toml підсумовується так: lunar-descent | -89.50 deg | inertial only 517/517 m (E/N) | with aids 7.6/4.8 m | dispersion R95 51 m | 3-sigma ellipse 64 x 62 m | 99,1% inside (expect 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 задає, зокрема:

Поле Значення Одиниця
accel_bias_ug 100 не вказано
afs_cn0_dbhz 35 dB-Hz
afs_first_fix_s 60 s
afs_interval_s 60 s
afs_mode differential text
align_arcmin 3 не вказано
baseline_km 10 km
carried_pos_sigma_m 100 m
carried_vel_sigma_m_s 0.1 m/s
descent_s 600 s
guidance_sigma_m 20 m
gyro_bias_deg_per_hr 0.01 не вказано

Запуск#

kshana scenarios/lunar-descent.toml

Цей різновид використовують 2 вбудовані сценарії; решта — у scenarios/.

Що це дає#

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

Результат Значення Одиниця
afs_mode differential text
aids.afs.clock_aided_three_relay_fix false flag
aids.afs.differential_range_sigma_m 5.011955 m
aids.afs.fix_sigma_east_m 6.446378 m
aids.afs.fix_sigma_north_m 3.879611 m
aids.afs.fixes_used 9 1
aids.afs.relays_visible 7 1
aids.terrain.fix_sigma_east_m 29.602636 m
aids.terrain.fix_sigma_north_m 29.602636 m
aids.terrain.fix_time_s 480 s

Підпис результату (рушія): MODELLED

Діаграма, яку рушій записує для scenarios/lunar-descent.toml, вид lunar-descent

Докази#

MODELLED: рядки матриці верифікації, що називають цей різновид.

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

Рядки, які задіяв сам прогін, з оракулом, що його дає матриця кожному (публічні джерела названі там):

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

Обмеження#

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

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

Див. також#