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

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

integrity (вид сценария)

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

Что делает#

Снимковый / с разделением решений / ARAIM RAIM с HPL/VPL и диаграммой Стэнфорда.

Один прогон scenarios/integrity-raim.toml кратко выглядит так: integrity | 24 спутников | 344/361 эпох доступно (95,3%) | HAL 40 m VAL 50 m | sigma 1,0 m | Stanford(V): 0 событий целостности, 0 HMI

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

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

  • Обязательные поля: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
  • Необязательные поля: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

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

Поле Значение Единица
al_h_m 40 m
al_v_m 50 m
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 не указано
constellation.planes 6 не указано
constellation.sats_per_plane 4 не указано
kind integrity текст
mask_deg 5 deg
p_fa 1.0000e-5 не указано
p_md 0.001 не указано
seed 7 не указано

Запустите#

kshana scenarios/integrity-raim.toml

3 входящих в поставку сценария используют этот вид; остальные находятся в scenarios/.

Что он даёт#

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

Результат Значение Единица
al_h_m 40 m
al_v_m 50 m
evidence.id_rule стабильный идентификатор строки матрицы (ID текст
evidence.matrix docs/VERIFICATION-MATRIX.md текст
evidence.tier MODELLED текст
samples_available 344 число
samples_total 361 число
stanford.alert_limit_m 50 m
График, который движок строит для scenarios/integrity-raim.toml, вид integrity

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

MODELLED 6 · VALIDATED 4: строки матрицы верификации, в которых назван этот вид.

  • MODELLED Необязательный раздел [integrity] вида clock (clock_integrity::run): по заданным пресетам площадки и орбитальной группировки (geometry::sky_geometry), в каждую эпоху целостности, пока шкала времени GNSS не лишена сигнала, снимок RAIM (raim::snapshot_ Тесты: clock_integrity.rs.
  • VALIDATED TPL разделения решений по скалярному времени для разнородных источников; PL определяется шумом подмножества с наихудшим исключением + смещением UTC(k)
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)); нижняя полунепрерывность PL(0+)≥PL(0−); бегущий максимум K(IR/2); показатели фаз τ/τ³/τ⁵
  • VALIDATED Огибающая бегущего максимума перекрывает с запасом (без пробоя нуля) реальный метрологический ряд при каждом проверенном лаге tau>=90d на непересекающемся сегменте; короткое tau (<=30d) — раскрытая граница уровня Modelled. Тесты: cti_holdover_coverage_reference.rs.
  • и ещё 6 в матрице.

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

  • VALIDATED Разделение решений ARAIM по множественным гипотезам согласно ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels и add_v42_protecti. Оракул (ExternalDataset): три независимых инструмента, предварительно зарегистрированных (0123cee1) до того, как появились какие-либо тестовые данные или выходные данные оракула, допуски зафиксированы тогда же. (1) ARAIM: Stanford MAAST для ARAIM 2 (коммит ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, запущенный как отдельная программа под GNU Octave 8,4 с прокладкой совместимости unique() на стороне драйвера (раскрыта, алгоритм не менялся), при допуске ADD TOL_PL 0,05 м: код на Rust воспроизводит эталонную реализацию ADD на
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP по геометрии линий визирования через Q=(HᵀH)⁻¹ с локальным разложением ENU. Оракул (ExternalDataset): DOP из gnss_lib_py 1.0.4 (Stanford NAV Lab) — независимая библиотека, совпадение до 1e-6 относительной погрешности
  • VALIDATED Распределительное ядро, на котором держится каждый уровень защиты: порог обнаружения отказа по мгновенному снимку χ²₁₋ₚfₐ(dof), параметр нецентральности при пропуске обнаружения pbias=√λ и . Оракул (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — независимая библиотека (Cephes/Boost), другой алгоритм, чем ряд неполной гамма-функции в Kshana; совпадение до ≤1e-6 отн. Только ядро. Распределение бюджета P_HMI в ARAIM MHSS больше не остаётся без опубликованного числового оракула — собственный разобранный пример технической подгруппы по ARAIM рабочей группы WG-C теперь подкрепляет отдельную строку «ARAIM MHSS protection levels against published referen
  • MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED

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

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

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

См. также#