Jamming, spoofing og spekteret (scenariotypefamilie)

6 scenariotyper i motoren v0.40.0. Veiledende: analyseresultat fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en safety-of-life-tjeneste. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: README-ens Evidence-avsnitt).

Temasider: SPECTRUM, DECEIVED-TIME, IQ-FOLLOW. Kjør én: kshana scenarios/jamming-demo.toml. Alle familier: KINDS.md.

jamming#

Jamming med linkbudsjett: J/S → effektiv C/N₀ → tap av lås.

Obligatoriske felt: seed, time, receiver, constellation. Valgfrie: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: jamming.

kshana scenarios/jamming-demo.toml

spoof#

Stokastisk detektor for tidsspoofing (Neyman–Pearson / χ²₁) med Monte Carlo P_fa/P_md.

Obligatoriske felt: threshold_ns, time, attack, clock_quantum, clock_classical.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: spoof.

kshana scenarios/spoof-attack.toml

spoof-detect#

Kombinert spoofingdetektor for RF og målinger (RAIM-konsistens over flere SV + AGC + SQM, fusjonert) mot et parametrisert angrep (effektfordel, justering av bærebølgefase, push av tid/posisjon; i stil med TEXBAT).

Obligatoriske felt: attack. Valgfrie: satellites, detector.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: spoof-detect.

kshana scenarios/spoof-detect.toml

tracking-loop#

Tap av lås i sporingssløyfen: C/N0 -> lås/ulåst MED HYSTERESE, tiden det tar å miste låsen, og spoof pull-in som funksjon av kode- og bærebølgeforskyvningens HASTIGHET. Motorens eksisterende kriterier for denial og capture er forholdstall på mottatt effekt (en jammer nekter ved J/S = 30 dB, en spoofer overtar ved 3 dB); reelt tap av lås er ikke et effektforhold, men det punktet der en sløyfes jitter pluss dynamisk belastning sprenger budsjettet for sporingsterskelen. Rapporterer (1) 1-sigma termisk jitter for bærebølge (Costas) og kode (ikke-koherent early/late) mot C/N0, med kvadreringstap, mot de oppgitte reglene 3sigma_PLL + theta_e <= 45 deg (15-gradersregelen i tresigmaform) og 3sigma_DLL + rampeetterslep <= d/2 chip; (2) terskelverdiene for tap og gjenopprettet lås i C/N0 med den bindende sløyfen navngitt, der terskelen for gjenopprettet lås er UTLEDET av den bredere båndbredden en mottaker henter seg inn igjen med, i stedet for å være påstått, slik at hysteresebredden må ligge mellom 5log10(forhold) og 10log10(forhold) dB; (3) den deklarerte tiden til tap av lås fra en låsdetektor med to terskler og bekreftelsesopphold, drevet over en C/N0-rampe, rapportert atskilt fra den fysiske faseflukttiden (Viterbis midlere tid mellom syklusslipp, i log10 s fordi den spenner over hundrevis av tiere); (4) grenser for spoof pull-in — den største kodeslewen og Doppler-raten for bærebølgen en offersløyfe kan følge, med et kart over begge akser, fordi en spoofer som slewer raskere enn dette ikke fanger sløyfen, men løper fra den; og (5) NEKTELSESRADIUSEN sløyfedynamikken tilsier, rapportert SAMMEN MED den eksisterende effektforholdsradiusen, aldri i stedet for den, med deres fortegnsbelagte differanse som et eget navngitt felt (denial_radius_delta_km) og en definisjon ved siden av. Hvert utgitt numerisk felt har en enhet og en proveniensklasse. VALIDATED lukkede former: uttrykkene for jitter i bærebølge og kode, sløyfefilterreduksjonen sqrt(2B_nT) og førsteordens rampeetterslep er kryssjekket mot motorens egen sdr-korrelator, stegvis kjørt på seedet syntetisk IF — en annen vei til de samme tallene — til henholdsvis 0,6 %, 3,7 % og 0,17 %, og den modifiserte Bessel I0 bak syklusslipptiden mot standard tabulerte verdier til 1e-7. Den nedre gyldighetsgrensen er påstått, ikke bare oppgitt: under ~32 dB-Hz ved 1 ms metter den reelle atan-diskriminatoren mot sitt +-pi/2-område og måler mindre jitter enn noen lineær teori. MODELLED: sløyfebåndbreddene, integrasjonstiden, korrelatoravstanden, forholdet for pull-in-båndbredde, bekreftelsesoppholdene, jammereffekten og antenneforsterkningene er representative båndverdier, ikke et datablad. IKKE modellert: oscillatorjitter (Allan-deviasjon) og vibrasjonsjitter, båndbreddebegrensning i frontenden, flerveisutbredelse, AGC-dynamikk, tap ved databitovergang, ekstern støtte, og enhver halvsyklus-korreksjon i Costas' syklusslippformel. Under sløyfedynamikk har spoof-capture ingen radius i det hele tatt — den bindende begrensningen er forskyvningsraten, ikke effekten — så det feltet er null med en begrunnelse i stedet for et oppdiktet tall. Ikke et sertifisert produkt for mottakerytelse.

