Brouillage, leurrage et spectre (famille de types de scénario)

6 types de scénario du moteur v0.40.0. À titre consultatif : sortie d'analyse d'un outil de recherche et d'ingénierie, pas un équipement de navigation homologué et pas un service de sauvegarde de la vie humaine. Chaque libellé ici est celui du moteur ou de la matrice de vérification ; un type est MODELLED sauf indication contraire de la matrice (comment un libellé s'obtient : la section Evidence du README).

Pages thématiques : SPECTRUM, DECEIVED-TIME, IQ-FOLLOW. En exécuter une : kshana scenarios/jamming-demo.toml. Toutes les familles : KINDS.md.

jamming#

Brouillage par bilan de liaison : J/S → C/N₀ effectif → perte d'accrochage.

Champs obligatoires : seed, time, receiver, constellation. Facultatifs : jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : jamming.

kshana scenarios/jamming-demo.toml

spoof#

Détecteur stochastique de leurrage temporel (Neyman–Pearson / χ²₁) avec P_fa/P_md par Monte-Carlo.

Champs obligatoires : threshold_ns, time, attack, clock_quantum, clock_classical.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : spoof.

kshana scenarios/spoof-attack.toml

spoof-detect#

Détecteur combiné de leurrage RF/mesures (cohérence RAIM multi-SV + CAG + SQM, fusionnés) face à une attaque paramétrée (avantage de puissance, alignement de la phase de la porteuse, poussée en temps/position ; de type TEXBAT).

Champs obligatoires : attack. Facultatifs : satellites, detector.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : spoof-detect.

kshana scenarios/spoof-detect.toml

tracking-loop#

Perte d'accrochage de la boucle de poursuite : C/N0 -> accrochage/décrochage AVEC HYSTÉRÉSIS, temps nécessaire pour perdre l'accrochage, et capture par leurrage en fonction du TAUX de décalage de code et de porteuse. Les critères de déni et de capture existants du moteur sont des rapports sur la puissance reçue (un brouilleur interdit à J/S = 30 dB, un leurre capture à 3 dB) ; la vraie perte d'accrochage n'est pas un rapport de puissance, c'est le point où la gigue d'une boucle plus la contrainte dynamique quittent son budget de seuil de poursuite. Rapporte (1) la gigue thermique à 1 sigma de la porteuse (Costas) et du code (avance/retard non cohérent) en fonction du C/N0, perte de quadrature incluse, par rapport aux règles indiquées 3sigma_PLL + theta_e <= 45 deg (la règle des 15 degrés sous forme à trois sigma) et 3sigma_DLL + retard de rampe <= d/2 chips ; (2) les seuils de C/N0 de décrochage et de ré-accrochage avec la boucle déterminante nommée, le seuil de ré-accrochage DÉRIVÉ de la largeur de bande plus large à laquelle un récepteur se ré-accroche plutôt qu'affirmé, de sorte que la largeur d'hystérésis doit se situer entre 5log10(rapport) et 10log10(rapport) dB ; (3) le temps déclaré pour perdre l'accrochage d'un détecteur d'accrochage à deux seuils avec des durées de confirmation, piloté sur une rampe de C/N0, rapporté séparément du temps physique d'échappement de phase (le temps moyen de Viterbi entre sauts de cycle, en log10 s car il s'étend sur des centaines de décades) ; (4) les limites de capture par leurrage — la plus grande vitesse de glissement de code et le plus grand taux de Doppler de porteuse que les boucles d'une victime peuvent suivre, avec une carte sur les deux axes, car un leurre qui glisse plus vite que ces valeurs ne capture pas la boucle, il la distance ; et (5) le RAYON DE DÉNI qu'impliquent les dynamiques de boucle, rapporté EN PLUS du rayon en rapport de puissance existant, jamais à sa place, avec leur différence signée comme champ nommé à part (denial_radius_delta_km) et une définition à côté. Chaque champ numérique émis porte une unité et une classe de provenance. Formes fermées VALIDATED : les expressions de gigue de porteuse et de code, la réduction du filtre de boucle sqrt(2B_nT) et le retard de rampe du premier ordre sont recoupés avec le propre corrélateur sdr du moteur avancé pas à pas sur une FI synthétique initialisée — un autre chemin vers les mêmes nombres — à 0,6 %, 3,7 % et 0,17 % respectivement, et la fonction de Bessel modifiée I0 qui sous-tend le temps de saut de cycle avec des valeurs tabulées standard à 1e-7. La limite de validité inférieure est affirmée, et non simplement indiquée : en dessous d'environ 32 dB-Hz à 1 ms, le vrai discriminateur atan sature contre sa plage +-pi/2 et mesure moins de gigue que n'importe quelle théorie linéaire. MODELLED : les largeurs de bande de boucle, le temps d'intégration, l'espacement des corrélateurs, le rapport de largeur de bande de capture, les durées de confirmation, la puissance du brouilleur et les gains d'antenne sont des valeurs représentatives de la bande, et non une fiche technique. NON modélisés : la gigue d'oscillateur (écart-type d'Allan) et de vibration, la limitation de largeur de bande de l'étage d'entrée, les trajets multiples, la dynamique de la CAG, la perte de transition de bit de données, l'aide externe, et toute correction d'un demi-cycle à la formule de saut de cycle de Costas. Sous les dynamiques de boucle, la capture par leurrage n'a aucun rayon — la contrainte déterminante est le taux de décalage, non la puissance — de sorte que ce champ est nul avec une raison plutôt qu'un nombre fabriqué. Pas un produit certifié de performance de récepteur.

