Häirintä, harhautus ja spektri (skenaariolajiperhe)

6 skenaariolajia, moottorin v0.40.0. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva tunniste on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten tunniste ansaitaan: READMEn Evidence-osio).

Aihesivut: SPECTRUM, DECEIVED-TIME, IQ-FOLLOW. Aja yksi: kshana scenarios/jamming-demo.toml. Kaikki perheet: KINDS.md.

jamming#

Häirintä linkkibudjetilla: J/S → tehollinen C/N₀ → lukituksen menetys.

Pakolliset kentät: seed, time, receiver, constellation. Valinnaiset: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline.

Kirjanpito: MODELLED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: jamming.

kshana scenarios/jamming-demo.toml

spoof#

Stokastinen ajanharhautuksen ilmaisin (Neyman–Pearson / χ²₁) Monte Carlo -P_fa/P_md:llä.

Pakolliset kentät: threshold_ns, time, attack, clock_quantum, clock_classical.

Kirjanpito: MODELLED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: spoof.

kshana scenarios/spoof-attack.toml

spoof-detect#

Yhdistetty RF-/mittaushavaintoihin perustuva harhautuksen ilmaisin (usean SV:n RAIM-johdonmukaisuus + AGC + SQM, fuusioituna) parametroitua hyökkäystä vastaan (tehoetu, kantoaallon vaiheen kohdistus, aika-/paikkatyöntö; TEXBAT-tyylinen).

Pakolliset kentät: attack. Valinnaiset: satellites, detector.

Kirjanpito: MODELLED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: spoof-detect.

kshana scenarios/spoof-detect.toml

tracking-loop#

Seurantasilmukan lukituksen menetys: C/N0 -> lukitus/lukituksen purkautuminen HYSTEREESILLÄ, aika lukituksen menetykseen sekä harhautuslähettimen sisäänveto koodin ja kantoaallon poikkeaman NOPEUDEN funktiona. Moottorin nykyiset estämis- ja kaappauskriteerit ovat suhteita vastaanotetulle teholle (häirintälähetin estää arvolla J/S = 30 dB, harhautuslähetin kaappaa arvolla 3 dB); todellinen lukituksen menetys ei ole tehosuhde, vaan se on kohta, jossa silmukan värinä ja dynaaminen rasitus ylittävät sen seurantakynnysbudjetin. Raportoi (1) kantoaallon (Costas) ja koodin (ei-koherentti early/late) 1-sigma-terminen värinä suhteessa C/N0:aan, neliöintihäviö mukaan lukien, ilmoitettuja sääntöjä 3sigma_PLL + theta_e <= 45 deg (15 asteen sääntö kolmen sigman muodossa) ja 3sigma_DLL + ramp lag <= d/2 chips vastaan; (2) pudotus- ja uudelleenlukitus-C/N0-kynnykset, joissa sitova silmukka nimetään, uudelleenlukituskynnys JOHDETTU leveämmästä kaistanleveydestä, jolla vastaanotin vetää sisään uudelleen, eikä väitetty, joten hystereesin leveyden on osuttava välille 5log10(ratio) ja 10log10(ratio) dB; (3) ilmoitettu aika lukituksen menetykseen kahden kynnyksen lukitusilmaisimesta, jossa on vahvistusviipymät ja jota ajetaan C/N0-ramppina, raportoituna erikseen fysikaalisesta vaiheen pakenemisajasta (Viterbin keskimääräinen aika syklihyppyjen välillä, log10 s:ssa, koska se kattaa satoja dekadeja); (4) harhautuksen sisäänvedon rajat — suurin koodin liukuma ja kantoaallon Doppler-nopeus, joita uhrin silmukat voivat seurata, kartalla molempien akselien yli, koska harhautuslähetin, joka liukuu näitä nopeammin, ei kaappaa silmukkaa vaan ohittaa sen; ja (5) silmukan dynamiikan implikoima ESTOSÄDE raportoituna OLEMASSA OLEVAN tehosuhdesäteen RINNALLA, ei koskaan sen tilalla, niiden etumerkillinen erotus omana nimettynä kenttänään (denial_radius_delta_km) ja määritelmä sen vieressä. Jokaisella emittoidulla numeerisella kentällä on yksikkö ja alkuperäluokka. VALIDATED suljetut muodot: kantoaallon ja koodin värinälausekkeet, silmukkasuodattimen pelkistys sqrt(2B_nT) ja ensimmäisen kertaluvun ramppiviive on ristiintarkistettu moottorin oman sdr-korrelaattorin kanssa, jota on askellettu eteenpäin siemenlukuun sidotulla synteettisellä IF:llä — eri reitti samoihin lukuihin — tarkkuuksilla 0,6 %, 3,7 % ja 0,17 % vastaavasti, ja syklihyppyaikaa taustalla oleva modifioitu Bessel I0 tavallisia taulukoituja arvoja vastaan tarkkuudella 1e-7. Alempi pätevyysraja on väitetty, ei vain ilmoitettu: alle ~32 dB-Hz arvolla 1 ms todellinen atan-diskriminaattori kyllästyy +-pi/2-alueeseensa ja mittaa vähemmän värinää kuin mikään lineaarinen teoria. MODELLED: silmukkakaistanleveydet, integrointiaika, korrelaattorin väli, sisäänvedon kaistanleveyssuhde, vahvistusviipymät, häirintälähettimen teho ja antennivahvistukset ovat edustavia kaistaluvuja, eivät tietolehti. EI mallinneta: oskillaattorin (Allanin poikkeama) ja tärinän värinä, etupään kaistanleveyden rajoitus, monitie-eteneminen, AGC:n dynamiikka, databittisiirtymän häviö, ulkoinen avustus sekä mikä tahansa puolisyklin korjaus Costas-syklihyppykaavaan. Silmukan dynamiikan alla harhautuksen kaappauksella ei ole lainkaan sädettä — sitova rajoite on poikkeaman nopeus, ei teho — joten se kenttä on null ja sille annetaan syy, eikä keksittyä lukua. Ei sertifioitu vastaanottimen suorituskykytuote.

