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

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

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

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

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

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

Один прогін scenarios/mission-thread-artemis-class.toml підсумовується так: mission-thread | 11 phases | Artemis-class mission thread (ILLUSTRATIVE) | weakest link descent | MODELLED

Входи#

Зі схеми (kshana kinds --json):

  • Обов'язкові поля: epoch_utc, entry, phase
  • Необов'язкові поля: kind, title, seed, moon_kernel_path, ground_network

Приклад scenarios/mission-thread-artemis-class.toml задає, зокрема:

Поле Значення Одиниця
entry.frame gcrf text
entry.sigma_drift_s_per_s 1.0000e-12 s
entry.sigma_pos_m 10 m
entry.sigma_time_s 1.0000e-7 s
entry.sigma_vel_mps 0.01 m/s
entry.timescale utc text
entry.x [5.2850e6, 1.8802e6, 3.0253e6, -137.105, 385.389, 0] не вказано
epoch_utc 2028-01-01T00:00:00Z text
ground_network.handover_gap_s 120 s
ground_network.min_elevation_deg 10 deg
ground_network.phases[0].geometry moon-direction text
ground_network.phases[0].phase політ text

Запуск#

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

Що це дає#

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

Результат Значення Одиниця
epoch_utc 2028-01-01T00:00:00Z text
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
schema kshana-mission-thread/1 text
seed 20261024 1
weakest_link.basis найменший запас відносно заданої вимо text
weakest_link.limiting_source інерціальний дрейф, без підтримки, схід text
weakest_link.margin 1.213087 1
weakest_link.phase_id спуск text

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

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

Докази#

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 + міжплатформні еталонні шлюзи. Оракул (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: середній стан за пропагатором Cowell рушія (точкова маса Землі та J2, Сонце й Місяць як треті тіла, Місяць із ядра) —. Оракул (InternalConsistency): Теорема Ліувілля (визначник матриці переходу стану консервативної частини дорівнює одиниці) і точніша різниця в тестах; середній стан порівнюється з публічною траєкторією в рядку нижче, якої він не досягає. Похибка маневру, оновлення та коваріація ні з чим не порівнюються

Обмеження#

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

  • MODELLED бюджет похибок навігації та часу заданого ланцюга фаз місії, від старту до входу в атмосферу: старт і виведення, зближення та стикування на низькій навколоземній орбіті (повторюване), транс-місячна ін'єкція та цисмісячний політ, зближення на місячній орбіті, спуск, перебування на поверхні, зліт і повернення та вхід, кожна фаза — один із восьми зареєстрованих видів із власними датчиками й фільтром. (каталог видів (kshana kinds --json))
  • MODELLED: кожне число є заданим входом; ланцюг відповідає одному стеку, і жоден апарат не моделюється. (каталог видів (kshana kinds --json))
  • ЧЕСНІСТЬ. Кожне число тут ILLUSTRATIVE: кругла цифра, обрана, щоб ланцюг працював, а не характеристика будь-якого апарата, датчика, станції чи мережі. Ланцюг відповідає одному стеку як заданому спрощенню; зміна апаратів, передавання екіпажу та місячна орбітальна станція не моделюються, місячні орбіти — це кругові та полярні орбіти висотою 100 km, якими літають місячні види (не майже прямолінійна гало-орбіта), а маневр TLI (коментар у файлі сценарію, рядки 11–17)
  • Відтворюваність і гарантування якості програмного забезпечення — 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))

Див. також#