Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Pages des types de scénarioModifier sur GitHubSource : docs/kinds/by-kind/jamming.md

jamming (type de scénario)

Type de scénario du moteur v0.40.0, famille Brouillage, leurrage et spectre. À titre consultatif : résultat d'analyse issu d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf indication contraire de la matrice (comment une étiquette s'obtient : section Evidence du README).

Ce qu'il fait#

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

Une exécution de scenarios/jamming-demo.toml se résume ainsi : scenario 5aac34b045c7 | jamming ON | availability under jamming 0,00 (nominal 1,00) | min tracking 0 | mean J/S 72,2 dB

Entrées#

D'après le schéma (kshana kinds --json) :

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

L'exemple scenarios/jamming-demo.toml définit, entre autres :

Champ Valeur Unité
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 non indiqué
constellation.planes 6 non indiqué
constellation.sats_per_plane 4 non indiqué
jammer.bandwidth_mhz 20 MHz
jammer.gain_dbi 0 dBi
jammer.jammer_type broadband texte
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming texte
mask_deg 5 deg

L'exécuter#

kshana scenarios/jamming-demo.toml

3 scénarios fournis utilisent ce type ; les autres se trouvent dans scenarios/.

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Résultat Valeur Unité
evidence.id_rule l'identifiant stable de la ligne de la matrice (l'ID texte
evidence.matrix docs/VERIFICATION-MATRIX.md texte
evidence.tier PARTNER texte
fom.availability_nominal 1 1
fom.availability_under_jamming 0 1
fom.mean_js_db 72.164862 dB
fom.min_tracking 0 nombre
jammer_present true indicateur
seed 1 1
Le graphique que le moteur écrit pour scenarios/jamming-demo.toml, type de scénario jamming

Preuves#

MODELLED : les lignes de la matrice de vérification qui nomment ce type de scénario.

  • MODELLED Bilan de liaison J/S géométrique, C/N₀ anti-brouillage, perte d'accrochage par satellite Tests : gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Le rapport hybrid-optical-rf indique une disponibilité de liaison RF, composée à partir de grandeurs que le moteur calcule déjà plutôt qu'à partir d'une climatologie importée, et énonce la composition comme une règle nommée : A_rf = I_closure * I_track, où I_clos
  • MODELLED Rapport brouilleur/signal propre à la Lune, C/N₀ effectif et perte d'accrochage pour un utilisateur à la surface sélénographique sous un brouilleur à la surface lunaire (ou surélevé), sur la constellation illustrative de classe Moonlight/LCNS issue de sources publiques.
  • MODELLED Le rapport lunar-jamming ne repose plus sur un seul scalaire pour son contour de refus.
  • et 5 autres dans la matrice.

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

  • MODELLED Bilan de liaison J/S géométrique, C/N₀ anti-brouillage, perte d'accrochage par satellite. Référence indépendante (InternalConsistency) : Équation du bilan de liaison C/N₀ anti-brouillage vérifiée par rapport à une nouvelle dérivation numpy indépendante (partage la même forme fermée → InternalConsistency) plus une caractérisation de la dégradation du C/N₀ de JammerTest-2024 réel. 0,30 tour 2, bloqué (reste MODELLED) : la baisse de C/N0 mesurée de JammerTest 2024 par rapport à une prédiction de bilan de liaison (préenregistrée 6a66994b, à 3 dB près) n'a pas été exécutée parce que la position et le pointage de l'antenne F8.1 à
  • MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED
  • PARTNER Non fourni — Kshana modélise la performance du signal, et non le matériel de charge utile ou d'antenne. Référence indépendante (NoneKind) : aucune : une discipline propre au partenaire, sans module ni test par conception

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

  • La résilience au brouillage en l'absence de GNSS est MODELLED, et non validée : vérifiée par rapport à sa propre identité analytique en forme fermée — détecte les erreurs de transcription et de coefficients, mais n'est pas une référence indépendante externe. (matrice de vérification (docs/MODELLED-RATIONALE.md))
  • La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#