Машинный перевод, не проверенный носителем языка. Эталоном служит английская версия.

Страницы видов сценариевПравить на GitHubИсточник: docs/kinds/by-kind/eo-coverage.md

eo-coverage (вид сценария)

Вид сценария движка v0.40.0, семейство Анализ миссий, линии связи и космические операции. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не навигационное оборудование с утверждённым типом и не служба обеспечения безопасности жизни. Каждая метка здесь принадлежит движку или матрице верификации; вид считается MODELLED, если матрица не говорит иного (как заслуживается метка: раздел README «Evidence»).

Что делает#

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

Один прогон scenarios/eo-coverage.toml сводится к следующему: eo-coverage: 700 km, ±7,5° FOV -> 184 km swath, 9,8 m nadir GSD, access to 745 km off-nadir; node spacing 2752 km (gapped) (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 текст
max_off_nadir_deg 45 deg

Запустите#

kshana scenarios/eo-coverage.toml

Что он даёт#

Скалярные результаты этого прогона с единицами, которые указывает движок:

Результат Значение Единица
altitude_km 700 km
contiguous_equatorial_coverage false флаг
earth_angular_radius_deg 64.303554 deg
equatorial_ground_track_spacing_km 2752.173944 km
evidence.id_rule стабильный идентификатор строки матрицы (ID текст
evidence.matrix docs/VERIFICATION-MATRIX.md текст
evidence.tier MODELLED текст
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 и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
  • VALIDATED Геометрия космического треугольника SMAD: угловой радиус Земли, ширина полосы захвата, GSD в надире, максимальный доступ вне надира и период круговой орбиты, а также узловой период первого порядка с учётом J2 (. Oracle (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 % от численного распространения Orekit с J2 и детектором узлов (1

Ограничения#

Что отчёт самого прогона называет не смоделированным или не проверенным:

  • MODELLED — геометрия космического треугольника для сферической Земли; полоса захвата, GSD и доступ определяются геометрически (без радиометрии, MTF, атмосферы, дрожания и бликов), расстояние между трассами на поверхности равно R_e·(ω − Ω̇)·T_nodal с вековыми скоростями J2 первого порядка (result 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, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#