Champs obligatoires : aucun. Facultatifs : 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.

Registre : MODELLED. Page complète, avec les entrées, les résultats, les preuves et les limites : tracking-loop.

kshana scenarios/tracking-loop.toml

spectrum#

Modèle de spectre en bande L et cascade : toute la bande L du GNSS comme une seule densité spectrale de puissance (DSP), fréquence en abscisse, temps vers le bas, sur une chronologie de brouilleurs scriptée. SIGNAUX : GPS L1 C/A et L2C (BPSK(1)), service ouvert Galileo E1 (MBOC(6,1,1/11), ou BOC(1 1)), GPS L5 et Galileo E5a (BPSK(10)), chacun à sa porteuse avec la puissance reçue minimale de la spécification d'interface (IS-GPS-200, IS-GPS-705, Galileo OS SIS ICD) sauf indication contraire ; GLONASS, BeiDou et Galileo E6 ne sont pas modélisés. BROUILLEURS : onde continue, bruit à bande étroite plat, chirp en dents de scie linéaire et bruit à large bande adapté à la modulation propre d'une bande, chacun avec un centre, une largeur de bande, une puissance reçue (directe, ou PIRE et portée via l'affaiblissement en espace libre du type de brouillage) et des instants d'activation et de désactivation. Chaque brouilleur est évalué par rapport à chaque bande par son coefficient de séparation spectrale kappa sur la largeur de bande du récepteur, et (C/N0)_eff = [1/(C/N0) + sum (J/S) kappa]^-1 ; pour un seul brouilleur, cela équivaut à l'équation anti-brouillage du type de brouillage avec Q = 1/(R_c kappa), et le rapport comporte cette vérification croisée (ainsi que, à côté, la valeur de Q représentative du type de brouillage). Le plancher de bruit est k T_sys avec T_sys = T_ant + 290 K (F - 1). La cascade moyenne chaque cellule sur son intervalle de fréquence et sa ligne (chirps de façon exacte, balayages entiers plus le balayage partiel ; brouilleurs commutant en milieu de ligne selon leur rapport cyclique), de sorte que la chronologie du C/N0 et l'image proviennent des mêmes nombres ; result.json porte la grille moyennée par blocs en puissance, le C/N0 et le J/S par bande et par ligne, et, par brouilleur et par bande, le SSC, le Q, le J/S, le J/S dans la bande et le C/N0 stable. [iq] facultatif : le modèle tiré comme un IQ complexe à un instant donné, écrit dans un enregistrement SigMF puis relu depuis celui-ci (cf32_le ou ci16_le), et comparé à une estimation de Welch. [recording] facultatif (versions natives) : la DSP de Welch d'un vrai enregistrement SigMF à côté du modèle. VALIDATED : les DSP des signaux par rapport aux largeurs de lobe principal des manuels (BPSK(n) 2n x 1,023 MHz de nul à nul ; lobes de BOC(1 1) centrés à +/-1.023 MHz) et les coefficients de séparation spectrale par rapport à leurs formes fermées de Parseval et à Q = 1 (CW) et 1,5 (adapté) de Kaplan & Hegarty. MODELLED : les puissances des brouilleurs, la chronologie, les largeurs de bande des étages d'entrée, le traitement à spectre continu (sans raies de code) et l'absence de CAG, de suppression d'impulsions et de diagramme d'antenne.

Champs obligatoires : aucun. Facultatifs : seed, duration_s, step_s, receiver, grid, bands, jammers, iq, recording.

Registre : MODELLED 3 · VALIDATED 2. Page complète, avec les entrées, les résultats, les preuves et les limites : spectrum.

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

impairment-eval#

Banc d'évaluation de la détection par apprentissage automatique des altérations RF (13494) : générer un corpus SYNTHÉTIQUE étiqueté et fondé sur des paramètres (nominal/brouillage/leurrage en temps/leurrage en position/trajets multiples), noter un détecteur (energy|agc|sqm|parity|fused) avec le banc indépendant du détecteur, et rapporter AUC/ROC/matrice de confusion + Pd par classe à un Pfa cible, ainsi que l'écart d'optimisme entre dans la distribution et hors de la distribution. Caractéristiques de fonctionnement MODELLED seulement — jamais de données de terrain/IQ, aucun verdict bon/mauvais.

Champs obligatoires : aucun. Facultatifs : seed, n_per_class, nominal_cn0_dbhz, meas_noise, detector, target_pfa, shift_severity_scale, optimism_tol.

Registre : MODELLED 1 · VALIDATED 2. Page complète, avec les entrées, les résultats, les preuves et les limites : impairment-eval.

kshana scenarios/impairment-eval.toml