GPS-denied-vaihtoehtoinen PNT (skenaariolajiperhe)
5 skenaariolajia, moottorin v0.40.0. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva tunniste on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten tunniste ansaitaan: READMEn Evidence-osio).
Aihesivut: CAPABILITY, RESILIENCE-CROSSWALK. Aja yksi: kshana scenarios/combined-altpnt.toml. Kaikki perheet: KINDS.md.
| Tyyppi | Mitä se tekee | Kirjanpito |
|---|---|---|
gravity-map |
GPS:n estyessä toimiva painovoimakartan sovitusnavigointi: kylmäatomigravimetri palauttaa vakioisen INS-ajautuman painovoimapoikkeamasarjasta, jonka läpi se lentää. | MODELLED (tuloksen tunniste) |
terrain-nav |
GPS-denied-maastoon perustuva navigointi (TERCOM/SITAN): tutka- tai ilmanpainekorkeusmittari sovittaa maanpinnan korkeusprofiilin SRTM-tyyppiseen DEM:iin INS-ajautuman korjaamiseksi. | MODELLED |
terrain-slam |
GPS-denied-peräkkäinen (rekursiivinen) maastoon perustuva navigointi: partikkelisuodatin ajaa maastosovituksen mittausmallia epookki kerrallaan (SITAN käynnissä olevana suodattimena), jolloin ajassa muuttuva INS-ajautuma seurataan | MODELLED (tuloksen tunniste) |
combined-altpnt |
GPS:n estyessä toimiva yhdistetty painovoima + magneettikenttä + maasto -navigaattori: kolme skalaarikenttäkanavaa yhdistetään reittipisteittäin, jotta saadaan terävämpi (pienemmän CRLB:n) ajautumakorjaus kuin millään yksittäisellä kentällä. | MODELLED (tuloksen tunniste) |
conflict-resilience |
MODELLED kerroksellisen PNT:n konfliktikestävyys (P7): kiistellyn ympäristön käyttäjällä on useita PNT-kerroksia (avoimen palvelun GNSS, laajakaistainen GNSS, autentikoitu satelliittitähdistö, augmentaatioreleen), kullakin | MODELLED (tuloksen tunniste) |
gravity-map#
GPS:n estyessä toimiva painovoimakartan sovitusnavigointi: kylmäatomigravimetri palauttaa vakioisen INS-ajautuman painovoimapoikkeamasarjasta, jonka läpi se lentää.
Pakolliset kentät: 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. Valinnaiset: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc.
Kirjanpito: yksikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: gravity-map.
kshana scenarios/gravity-map-nav.toml
terrain-nav#
GPS-denied-maastoon perustuva navigointi (TERCOM/SITAN): tutka- tai ilmanpainekorkeusmittari sovittaa maanpinnan korkeusprofiilin SRTM-tyyppiseen DEM:iin INS-ajautuman korjaamiseksi.
Pakolliset kentät: 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. Valinnaiset: refine_stages, refine_factor, noise_seed.
Kirjanpito: MODELLED. Koko sivu syötteineen, tuloksineen, todisteineen ja rajoituksineen: terrain-nav.
kshana scenarios/terrain-nav.toml
terrain-slam#
GPS-denied-peräkkäinen (rekursiivinen) maastoon perustuva navigointi: partikkelisuodatin ajaa maastosovituksen mittausmallia epookki kerrallaan (SITAN käynnissä olevana suodattimena), jolloin ajassa muuttuva INS-ajautuma seurataan reitin varrella, kun taas eräajona toimiva terrain-nav palauttaa vain yhden vakiopoikkeaman.
Pakolliset kentät: 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. Valinnaiset: n_particles, init_pos_sigma_deg, process_sigma_deg, resample_ess_frac, seed.
Kirjanpito: yksikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: terrain-slam.
kshana scenarios/terrain-slam.toml
combined-altpnt#
GPS:n estyessä toimiva yhdistetty painovoima + magneettikenttä + maasto -navigaattori: kolme skalaarikenttäkanavaa yhdistetään reittipisteittäin, jotta saadaan terävämpi (pienemmän CRLB:n) ajautumakorjaus kuin millään yksittäisellä kentällä.
Pakolliset kentät: 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. Valinnaiset: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid.
Kirjanpito: yksikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: combined-altpnt.
kshana scenarios/combined-altpnt.toml
conflict-resilience#
MODELLED kerrostetun PNT:n konfliktinkestävyys (P7): kiistellyssä ympäristössä toimiva käyttäjä käyttää useita PNT-kerroksia (avoimen palvelun GNSS, laajakaista-GNSS, autentikoitu tähdistö, täydennysrele), joilla kullakin on perusasaatavuus, tarkkuus (1σ) ja vektorikohtainen estoalttius yhteiselle häirintä-/harhautusuhalle. Voimakkuuden mukaan pyyhkäisty SIEMENLUVULLINEN Monte Carlo estää jokaisen kerroksen todennäköisyydellä clamp(vulnerability·intensity·vector_weight,0 1), yhdistää selviytyneet suljetun muodon käänteisvarianssisäännöllä σ_fused=(Σ 1/σ_i²)^(−1/2) ja raportoi kokonaismenetyksen todennäköisyyden (kaikki kerrokset estetty), yhdistetyn virheen mediaanin ja kerroskohtaiset käytettävyys-/estotilastot voimakkuuden funktiona. Keskeinen kestävyyssuhde (yksikerroksisen ja kerrostetun kokonaismenetyksen todennäköisyys) asettuu noin ~7x RIIPPUMATTOMUUSoletuksella; yksitekijäinen Gaussin kopulan korreloitu estopyyhkäisy osoittaa sitten, että tämä ~7x romahtaa kohti arvoa 1, kun eston korrelaatio kasvaa (korrelaatio kumoaa kerrostamisen). Priorisensitiivisyyslohko vaihtelee keskeistä lukua LÄHTEISTETTYJEN alttiuspriorien yli mcda-tornadon + Dirichlet-uhkapanostuksen uudelleenjaon + persentiililuottamusvälien avulla. VALIDATED ydin: Monte Carlo -kokonaismenetys suppenee suljetun muodon riippumattomaan tuloon Π_i p_deny_i (MC-keskivirheen sisällä kiinteällä siemenluvulla ja suurella N:llä); käänteisvarianssiyhdistys on suljetun muodon identiteetti; kun ρ=0, kopula redusoituu riippumattomaksi malliksi ja jokainen ρ säilyttää kunkin kerroksen reunaestoasteen. MODELLED: kerroskohtaiset alttius-/saatavuus-/tarkkuusmagnitudit ovat lähteistettyjä mutta mallinnettuja syötteitä (JammerTest 2024, TEXBAT, EASA SIB, RTCA DO-229, LunaNet/IOAG — ks. conflict_threat_params), ja tietty ~7x suuruus sekä suhde–korrelaatio-käyrän muoto seuraavat tästä parametrisoinnista. Sitten §4,2 vektorikohtainen selviytymisjaottelu purkaa yhteisen RF-uhan neljäksi nimetyksi vektoriksi (jamming/spoofing/kinetic/cyber) ja raportoi kunkin vektorin käytettävän PNT:n asteittaisen heikkenemisen käyrän S_v(x)=1-Prod_i(1-a_i(1-clamp(susceptibility_i,v·x,0 1))) — VALIDATED: siemenluvullinen kerroskohtainen Monte Carlo suppenee tähän suljettuun muotoon; häirintä on terävin vektori korreloituneelle RF-lähtötasolle, ja RF-immuuni inertiakerros on ratkaiseva selviytyjä. Ei sertifioitu navigoinnin saatavuustuote.
Pakolliset kentät: ei yhtään. Valinnaiset: layers, intensity, correlation, trials, seed, primary_layer.
Kirjanpito: yksikään matriisin rivi ei nimeä tätä lajia; moottori merkitsee oman tuloksensa. Koko sivu, jossa syötteet, tulokset, todisteet ja rajoitukset: conflict-resilience.
kshana scenarios/conflict-resilience.toml