Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/jamming.md

jamming (scenariotype)

Scenariotype i motoren v0.40.0, familie Jamming, spoofing og spekteret. Veiledende: analyseresultat fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en safety-of-life-tjeneste. Hver etikett her kommer fra motoren eller verifikasjonsmatrisen; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

Jamming med linkbudsjett: J/S → effektiv C/N₀ → tap av lås.

Én kjøring av scenarios/jamming-demo.toml oppsummeres slik: scenario 5aac34b045c7 | jamming ON | availability under jamming 0,00 (nominal 1,00) | min tracking 0 | mean J/S 72,2 dB

Inndata#

Fra skjemaet (kshana kinds --json):

  • Obligatoriske felt: seed, time, receiver, constellation
  • Valgfrie felt: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

Eksemplet scenarios/jamming-demo.toml setter blant annet:

Felt Verdi Enhet
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 ikke oppgitt
constellation.planes 6 ikke oppgitt
constellation.sats_per_plane 4 ikke oppgitt
jammer.bandwidth_mhz 20 MHz
jammer.gain_dbi 0 dBi
jammer.jammer_type broadband tekst
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming tekst
mask_deg 5 deg

Kjør den#

kshana scenarios/jamming-demo.toml

3 medfølgende scenarioer bruker denne typen; de andre står i scenarios/.

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
evidence.id_rule den stabile id-en til matriseraden (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier PARTNER tekst
fom.availability_nominal 1 1
fom.availability_under_jamming 0 1
fom.mean_js_db 72.164862 dB
fom.min_tracking 0 antall
jammer_present true flagg
seed 1 1
Diagrammet motoren skriver for scenarios/jamming-demo.toml, typen jamming

Evidens#

MODELLED: radene i verifikasjonsmatrisen som navngir denne typen.

  • MODELLED Geometrisk J/S-linkbudsjett, C/N₀ med anti-jam, tap av lås per satellitt. Tester: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Rapporten hybrid-optical-rf oppgir en RF-linktilgjengelighet, sammensatt av størrelser motoren allerede beregner i stedet for av en importert klimatologi, og oppgir sammensetningen som en navngitt regel: A_rf = I_closure * I_track, der I_clos
  • MODELLED Månenativt forhold mellom jammer og signal, effektiv C/N₀ og tap av lås for en selenografisk overflatebruker under en jammer på månens overflate (eller hevet), over den illustrative offentlig kildebaserte Moonlight/LCNS-klasse-konstellasjonen.
  • MODELLED Rapporten lunar-jamming hviler ikke lenger sin nektelseskontur på én skalar.
  • og 5 til i matrisen.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • MODELLED Geometrisk J/S-linkbudsjett, anti-jam C/N₀, tap av lås per satellitt. Uavhengig referanse (InternalConsistency): Likningen for anti-jam C/N₀-linkbudsjett kryssjekket mot en uavhengig numpy-utledning (deler samme lukkede form → InternalConsistency) pluss en karakterisering av C/N₀-degradering i virkelige JammerTest-2024-data. 0,30 runde 2, blokkert (forblir MODELLED): den målte C/N0-nedgangen i JammerTest 2024 mot en linkbudsjettprediksjon (forhåndsregistrert 6a66994b, innen 3 dB) ble ikke kjørt fordi F8.1-antenneposisjonen og -pekingen at
  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
  • PARTNER Ikke levert — Kshana modellerer signalytelse, ikke nyttelast- eller antennemaskinvare. Uavhengig referanse (NoneKind): ingen: en disiplin som eies av partneren, uten modul og uten test etter utforming

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • Robusthet mot jamming uten GNSS er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#