Jamming, spoofing och spektrumet (familj av scenariotyper)

6 scenariotyper i motorn v0.40.0. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en safety-of-life-tjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen anger något annat (hur en etikett förtjänas: avsnittet Evidence i README).

Ämnessidor: SPECTRUM, DECEIVED-TIME, IQ-FOLLOW. Kör en: kshana scenarios/jamming-demo.toml. Alla familjer: KINDS.md.

jamming#

Jamming enligt länkbudget: J/S → effektiv C/N₀ → förlust av låsning.

Obligatoriska fält: seed, time, receiver, constellation. Valfria: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline.

Register: MODELLED. Hela sidan, med indata, resultat, evidens och begränsningar: jamming.

kshana scenarios/jamming-demo.toml

spoof#

Stokastisk detektor för tidsspoofing (Neyman–Pearson / χ²₁) med Monte Carlo-beräknade P_fa/P_md.

Obligatoriska fält: threshold_ns, time, attack, clock_quantum, clock_classical.

Register: MODELLED. Hela sidan, med indata, resultat, evidens och begränsningar: spoof.

kshana scenarios/spoof-attack.toml

spoof-detect#

Kombinerad spoofing-detektor för RF och mätningar (RAIM-konsistens över flera SV + AGC + SQM, sammanfogade) mot en parametriserad attack (effektfördel, bärvågsfasjustering, tids- och positionsförskjutning; TEXBAT-liknande).

Obligatoriska fält: attack. Valfria: satellites, detector.

Register: MODELLED. Hela sidan, med indata, resultat, evidens och begränsningar: spoof-detect.

kshana scenarios/spoof-detect.toml

tracking-loop#

Tracking-slingans förlust av låsning: C/N0 -> lås/olås MED HYSTERES, tiden det tar att förlora låsningen, och spoof-indragning som funktion av HASTIGHETEN i kod- och bärvågsförskjutning. Motorns befintliga kriterier för spärrning och infångning är förhållanden mellan mottagna effekter (en jammer spärrar vid J/S = 30 dB, en spoofer fångar in vid 3 dB); verklig förlust av låsning är inte ett effektförhållande, den uppstår där en slingas jitter plus dynamiska belastning lämnar dess budget för spårningströskel. Redovisar (1) 1-sigma termisk jitter för bärvåg (Costas) och kod (icke-koherent early/late) mot C/N0, inklusive kvadreringsförlust, mot de angivna reglerna 3sigma_PLL + theta_e <= 45 deg (15-gradersregeln i tre-sigma-form) och 3sigma_DLL + ramplag <= d/2 chip; (2) trösklarna för C/N0 vid tappad låsning och återlåsning med den bindande slingan angiven, där återlåsningströskeln HÄRLEDD från den bredare bandbredd som en mottagare återfångar med snarare än att påstås, så att hysteresbredden måste ligga mellan 5log10(ratio) och 10log10(ratio) dB; (3) den deklarerade tiden till förlorad låsning från en låsdetektor med två trösklar och bekräftelsetider, driven över en C/N0-ramp, redovisad separat från den fysiska fasflyktstiden (Viterbis medeltid mellan cykelslip, i log10 s eftersom den sträcker sig över hundratals tiopotenser); (4) gränser för spoof-indragning — den största kodglidning och bärvågs-Doppler-hastighet som en måls slingor kan följa, med en karta över båda axlarna, eftersom en spoofer som glider snabbare än så inte fångar in slingan, den springer ifrån den; och (5) den DENIAL-RADIE som slingdynamiken innebär, redovisad TILLSAMMANS MED den befintliga effektförhållanderadien, aldrig i stället för den, med deras teckenbehäftade skillnad som ett eget namngivet fält (denial_radius_delta_km) och en definition bredvid. Varje utsänt numeriskt fält bär en enhet och en ursprungsklass. VALIDATED slutna former: uttrycken för bärvågs- och kodjitter, slingfilterreduktionen sqrt(2B_nT) och första ordningens ramplag kontrolleras mot motorns egen sdr-korrelator stegad framåt på seedad syntetisk IF — en annan väg till samma tal — till 0,6 %, 3,7 % respektive 0,17 %, och den modifierade Bessel-funktionen I0 bakom cykelslip-tiden mot vanliga tabellvärden till 1e-7. Den nedre giltighetsgränsen hävdas, inte bara anges: under ~32 dB-Hz vid 1 ms mättas den verkliga atan-diskriminatorn mot sitt område +-pi/2 och mäter mindre jitter än någon linjär teori. MODELLED: slingbandbredderna, integrationstiden, korrelatoravståndet, förhållandet för indragningsbandbredd, bekräftelsetiderna, jammer-effekten och antennförstärkningarna är representativa bandvärden, inte ett datablad. INTE modellerade: oscillatorjitter (Allan-deviation) och vibrationsjitter, begränsning av frontändens bandbredd, flervägsutbredning, AGC-dynamik, förlust vid databitsövergångar, externt stöd och varje halvcykelskorrektion av Costas formel för cykelslip. Under slingdynamik har spoof-infångning ingen radie alls — den bindande begränsningen är förskjutningshastigheten, inte effekten — så det fältet är null med en motivering i stället för ett påhittat tal. Inte en certifierad produkt för mottagarprestanda.

