Negotovosti GPS Lociranja

23
Negotovosti GPS lociranja

description

Reลกitev problema razpisanega s strani Fรฉdรฉration Franรงaise des Jeux MathรฉmatiquesPovezava do problema:http://www.mathsoc.spb.ru/files/SCM_FFJM_Competitive_Game_2014_2015.pdf

Transcript of Negotovosti GPS Lociranja

Page 1: Negotovosti  GPS Lociranja

Negotovosti GPS lociranja

Page 2: Negotovosti  GPS Lociranja

โ€ข ๐‘› โ‰ฅ 4 enaฤb

โ€ข ๐พ๐‘˜=(๐‘‹๐‘˜ ,๐‘Œ๐‘˜ , ๐‘๐‘˜)๐‘‡

โ€ข pozicijski vektor k-tega satelita

โ€ข ๐‘๐‘ก = ๐‘ ๐‘‘๐‘ก๐‘˜ โˆ’ ๐‘‘๐‘กโ€ข popravek meritevโ€ข c โ€“ hitrost svetlobeโ€ข ๐‘‘๐‘ก๐‘˜- offset ure satelitaโ€ข dt โ€“ offset ure sprejemnika

โ€ข ฮด๐‘˜ โ€“ pseudo-razdaljaโ€ข poraฤunana iz trajanja potovanja signala

(๐‘‹๐‘˜ โˆ’ ๐‘‹)2+(๐‘Œ๐‘˜ โˆ’ ๐‘Œ)2+(๐‘๐‘˜ โˆ’ ๐‘)2 + ct = ฮด๐‘˜

Satelit v orbiti nad Zemljo

Page 3: Negotovosti  GPS Lociranja

Definirajmo:

โ€ข ๐‘… = (๐‘‹, ๐‘Œ, ๐‘)๐‘‡

โ€ข pozicijski vektor sprejemnika

โ€ข ๐‘“(๐‘…)= (๐‘‹๐‘˜ โˆ’ ๐‘‹)2+(๐‘Œ๐‘˜ โˆ’ ๐‘Œ)2+(๐‘๐‘˜ โˆ’ ๐‘)2

โ€ข e=ctโ€ข olajลกamo se pretvorb

โ€ข e vraฤa v enakih enotah kot ๐‘“(๐‘…)

โ€ข ฮด๐‘˜= ๐‘“(๐‘…) + e

(๐‘‹๐‘˜ โˆ’ ๐‘‹)2+(๐‘Œ๐‘˜ โˆ’ ๐‘Œ)2+(๐‘๐‘˜ โˆ’ ๐‘)2 + ct = ฮด๐‘˜

5 krogel brez skupnega sekaliลกฤain Zemlja v modri

Page 4: Negotovosti  GPS Lociranja

Analogno Newtnovi metodi iskanja niฤel

โ€ข ๐‘“(๐‘…) lineariziramo po Taylorju

โ€ข z MNK* minimiziramo vektor napake

โ€ข Zaฤetno oceno iterativno izboljลกujemoโ€ข Navadno ni razpoloลพljivih podatkov za ocenitev

โ€ข Kot izhodiลกฤe izberemo Zemljino srediลกฤe (0,0,0)๐‘‡

(๐‘‹๐‘˜ โˆ’ ๐‘‹)2+(๐‘Œ๐‘˜ โˆ’ ๐‘Œ)2+(๐‘๐‘˜ โˆ’ ๐‘)2 + ct = ฮด๐‘˜

*Metoda najmanjลกih kvadratov

5 krogel brez skupnega sekaliลกฤain Zemlja v modri

Page 5: Negotovosti  GPS Lociranja

Definirajmo:

โ€ข ๐‘…๐‘–๐‘ก๐‘Ÿ+1 = ๐‘…๐‘–๐‘ก๐‘Ÿ + ฮ”๐‘…

