Segamine, spuufimine ja spekter (stsenaariumi liikide perekond)

6 stsenaariumi liiki mootorist v0.40.0. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Teemalehed: SPECTRUM, DECEIVED-TIME, IQ-FOLLOW. Käivita üks: kshana scenarios/jamming-demo.toml. Kõik perekonnad: KINDS.md.

jamming#

Lingieelarvega segamine: J/S → efektiivne C/N₀ → haakumise kadu.

Kohustuslikud väljad: seed, time, receiver, constellation. Valikulised: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: jamming.

kshana scenarios/jamming-demo.toml

spoof#

Stohhastiline ajaspuufimise detektor (Neyman–Pearson / χ²₁) Monte Carlo P_fa/P_md-ga.

Kohustuslikud väljad: threshold_ns, time, attack, clock_quantum, clock_classical.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: spoof.

kshana scenarios/spoof-attack.toml

spoof-detect#

Ühendatud RF/mõõtmise spuufimise detektor (mitme SV RAIM-i kooskõla + AGC + SQM, sulatatud) vs parameetritega rünnak (võimsuseelis, kandelaine faasi joondus, aja/asukoha tõukamine; TEXBAT-stiilis).

Kohustuslikud väljad: attack. Valikulised: satellites, detector.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: spoof-detect.

kshana scenarios/spoof-detect.toml

tracking-loop#

Jälgimissilmuse lukustuse kadu: C/N0 -> lukustus/lukustuse vabastus HÜSTEREESIGA, lukustuse kaotamise aeg ning spuufimise sissetõmme koodi ja kandelaine nihke KIIRUSE funktsioonina. Mootori olemasolevad keelamise ja haaramise kriteeriumid on vastuvõetud võimsuse suhted (segaja keelab juures J/S = 30 dB, spuufer haarab juures 3 dB); tegelik lukustuse kadu ei ole võimsuse suhe, see on koht, kus silmuse värin pluss dünaamiline koormus väljub selle jälgimislävendi eelarvest. Annab aru (1) kandelaine (Costas) ja koodi (mittekoherentne varajane/hiline) 1-sigma termilisest värinast versus C/N0, ruutimiskadu kaasa arvatud, nimetatud reeglite 3sigma_PLL + theta_e <= 45 deg (15-kraadine reegel kolme sigma kujul) ja 3sigma_DLL + kaldviivitus <= d/2 chipi vastu; (2) väljalangemise ja taaslukustumise C/N0 läved koos piirava silmuse nimetamisega, taaslukustumise lävi TULETATUD laiemast ribalaiusest, millega vastuvõtja uuesti sisse tõmbub, mitte väidetud, nii et hüstereesi laius peab jääma vahemikku 5log10(suhe) kuni 10log10(suhe) dB; (3) kuulutatud lukustuse kaotamise aeg kahe lävega lukustusdetektorist kinnitusviibimistega, käivitatuna üle C/N0 kallaku, esitatuna eraldi füüsilisest faasipõgenemise ajast (Viterbi keskmine aeg tsüklihüpete vahel, log10 s-ides, sest see ulatub üle sadade dekaadide); (4) spuufimise sissetõmbe piirid — suurim koodi libisemine ja kandelaine Doppleri kiirus, mida ohvri silmused suudavad järgida, koos kaardiga mõlema telje kohta, sest spuufer, mis libiseb neist kiiremini, ei haara silmust, vaid jookseb sellest ette; ning (5) silmuse dünaamikast tulenev KEELAMISRADIUS esitatud olemasoleva võimsussuhte raadiuse KÕRVAL, mitte kunagi selle asemel, nende märgiga vahe omaette nimetatud väljana (denial_radius_delta_km) ja definitsioon selle kõrval. Iga väljastatud arvuväli kannab ühikut ja päritoluklassi. VALIDATED kinnised kujud: kandelaine ja koodi värina avaldised, silmusefiltri taandus sqrt(2B_nT) ja esimese järgu kaldviivitus on ristkontrollitud mootori enda sdr korrelaatori vastu, mida sammutatakse edasi algväärtustatud sünteetilisel IF-il — erinev tee samade arvudeni — vastavalt täpsusega 0,6 %, 3,7 % ja 0,17 %, ning tsüklihüppe aja taga olev modifitseeritud Besseli I0 tavaliste tabelväärtuste vastu täpsusega 1e-7. Alumine kehtivuspiir on kinnitatud, mitte ainult nimetatud: alla ~32 dB-Hz juures 1 ms küllastub tegelik atan-diskriminaator oma +-pi/2 vahemiku vastu ja mõõdab väiksemat värinat kui ükski lineaarne teooria. MODELLED: silmuse ribalaiused, integreerimisaeg, korrelaatori vahe, sissetõmbe ribalaiuse suhe, kinnitusviibimised, segaja võimsus ja antennivõimendused on esindusliku riba arvud, mitte andmeleht. EI modelleerita: ostsillaatori (Alani hälbe) ja vibratsiooni värinat, sisendotsa ribalaiuse piiramist, mitmeteeleviivet, AGC dünaamikat, andmebiti ülemineku kadu, välist toetamist ega Costase tsüklihüppe valemi mis tahes poolsüklilist korrektsiooni. Silmuse dünaamika korral ei ole spuufimise haaramisel üldse raadiust — piirav tingimus on nihke kiirus, mitte võimsus — seega on see väli null koos põhjendusega, mitte väljamõeldud arv. Mitte sertifitseeritud vastuvõtja toimivuse toode.

