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

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

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

Вид сценарію рушія v0.40.0, родина Глушіння, спуфінг і спектр. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не навігаційне обладнання із затвердженням типу і не послуга забезпечення безпеки життя. Кожна позначка тут — від рушія або матриці верифікації; вид має рівень MODELLED, якщо матриця не каже іншого (як здобувається позначка: розділ «Докази» в README).

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

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

Один прогін scenarios/jamming-demo.toml підсумовується так: scenario 5aac34b045c7 | jamming ON | availability under jamming 0,00 (nominal 1,00) | min tracking 0 | mean 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 broadband text
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming text
mask_deg 5 deg

Запуск#

kshana scenarios/jamming-demo.toml

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

Що це дає#

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

Результат Значення Одиниця
evidence.id_rule стабільний ідентифікатор рядка матриці (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier PARTNER text
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 flag
seed 1 1
Діаграма, яку рушій записує для scenarios/jamming-demo.toml, вид jamming

Докази#

MODELLED: рядки матриці верифікації, що називають цей різновид.

  • MODELLED Геометричний бюджет лінії J/S, C/N₀ з протидією глушінню, втрата захоплення за кожним супутником Тести: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Звіт hybrid-optical-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 + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
  • PARTNER Не надається — Kshana моделює характеристики сигналу, а не корисне навантаження чи антенне обладнання. Оракул (NoneKind): немає: дисципліна, якою володіє партнер, за задумом без модуля і без тесту

Обмеження#

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

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

Див. також#