Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/jamming.md

jamming (scenarietype)

Scenarietype i motoren v0.40.0, familie Jamming, spoofing og spektret. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: afsnittet Evidens i README).

Hvad det gør#

Jamming med linkbudget: J/S → effektiv C/N₀ → tab af lås.

Én kørsel af scenarios/jamming-demo.toml opsummeres sådan: scenario 5aac34b045c7 | jamming ON | availability under jamming 0,00 (nominal 1,00) | min tracking 0 | mean J/S 72,2 dB

Input#

Fra skemaet (kshana kinds --json):

  • Obligatoriske felter: seed, time, receiver, constellation
  • Valgfrie felter: 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 angiver blandt andet:

Felt Værdi Enhed
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 ikke angivet
constellation.planes 6 ikke angivet
constellation.sats_per_plane 4 ikke angivet
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

Kør den#

kshana scenarios/jamming-demo.toml

3 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
evidence.id_rule det stabile id for matrixrækken (kolonnen 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 antal
jammer_present true flag
seed 1 1
Diagrammet, som motoren skriver for scenarios/jamming-demo.toml, scenarietype jamming

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

  • MODELLED Geometri, J/S-linkbudget, anti-jam C/N₀, tab af lås pr. satellit Tests: gnss_denied_jamming_resilience_reference.rs.
  • MODELLED Rapporten hybrid-optical-rf angiver en RF-linktilgængelighed, sammensat af størrelser, som motoren allerede beregner, frem for af en importeret klimatologi, og angiver sammensætningen som en navngivet regel: A_rf = I_closure * I_track, hvor I_clos
  • MODELLED Månenativt jammer-til-signal-forhold, effektiv C/N₀ og tab af lås for en selenografisk overfladebruger under en jammer på månens overflade (eller hævet) over den illustrative Moonlight/LCNS-klasse-konstellation fra offentlige kilder.
  • MODELLED Rapporten lunar-jamming hviler ikke længere sin nægtelseskontur på ét enkelt skalartal.
  • og 5 flere i matrixen.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • MODELLED Geometrisk J/S-linkbudget, anti-jam-C/N₀, tab af lås pr. satellit. Uafhængig reference (InternalConsistency): Linkbudgetligningen for anti-jam-C/N₀ krydskontrolleret mod en uafhængig numpy-udledning påny (deler den samme lukkede form → InternalConsistency) plus en karakterisering af C/N₀-forringelse fra reelle JammerTest-2024-data. 0,30 runde 2, blokeret (forbliver MODELLED): det målte fald i C/N0 fra JammerTest 2024 mod en linkbudgetforudsigelse (præregistreret 6a66994b, inden for 3 dB) blev ikke kørt, fordi F8.1-antennens position og pegning ved
  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
  • PARTNER Ikke leveret — Kshana modellerer signalydelse, ikke nyttelast- eller antennehardware. Uafhængig reference (NoneKind): ingen: en disciplin, som partneren ejer, uden modul og uden test, af design

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • Modstandsdygtighed over for jamming i GNSS-nægtede miljøer er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#