lunar-jamming (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Lunární a cislunární. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

Lunárně nativní rušení RF (jamming): poměr rušení k signálu pro každou družici, efektivní C/N₀ a ztráta zachycení signálu pro selenografického povrchového uživatele pod lunárním povrchovým (nebo zvýšeným) rušičem nad ilustrativní konstelací třídy Moonlight/LCNS na lunární oběžné dráze z veřejných zdrojů. Skládá existující otevřenou fyziku rušení (jamming::j_over_s_db, effective_cn0_dbhz, rx_antenna_gain_db, lock_status, q_factor) s existující lunární geometrií oblohy (lunar_service::LunarConstellation + topocentric, lunar::selenographic_to_mcmf); žádná geometrie ani radiometrie se neodvozuje znovu. Na rozdíl od pozemního druhu jamming NENÍ signálová větev pevným přijatým výkonem: izotropní přijatý výkon každé družice je její vlastní rozpočet spoje EIRP − FSPL(šikmá vzdálenost), takže J/S se mění od družice k družici s lunární vzdáleností a elevací. Uvádí JEDEN ŘÁDEK NA KAŽDÝ VIDITELNÝ SPOJ (epocha, družice) — azimut, elevaci, šikmou vzdálenost, oba přijaté výkony, jejichž rozdílem je J/S, J/S, nominální a efektivní C/N₀ a stav zachycení — plus souhrnné ukazatele kvality vedle této tabulky (nikdy místo ní) a tutéž tabulku jako artefakt CSV. Každé vydané číselné pole nese jednotku a třídu původu. Dílčí výsledky VALIDATED nesou orákulum svého zdrojového modulu (rovnice protirušení a spoj J/S podle Kaplan & Hegarty §9,4, externě odkazované v tests/gnss_denied_jamming_resilience_reference.rs; lunární geometrie z lunar_service). Samotná kompozice je křížově ověřena proti nezávislé cestě se dvěma rozpočty spoje (linkbudget::received_signal_power_dbw, jiný výraz pro ztrátu volným prostorem) na 1e-9 dB. MODELLED: ilustrativní konstelace, reprezentativní EIRP / výkon rušiče / zisky antén / šumová teplota a absence stínění terénem, vícecestného šíření, dynamiky AGC a adaptivního nulování. Nejde o produkt zabezpečení s certifikací proti odepření služby. Při nakonfigurovaném rušiči nese zpráva také KONTURU ODEPŘENÍ S PÁSMEM NEJISTOTY, a nikoli konturu odečtenou z jednoho skaláru: celé měřené rozdělení C/N₀ užitečného signálu přes tabulku jednotlivých družic (n, min, p05, p25, medián, p75, p95, max, průměr, výběrová směrodatná odchylka a vlastní asymetrie výběru) a konturu vyhodnocenou v každé z těchto pořadových statistik podle OBOU kritérií odepření, která engine uznává — zavedeného kritéria poměru výkonů (J/S = 30 dB, jako v attack-surface a tracking-loop) a kritéria ztráty zachycení (efektivní C/N₀ klesající na tracking_threshold_dbhz, kritérium, které používá sloupec stavu této zprávy) — na obou osách roviny odepření (požadované EIRP rušiče při odstupu scénáře, odstup odepření při EIRP scénáře). Meze pásma JSOU contour(p05) a contour(p95), tatáž mapa v uzavřeném tvaru aplikovaná na vlastní kvantily výběru: nikoli sigma nafitovaná na výběr a nikoli medián ± k·stdev, přičemž stdev se vydává kvůli kontinuitě a nic ho nepoužívá. Kvantil, který je již na úrovni prahu sledování nebo pod ní, nemá žádné konečné odpírající J/S a jeho sloupce ztráty zachycení jsou null s započítaným důvodem, nikdy ořezaný poloměr.

Jeden běh scenarios/lunar-jamming.toml se shrne takto: lunar-jamming | 4 družic, 12 epoch, 38 spojů z (-89.67, 129,78) | J/S 33,651..36.668 dB (průměr 35,622) | 0 LOST | dostupnost 0,167 z 0,167 nominální

Vstupy#

Ze schématu (kshana kinds --json):

• Povinná pole: žádná
• Volitelná pole: n_sats, sma_km, eccentricity, inc_deg, argp_deg, site_lat_deg, site_lon_deg, site_alt_m, horizon_hours, step_min, elev_mask_deg, sat_eirp_dbw, carrier_hz, chip_rate_hz, user_boresight_gain_dbi, temp_k, tracking_threshold_dbhz, degraded_margin_db, jammer

Příklad scenarios/lunar-jamming.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/lunar-jamming.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

• MODELLED Lunárně nativní poměr rušení k signálu, efektivní C/N₀ a ztráta zachycení pro uživatele na selenografickém povrchu pod rušičkou na lunárním povrchu (nebo zvýšenou) nad ilustrativní konstelací třídy Moonlight/LCNS z veřejných zdrojů.
• MODELLED Zpráva lunar-jamming už svůj kontur odepření nestaví na jediném skaláru.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

• MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
• PARTNER Neposkytuje se: Kshana modeluje výkon signálu, nikoli nákladový hardware ani antény. Oracle (NoneKind): žádné: disciplína ve vlastnictví partnera, záměrně bez modulu a bez testu
• MODELLED Lunárně nativní poměr rušení k signálu, efektivní C/N₀ a ztráta zachycení signálu pro selenografického povrchového uživatele pod lunárním povrchovým (nebo zvýšeným) rušičem nad ilustr. Orákulum (ReferenceImpl): Křížová kontrola kompozice proti nezávislé cestě kódu v repozitáři: každé J/S spoje je znovu odvozeno jako rozdíl dvou rozpočtů spoje vypočtených pomocí linkbudget::received_signal_power_dbw, jejíž ztráta volným prostorem je jediný výraz 20·log10(4πRf/c) místo třítočlenného součtu, který používá jamming::free_space_path_loss_db — obě se shodují na < 1e-9 dB v každém řádku (změřený nejhorší případ 7.11e-14 dB, tj. zaokrouhlení v pohyblivé řádové čárce)
• MODELLED Zpráva lunar-jamming už neopírá svou konturu odepření o jeden skalár. Vydává celé měřené rozdělení C/N₀ užitečného signálu přes tabulku jednotlivých družic. Orákulum (InternalConsistency): Vnitřní konzistence vůči vlastním dopředným funkcím enginu, což je vše, co si tato schopnost může čestně nárokovat. Každý bod kontury je inverze v uzavřeném tvaru a každá inverze je kontrolována tím, že se její výsledek protlačí zpět DOPŘEDNOU funkcí, kterou byly hodnoceny vlastní řádky zprávy: sloupec J/S přes jamming::effective_cn0_dbhz (která musí vrátit tracking_threshold_dbhz s přesností < 1e-9 dB-Hz), sloupec odstupu

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

• MODELLED: ilustrativní konstelace, reprezentativní EIRP / výkon rušiče / zisky antén / šumová teplota a absence stínění terénem, vícecestného šíření, dynamiky AGC a adaptivního nulování. (katalog druhů (kshana kinds --json))
• MODELLED. Konstelace je ilustrativní geometrie třídy Moonlight/LCNS z veřejných zdrojů (nikoli skutečné efemeridy; nic nenaznačuje spojení ani podporu) a model interference je rozpočet spoje: žádné stínění rušiče terénem (efekt prvního řádu v terénu u jižního pólu), žádné vícecestné šíření, žádná dynamika AGC blízko/daleko, žádné adaptivní nulování, žádná hystereze akvizice vůči sledování. (komentář v souboru scénáře, řádky 26 až 30)
• Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Rušení RF při navigaci na povrchu Měsíce (J/S jednotlivých družic) je MODELLED, nikoli ověřené: je kontrolováno proti samostatné implementaci ve stejné kódové základně — nezávislé na testované jednotce, ale není externě autoritativní. (verifikační matice (docs/MODELLED-RATIONALE.md))
• Lunární kontura odepření s pásmem nejistoty z měřeného rozptylu C/N₀ je MODELLED, nikoli ověřená: je kontrolována proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není vnějším orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

• Stránka rodiny: Lunární a cislunární
• Všechny druhy: KINDS.md
• Tematická stránka: integrations.md