Kohustuslikud väljad: puuduvad. Valikulised: 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 (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: tracking-loop.

kshana scenarios/tracking-loop.toml

spectrum#

L-riba spektrimudel ja juga-diagramm (waterfall): kogu GNSS-i L-riba ühe võimsusspektri tihedusena (PSD), sagedus risti, aeg allapoole, stsenaariumipõhise segaja ajajoone kohal. SIGNAALID: GPS L1 C/A ja L2C (BPSK(1)), Galileo E1 avatud teenus (MBOC(6,1,1/11) või BOC(1 1)), GPS L5 ja Galileo E5a (BPSK(10)), kõik oma kandesagedusel liidese spetsifikatsiooni minimaalse vastuvõetud võimsusega (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD), kui seda pole üle kirjutatud; GLONASS, BeiDou ja Galileo E6 ei ole modelleeritud. SEGAJAD: pidevlaine toon, lame kitsaribaline müra, lineaarne saehamba-chirp ja ribalai müra, mis on sobitatud riba enda modulatsiooniga, igaühel keskpunkt, ribalaius, vastuvõetud võimsus (otse või EIRP ja kaugus segamise liigi vabaruumi levikadu kaudu) ning sisse-/väljalülitusajad. Iga segajat hinnatakse iga riba suhtes selle spektraalse eraldumiskoefitsiendiga kappa üle vastuvõtja ribalaiuse ning (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1; ühe segaja korral on see võrdne segamise liigi segamisvastase võrrandiga Q = 1/(R_c kappa) ning aruanne kannab seda ristkontrolli (ja segamise liigi esindusliku Q arvu selle kõrval). Müra põhjatase on k T_sys, kus T_sys = T_ant + 290 K (F - 1). Waterfall keskmistab iga lahtri üle selle lahtri ja rea (chirpid täpselt, terved pühkimised pluss osaline; rea keskel lülituvad segajad oma töötsükli järgi), nii et C/N0 ajajoon ja pilt tulevad samadest arvudest; result.json kannab võimsuses ploki-keskmistatud ruudustikku, riba kohta C/N0 ja J/S rea kohta ning segaja kohta riba kohta SSC, Q, J/S, ribasisese J/S ja püsiva C/N0. Valikuline [iq]: mudel joonistatud kompleksse IQ-na ühel hetkel, kirjutatud SigMF-salvestisse (cf32_le või ci16_le) ja sealt tagasi loetud ning võrreldud Welchi hinnanguga. Valikuline [recording] (natiivsed ehitused): tegeliku SigMF-salvestise Welchi PSD mudeli kõrval. VALIDATED: signaalide PSD-d õpikulise peakasti laiuse vastu (BPSK(n) 2n x 1,023 MHz nullist nullini; BOC(1 1) kasti keskmed kohal +/-1.023 MHz) ja spektraalse eraldumise koefitsiendid nende Parsevali kinniste kujude ning Kaplani ja Hegarty Q = 1 (CW) ja 1,5 (sobitatud) vastu. MODELLED: segajate võimsused, ajajoon, vastuvõtja sisendotsa ribalaiused, pideva spektri (koodijooni ei ole) käsitlus ning AGC, blankimise ja antennidiagrammi puudumine.

Kohustuslikud väljad: puuduvad. Valikulised: seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording.

Register (ledger): MODELLED 3 · VALIDATED 2. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: spectrum.

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

impairment-eval#

Masinõppel põhineva RF-häirete tuvastamise hindamise katsestend (13494): genereeri märgendatud, parameetritest lähtuv SÜNTEETILINE korpus (nominaalne/segamine/spuufimine-aeg/spuufimine-positsioon/mitmeteelevi), hinda detektorit (energy|agc|sqm|parity|fused) detektorist sõltumatu raamistikuga ning anna aru AUC/ROC/segadusmaatriks + klassikohane Pd sihtmärgi Pfa juures, pluss jaotusesisese ja jaotusevälise optimismilõhe. Ainult MODELLED tööomadused — mitte kunagi väli-/IQ-andmed, head/halba otsust ei ole.

Kohustuslikud väljad: puuduvad. Valikulised: seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol.

Register (ledger): MODELLED 1 · VALIDATED 2. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: impairment-eval.

kshana scenarios/impairment-eval.toml