โ€ข ๐‘“(๐‘…๐‘–๐‘ก๐‘Ÿ+1)= ๐‘“ ๐‘…๐‘–๐‘ก๐‘Ÿ + โˆ‡ ๐‘“(๐‘…๐‘–๐‘ก๐‘Ÿ) * ฮ”๐‘…

โ€ข๐›ฟ๐‘“ ๐‘…๐‘–๐‘ก๐‘Ÿ

๐›ฟ๐‘ฅ=โˆ’๐‘‹๐‘˜โˆ’๐‘‹๐‘–๐‘ก๐‘Ÿ

S๐‘–๐‘ก๐‘Ÿ๐‘˜ ๐‘…๐‘–๐‘ก๐‘Ÿ

โ€ข k oznacuje enacbo k-tega satelita

โ€ข S๐‘–๐‘ก๐‘Ÿ๐‘˜ (๐‘…๐‘–๐‘ก๐‘Ÿ)= (๐‘‹

๐‘˜ โˆ’ ๐‘‹๐‘–๐‘ก๐‘Ÿ)2+(๐‘Œ๐‘˜ โˆ’ ๐‘Œ๐‘–๐‘ก๐‘Ÿ)

2+(๐‘๐‘˜ โˆ’ ๐‘๐‘–๐‘ก๐‘Ÿ)2

(๐‘‹๐‘˜ โˆ’ ๐‘‹)2+(๐‘Œ๐‘˜ โˆ’ ๐‘Œ)2+(๐‘๐‘˜ โˆ’ ๐‘)2 + ct = ฮด๐‘˜

Newtnova metoda iskanja niฤel๐‘†๐‘–๐‘ก๐‘Ÿ๐‘˜ + โˆ‡ ๐‘“(๐‘…๐‘–๐‘ก๐‘Ÿ) * ฮ”๐‘… + e = ฮด๐‘–๐‘ก๐‘Ÿ

๐‘˜

Page 6: Negotovosti  GPS Lociranja

Konstruiramo matriko:

๐‘€๐‘–๐‘ก๐‘Ÿ =โˆ‡ ๐‘“1 (๐‘…๐‘–๐‘ก๐‘Ÿ) 1

โˆ‡ ๐‘“2 (๐‘…๐‘–๐‘ก๐‘Ÿ) 1โ€ฆ โ€ฆ

; b = ฮด1

ฮด2

โˆ‡ ๐‘“๐‘˜ (๐‘…๐‘–๐‘ก๐‘Ÿ) 1โ€ฆฮด๐‘˜

Newtnova metoda iskanja niฤel

๐‘†๐‘–๐‘ก๐‘Ÿ๐‘˜ + โˆ‡ ๐‘“(๐‘…๐‘–๐‘ก๐‘Ÿ) * ฮ”๐‘… + e =ฮด๐‘˜

๐‘€๐‘–๐‘ก๐‘Ÿฮ”๐‘…โ€ฒ = b

Page 7: Negotovosti  GPS Lociranja

โ€ข b !e C(M)โ€ข Iลกฤemo ๐‘๐‘Ÿ๐‘œ๐‘—๐ถ(๐‘€) ๐‘

โ€ข ๐‘€๐‘–๐‘ก๐‘Ÿ๐‘‡ (๐‘€๐‘–๐‘ก๐‘Ÿฮ”๐‘…โ€ฒ- b)=0โ€ข (๐‘€๐‘–๐‘ก๐‘Ÿฮ”๐‘…- b) ortogonalen C(M)

โ€ข ฮ”๐‘…โ€ฒ=(๐‘€๐‘–๐‘ก๐‘Ÿ๐‘‡ ๐‘€๐‘–๐‘ก๐‘Ÿ)

โˆ’1๐‘€๐‘–๐‘ก๐‘Ÿ๐‘‡ b

Projekcija vektorja na podprostor

๐‘†๐‘–๐‘ก๐‘Ÿ๐‘˜ + โˆ‡ ๐‘“(๐‘…๐‘–๐‘ก๐‘Ÿ) * ฮ”๐‘…โ€ฒ + e =ฮด๐‘˜

