Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/jamming.md

jamming (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Rušení, spoofing a spektrum. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každý štítek zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se štítek získává: oddíl Evidence v README).

Co dělá#

Rozpočet spoje při rušení: J/S → efektivní C/N₀ → ztráta zachycení.

Jeden běh scenarios/jamming-demo.toml se shrnuje takto: scenario 5aac34b045c7 | jamming ON | availability under jamming 0,00 (nominal 1,00) | min tracking 0 | mean J/S 72,2 dB

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: seed, time, receiver, constellation
  • Volitelná pole: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

Příklad scenarios/jamming-demo.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 neuvedeno
constellation.planes 6 neuvedeno
constellation.sats_per_plane 4 neuvedeno
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

Spusťte jej#

kshana scenarios/jamming-demo.toml

Tento druh používají 3 přibalené scénáře; ostatní jsou v scenarios/.

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
evidence.id_rule stabilní id řádku matice (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 počet
jammer_present true příznak
seed 1 1
Graf, který engine zapisuje pro scenarios/jamming-demo.toml, druh jamming

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Geometrie rozpočtu spoje J/S, C/N₀ s ochranou proti rušení, ztráta zachycení po jednotlivých družicích. Testy: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Zpráva hybrid-optical-rf uvádí dostupnost spoje RF, složenou z veličin, které engine už počítá, nikoli z importované klimatologie, a uvádí složení jako pojmenované pravidlo: A_rf = I_closure * I_track, kde I_clos
  • MODELLED Lunárně nativní poměr rušení k signálu, efektivní C/N₀ a ztráta zachycení pro uživatele na selenografickém povrchu pod rušičkou na lunárním povrchu (nebo zvýšenou) nad ilustrativní konstelací třídy Moonlight/LCNS z veřejných zdrojů.
  • MODELLED Zpráva lunar-jamming už svůj kontur odepření nestaví na jediném skaláru.
  • a 5 dalších v matici.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • MODELLED Rozpočet spoje J/S z geometrie, C/N₀ odolné proti rušení, ztráta zachycení signálu na jednotlivé družice. Oracle (InternalConsistency): Rovnice rozpočtu spoje pro C/N₀ odolné proti rušení je křížově zkontrolována nezávislým odvozením v numpy (sdílí stejný uzavřený tvar → InternalConsistency) a charakterizací zhoršení C/N₀ z reálného JammerTest-2024. 0,30 kolo 2, zablokováno (zůstává MODELLED): naměřený pokles C/N0 v JammerTest 2024 proti predikci rozpočtu spoje (předregistrováno 6a66994b, do 3 dB) nebyl proveden, protože poloha a zaměření antény F8.1 při
  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • PARTNER Neposkytuje se: Kshana modeluje výkon signálu, nikoli nákladový hardware ani antény. Oracle (NoneKind): žádné: disciplína ve vlastnictví partnera, záměrně bez modulu a bez testu

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • Odolnost proti rušení při odepření GNSS je MODELLED, nikoli ověřena proti nezávislé vnější referenci: kontroluje se proti vlastní uzavřené / analytické identitě, což zachytí chyby přepisu a koeficientů, ale není to vnější orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#