Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/jamming.md

jamming (scenario kind)

Scenariotyp i motorn v0.40.0, familj Jamming, spoofing och spektrum. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en tjänst för skydd av människoliv. Varje etikett här är motorns eller verifieringsmatrisens; en kind är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidence i README).

Vad den gör#

Jamming enligt länkbudget: J/S → effektiv C/N₀ → förlust av låsning.

En körning av scenarios/jamming-demo.toml sammanfattas som: scenario 5aac34b045c7 | jamming ON | availability under jamming 0,00 (nominal 1,00) | min tracking 0 | mean J/S 72,2 dB

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: seed, time, receiver, constellation
  • Valfria fält: jammer, mask_deg, tracking_threshold_dbhz, degraded_margin_db, signal_power_dbw, temp_k, freq_hz, chip_rate_hz, skyline

Exemplet scenarios/jamming-demo.toml anger bland annat:

Fält Värde Enhet
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 inte angivet
constellation.planes 6 inte angivet
constellation.sats_per_plane 4 inte angivet
jammer.bandwidth_mhz 20 MHz
jammer.gain_dbi 0 dBi
jammer.jammer_type broadband text
jammer.position_ecef_m [3.9264e6, 2.7449e5, 5.0028e6] m
jammer.power_dbw 10 dBW
kind jamming text
mask_deg 5 deg

Kör den#

kshana scenarios/jamming-demo.toml

3 medföljande scenarier använder den här typen; de övriga finns i scenarios/.

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier PARTNER text
fom.availability_nominal 1 1
fom.availability_under_jamming 0 1
fom.mean_js_db 72.164862 dB
fom.min_tracking 0 antal
jammer_present true flagga
seed 1 1
Diagrammet som motorn skriver för scenarios/jamming-demo.toml, kind jamming

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

  • MODELLED Geometri för J/S-länkbudget, C/N₀ med störskydd, förlust av låsning per satellit Tests: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Rapporten hybrid-optical-rf anger en tillgänglighet för RF-länken, sammansatt av storheter som motorn redan beräknar snarare än av en importerad klimatologi, och anger sammansättningen som en namngiven regel: A_rf = I_closure * I_track, där I_clos
  • MODELLED Månnativ störsignal-till-signal-kvot, effektiv C/N₀ och förlust av låsning för en selenografisk ytanvändare under en störsändare på månytan (eller upphöjd), över den illustrativa konstellationen av Moonlight/LCNS-klass från offentliga källor.
  • MODELLED Rapporten lunar-jamming vilar inte längre med sin nekandekontur på en enda skalär.
  • och 5 fler i matrisen.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Geometrisk J/S-länkbudget, anti-jam C/N₀, förlust av låsning per satellit. Oberoende referens (InternalConsistency): Länkbudgetekvationen för anti-jam C/N₀ korskontrollerad mot en oberoende numpy-omräkning (delar samma slutna form → InternalConsistency) plus en karakterisering av C/N₀-försämring i verkliga JammerTest-2024. 0,30 omgång 2, blockerad (förblir MODELLED): den uppmätta C/N0-minskningen i JammerTest 2024 mot en länkbudgetprediktion (förhandsregistrerad 6a66994b, inom 3 dB) kördes inte eftersom F8.1-antennens position och pekning vid
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • PARTNER Tillhandahålls inte — Kshana modellerar signalprestanda, inte nyttolast- eller antennhårdvara. Oberoende referens (NoneKind): ingen: en disciplin som ägs av partner, utan modul och utan test av utformning

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Resiliens mot jamming i GNSS-nekade miljöer är MODELLED, inte validerad: kontrollerad mot sin egen slutna / analytiska identitet — fångar transkriptions- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#