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

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

combined-altpnt (тип сценарію)

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

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

Комбінований навігатор за гравітацією + магнітним полем + рельєфом в умовах відсутності GPS: три скалярні канали поля, злиті на кожній шляховій точці для точнішого (з нижчою CRLB) виправлення дрейфу, ніж за будь-яким одним полем.

Один прогін scenarios/combined-altpnt.toml підсумовується так: combined-altpnt | вільний інерціальний дрейф 70659 м | гравітація 464 м магнітне поле 782 м рельєф 368 м | FUSED 365 м

Входи#

Зі схеми (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 text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
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), магнітна аномалія. Оракул (InternalConsistency): коефіцієнти IGRF-14; CRLB узгодженого фільтра з перших принципів. Поле еталонного тесту на реальному гравітаційному полі перевірене зовнішньо (рядок «Gravity-anomaly synthesis from a spherical-harmonic model»), але його навігаційний результат не має зовнішнього оракула
  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED

Обмеження#

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

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

Див. також#