๐‘€๐‘–๐‘ก๐‘Ÿฮ”๐‘…โ€ฒ = b

Page 8: Negotovosti  GPS Lociranja

๐‘… = (4343409.085333, โˆ’124936.356557, 4653478.556897 )๐‘‡

Predvidena lokacija sprejemnika

Page 9: Negotovosti  GPS Lociranja

๐‘… = (4343409.085333, โˆ’124936.356557, 4653478.556897 )๐‘‡

Predvidena lokacija sprejemnika

Page 10: Negotovosti  GPS Lociranja

Definirajmo:

โ€ข ๐‘ = ๐‘Ž2 + ๐‘2 + ๐‘2

โ€ข n= (๐‘Ž, ๐‘, ๐‘)๐‘‡

โ€ข ๐พโ€ฒ๐‘˜=๐พ๐‘˜ + ๐‘›

โ€ข ฮดโ€ฒ๐‘˜=ฮด๐‘˜ + ๐‘‘

โ€ข ๐‘ƒ๐‘‘๐‘– ; ๐‘ฃ๐‘Ÿ๐‘—๐‘’๐‘ก๐‘›๐‘œ๐‘ ๐‘ก ๐‘›๐‘Ž๐‘๐‘Ž๐‘˜๐‘’ ๐‘‘, i-te enaฤbe

โ€ข ๐‘ƒ๐‘›๐‘–; ๐‘ฃ๐‘Ÿ๐‘—๐‘’๐‘ก๐‘›๐‘œ๐‘ ๐‘ก ๐‘›๐‘Ž๐‘๐‘Ž๐‘˜๐‘’ ๐‘›, iโˆ’te enaฤbe

โ€ข ๐‘ƒ๐‘–=๐‘ƒ๐‘‘๐‘– *๐‘ƒ๐‘›๐‘–; ๐‘ฃ๐‘Ÿ๐‘—๐‘’๐‘ก๐‘›๐‘œ๐‘ ๐‘ก i-te enaฤbe

O ๐‘™๐‘œ๐‘˜๐‘Ž๐‘๐‘–๐‘—๐‘Žโ„Ž ๐‘ ๐‘Ž๐‘ก๐‘’๐‘™๐‘–๐‘ก๐‘œ๐‘ฃ

Primerjava dejanskih in podanih podatkov

Page 11: Negotovosti  GPS Lociranja

โ€ข Negotovost pseudo-razdalj je omejena z

โ€ข ฮดโ€ฒ๐‘˜ = {n = ฮด๐‘˜ โˆ’ ฮดโ€ฒ๐‘˜โ‰ค 10}

โ€ข Negotovost lokacije je omejena zโ€ข ๐พโ€ฒ๐‘˜={d=|๐พ๐‘˜ โˆ’ ๐พโ€ฒ๐‘˜| โ‰ค 2};

โ€ข Obe mnoลพici imata pripadajoฤi P.D.*

โ€ข Vpeljemo pojem teลพeโ€ข Vrjetnost sluลพi kot gostota

O ๐‘™๐‘œ๐‘˜๐‘Ž๐‘๐‘–๐‘—๐‘Žโ„Ž ๐‘ ๐‘Ž๐‘ก๐‘’๐‘™๐‘–๐‘ก๐‘œ๐‘ฃ

Primerjava dejanskih in podanih podatkov

*Probability distribution

Page 12: Negotovosti  GPS Lociranja

Konstruiramo matriko teลพe

โ€ข ๐‘‡ =๐‘ƒ1 0 00 ๐‘ƒ2 00 0 ๐‘ƒ3

โ€ฆโ€ฆโ€ฆ

โ€ฆ โ€ฆ โ€ฆ โ€ฆ