Obligatoriske felt: ingen. Valgfrie: pll_bandwidth_hz, dll_bandwidth_hz, predetection_integration_s, correlator_spacing_chips, carrier_allowance_deg, code_allowance_chips, pullin_bandwidth_ratio, drop_confirm_epochs, relock_confirm_epochs, doppler_rate_hz_per_s, code_slew_chips_per_s, cn0_high_dbhz, cn0_low_dbhz, ramp_duration_s, jitter_table_cn0_dbhz, jammer_power_dbw, jammer_gain_dbi, rx_gain_toward_jammer_db, rx_gain_toward_sat_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, jammer_type, q_override, denial_js_threshold_db, capture_js_threshold_db, spoof_code_slew_chips_per_s, spoof_doppler_rate_hz_per_s.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: tracking-loop.

kshana scenarios/tracking-loop.toml

spectrum#

Spektrummodell og fossefall for L-båndet: hele GNSS L-båndet som én effekttetthet (PSD), frekvens på tvers, tid nedover, over en skriptet tidslinje for jammere. SIGNALER: GPS L1 C/A og L2C (BPSK(1)), Galileo E1 åpen tjeneste (MBOC(6,1,1/11) eller BOC(1 1)), GPS L5 og Galileo E5a (BPSK(10)), hver ved sin bærebølge med minste mottatte effekt fra grensesnittspesifikasjonen (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD) med mindre den overstyres; GLONASS, BeiDou og Galileo E6 er ikke modellert. JAMMERE: tone med kontinuerlig bølge, flatt smalbåndsstøy, lineær sagtannchirp og bredbåndsstøy tilpasset et bånds egen modulasjon, hver med et senter, en båndbredde, en mottatt effekt (direkte, eller EIRP og avstand gjennom frirommstapet til jamming-typen) og tidspunkter for på og av. Hver jammer vurderes mot hvert bånd med sin spektrale separasjonskoeffisient kappa over mottakerens båndbredde, og (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; for én jammer er dette lik anti-jam-ligningen til jamming-typen med Q = 1/(R_c kappa), og rapporten bærer den kontrollen (og tallet for representativ Q i jamming-typen ved siden av). Støygulvet er k T_sys med T_sys = T_ant + 290 K (F - 1). Fossefallet midler hver celle over sin bin og sin rad (chirper eksakt, hele sveip pluss det delvise; jammere som slår om midt i raden etter sin driftssyklus), slik at C/N0-tidslinjen og bildet kommer fra de samme tallene; result.json bærer nettet blokkmidlet i effekt, C/N0 og J/S per bånd per rad, og per jammer per bånd SSC, Q, J/S, J/S i båndet og stabil C/N0. Valgfri [iq]: modellen tegnet som kompleks IQ ved ett tidspunkt, skrevet til og lest tilbake fra en SigMF-opptaking (cf32_le eller ci16_le), og sammenlignet med et Welch-estimat. Valgfri [recording] (native bygg): Welch-PSD-en til en virkelig SigMF-opptaking ved siden av modellen. VALIDATED: signalenes PSD-er mot lærebokens bredder på hovedloben (BPSK(n) 2n x 1,023 MHz null til null; BOC(1 1)-lober sentrert ved +/-1.023 MHz) og de spektrale separasjonskoeffisientene mot sine lukkede former etter Parseval og Kaplan & Hegartys Q = 1 (CW) og 1,5 (tilpasset). MODELLED: jammereffekter, tidslinje, båndbredder i frontenden, behandlingen av kontinuerlig spektrum (ingen kodelinjer) og fraværet av AGC, blanking og antennediagram.

Obligatoriske felt: ingen. Valgfrie: seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording.

Register: MODELLED 3 · VALIDATED 2. Fullstendig side, med inndata, resultater, evidens og begrensninger: spectrum.

kshana scenarios/l-band-waterfall-jamming.toml

impairment-eval#

Evalueringstestbenk for maskinlæringsbasert deteksjon av RF-forstyrrelser (13494): generer et merket, parameterforankret SYNTETISK korpus (nominal/jamming/spoof-time/spoof-position/multipath), vurder en detektor (energy|agc|sqm|parity|fused) med den detektoruavhengige harnessen, og rapporter AUC/ROC/forvekslingsmatrise + Pd per klasse ved en målsatt Pfa, samt optimismegapet mellom i og utenfor distribusjonen. Kun MODELLED driftskarakteristikker, aldri felt-/IQ-data, ingen dom om bra/dårlig.

Obligatoriske felt: ingen. Valgfrie: seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol.

Register: MODELLED 1 · VALIDATED 2. Fullstendig side, med inndata, resultater, evidens og begrensninger: impairment-eval.

kshana scenarios/impairment-eval.toml