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

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

launch-window (вид сценарію)

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

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

Двотільна геометрія запуску та виведення: азимут(и) запуску (sin Az = cos i / cos lat), мінімальний досяжний нахил, колова швидкість, східний бонус від обертання Землі, Δv зміни площини з доглегом, коли цільовий нахил менший за широту майданчика, і кількість добових можливостей запуску. Геометрія сферичної Землі рівня MODELLED (без поправки на трикутник швидкостей обертової Землі, без моделі втрат на виведення/опір).

Один прогін scenarios/launch-window.toml підсумовується так: launch-window: lat 28,5° -> i 51,6°: Az 45,0° asc, v_circ 7669 m/s, +409 m/s Earth-rotation bonus, 2 opportunities/day (MODELLED)

Входи#

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

  • Обов'язкові поля: немає
  • Необов'язкові поля: site_lat_deg, target_inclination_deg, altitude_km, site_lon_deg, epoch, eop_finals2000a

Приклад scenarios/launch-window.toml задає, зокрема:

Поле Значення Одиниця
altitude_km 400 km
kind launch-window text
site_lat_deg 28.5 deg
target_inclination_deg 51.6 deg

Запуск#

kshana scenarios/launch-window.toml

Що це дає#

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

Результат Значення Одиниця
altitude_km 400 km
circular_velocity_m_s 7668.558175 m/s
daily_opportunities 2 кількість
dogleg_plane_change_dv_m_s немає значення m/s
epoch немає значення не вказано
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
launch_azimuth_deg.ascending 44.975133 deg
launch_azimuth_deg.descending 135.024867 deg

Позначка результату (від рушія): MODELLED — двотільна геометрія запуску для сферичної Землі; азимут — це геометричне співвідношення sin(Az)=cos(i)/cos(lat) (без поправки на трикутник швидкостей обертової Землі, без моделі втрат на виведення/опір)

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

Докази#

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

  • MODELLED Двотільний азимут(и) запуску (sin Az = cos i / cos lat), мінімальний досяжний нахил, колова швидкість, східний бонус від обертання Землі, Δv зміни площини з доглегом і добові можливості, а також, за заданої епохи та рядків IERS finals2000A, майданчик

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

  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • MODELLED Двотільний азимут(и) запуску (sin Az = cos i / cos lat), мінімальний досяжний нахил, колова швидкість, східний бонус від обертання Землі, Δv зміни площини д. Оракул (InternalConsistency): Замкнена сферично-тригонометрична геометрія запуску порівняно з опублікованими опорними прикладами (Vallado, Fundamentals of Astrodynamics 4th ed., Algorithm 37 launch-azimuth + Ch.6 plane-change; tests/launch_window_ascent_geometry_reference.rs). Вони повторно використовують ту саму замкнену форму, що реалізована в kshana (перевірка збігу з опублікованим значенням / перенесення, InternalConsistency); двотільна модель рівня MODELLED, без трикутника швидкостей обертової Землі / виведення / опор

Обмеження#

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

  • MODELLED — двотільна геометрія запуску для сферичної Землі; азимут — це геометричне співвідношення sin(Az)=cos(i)/cos(lat) (без поправки на трикутник швидкостей обертової Землі, без моделі втрат на виведення/опір) (результат label)
  • Геометрія сферичної Землі рівня MODELLED (без поправки на трикутник швидкостей обертової Землі, без моделі втрат на виведення/опір). (каталог видів (kshana kinds --json))
  • ЧЕСНИЙ ОБСЯГ: MODELLED. Лише геометричний азимут -- без поправки на трикутник швидкостей обертової Землі (бонус повідомляється окремо, щоб його можна було врахувати), без траєкторії виведення / втрат на опір / моделі керування. Геометрія до Фази A. Запуск: kshana scenarios/launch-window.toml (коментар у файлі сценарію, рядки 8–11)
  • Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
  • Геометрія вікна запуску та виведення (аналіз місії) має рівень MODELLED, її не перевірено за незалежним еталоном: звірено з власною замкненою / аналітичною тотожністю — це виявляє помилки перенесення та коефіцієнтів, але не є зовнішнім оракулом. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#