Tłumaczenie maszynowe, niezweryfikowane przez osobę, dla której polski jest językiem ojczystym. Wzorcem jest wersja angielska.

Strony rodzajów scenariuszyEdytuj na GitHubieŹródło: docs/kinds/by-kind/jamming.md

jamming (rodzaj scenariusza)

Rodzaj scenariusza silnika v0.40.0, rodzina Zagłuszanie (jamming), spoofing i widmo. Wyłącznie doradczo: wynik analizy z narzędzia badawczo-inżynieryjnego; nie jest to sprzęt nawigacyjny z zatwierdzeniem typu ani usługa bezpieczeństwa życia. Każda etykieta tutaj pochodzi z silnika lub z macierzy weryfikacji; rodzaj jest MODELLED, chyba że macierz stanowi inaczej (jak zdobywa się etykietę: sekcja Evidence w README).

Co robi#

Zagłuszanie w bilansie łącza: J/S → efektywne C/N₀ → utrata uchwycenia.

Jeden przebieg scenarios/jamming-demo.toml podsumowuje się tak: scenario 5aac34b045c7 | jamming ON | availability under jamming 0,00 (nominal 1,00) | min tracking 0 | mean J/S 72,2 dB

Wejścia#

Ze schematu (kshana kinds --json):

  • Wymagane pola: seed, time, receiver, constellation
  • Pola opcjonalne: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

Przykład scenarios/jamming-demo.toml ustawia między innymi:

Pole Wartość Jednostka
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 nie podano
constellation.planes 6 nie podano
constellation.sats_per_plane 4 nie podano
jammer.bandwidth_mhz 20 MHz
jammer.gain_dbi 0 dBi
jammer.jammer_type broadband tekst
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming tekst
mask_deg 5 deg

Uruchom#

kshana scenarios/jamming-demo.toml

Tego rodzaju używają 3 dołączone scenariusze; pozostałe są w scenarios/.

Co daje#

Wyniki skalarne tego przebiegu, z jednostkami podanymi przez silnik:

Wynik Wartość Jednostka
evidence.id_rule stabilny identyfikator wiersza macierzy (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
fom.availability_nominal 1 1
fom.availability_under_jamming 0 1
fom.mean_js_db 72.164862 dB
fom.min_tracking 0 liczba
jammer_present true flaga
seed 1 1
Wykres zapisany przez silnik dla scenarios/jamming-demo.toml, rodzaj jamming

Dowody#

MODELLED: wiersze macierzy weryfikacji, które wymieniają ten rodzaj.

  • MODELLED Geometryczny bilans łącza J/S, odporne na zagłuszanie C/N₀, utrata uchwycenia dla każdego satelity Testy: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Raport hybrid-optical-rf podaje dostępność łącza radiowego, złożoną z wielkości, które silnik już oblicza, a nie z importowanej klimatologii, i podaje złożenie jako nazwaną regułę: A_rf = I_closure * I_track, gdzie I_clos
  • MODELLED Księżycowy stosunek zagłuszania do sygnału, efektywne C/N₀ i utrata uchwycenia dla użytkownika na powierzchni selenograficznej pod księżycowym (lub podniesionym) zagłuszaczem, na ilustracyjnej konstelacji klasy Moonlight/LCNS opartej na źródłach publicznych.
  • MODELLED Raport lunar-jamming nie opiera już swojego konturu odmowy na jednej wielkości skalarnej.
  • oraz 5 kolejnych w macierzy.

Wiersze, które sam przebieg wykorzystał, wraz z wyrocznią, jaką macierz podaje dla każdego (publiczne źródła są tam wymienione):

  • MODELLED Bilans łącza J/S wynikający z geometrii, C/N₀ przy zagłuszaniu, utrata śledzenia dla każdego satelity. Wyrocznia (InternalConsistency): Równanie bilansu łącza C/N₀ przy zagłuszaniu sprawdzone krzyżowo z niezależnym ponownym wyprowadzeniem w numpy (ta sama postać zamknięta → InternalConsistency) oraz charakteryzacja spadku C/N₀ w rzeczywistym JammerTest-2024. 0,30 runda 2, zablokowane (pozostaje MODELLED): zmierzony spadek C/N0 w JammerTest 2024 względem prognozy z bilansu łącza (zarejestrowanej z góry 6a66994b, w granicach 3 dB) nie został wykonany, ponieważ położenie i skierowanie anteny F8.1 przy
  • MODELLED Deterministyczne, haszowane na poziomie scenariusza, bramki SBOM i złotych wyników między platformami. Wyrocznia (ExternalDataset): zgodność SBOM z oficjalnym schematem JSON CycloneDX 1,5 (+ prawidłowe identyfikatory SPDX): zewnętrzny opublikowany standard, zero błędów walidacji w całym grafie zależności; część dotycząca determinizmu wskaźników jakości i odtwarzalności bajt w bajt pozostaje przypiętą kontrolą samospójności, więc wiersz pozostaje MODELLED
  • PARTNER Nie zapewnia się — Kshana modeluje osiągi sygnału, a nie sprzęt ładunku użytecznego / anten. Wyrocznia (NoneKind): brak: dyscyplina należąca do partnera, z założenia bez modułu i bez testu

Ograniczenia#

Co raport samego przebiegu podaje jako niemodelowane lub niesprawdzone względem niezależnego wzorca:

  • Odporność na zagłuszanie przy braku GNSS jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: sprawdzona względem własnej tożsamości w postaci zamkniętej / analitycznej; wychwytuje błędy przepisania i współczynników, ale nie jest zewnętrzną wyrocznią. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))
  • Odtwarzalność i zapewnienie jakości oprogramowania jest MODELLED, nie jest sprawdzona względem niezależnego wzorca: jedno twierdzenie składowe jest sprawdzone zewnętrznie, ale cała możliwość składa się z elementów obliczonych na podstawie modelu, więc pozostaje obliczona na podstawie modelu. (macierz weryfikacji (docs/MODELLED-RATIONALE.md))

Zobacz też#