GPS-ita alternatiivne PNT (stsenaariumi liikide perekond)

5 stsenaariumi liiki mootorist v0.40.0. 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).

Teemalehed: CAPABILITY, RESILIENCE-CROSSWALK. Käivita üks: kshana scenarios/combined-altpnt.toml. Kõik perekonnad: KINDS.md.

gravity-map#

GPS-ita gravitatsioonikaardi sobitamise navigatsioon: külmaatomi gravimeeter taastab konstantse INS-i triivi gravitatsioonianomaalia jadast, mille läbi see lendab.

Kohustuslikud väljad: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg. Valikulised: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc.

Register (ledger): ükski maatriksirida seda liiki ei nimeta; mootor sildistab oma tulemuse ise. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: gravity-map.

kshana scenarios/gravity-map-nav.toml

terrain-nav#

GPS-ita maastikupõhine navigatsioon (TERCOM/SITAN): radar-/baroaltimeeter sobitab maapinna kõrgusprofiili SRTM-stiilis DEM-iga, et taastada INS-i triiv.

Kohustuslikud väljad: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg. Valikulised: refine_stages, refine_factor, noise_seed.

Register (ledger): MODELLED. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: terrain-nav.

kshana scenarios/terrain-nav.toml

terrain-slam#

GPS-ita järjestikune (rekursiivne) maastikupõhine navigatsioon: osakestefilter käivitab maastikusobituse mõõtmismudeli epohhide kaupa (SITAN töötava filtrina), nii et ajas muutuvat INS-i triivi jälgitakse mööda trajektoori, kus partiipõhine terrain-nav taastab vaid ühe konstantse nihke.

Kohustuslikud väljad: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_rate_lat_deg, drift_rate_lon_deg, altimeter_sigma_m, map_sigma_m. Valikulised: n_particles, init_pos_sigma_deg, process_sigma_deg, resample_ess_frac, seed.

Register (ledger): ükski maatriksirida seda liiki ei nimeta; mootor sildistab oma tulemuse ise. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: terrain-slam.

kshana scenarios/terrain-slam.toml

combined-altpnt#

GPS-ita kombineeritud gravitatsiooni + magnetvälja + maastiku navigaator: kolm skalaarset väljakanalit, mis on ühendatud teekonnapunkti kaupa, et saada teravam (madalama CRLB-ga) triivikorrektsioon kui ühegi üksiku väljaga.

Kohustuslikud väljad: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m. Valikulised: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid.

Register (ledger): ükski maatriksirida seda liiki ei nimeta; mootor sildistab oma tulemuse ise. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: combined-altpnt.

kshana scenarios/combined-altpnt.toml

conflict-resilience#

MODELLED kihilise PNT konfliktivastupidavus (P7): vaidlustatud keskkonna kasutaja kasutab mitut PNT kihti (avatud teenuse GNSS, lairiba-GNSS, autenditud konstellatsioon, täiendusrelee), millest igaühel on baaskättesaadavus, 1σ täpsus ja vektorikohane keelamise haavatavus jagatud segamise/spuufimise ohu suhtes. Intensiivsuse üle pühitud ALGVÄÄRTUSEGA (SEEDED) Monte Carlo keelab iga kihi tõenäosusega clamp(vulnerability·intensity·vector_weight,0 1), ühendab ellujäänud suletud kujul pöördhajuvuse reegliga σ_fused=(Σ 1/σ_i²)^(−1/2) ning annab teada kogukaotuse tõenäosuse (kõik kihid keelatud), ühendatud vea mediaani ja kihikohased kasutatavuse/keelamise statistikad intensiivsuse suhtes. Peamine vastupidavussuhe (üksikkihi ja kihilise kogukaotuse tõenäosus) jääb ~7x juurde SÕLTUMATUSE eelduse korral; ühefaktoriline Gaussi koopula korreleeritud keelamise pühkimine näitab seejärel, et see ~7x variseb väärtuse 1 suunas, kui keelamise korrelatsioon kasvab (korrelatsioon nurjab kihistamise). Eelduste tundlikkuse plokk vahemikustab peamise suuruse ALLIKATEGA haavatavuse eelduste üle mcda tornado + Dirichlet' ohupingutuse ümberjaotamise + protsentiilide usaldusvahemike abil. VALIDATED tuum: Monte Carlo kogukaotus koondub suletud kujul sõltumatu korrutiseni Π_i p_deny_i (MC standardvea piires fikseeritud algväärtusega (seed) ja suure N korral); pöördhajuvuse ühendamine on suletud kujul samasus; ρ=0 korral taandub koopula sõltumatule mudelile ja iga ρ säilitab iga kihi marginaalse keelamismäära. MODELLED: kihikohased haavatavuse/kättesaadavuse/täpsuse suurused on allikatega, kuid modelleeritud sisendid (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — vt conflict_threat_params), ning konkreetne ~7x suurus ja suhte-korrelatsiooni kõvera kuju tulenevad sellest parametriseeringust. § 4,2 vektorikohane ellujäämise lahutus lahendab seejärel jagatud RF-ohu neljaks nimetatud vektoriks (segamine/spuufimine/kineetiline/küber) ja annab teada iga vektori kasutatava PNT sujuva halvenemise kõvera S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0 1))) — VALIDATED: algväärtusega (seed) kihikohane Monte Carlo koondub sellele suletud kujule; segamine on korreleeritud RF-baasjoone teravaim vektor ja RF-immuunne inertsiaalkiht on otsustav ellujääja. Mitte sertifitseeritud navigatsiooni kättesaadavuse toode.

Kohustuslikud väljad: puuduvad. Valikulised: layers, intensity, correlation, trials, seed, primary_layer.

Register (ledger): ükski maatriksirida seda liiki ei nimeta; mootor sildistab oma tulemuse ise. Täielik leht koos sisendite, tulemuste, tõendite ja piirangutega: conflict-resilience.

kshana scenarios/conflict-resilience.toml