jamming (skenaariotyyppi)
Moottorin v0.40.0 skenaariotyyppi, perhe Häirintä (jamming), harhautus (spoofing) ja spektri. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).
Mitä se tekee#
Häirintä linkkibudjetilla: J/S → tehollinen C/N₀ → lukituksen menetys.
Yksi tiedoston scenarios/jamming-demo.toml ajo tiivistyy seuraavasti: skenaario 5aac34b045c7 | häirintä ON | saatavuus häirinnän aikana 0,00 (nimellinen 1,00) | seurannan minimi 0 | keskimääräinen J/S 72,2 dB
Syötteet#
Skeemasta (kshana kinds --json):
- Pakolliset kentät:
seed,time,receiver,constellation - Valinnaiset kentät:
jammer,mask_deg,tracking_threshold_dbhz,degraded_margin_db,signal_power_dbw,temp_k,freq_hz,chip_rate_hz,skyline
Esimerkki scenarios/jamming-demo.toml asettaa muun muassa seuraavat:
| Kenttä | Arvo | Yksikkö |
|---|---|---|
constellation.altitude_km |
20200 | km |
constellation.inclination_deg |
55 | deg |
constellation.phasing_f |
1 | ei ilmoitettu |
constellation.planes |
6 | ei ilmoitettu |
constellation.sats_per_plane |
4 | ei ilmoitettu |
jammer.bandwidth_mhz |
20 | MHz |
jammer.gain_dbi |
0 | dBi |
jammer.jammer_type |
laajakaistainen | teksti |
jammer.position_ecef_m |
[3.9264e6, 2.7449e5, 5.0028e6] | m |
jammer.power_dbw |
10 | dBW |
kind |
jamming | teksti |
mask_deg |
5 | deg |
Aja se#
kshana scenarios/jamming-demo.toml
3 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat kohdassa scenarios/.
Mitä se antaa#
Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:
| Tulos | Arvo | Yksikkö |
|---|---|---|
evidence.id_rule |
matriisirivin vakaa tunniste (ID | teksti |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | teksti |
evidence.tier |
PARTNER | teksti |
fom.availability_nominal |
1 | 1 |
fom.availability_under_jamming |
0 | 1 |
fom.mean_js_db |
72.164862 | dB |
fom.min_tracking |
0 | lukumäärä |
jammer_present |
true | lippu |
seed |
1 | 1 |
Todisteet#
MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.
- MODELLED Geometrinen J/S-linkkibudjetti, häirinnänkestävä C/N₀, satelliittikohtainen lukituksen menetys Testit: gnss_denied_jamming_resilience_reference.rs.
- MODELLED Raportti hybrid-optical-rf ilmoittaa RF-linkin saatavuuden, koottuna suureista, jotka moottori jo laskee, eikä tuodusta ilmastotiedosta, ja ilmoittaa kokoamisen nimettynä sääntönä: A_rf = I_closure * I_track, missä I_clos
- MODELLED Kuun omaan ympäristöön sovitettu häirintä–signaali-suhde, tehollinen C/N₀ ja lukituksen menetys selenografiselle pintakäyttäjälle Kuun pinnalla olevan (tai korotetun) häirintälähettimen alla, havainnollistavan julkisiin lähteisiin perustuvan Moonlight/LCNS-luokan satelliittitähdistön yli.
- MODELLED Raportti
lunar-jammingei enää nojaa kieltokäyräänsä yhteen skalaariin. - ja 5 muuta matriisissa.
Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):
- MODELLED Geometrinen J/S-linkkibudjetti, häirinnänkestävä C/N₀, satelliittikohtainen lukituksen menetys. Oraakkeli (InternalConsistency): Häirinnänkestävän C/N₀:n linkkibudjettiyhtälö ristiintarkistettuna riippumatonta numpy-uudelleenjohtoa vastaan (jakaa saman suljetun muodon → InternalConsistency) sekä todellinen JammerTest-2024-C/N₀-heikkenemisen luonnehdinta. 0,30 kierros 2, estetty (pysyy MODELLED): mitattua JammerTest 2024 C/N0-laskua ei ajettu linkkibudjettiennustetta vasten (ennakkorekisteröity 6a66994b, 3 dB:n sisällä), koska F8.1-antennin paikka ja suuntaus
- MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
- PARTNER Ei tarjota — Kshana mallintaa signaalin suorituskykyä, ei hyötykuorma- tai antennilaitteistoa. Oraakkeli (NoneKind): ei mitään: kumppanin omistama osa-alue, jolla ei ole moduulia eikä testiä tarkoituksella
Rajoitukset#
Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:
- GNSS-estetyn ympäristön häirintäkestävyys (jamming) on MODELLED, ei validoitu: tarkistettu omaa suljetun muodon / analyyttistä identiteettiään vastaan — havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
- Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
Katso myös#
- Perhesivu: Häirintä (jamming), harhautus (spoofing) ja spektri
- Kaikki lajit: KINDS.md
- Aihesivu: CAMPAIGNS.md
- Aihesivu: SPECTRUM.md