GPS-nægtet alternativ PNT (scenarietypefamilie)

5 scenarietyper i motoren v0.40.0. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en safety-of-life-tjeneste. Hver betegnelse her er motorens eller verifikationsmatricens; en type er MODELLED, medmindre matricen angiver andet (hvordan en betegnelse opnås: afsnittet Evidens i README).

Emnesider: CAPABILITY, RESILIENCE-CROSSWALK. Kør én: kshana scenarios/combined-altpnt.toml. Alle familier: KINDS.md.

gravity-map#

GPS-nægtet navigation med matchning mod tyngdekortet: et koldatom-gravimeter genfinder en konstant INS-drift ud fra den sekvens af tyngdeanomalier, som det flyver igennem.

Obligatoriske felter: 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. Valgfrie: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc.

Register: ingen matrixrække nævner denne type; motoren betegner selv sit resultat. Fuld side med input, resultater, evidens og begrænsninger: gravity-map.

kshana scenarios/gravity-map-nav.toml

terrain-nav#

Terrænreferencenavigation uden GPS (TERCOM/SITAN): en radar-/barohøjdemåler afstemmer profilen af terrænhøjden mod en DEM i stil med SRTM for at genfinde INS-driften.

Obligatoriske felter: 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. Valgfrie: refine_stages, refine_factor, noise_seed.

Register: MODELLED. Fuld side med input, resultater, evidens og begrænsninger: terrain-nav.

kshana scenarios/terrain-nav.toml

terrain-slam#

Sekventiel (rekursiv) terrænreferencenavigation uden GPS: et partikelfilter kører målemodellen for terrænafstemning epoke for epoke (SITAN som et løbende filter), så en tidsvarierende INS-drift følges langs sporet, hvor det batchbaserede terrain-nav kun genfinder én konstant forskydning.

Obligatoriske felter: 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. Valgfrie: n_particles, init_pos_sigma_deg, process_sigma_deg, resample_ess_frac, seed.

Register: ingen matrixrække nævner denne type; motoren betegner selv sit resultat. Fuld side med input, resultater, evidens og begrænsninger: terrain-slam.

kshana scenarios/terrain-slam.toml

combined-altpnt#

Kombineret navigator med tyngdekraft + magnetfelt + terræn uden GPS: tre skalare feltkanaler sammenlagt pr. waypoint for en skarpere positionsbestemmelse af driften (lavere CRLB) end med noget enkelt felt.

Obligatoriske felter: 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. Valgfrie: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid.

Register: ingen matrixrække nævner denne type; motoren betegner selv sit resultat. Fuld side med input, resultater, evidens og begrænsninger: combined-altpnt.

kshana scenarios/combined-altpnt.toml

conflict-resilience#

MODELLED modstandsdygtighed for lagdelt PNT i konflikt (P7): en bruger i et bestridt miljø råder over flere PNT-lag (åbent GNSS, bredbånds-GNSS, en autentificeret konstellation, et augmentations-relæ), hvert med en grundtilgængelighed, en 1σ-nøjagtighed og en sårbarhed over for nægtelse pr. vektor over for den fælles jamming-/spoofing-trussel. Et SEEDET Monte Carlo med sweep over intensitet nægter hvert lag med sandsynligheden clamp(vulnerability·intensity·vector_weight,0.1), sammenlægger de overlevende efter den lukkede inversvariansregel σ_fused=(Σ 1/σ_i²)^(−1/2) og rapporterer sandsynligheden for totalt tab (alle lag nægtet), den mediane sammenlagte fejl og statistik over brugbarhed/nægtelse pr. lag mod intensitet. Det overordnede modstandsdygtighedsforhold (sandsynlighed for totalt tab for ét lag mod lagdelt) lander på ~7x under UAFHÆNGIGHEDSANTAGELSEN; et sweep med korreleret nægtelse via én-faktor-gaussisk copula viser derefter, at dette ~7x falder mod 1, når nægtelseskorrelationen stiger (korrelation underminerer lagdeling). En priorfølsomhedsblok lader det overordnede tal variere over de KILDEBELAGTE sårbarhedspriors via mcda-tornado + en Dirichlet-omfordeling af trusselsindsats + percentil-konfidensintervaller. VALIDATED kerne: Monte Carlo-totaltabet konvergerer mod den lukkede uafhængige produktform Π_i p_deny_i (inden for MC-standardfejlen ved et fast seed og stort N); inversvarians-sammenlægningen er en lukket identitet; ved ρ=0 reduceres copulaen til den uafhængige model, og hvert ρ bevarer hvert lags marginale nægtelsesrate. MODELLED: størrelserne for sårbarhed/tilgængelighed/nøjagtighed pr. lag er kildebelagte, men modellerede input (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — se conflict_threat_params), og den specifikke størrelse ~7x og kurveformen forhold-mod-korrelation følger af denne parametrisering. En opdeling af overlevelse pr. vektor i § 4,2 opløser derefter den fælles RF-trussel i de fire navngivne vektorer (jamming/spoofing/kinetisk/cyber) og rapporterer hver vektors kurve for graciøs forringelse af brugbar PNT S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0.1))) — VALIDATED: det seedede Monte Carlo pr. lag konvergerer mod denne lukkede form; jamming er den skarpeste vektor for den korrelerede RF-baseline, og det RF-immune inertilag er den afgørende overlever. Ikke et certificeret produkt til navigationstilgængelighed.

Obligatoriske felter: ingen. Valgfrie: layers, intensity, correlation, trials, seed, primary_layer.

Register: ingen matrixrække nævner denne type; motoren betegner selv sit resultat. Fuld side med input, resultater, evidens og begrænsninger: conflict-resilience.

kshana scenarios/conflict-resilience.toml