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

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

combined-altpnt (вид сценария)

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

Что делает#

Комбинированный навигатор по гравитации, магнитному полю и рельефу при отсутствии GPS: три скалярных канала поля объединяются в каждой путевой точке, чтобы получить более точную (с меньшей границей Крамера — Рао) поправку на дрейф, чем по любому одному полю.

Один прогон scenarios/combined-altpnt.toml сводится к следующему: combined-altpnt | free-inertial drift 70659 m | gravity 464 m magnetic 782 m terrain 368 m | FUSED 365 m

Входные параметры#

Из схемы (kshana kinds --json):

  • Обязательные поля: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
  • Необязательные поля: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

Пример scenarios/combined-altpnt.toml задаёт, среди прочего:

Поле Значение Единица
coeffs[0].cbar 6.0000e-6 не указано
coeffs[0].m 0 не указано
coeffs[0].n 2 не указано
coeffs[0].sbar 0 не указано
coeffs[1].cbar 3.0000e-6 не указано
coeffs[1].m 1 не указано
coeffs[1].n 3 не указано
coeffs[1].sbar 2.0000e-6 не указано
dem_seed 1 не указано
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
gravity_sigma_mgal 3 mGal

Запустите#

kshana scenarios/combined-altpnt.toml

Что он даёт#

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

Результат Значение Единица
combined_m 364.881333 m
evidence.id_rule стабильный идентификатор строки матрицы (ID текст
evidence.matrix docs/VERIFICATION-MATRIX.md текст
evidence.tier MODELLED текст
free_inertial_drift_m 70658.643788 m
gravity_only_m 464.136358 m
magnetic_only_m 782.430009 m
terrain_only_m 367.623242 m
График, который движок строит для scenarios/combined-altpnt.toml, вид combined-altpnt

Доказательства#

Ни одна строка матрицы не называет этот вид по имени; метка его результата принадлежит самому движку и приведена выше.

Строки, которые задействовал сам прогон, с оракулом, который указывает им матрица (публичные источники названы там):

  • MODELLED Сопоставление с гравитационной картой, навигация по рельефу (TERCOM/SITAN), магнитная аномалия. Oracle (InternalConsistency): коэффициенты IGRF-14; граница Крамера — Рао согласованного фильтра из первых принципов. Поле в тесте на реальном гравитационном поле проверено внешне (строка «Gravity-anomaly synthesis from a spherical-harmonic model»), но у его навигационного результата нет внешнего оракула
  • MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED

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

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

  • Альтернативные и дополняющие PNT — MODELLED, а не validated: они проверены по собственному замкнутому или аналитическому тождеству, что выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#