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

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

eo-coverage (тип сценарію)

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

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

Геометрія сліду корисного навантаження спостереження Землі та покриття (космічний трикутник SMAD): кутовий радіус Землі, ширина смуги огляду, відстань вибірки на місцевості в надирі, максимальний доступ поза надиром, коловий період, вузловий період J2 та екваторіальний інтервал трас на поверхні з прапорцем неперервного покриття, для висоти орбіти, нахилу (за замовчуванням сонячно-синхронного) і поля зору сенсора FOV/IFOV. Геометрія сферичної Землі MODELLED (без радіометрії/MTF/атмосфери/тремтіння/відблисків); інтервал вузлів R_e·(ω − Ω̇)·T_nodal із віковими швидкостями J2 першого порядку.

Один прогін scenarios/eo-coverage.toml підсумовується так: eo-coverage: 700 км, ±7,5° FOV -> смуга 184 км, GSD в надирі 9,8 м, доступ до 745 км поза надиром; інтервал вузлів 2752 км (з прогалинами) (MODELLED)

Входи#

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

  • Обов'язкові поля: немає
  • Необов'язкові поля: altitude_km, half_fov_deg, ifov_microrad, max_off_nadir_deg, inclination_deg

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

Поле Значення Одиниця
altitude_km 700 km
half_fov_deg 7.5 deg
ifov_microrad 14 не вказано
kind eo-coverage text
max_off_nadir_deg 45 deg

Запуск#

kshana scenarios/eo-coverage.toml

Що це дає#

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

Результат Значення Одиниця
altitude_km 700 km
contiguous_equatorial_coverage false flag
earth_angular_radius_deg 64.303554 deg
equatorial_ground_track_spacing_km 2752.173944 km
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
half_fov_deg 7.5 deg
inclination_deg 98.187982 deg
max_access_ground_range_km 745.175016 km

Позначка результату (від рушія): MODELLED — геометрія космічного трикутника сферичної Землі; смуга/GSD/доступ є геометричними (без радіометрії/MTF/атмосфери/тремтіння/відблисків), інтервал трас на поверхні дорівнює R_e·(ω − Ω̇)·T_nodal із віковими швидкостями J2 першого порядку

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

Докази#

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

  • VALIDATED Геометрія космічного трикутника SMAD: кутовий радіус Землі, ширина смуги огляду, GSD в надирі, максимальний доступ поза надиром і коловий період, а також вузловий період J2 першого порядку (eo_payload::j2_nodal_period) та екваторіальний інтервал трас на поверхні R_e (omega_ Тести: eo_payload_coverage_reference.rs.

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

  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • VALIDATED Геометрія космічного трикутника SMAD: кутовий радіус Землі, ширина смуги огляду, GSD в надирі, максимальний доступ поза надиром і коловий період, а також вузловий період J2 першого порядку (. Оракул (ExternalDataset): Orekit 12,2 (Apache-2.0) і GeographicLib 2,1 (MIT), обидва запущені як окремі програми, попередньо зареєстровані (766823f3) до зміни рушія та до будь-якого прогону оракула: величини сфери в межах 1e-9 відносної похибки (найгірше: кутовий радіус 5.4e-16, смуга 7.0e-13, доступ 1.9e-14), період 1e-12 (1.6e-16), GSD в надирі 1e-7 (2.9e-10), вузловий період J2 та інтервал вузлів у межах 0,1 % від числового поширення J2 в Orekit з детектором вузлів (1

Обмеження#

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

  • MODELLED — геометрія космічного трикутника сферичної Землі; смуга/GSD/доступ є геометричними (без радіометрії/MTF/атмосфери/тремтіння/відблисків), інтервал трас на поверхні дорівнює R_e·(ω − Ω̇)·T_nodal із віковими швидкостями J2 першого порядку (результат label)
  • Геометрія сферичної Землі MODELLED (без радіометрії/MTF/атмосфери/тремтіння/відблисків); інтервал вузлів R_e·(ω − Ω̇)·T_nodal із віковими швидкостями J2 першого порядку. (каталог типів (kshana kinds --json))
  • ЧЕСНИЙ ОБСЯГ: лише геометрія сферичної Землі MODELLED -- без моделі радіометрії / MTF / атмосфери / тремтіння наведення / сонячних відблисків. Інтервал трас на поверхні дорівнює R_e*(omega - dOmega/dt)*T_nodal із віковими швидкостями J2 першого порядку; нахил за замовчуванням є сонячно-синхронним для цієї висоти. Запуск: kshana scenarios/eo-coverage.toml (коментар у файлі сценарію, рядки 7–11)
  • Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#