Obligatoriska fält: inga. Valfria: 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. Hela sidan, med indata, resultat, evidens och begränsningar: tracking-loop.

kshana scenarios/tracking-loop.toml

spectrum#

Spektrummodell och vattenfall för L-bandet: hela GNSS L-bandet som en enda effektspektraltäthet (PSD), frekvens i sidled, tid nedåt, över en skriptad jammer-tidslinje. SIGNALER: GPS L1 C/A och L2C (BPSK(1)), Galileo E1 öppen tjänst (MBOC(6,1,1/11), eller BOC(1 1)), GPS L5 och Galileo E5a (BPSK(10)), var och en på sin bärfrekvens med den lägsta mottagna effekt som gränssnittsspecifikationen anger (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD) om den inte åsidosätts; GLONASS, BeiDou och Galileo E6 modelleras inte. JAMMERS: kontinuerlig vågton, plant smalbandigt brus, linjär sågtandschirp och brett brus anpassat till ett bands egen modulation, var och en med en centrumfrekvens, en bandbredd, en mottagen effekt (direkt, eller EIRP och avstånd via jamming-typens fritt-rymd-vägförlust) samt på- och avtider. Varje jammer poängsätts mot varje band med sin spektrala separationskoefficient kappa över mottagarens bandbredd, och (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; för en enda jammer är detta lika med anti-jam-ekvationen i jamming-typen med Q = 1/(R_c kappa), och rapporten bär den korskontrollen (och jamming-typens representativa Q-värde bredvid). Brusgolvet är k T_sys med T_sys = T_ant + 290 K (F - 1). Vattenfallet medelvärdesbildar varje cell över dess fack och dess rad (chirpar exakt, hela svep plus det partiella; jammers som växlar mitt i en rad enligt sin driftcykel), så att C/N0-tidslinjen och bilden kommer från samma tal; result.json innehåller rutnätet blockmedelvärdesbildat i effekt, C/N0 och J/S per band och rad, samt per jammer och band SSC, Q, J/S, J/S i bandet och stationärt C/N0. Valfritt [iq]: modellen ritad som komplext IQ vid ett ögonblick, skriven till och inläst från en SigMF-inspelning (cf32_le eller ci16_le), och jämförd med en Welch-skattning. Valfritt [recording] (inbyggda byggen): en verklig SigMF-inspelnings Welch-PSD bredvid modellen. VALIDATED: signal-PSD:erna mot läroboksvärdena för huvudlobens bredd (BPSK(n) 2n x 1,023 MHz nollställe till nollställe; BOC(1 1)-lober centrerade vid +/-1.023 MHz) och de spektrala separationskoefficienterna mot deras slutna former enligt Parseval och Kaplan & Hegartys Q = 1 (CW) och 1,5 (anpassad). MODELLED: jammer-effekter, tidslinje, frontändens bandbredder, behandlingen med kontinuerligt spektrum (inga kodlinjer) samt frånvaron av AGC, blankning och antennmönster.

Obligatoriska fält: inga. Valfria: seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording.

Register: MODELLED 3 · VALIDATED 2. Hela sidan, med indata, resultat, evidens och begränsningar: spectrum.

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

impairment-eval#

Utvärderingsbädd för maskininlärd detektering av RF-störningar (13494): generera en märkt, parameterförankrad SYNTETISK korpus (nominal/jamming/spoof-time/spoof-position/multipath), poängsätt en detektor (energy|agc|sqm|parity|fused) med den detektoroberoende ramen och redovisa AUC/ROC/förväxlingsmatris + Pd per klass vid ett mål-Pfa, samt optimismgapet mellan inom och utanför fördelningen. Endast MODELLED driftkaraktäristik — aldrig fält/IQ, inget bra/dåligt-utlåtande.

Obligatoriska fält: inga. Valfria: seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol.

Register: MODELLED 1 · VALIDATED 2. Hela sidan, med indata, resultat, evidens och begränsningar: impairment-eval.

kshana scenarios/impairment-eval.toml