โ€ข ๐‘€๐‘–๐‘ก๐‘Ÿ๐‘™ = ๐‘‡๐‘€๐‘–๐‘ก๐‘Ÿ ; l โ€“ index samplanja

โ€ข ๐‘๐‘™= ๐‘‡๐‘ ๐‘€๐‘–๐‘ก๐‘Ÿ๐‘™ ๐‘‡

O ๐‘™๐‘œ๐‘˜๐‘Ž๐‘๐‘–๐‘—๐‘Žโ„Ž ๐‘ ๐‘Ž๐‘ก๐‘’๐‘™๐‘–๐‘ก๐‘œ๐‘ฃ

Probability distribution

ฮ”๐‘…โ€ฒ=(๐‘€๐‘–๐‘ก๐‘Ÿ๐‘™ ๐‘‡๐‘€๐‘–๐‘ก๐‘Ÿ

๐‘™ ) โˆ’1๐‘€๐‘–๐‘ก๐‘Ÿ๐‘™ ๐‘‡b

Page 13: Negotovosti  GPS Lociranja

X Y Z

4343416.04 -124942.801582 4653487.04

4343410.62 -124937.204251 4653471.130752

4343411.62 -124935.538150 4653485.582995

4343406.08 -124926.964588 4653469.087675

๐‘†๐‘’๐‘ก ๐‘Ÿ๐‘’ลก๐‘–๐‘ก๐‘’๐‘ฃ

Probability distribution

ฮ”๐‘…โ€ฒ=(๐‘€๐‘–๐‘ก๐‘Ÿ๐‘™ ๐‘‡๐‘€๐‘–๐‘ก๐‘Ÿ

๐‘™ ) โˆ’1๐‘€๐‘–๐‘ก๐‘Ÿ๐‘™ ๐‘‡b

Subset reลกitev

Page 14: Negotovosti  GPS Lociranja

๐‘†๐‘’๐‘ก ๐‘Ÿ๐‘’ลก๐‘–๐‘ก๐‘’๐‘ฃ

Subset reลกitev

Page 15: Negotovosti  GPS Lociranja

๐‘†๐‘’๐‘ก ๐‘Ÿ๐‘’ลก๐‘–๐‘ก๐‘’๐‘ฃ

Subset reลกitev

Page 16: Negotovosti  GPS Lociranja

๐ด๐‘›๐‘Ž๐‘™๐‘–๐‘ง๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž

Zaฤnemo s podmnoลพico, ki jo postopoma dopolnimo do polnosti doseลพeni v neskonฤnosti

Definirajmo:

โ€ข ๐‘“(๐‘ฅ); funckija zaporednih razlik

โ€ข ๐‘; ๐‘ง๐‘Žฤ๐‘’๐‘ก๐‘›๐‘Ž ๐‘ก๐‘œฤ๐‘˜๐‘Ž

Zaporedne razlike povpreฤja

๐ฟ = ๐‘ + lim๐‘›โ†’โˆž

๐‘–=0

๐‘›

๐‘“(๐‘ฅ)

Page 17: Negotovosti  GPS Lociranja

๐ด๐‘›๐‘Ž๐‘™๐‘–๐‘ง๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž

Zaporedne razlike povpreฤja

๐ฟโ‰ˆ๐‘ + lim๐‘›โ†’โˆž ๐‘Ž

๐‘›

๐‘“(๐‘ฅ) ๐‘‘๐‘ฅ

๐ฟ = ๐‘ + lim๐‘›โ†’โˆž ๐‘Žโˆ’1๐‘›๐‘“ ๐‘ฅ ๐‘‘๐‘ฅ + ๐‘–=1

๐‘› (๐ต ๐‘–

๐‘–!

๐‘‘๐‘“๐‘–โˆ’1

๐‘‘๐‘ฅ๐‘–โˆ’1)๐‘Ž

๐‘›

๐พ๐‘œ๐‘›๐‘ฃ๐‘’๐‘Ÿ๐‘”๐‘’๐‘›๐‘๐‘Ž ๐‘“ ๐‘ฅ ๐‘–๐‘›

