The GNSS integer ambiguities: estimation and validation
The GNSS integer ambiguities: estimation and validation
The GNSS integer ambiguities: estimation and validation
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
1<br />
0.5<br />
0<br />
−2<br />
−1<br />
0<br />
1<br />
z<br />
2<br />
1<br />
0<br />
−1<br />
2 −2 x<br />
1<br />
0.5<br />
0<br />
−2<br />
−1<br />
1<br />
0.5<br />
0<br />
−2<br />
−1<br />
0<br />
z<br />
0<br />
z<br />
1<br />
1<br />
2<br />
2<br />
2<br />
1<br />
0<br />
−1<br />
−2 x<br />
2<br />
1<br />
0<br />
−1<br />
−2 x<br />
0.8<br />
0.6<br />
0.4<br />
0.2<br />
0<br />
−2<br />
−1<br />
1.5<br />
1<br />
0.5<br />
0<br />
−2<br />
−1<br />
0<br />
z<br />
0<br />
z<br />
1<br />
1<br />
2<br />
2<br />
2<br />
1<br />
0<br />
−1<br />
−2 x<br />
2<br />
1<br />
0<br />
−1<br />
−2 x<br />
Figure 3.7: <strong>The</strong> joint <strong>and</strong> marginal distribution of â, ǎ <strong>and</strong> ˇɛ: PDF fâ(x) (top left); joint<br />
PDF fâ,ǎ(x, z) (top middle); PMF P (ǎ = z) (top right); PDF fˇɛ,ǎ(x, z) (bottom middle);<br />
PDF fˇɛ(x) (bottom right).<br />
3.2.2 Success rates<br />
<strong>The</strong> success rate, Ps, equals the probability that the <strong>ambiguities</strong> are fixed to the correct<br />
<strong>integer</strong>s. It follows from equation (3.28) as:<br />
<br />
Ps = P (ǎ = a) = fâ(x)dx (3.33)<br />
Sa<br />
It is a very important measure, since the fixed solution should only be used if there is<br />
enough confidence in this solution. In Teunissen (1999a) it was proven that:<br />
P (ǎLS = a) ≥ P (ǎ = a) (3.34)<br />
for any admissible <strong>integer</strong> estimator ǎ. <strong>The</strong>refore, the ILS estimator is optimal in the<br />
class of admissible <strong>integer</strong> estimators. Furthermore, it was shown in Teunissen (1998d)<br />
that:<br />
P (ǎR = a) ≤ P (ǎB = a) (3.35)<br />
Unfortunately, it is very complicated to evaluate equation (3.33) for the <strong>integer</strong> leastsquares<br />
estimator because of the complex integration region. <strong>The</strong>refore, approximations<br />
38 Integer ambiguity resolution