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

Сторінки видів сценаріївРедагувати на GitHubДжерело: docs/kinds/by-kind/attitude-budget.md

attitude-budget (різновид сценарію)

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

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

Бюджет похибки орієнтації та наведення за 3 ступенями свободи: найгірший випадок збурювального моменту гравітаційного градієнта ((3/2)(μ/R³)ΔI) і бюджет похибки наведення за коренем із суми квадратів за іменованими внесками 1σ (шум датчиків, тремтіння маховиків, тепловий, співвісність) із домінантним членом, для висоти орбіти + розкиду інерції тіла. MODELLED скалярний бюджет AOCS — доапаратний доповнювач до Basilisk/42, а не симуляція контуру керування / 6 ступенів свободи / гнучких мод.

Один прогін scenarios/attitude-budget.toml підсумовується так: attitude-budget: 600 км, ΔI 40 kg·m² -> момент ГГ 7.04e-5 N·m; наведення 10,7" RSS (домінує: reaction_wheel_jitter) (MODELLED скалярний бюджет)

Входи#

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

  • Обов'язкові поля: немає
  • Необов'язкові поля: altitude_km, i_max_kg_m2, i_min_kg_m2, contributors

Приклад scenarios/attitude-budget.toml задає, серед іншого:

Поле Значення Одиниця
altitude_km 600 km
contributors[0].name star_tracker_noise text
contributors[0].sigma_arcsec 5 arcsec
contributors[1].name reaction_wheel_jitter text
contributors[1].sigma_arcsec 8 arcsec
contributors[2].name thermal_distortion text
contributors[2].sigma_arcsec 4 arcsec
contributors[3].name alignment text
contributors[3].sigma_arcsec 3 arcsec
i_max_kg_m2 100 не вказано
i_min_kg_m2 60 не вказано
kind attitude-budget text

Запуск#

kshana scenarios/attitude-budget.toml

Що це дає#

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

Результат Значення Одиниця
altitude_km 600 km
delta_inertia_kg_m2 40 kg*m^2
dominant_contributor reaction_wheel_jitter text
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier PARTNER text
gravity_gradient_torque_max_nm 7.0383e-5 N*m
total_pointing_error_arcsec 10.677078 arcsec

Позначка результату (рушія): MODELLED — скалярний бюджет похибки AOCS за 3 ступенями свободи: найгірший випадок збурювального моменту гравітаційного градієнта + бюджет наведення за коренем із суми квадратів; НЕ симуляція контуру керування / 6 ступенів свободи / гнучких мод (доапаратний доповнювач до Basilisk/42, а не заміна)

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

Докази#

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

  • VALIDATED Найгірший випадок збурювального моменту гравітаційного градієнта ((3/2)(μ/R³)ΔI) як пік за орієнтацією (підтверджене твердження), а також бюджет похибки наведення за RSS за іменованими внесками 1σ із домінантним доданком (квадратична сума чисел, наданих викликачем. Тести: attitude_gg_torque_reference.rs.

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

  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • VALIDATED Найгірший випадок збурювального моменту гравітаційного градієнта ((3/2)(μ/R³)ΔI) як пік за орієнтацією (підтверджене твердження), а також бюджет похибки наведення за RSS за іменованими внесками 1σ . Оракул (ExternalDataset): Basilisk 2.9.1 GravityGradientEffector (AVSLab, ISC), незалежна реалізація повного тензора моменту гравітаційного градієнта на C++: пік Kshana (3/2)(μ/R³)ΔI дорівнює моменту Basilisk за орієнтації 45 град у межах 1e-12 відносної похибки (найгірше 2.1e-15) для 5 висот і 8 тензорів інерції та обмежує момент Basilisk для 2000 випадкових орієнтацій на кожен випадок; допуск зафіксовано до порівняння. Підтверджене твердження: гравітаційно-
  • PARTNER Не надається — Kshana є симулятором навігаційних характеристик, а не виробником платформ. Оракул (NoneKind): немає: дисципліна, якою володіє партнер, за задумом без модуля і без тесту

Обмеження#

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

  • MODELLED — скалярний 3-DOF бюджет похибок AOCS: найгірший випадок збурювального моменту гравітаційного градієнта + бюджет наведення за RSS; НЕ симуляція контуру керування / 6-DoF / гнучких мод (доапаратне доповнення до Basilisk/42, а не заміна) (результат label)
  • Скалярний бюджет AOCS (MODELLED) — доапаратне доповнення до Basilisk/42, а не симуляція контуру керування / 6-DoF / гнучких мод. (каталог типів (kshana kinds --json))
  • ЧЕСНИЙ ОБСЯГ: скалярний бюджет похибок MODELLED -- доапаратне доповнення до Basilisk/42, а НЕ симуляція контуру керування / 6-DoF / гнучких мод. Складову гравітаційного градієнта подано як момент (щоб перейти до наведення, потрібна жорсткість керування, яка належить викликачу); бюджет є квадратичною сумою наданих внесків 1-sigma. Запуск: kshana scenarios/attitude-budget.toml (коментар у файлі сценарію, рядки 8–13)
  • Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#