lunar-attack-surface (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kuu ja tsislunaarne ruum. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

Kuu pinnanavigatsiooni signaaliturbe ründepind (P1): ühendab avatud signaaliturbe analüüsid üheks kahendfailist ligipääsetavaks käivituseks. Esitab (1) AFS vastuvõetud võimsuse ja selle võimsuse ÜLEJÄÄGI maapealse GPS etaloni suhtes, pluss 12-18 dB tundlikkusriba tõelise mitmetelgse pühkimisena üle lingisisendite (etalontase x EIRP x kaldvahemaa) koos 25x-ümardatud / 28x-ümardamata lineaarteguri ühildamisega. PARANDATUD (reegel R4): see esitas 15,6 dB võimsuse PUUDUJÄÄGI ja teguri 32x/36x, kuni GPS etalon parandati väärtustelt -125 / -128.5 (mis on dBm arvud) väärtustele -155 / -158.5 dBW, ICD-GPS-200 väärtused, mida segamismoodul on alati kandnud. Märk pöördub: modelleeritud Kuu AFS signaal on 14,4 dB TUGEVAM kui maapealne GPS L1 C/A, mitte nõrgem. Vastuvõetud võimsus ise ei nihkunud bittigi ja lineaartegur on vana jagatud täpselt 1000-ga, mis on täpselt 30 dB dBm-st dBW-sse nihe; (2) nõutav ründaja edastusvõimsus võltsimiseks (J/S = 3 dB) ja keelamiseks (J/S = 30 dB) igal eemalseisul, J/S lingi pöördväärtus; (3) orbitaalne haaramisjalajälg päris ühtlase ava antenni mustri all (Airy [2 J1(x)/x]^2), kõrgusega piiratud alampoolkerakujuline kübar, mille serv EI OLE haaratud; (4) arvutatud jälgimissilmuse võltsimise haaramise sissetõmbe tulemus (kas sobitatud koodiga võltsija antud võimsuseeelise ja koodinihkega tõesti tõmbab DLL/PLL kaasa), mitte väidetud 3 dB lävi; (5) õhuta keha geomeetriline horisondi ulatus tõstetud pinnasaatjal; ja (6) OSNMA/TESLA autentimise eelarve (20 bit/s lisakulu = ~40 % 50 bit/s AFS navigatsioonisõnumist, võtme avalikustamise viivitus, 2^-40 võltsimine). Tühi sisu reprodutseerib P1 lähtetaseme; iga sisend on vaikimisi antud ja tühistatav. VALIDATED alamtulemused kannavad oma lähtemooduli sõltumatut etaloni (suletud kujul dB radiomeetria; pöördvõrdelise J/S ringkäik; Airy muster vs A&S Besseli ja sfäärilise kübara geomeetria; DLL/PLL sissetõmme vs Kaplan & Hegarty; sfäärilise puutuja horisondi samasus vs eo_payload; OSNMA SIS-ICD väljade mõõtmine). MODELLED: esinduslikud geomeetria/võimsuse suurusjärgud ja haaramiskaardi konkreetsed lahtriväärtused. Mitte sertifitseeritud turbetoode.

Ühe scenarios/lunar-attack-surface.toml käivituse kokkuvõte: lunar-attack-surface | AFS -140.6 dBW, ülejääk 14,4 dB (riba -17.9–-12.0, 25×/28× ülejääk) | võltsimine@1000 m 0,000 W | jalajälg 3% kübar, serv väär | võltsimise haaramine tõene (haakumine 0,00 s) | masti ulatus 21,0 km | OSNMA 20 bit/s (40% väärtusest 50 bit/s), 30 s viivitus | jalajälje pühkimine 7x5 (kõrgus 20-500 km x HPBW 1.83-29.20 kraadi), haaramine 0.6-42.9% | serva EI saavutatud sellel ruudustikul (parim -0.8 dB, 3,8 dB puudu; vajab 19,8 dBW vs 16,0 dBW)

Sisendid#

Skeemist (kshana kinds --json):

• Nõutavad väljad: puuduvad
• Valikulised väljad: afs_eirp_dbw, user_gain_dbi, slant_range_m, slant_range_max_m, carrier_hz, gps_reference_dbw, gps_reference_min_dbw, afs_isotropic_signal_dbw, transmitter_altitude_m, transmitter_power_dbw, antenna_diameter_m, footprint_grid, spoof_power_advantage_db, spoof_code_offset_chips, attacker_gain_dbi, spoof_capture_js_db, jam_denial_js_db, standoffs_m, mast_height_m, user_antenna_height_m, footprint_altitude_min_m, footprint_altitude_max_m, footprint_altitude_steps, footprint_altitude_scale, footprint_diameter_min_m, footprint_diameter_max_m, footprint_diameter_steps, footprint_diameter_scale

Näide scenarios/lunar-attack-surface.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/lunar-attack-surface.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tõendid#

Ükski maatriksirida ei nimeta seda liiki nimepidi; selle tulemuse silt on mootori enda, ülal.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

• MODELLED Geomeetriline J/S lingibilanss, segamisvastane C/N₀, satelliidi kaupa sünkroonsuse kadu. Sõltumatu etalon (InternalConsistency): Segamisvastase C/N₀ lingibilansi võrrand, mida on risttõendatud sõltumatu numpy uuestituletusega (jagab sama suletud kuju → InternalConsistency) pluss tegeliku JammerTest-2024 C/N₀ halvenemise iseloomustusega. 0,30 ring 2, blokeeritud (jääb MODELLED): mõõdetud JammerTest 2024 C/N0 langust lingibilansi ennustuse vastu (eelregistreeritud 6a66994b, 3 dB piires) ei jooksutatud, sest F8.1 antenni asukoht ja suunamine at
• MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
• MODELLED Kahetelgne pühkimine mustriga kaalutud, kõrgusega piiratud pinna haaramisjalajälje üle saatja kõrguse ja antenni läbimõõdu, esitatud üks rida tööpunkti kohta. Sõltumatu etalon (InternalConsistency): Hulga sisaldumine: segaja ja signaali suhe siseneb ühtlase detsibellinihkena, nii et kõrgema edastusvõimsuse haaratud hulk sisaldab madalama oma hulka ja osa saab ainult kasvada -- omadus, mida Airy muster EI anna kiirelaiuse ega kõrguse suhtes, kus haaratud piirkond laguneb rõngasteks ja osa on tõeliselt mittemonotoonne. Ükski avaldatud tabel ei anna Kuu orbitaalse saatja haaratud ketta osa

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

• MODELLED: esinduslikud geomeetria/võimsuse suurusjärgud ja haaramiskaardi konkreetsed lahtriväärtused. (liikide kataloog (kshana kinds --json))
• GNSS-ita segamisvastane vastupidavus on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Haaramisjalajälg kõrguse ja kiirelaiuse suhtes on MODELLED, mitte valideeritud: kontrollitud omaenda suletud kujul / analüütilise samasuse vastu — tabab ülekande- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#

• Perekonna leht: Kuu ja tsislunaarne ruum
• Kõik liigid: KINDS.md