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

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

gravity-map (тип сценарію)

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

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

Навігація зіставленням гравітаційної карти в умовах відсутності GPS: холодноатомний гравіметр відновлює сталий дрейф INS за послідовністю гравітаційних аномалій, крізь яку летить.

Один прогін scenarios/gravity-map-nav.toml підсумовується так: gravity-map | вільний інерціальний дрейф 78302 м | зіставлений за гравітацією 1882 м | сигма зіставлення 2.000e0 мГал

Входи#

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

  • Обов'язкові поля: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
  • Необов'язкові поля: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

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

Поле Значення Одиниця
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 не вказано
coeffs[0].m 0 не вказано
coeffs[0].n 2 не вказано
coeffs[0].sbar 0 не вказано
coeffs[1].cbar 2.0000e-6 не вказано
coeffs[1].m 1 не вказано
coeffs[1].n 3 не вказано
coeffs[1].sbar 1.0000e-6 не вказано
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 не вказано

Запуск#

kshana scenarios/gravity-map-nav.toml

Цей тип використовують 4 вбудовані сценарії; решта — у scenarios/.

Що це дає#

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

Результат Значення Одиниця
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
free_inertial_drift_m 78301.878584 m
map_matched_error_m 1881.790568 m
measurement_sigma_mgal 2 mGal
Діаграма, яку рушій записує для scenarios/gravity-map-nav.toml, тип gravity-map

Докази#

Жоден рядок матриці не називає цей тип за назвою; позначка на його результаті — власна позначка рушія, наведена вище.

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

  • 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))

Див. також#