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

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

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

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

Что делает#

Подавление по бюджету линии: J/S → эффективное C/N₀ → потеря захвата.

Один прогон scenarios/jamming-demo.toml кратко выглядит так: сценарий 5aac34b045c7 | подавление (jamming) ВКЛ | доступность при подавлении 0,00 (номинально 1,00) | мин. слежение 0 | средн. J/S 72,2 dB

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

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

  • Обязательные поля: seed, time, receiver, constellation
  • Необязательные поля: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

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

Поле Значение Единица
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 не указано
constellation.planes 6 не указано
constellation.sats_per_plane 4 не указано
jammer.bandwidth_mhz 20 MHz
jammer.gain_dbi 0 dBi
jammer.jammer_type широкополосное текст
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming текст
mask_deg 5 deg

Запустите#

kshana scenarios/jamming-demo.toml

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

Что он даёт#

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

Результат Значение Единица
evidence.id_rule стабильный идентификатор строки матрицы (ID текст
evidence.matrix docs/VERIFICATION-MATRIX.md текст
evidence.tier PARTNER текст
fom.availability_nominal 1 1
fom.availability_under_jamming 0 1
fom.mean_js_db 72.164862 dB
fom.min_tracking 0 число
jammer_present true флаг
seed 1 1
График, который движок строит для scenarios/jamming-demo.toml, вид jamming

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

MODELLED: строки матрицы верификации, называющие этот вид.

  • MODELLED Геометрический бюджет линии J/S, C/N₀ с защитой от подавления, потеря захвата по каждому спутнику. Тесты: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Отчёт hybrid-optical-rf задаёт доступность RF-линии, составленную из величин, которые движок уже вычисляет, а не из импортированной климатологии, и задаёт состав как именованное правило: A_rf = I_closure * I_track, где I_clos
  • MODELLED Лунное отношение «помеха/сигнал», эффективное C/N₀ и потеря захвата для пользователя на селенографической поверхности при подавителе на лунной поверхности (или приподнятом) над иллюстративной орбитальной группировкой класса Moonlight/LCNS из общедоступных источников.
  • MODELLED Отчёт lunar-jamming больше не опирается в своём контуре отказа на один скаляр.
  • и ещё 5 в матрице.

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

  • MODELLED Геометрический бюджет линии связи J/S, C/N₀ при защите от подавления, потеря захвата по каждому спутнику. Оракул (InternalConsistency): уравнение бюджета линии связи для C/N₀ при защите от подавления сверено с независимым повторным выводом на numpy (используется та же замкнутая формула → InternalConsistency), плюс характеристика ухудшения C/N₀ по реальным данным JammerTest-2024. 0,30 раунд 2, заблокировано (остаётся MODELLED): измеренное падение C/N0 в JammerTest 2024 по сравнению с прогнозом бюджета линии связи (предварительно зарегистрировано 6a66994b, в пределах 3 дБ) не проводилось, потому что положение и ориентация антенны F8.1 на
  • MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
  • PARTNER Не обеспечивается — Kshana моделирует характеристики сигнала, а не аппаратуру полезной нагрузки или антенн. Оракул (NoneKind): нет: дисциплина, принадлежащая партнёру, по замыслу без модуля и без теста

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

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

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

См. также#