Alternativ PNT uten GPS (scenariotypefamilie)

5 scenariotyper i motoren v0.40.0. Veiledende: analyseresultat fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en safety-of-life-tjeneste. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: README-ens Evidence-avsnitt).

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

gravity-map#

Navigasjon med gravitasjonskartsammenstilling uten GPS: et kaldatom-gravimeter gjenvinner en konstant INS-drift fra sekvensen av gravitasjonsanomalier den flyr gjennom.

Obligatoriske felt: 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 rad i matrisen nevner denne typen; motoren merker selv resultatet sitt. Fullstendig side, med inndata, resultater, evidens og begrensninger: gravity-map.

kshana scenarios/gravity-map-nav.toml

terrain-nav#

GPS-fri terrengreferert navigasjon (TERCOM/SITAN): en radar- eller barometrisk høydemåler sammenligner profilen for terrenghøyde mot en DEM i SRTM-stil for å gjenvinne INS-driften.

Obligatoriske felt: 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. Fullstendig side, med inndata, resultater, evidens og begrensninger: terrain-nav.

kshana scenarios/terrain-nav.toml

terrain-slam#

GPS-fri sekvensiell (rekursiv) terrengreferert navigasjon: et partikkelfilter kjører målemodellen for terrengsammenligning epoke for epoke (SITAN som et løpende filter), slik at en tidsvarierende INS-drift følges langs sporet, der den grupperte terrain-nav kun gjenvinner en enkelt konstant forskyvning.

Obligatoriske felt: 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 rad i matrisen nevner denne typen; motoren merker selv resultatet sitt. Fullstendig side, med inndata, resultater, evidens og begrensninger: terrain-slam.

kshana scenarios/terrain-slam.toml

combined-altpnt#

Kombinert navigator uten GPS med gravitasjon + magnetisme + terreng: tre skalare feltkanaler fusjonert per veipunkt for en skarpere posisjonsbestemmelse (lavere CRLB) av drift enn noe enkeltfelt.

Obligatoriske felt: 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 rad i matrisen nevner denne typen; motoren merker selv resultatet sitt. Fullstendig side, med inndata, resultater, evidens og begrensninger: combined-altpnt.

kshana scenarios/combined-altpnt.toml

conflict-resilience#

MODELLED robusthet for lagdelt PNT i konflikt (P7): en bruker i et omstridt miljø har flere PNT-lag (åpen GNSS-tjeneste, bredbånds-GNSS, en autentisert konstellasjon, et augmentasjonsrelé), hver med en basistilgjengelighet, en 1σ-nøyaktighet og en sårbarhet for avvisning per vektor mot den felles jamming-/spoofing-trusselen. Et intensitetssveipet SEEDET Monte Carlo avviser hvert lag med sannsynlighet clamp(vulnerability·intensity·vector_weight,0 1), fusjonerer de overlevende med den lukkede inversvariansregelen σ_fused=(Σ 1/σ_i²)^(−1/2), og rapporterer sannsynligheten for totaltap (alle lag avvist), median fusjonert feil og bruks-/avvisningsstatistikk per lag mot intensitet. Hovedforholdet for robusthet (sannsynlighet for totaltap med ett lag mot lagdelt) havner på ~7x under ANTAKELSEN OM UAVHENGIGHET; et énfaktors gaussisk copula-sveip med korrelert avvisning viser deretter at ~7x kollapser mot 1 når korrelasjonen i avvisning stiger (korrelasjon slår ut lagdeling). En blokk for forhåndssensitivitet lar hovedtallet variere over de KILDEBELAGTE sårbarhets-forhåndsfordelingene via mcda-tornado + en Dirichlet-omfordeling av trusselinnsats + persentil-konfidensintervaller. VALIDATED kjerne: Monte Carlo-totaltapet konvergerer mot det lukkede uavhengige produktet Π_i p_deny_i (innen MC-standardfeil ved fast seed og stort N); inversvarians-fusjonen er en lukket identitet; ved ρ=0 reduseres copulaen til den uavhengige modellen og hver ρ bevarer hvert lags marginale avvisningsrate. MODELLED: størrelsene på sårbarhet/tilgjengelighet/nøyaktighet per lag er kildebelagte, men modellerte inndata (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — se conflict_threat_params), og den spesifikke størrelsen ~7x og formen på kurven for forhold mot korrelasjon følger av denne parametriseringen. En oppdeling av overlevelse per vektor i § 4,2 løser deretter den felles RF-trusselen opp i de fire navngitte vektorene (jamming/spoofing/kinetisk/cyber) og rapporterer hver vektors kurve for elegant degradering av brukbar PNT S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0 1))) — VALIDATED: det seedede Monte Carlo per lag konvergerer mot den lukkede formen; jamming er den skarpeste vektoren for den korrelerte RF-grunnlinjen, og det RF-immune treghetslaget er den avgjørende overlevende. Ikke et sertifisert produkt for navigasjonstilgjengelighet.

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

Register: ingen rad i matrisen nevner denne typen; motoren merker selv resultatet sitt. Fullstendig side, med inndata, resultater, evidens og begrensninger: conflict-resilience.

kshana scenarios/conflict-resilience.toml