Pakolliset kentät: ei yhtään. Valinnaiset: 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.

Kirjanpito: MODELLED. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: tracking-loop.

kshana scenarios/tracking-loop.toml

spectrum#

L-kaistan spektrimalli ja vesiputous: koko GNSS:n L-kaista yhtenä tehospektritiheytenä (PSD), taajuus vaakasuunnassa ja aika alaspäin, käsikirjoitetun häirintälähettimien aikajanan yli. SIGNAALIT: GPS L1 C/A ja L2C (BPSK(1)), Galileo E1 open service (MBOC(6,1,1/11) tai BOC(1 1)), GPS L5 ja Galileo E5a (BPSK(10)), kukin kantoaallollaan rajapintamäärittelyn vähimmäisvastaanottotehoilla (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD), ellei toisin ohiteta; GLONASSia, BeiDouta ja Galileo E6:tä ei mallinneta. HÄIRINTÄLÄHETTIMET: jatkuva siniaaltoääni, tasainen kapeakaistainen kohina, lineaarinen saha-aaltochirppi ja kaistan oman modulaation mukainen laajakaistakohina, kullakin keskitaajuus, kaistanleveys, vastaanotettu teho (suoraan tai EIRP ja etäisyys jamming-lajin vapaan tilan vaimennuksen kautta) sekä päälle- ja poiskytkentäajat. Jokainen häirintälähetin pisteytetään jokaista kaistaa vastaan spektrierotuskertoimellaan kappa vastaanottimen kaistanleveyden yli, ja (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; yhdelle häirintälähettimelle tämä on sama kuin jamming-lajin häirinnänestoyhtälö, kun Q = 1/(R_c kappa), ja raportti sisältää tämän ristiintarkistuksen (sekä jamming-lajin edustavan Q-arvon vieressä). Kohinalattia on k T_sys, kun T_sys = T_ant + 290 K (F - 1). Vesiputous keskiarvoistaa jokaisen solun sen lokeron ja rivin yli (chirppien osalta tarkasti, kokonaiset pyyhkäisyt ja osittainen; rivin aikana kytkeytyvät häirintälähettimet työsuhteensa mukaan), joten C/N0-aikajana ja kuva tulevat samoista luvuista; result.json sisältää tehoissa lohkokeskiarvoistetun ruudukon, kaistakohtaiset C/N0:n ja J/S:n riveittäin sekä häirintälähetintä ja kaistaa kohden SSC:n, Q:n, J/S:n, kaistansisäisen J/S:n ja vakaan C/N0:n. Valinnainen [iq]: malli piirrettynä kompleksisena IQ:na yhdellä hetkellä, kirjoitettuna SigMF-tallenteeseen (cf32_le tai ci16_le) ja luettuna siitä takaisin sekä verrattuna Welch-estimaattiin. Valinnainen [recording] (natiivirakennelmat): oikean SigMF-tallenteen Welch-PSD mallin vieressä. VALIDATED: signaalien PSD:t oppikirjojen pääkeilan leveyksiä vastaan (BPSK(n) 2n x 1,023 MHz nollasta nollaan; BOC(1 1)-keilat keskitettyinä kohtiin +/-1.023 MHz) ja spektrierotuskertoimet Parsevalin suljettuja muotojaan sekä Kaplanin ja Hegartyn arvoja Q = 1 (CW) ja 1,5 (sovitettu) vastaan. MODELLED: häirintälähettimien tehot, aikajana, etupään kaistanleveydet, jatkuvaspektrinen (ei koodiviivoja) käsittely sekä AGC:n, blankkauksen ja antennikuvion puuttuminen.

Pakolliset kentät: ei yhtään. Valinnaiset: seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording.

Kirjanpito: MODELLED 3 · VALIDATED 2. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: spectrum.

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

impairment-eval#

Koneoppimiseen perustuvan RF-häiriöiden havaitsemisen arviointitestialusta (13494): generoi merkitty, parametriperusteinen SYNTEETTINEN korpus (nominal/jamming/spoof-time/spoof-position/multipath), pisteytä ilmaisin (energy|agc|sqm|parity|fused) ilmaisimesta riippumattomalla arviointikehyksellä ja raportoi AUC/ROC/sekaannusmatriisi + luokkakohtainen Pd tavoite-Pfa:lla sekä jakaumansisäisen ja jakaumanulkoisen optimismiaukon. Vain MODELLED toimintaominaisuudet — ei koskaan kenttä-/IQ-dataa, ei hyvä/huono-päätöstä.

Pakolliset kentät: ei yhtään. Valinnaiset: seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol.

Kirjanpito: MODELLED 1 · VALIDATED 2. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: impairment-eval.

kshana scenarios/impairment-eval.toml