30.08.2013 Views

The GNSS integer ambiguities: estimation and validation

The GNSS integer ambiguities: estimation and validation

The GNSS integer ambiguities: estimation and validation

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Notation <strong>and</strong> symbols<br />

Mathematical notation <strong>and</strong> matrices<br />

Ip<br />

identity matrix of order p<br />

ep<br />

p-vector with ones<br />

0 vector or matrix with zeros<br />

|Q| determinant of matrix Q<br />

x2 Q squared norm, with positive definite Q: x2 Q = xT Q−1 [x]<br />

x<br />

x is rounded to the nearest <strong>integer</strong><br />

Cɛ z<br />

ellipsoidal region centered at z <strong>and</strong> with radius ɛ<br />

Signals<br />

c velocity of light in vacuum: c = 299792458 m s −1<br />

f frequency<br />

λ wavelength: λ = c/f<br />

<strong>GNSS</strong> observation model<br />

s refers to satellite s<br />

r<br />

refers to receiver r<br />

,j<br />

refers to frequency j<br />

m number of satellites<br />

f number of frequencies<br />

k number of epochs<br />

p, φ code <strong>and</strong> phase observation respectively<br />

ts transmission time from satellite s<br />

tr<br />

reception time at receiver r<br />

τ signal travel time<br />

e, ε code <strong>and</strong> phase noise respectively<br />

dt, δt clock error of code <strong>and</strong> phase observations respectively<br />

xv

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!