๐‘–=๐‘Ž

๐‘›

๐‘“ ๐‘ฅ โ†” ๐‘ ๐‘ก๐‘Ž๐‘๐‘–๐‘™๐‘›๐‘œ๐‘ ๐‘ก

๐ฟ = ๐‘ + lim๐‘›โ†’โˆž

๐‘–=0

๐‘›

๐‘“(๐‘ฅ)

Page 18: Negotovosti  GPS Lociranja

๐ด๐‘›๐‘Ž๐‘™๐‘–๐‘ง๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž

lim๐‘›โ†’โˆž

๐‘–=๐‘Ž

๐‘›1

๐‘ฅ๐‘˜=

1

(๐‘˜ โˆ’ 1)(๐‘Ž โˆ’ 1)+ lim๐‘›โ†’โˆž(๐‘ฅ๐‘˜

2+๐‘˜๐‘ฅ๐‘˜โˆ’1

12+๐‘˜(๐‘˜ โˆ’ 1)๐‘ฅ๐‘˜โˆ’2

720+ โ€ฆ.)

๐‘Ž

๐‘›

lim๐‘›โ†’โˆž

๐‘–=1

๐‘›

๐‘๐‘’โˆ’๐‘Ž๐‘–sin(๐‘ก๐‘–) =๐‘๐‘ก

๐‘Ž2 + ๐‘ก2+ lim๐‘›โ†’โˆž

๐‘—=1

๐‘›

