reentry (тип сценарію)

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

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

Балістичний коридор входу в атмосферу за Алленом–Еггерсом: пікове гальмування (незалежне від балістичного коефіцієнта, V_e^2 sin|γ|/(2eH)), швидкість і висота в момент пікового g та швидкість пікового нагрівання для швидкості входу / кута траєкторії / балістичного коефіцієнта в експоненційній атмосфері, плюс планарне інтегрування матеріальної точки того самого балістичного входу з гравітацією, кривизною Землі та стандартною атмосферою США 1976 (пікове гальмування, швидкість, висота й час піку). MODELLED балістичний (без підйомної сили) вхід; вихідні дані щодо нагрівання — це ШВИДКІСТЬ пікового нагрівання, а не тепловий потік (без аеротермічної моделі / моделі TPS).

Один прогін scenarios/reentry.toml підсумовується так: reentry (Аллен–Еггерс): V_e 7800 m/s, γ 6,0° -> пік 16,6 g на 49 km, 4731 m/s; нагрівання досягає піку при 6603 m/s; матеріальна точка (гравітація, кривизна, US76) пік 16,4 g (MODELLED балістичний, без аеротермічної моделі)

Входи#

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

• Обов'язкові поля: немає
• Необов'язкові поля: entry_velocity_m_s, flight_path_angle_deg, ballistic_coeff_kg_m2, scale_height_m, rho0_kg_m3, entry_interface_altitude_m

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

Запуск#

kshana scenarios/reentry.toml

Що це дає#

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

Мітка результату (рушія): MODELLED — балістичний вхід за Алленом–Еггерсом (без підйомної сили), експоненційна ізотермічна атмосфера, стала кут траєкторії; пікове g не залежить від балістичного коефіцієнта; нагрівання — це ШВИДКІСТЬ пікового нагрівання, а НЕ тепловий потік (без аеротермічної моделі / моделі TPS)

Докази#

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

• MODELLED Пікове гальмування (незалежне від балістичного коефіцієнта), швидкість + висота в момент пікового g і швидкість пікового нагрівання для балістичного входу в експоненційну атмосферу. Тести: reentry_point_mass_accelerometer_oracle.rs.
• MODELLED Плоский гравітаційний розворот при вертикальному старті багатоступеневого носія над нерухомою сферичною Землею крізь US Standard Atmosphere 1976 (густина й тиск), з імпульсом тангажа, тягою, зменшеною протитиском сопла, вигорянням ступенів у точні с
• MODELLED Фаза entry: зворотний пасивний політ tli-and-cruise без маневру, що закінчується на межі входу; кут траєкторії та його сигма з повної коваріації за градієнтом скінченних різниць; імовірність того, що кут перебуває в межах зада

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

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• MODELLED Пікове гальмування (незалежне від балістичного коефіцієнта), швидкість + висота в момент пікового g і швидкість пікового нагрівання для балістичного входу в експоненційну атмосферу. R. Оракул (InternalConsistency): замкнений аналітичний вхід за Алленом–Еггерсом, додатково перехресно перевірений чисельним інтегруванням scipy 1,18 solve_ivp (DOP853) ТОГО САМОГО ЗДР входу лише з опором (tests/ballistic_re_entry_corridor_reference.rs, 36 випадків, найгірше відн. a_max 2.9e-9) — перевірка чисельного інтеграла проти власної аналітичної форми, тож усе ще InternalConsistency, а НЕ зовнішня перевірка. MODELLED балістичний (без підйомної сили), без аеротермічної моделі / TPS — вихідні дані щодо нагрівання — це ве

Обмеження#

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

• MODELLED — балістичний вхід за Алленом–Еггерсом (без підйомної сили), експоненційна ізотермічна атмосфера, сталий кут траєкторії; пікове g не залежить від балістичного коефіцієнта; нагрівання — це ШВИДКІСТЬ пікового нагрівання, а НЕ тепловий потік (без аеротермічної моделі / моделі TPS) (результат label)
• MODELLED балістичний вхід (без підйомної сили); вихідні дані щодо нагрівання — це ШВИДКІСТЬ пікового нагрівання, а не тепловий потік (без аеротермічної моделі / моделі TPS). (каталог типів (kshana kinds --json))
• ЧЕСНИЙ ОБСЯГ: MODELLED балістичний (без підйомної сили), експоненційна ізотермічна атмосфера, сталий кут траєкторії. Без аеротермічної моделі / моделі TPS -- вихідні дані щодо нагрівання — це ШВИДКІСТЬ пікового нагрівання, а не тепловий потік. Не траєкторія з 3/6 ступенями свободи. Запуск: kshana scenarios/reentry.toml (коментар у файлі сценарію, рядки 8–11)
• Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
• Балістичний коридор входу в атмосферу (Аллен–Еггерс) має рівень MODELLED, а не незалежно підтверджений: його звірено з власною замкненою / аналітичною тотожністю — це виявляє помилки переписування та коефіцієнтів, але не є зовнішнім оракулом. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#

• Сторінка родини: Аналіз місій, лінії та космічні операції
• Усі різновиди: KINDS.md
• Сторінка теми: ENTRY-EO-ASCENT.md