(๐ต ๐‘—

๐‘—!๐ผ๐‘š((๐‘ก๐‘– โˆ’ ๐‘Ž)๐‘—)

1

๐‘›

lim๐‘›โ†’โˆž

๐‘–=๐‘Ž

๐‘›

๐‘๐‘’โˆ’๐‘Ž๐‘– =๐‘’๐‘Ž

๐‘’๐‘Ž โˆ’ 1

๐‘‡๐‘Ÿ๐‘Ž๐‘›๐‘“๐‘œ๐‘Ÿ๐‘š๐‘Ž๐‘๐‘–๐‘—๐‘’ ๐‘›๐‘’๐‘˜๐‘Ž๐‘— ๐‘๐‘œ๐‘”๐‘œ๐‘ ๐‘ก๐‘œ ๐‘๐‘œ๐‘—๐‘Ž๐‘ฃ๐‘™๐‘—๐‘–๐‘ฃ๐‘–โ„Ž ๐‘ฃ๐‘Ÿ๐‘ ๐‘ก

Page 19: Negotovosti  GPS Lociranja

๐ท๐‘’๐‘“๐‘–๐‘›๐‘–๐‘๐‘–๐‘—๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž 90% ๐‘ฃ๐‘Ÿ๐‘—๐‘’๐‘ก๐‘›๐‘œ๐‘ ๐‘ก๐‘–

Za prvi pribliลพek poiลกฤemo najmanjลกo kroglo s srediลกฤem v stabilni toฤki, ki vsebuje 90% reลกitev

Zaporedne razlike polmera krogle

X Y Z

4343408.94 -124936.91 4653478.50

Stabilna toฤka seta

K={R;|Rโˆ’st| โ‰ค 18 }

Page 20: Negotovosti  GPS Lociranja

๐ท๐‘–๐‘›๐‘Ž๐‘š๐‘–๐‘˜๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž

Definirajmo:

โ€ข V={v=st-R};

โ€ข P={{๐‘ฃ๐‘–1, ๐‘ฃ๐‘–2, ๐‘ฃ๐‘–3};PโŠ‚V&๐‘ฃ๐‘–1 | โˆ—๐‘ฃ๐‘–2 | โˆ—๐‘ฃ๐‘–3};

โ€ข Poiลกฤemo tiste 3 smeri, ki so najgosteje naseljene โ€ข dopustimo napako <ฮต

โ€ข *pseudo-ortogonalnost

โ€ข B(i)={๐‘ฃ๐‘–1, ๐‘ฃ๐‘–2, ๐‘ฃ๐‘–3}; โ€ข baza pri moฤi i

โ€ข napenja elipsoid Zaporedne razlike polmera krogle

Page 21: Negotovosti  GPS Lociranja

๐ท๐‘–๐‘›๐‘Ž๐‘š๐‘–๐‘˜๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž

v x y z |v|

v1 16.75 10.08 -14.44 24.30

v2 -10.99 -0.73 8.93 22.04

v3 -3.16 39.44 -0.73 14.69

v x Y z |v|

v1 -18.85 -18.81 -14.07 23.75

v2 -5.14 -5.10 5.47 22.81

v3 -13.22 -13.27 -5.12 15.19

v x y z |v|

v1 -12.19 -12.21 -19.76 24.03

v2 -5.17 -5.13 5.11 24.09

v3 16.83 16.87 -5.18 15.27

Definirajmo:

โ€ข D={24,22,15}โ€ข P; {B(i),B(j),D} โ‡’ {{๐‘ฃ๐‘–๐‘˜, ๐‘ฃ๐‘—๐‘™,D(๐‘›๐‘˜)},โ€ฆ; ๐‘›๐‘ก! = ๐‘›๐‘˜}

โ€ข |๐‘ฃ๐‘—๐‘™|=|๐‘ฃ๐‘—๐‘˜| = ๐ท(๐‘›๐‘˜); <ฮต

Preslikava P je injektivnaโ‡’ za opis seta skozi polnjenje potrebna le ena baza+ funkcija spremembe

Konstruiramo:โ€ข Bโ€˜ ๐‘– = {๐‘ฃ๐‘–๐‘˜, ๐‘ฃ๐‘–๐‘™; ๐‘™! = ๐‘˜}โ€ข โˆ‡ Bโ€˜ ๐‘–

Page 22: Negotovosti  GPS Lociranja

๐พ๐‘œ๐‘›ฤ๐‘›๐‘Ž ๐‘œ๐‘Ÿ๐‘–๐‘’๐‘›๐‘ก๐‘Ž๐‘๐‘–๐‘—๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž

X komponenta โˆ‡ Bโ€˜ ๐‘–

๐ธโ€ฒ โ‰ˆ B ๐‘Ž + lim๐‘›โ†’โˆž

๐‘–=๐‘Ž

๐‘›

โˆ‡ Bโ€˜ ๐‘– โˆ— ฮ”๐‘…

Y komponenta โˆ‡ Bโ€˜ ๐‘– Z komponenta โˆ‡ Bโ€˜ ๐‘–

Page 23: Negotovosti  GPS Lociranja

๐‘†๐‘ก๐‘Ÿ๐‘œลพ๐‘—๐‘Ž ๐‘‘๐‘’๐‘“๐‘–๐‘›๐‘–๐‘๐‘–๐‘—๐‘Ž ๐‘ ๐‘’๐‘ก๐‘Ž 90% ๐‘ฃ๐‘Ÿ๐‘—๐‘’๐‘ก๐‘›๐‘œ๐‘ ๐‘ก๐‘–

Definiramo:

โ€ข E=๐ธ๐‘™๐‘–๐‘๐‘ ๐‘Ž ๐‘›๐‘Ž๐‘๐‘’๐‘ก๐‘Ž ๐‘›๐‘Ž ๐‘๐‘Ž๐‘ง๐‘œ ๐ธโ€ฒ

K={R;|Rโˆ’st| โ‰ค 18 }

๐ธโ€ฒ โ‰ˆ B ๐‘Ž + lim๐‘›โ†’โˆž

๐‘–=๐‘Ž

๐‘›

โˆ‡ Bโ€˜ ๐‘– โˆ— ฮ”๐‘…

S={๐ธโˆฉK}

Set S