Abstract
Integer ambiguity resolution (IAR) is one of the key techniques in GNSS high precise positioning. However, an overlooked incorrect integer ambiguity solution may cause severe biases in the positioning results. The optimal integer aperture estimator (IAE) has the largest possible success rate given a certain fail rate. An alternative approach that take advantage of ambiguity integer nature to minimize the solution’s mean squared error (MSE) is known as the best integer equivariant (BIE) estimator. Both of which are associated with the posterior probability of the GNSS integer ambiguity. It is therefore of great significance to calculate posterior probability precisely and efficiently. Due to the occurrence of infinite sums, practical calculation approaches approximate the exact value by neglecting sufficiently small terms in the sum. As a result, they can only produce posterior probability calculation result, information about the result’s accuracy cannot be produced. In this contribution, the value of the posterior probability is bounded from below and from above by dividing the infinite sum into two parts: the major finite part and the minor infinite part. They are calculated partly by enumeration and partly by algebraical bounding. The obtained upper and lower bounds are rigorous and in closed form, so that can be conveniently used. Based on both of the bounds, a method of posterior probability calculation with controllable accuracy is proposed. It not only produces posterior probability calculation result, but also calculation error, which is always smaller than the user-defined acceptable error. Numerical experiments have verified that the proposed approach has advantages on both controllable calculation accuracy and adjustable computational workload.
Similar content being viewed by others
Data availability
All data generated or analyzed during this study are included in this published article.
References
Blewitt G (1989) Carrier-phase ambiguity resolution for the global positioning system applied to geodetic baselines up to 2000 km. J Geophys Res 94(B8):10187–10302
Chang XW, Yang X, Zhou T (2005) MLAMBDA: a modified LAMBDA algorithm for integer least-squares estimation. J Geod 79(9):552–565
Chang XW, Wen J, Xie X (2013) Effects of the LLL Reduction on the success probability of the babai point and on the complexity of sphere decoding. IEEE Trans Inf Theory 59(8):4915–4926
Dermanis A, Rummel R (2008) Data analysis methods in geodesy. Geomatic method for the analysis of data in the earth sciences. Springer, Heidelberg, pp 17–92
Dong D, Bock Y (1989) Global positioning system network analysis with phase ambiguity resolution applied to crustal deformation studies in California. J Geophys Res 94:3949–3966
Euler HJ, Schaffrin B (1991) On a measure for the discernibility between different ambiguity solutions in the static-kinematic GPS-mode. In: Kinematic Systems in Geodesy Surveying and Remote Sensing. Springer, New York
Frei E, Beulter G (1990) Rapid static positioning based on the fast ambiguity resolution approach ‘FARA’: theory and first results. Manuscr Geod 15(6):326–356
Grafarend EW (2000) Mixed integer-real valued adjustment (IRA) problems: GPS initial cycle ambiguity resolution by means of the LLL algorithm. GPS Solut 4:31–44
Han S (1997) Quality control issues relating to instantaneous ambiguity resolution for real-time GPS kinematic positioning. J Geod 71(6):351–361
Koch KR (1990) Bayesian inference with geodetic applications. Springer, Berlin, p 31
Lacy MCD, Sansò F, Rodriguez-Caderot G, Gil AJ (2002) The Bayesian approach applied to GPS ambiguity resolution a mixture model for the discrete–real ambiguities alternative. J Geod 76(2):82–94
Leick A, Rapoport L, Tatarnikov D (2015) GPS satellite surveying, 4th edn. Wiley, New Jersey
Odolinski R, Teunissen PJG (2020) Best integer equivariant estimation: performance analysis using real data collected by low-cost, single- and dual-frequency, multi-GNSS receivers for short- to long-baseline RTK positioning. J Geod 94(9):1–7
Samama N (2008) Global positioning: technologies and performance. Wiley, New Jersey
Shores TS (2007) Applied linear algebra and matrix analysis. Springer, New York
Taha H (1975) Integer programming–theory, applications, and computations. Academic Press, New York
Teunissen PJG (1993) Least squares estimation of integer GPS ambiguities. Sect IV theory and methodology, IAG General Meeting, Beijing
Teunissen PJG (1995) The least-squares ambiguity decorrelation adjustment: a method for fast GPS integer ambiguity estimation. J Geod 70(1–2):65–82
Teunissen PJG (1997) A canonical theory for short gps baselines. Part IV: precision versus reliability. J Geod 71(9):513–525
Teunissen PJG (1999) An optimality property of the integer least-squares estimator. J Geod 73(11):587–593
Teunissen PJG (2001) Statistical GNSS carrier phase ambiguity resolution: a review. Proc. of 2001 IEEE Workshop on Statistical Signal Processing, August 6–8, Singapore: 4–12
Teunissen PJG (2003a) Integer aperture GNSS ambiguity resolution. Artif Satell 38(3):79–88
Teunissen PJG (2003b) Theory of integer equivariant estimation with application to GNSS. J Geod 77:402–410
Teunissen PJG (2005a) GNSS ambiguity resolution with optimally controlled failure-rate. Artif Satell 40(4):219–227
Teunissen PJG (2005b) On the computation of the best integer equivariant estimator. Artif Satell 40:161–171
Teunissen PJG (2020) Best integer equivariant estimation for elliptically contoured distributions. J Geod 94:82
Teunissen PJG, Verhagen S (2009) The GNSS ambiguity ratio-test revisited: a better way of using it. Survey Rev 41(312):138–151
Tiberius C, Jonge P (1995) Fast positioning using the LAMBDA method. Proceedings DSNS-95, paper, 30(8)
Verhagen S, Teunissen PJG (2006) New global navigation satellite system ambiguity resolution method compared to existing approaches. J Guid Cont Dyn 29(4):981–991
Verhagen S, Teunissen PJG (2013) The ratio test for future GNSS ambiguity resolution. GPS Solut 17(4):535–548
Verhagen S, Li BF, Teunissen PJG (2013) Ps-LAMBDA: ambiguity success rate evaluation software for interferometric applications. Comput Geosci 54:361–376
Verhagen S (2005) The GNSS integer ambiguities: estimation and validation. PhD dissertation, Netherlands Geodetic Commission, Publications on Geodesy, 58
Wu ZM, Bian SF (2015) GNSS integer ambiguity validation based on posterior probability. J Geod 89(10):961–977
Wu ZM, Bian SF (2022) Regularized integer least-squares estimation: Tikhonov’s regularization in a weak GNSS model. J Geod. https://doi.org/10.1007/s00190-021-01585-7(accepted)
Wu ZM, Bian SF, Ji B, Xiang CB, Jiang DF (2015) Short baseline GPS multi-frequency single-epoch precise positioning: utilizing a new carrier phase combination method. GPS Solut 20(3):373–384
Wu ZM, Li HP, Bian SF (2017) Cycled efficient V-Blast GNSS ambiguity decorrelation and search complexity estimation. GPS Solut 21:1829–1840
Xu PL (1998) Mixed integer geodetic observation models and integer programming with applications to GPS ambiguity resolution. J Geod Soc Japan 44:169–187
Xu PL (2006) Voronoi cells, probabilistic bounds and hypothesis testing in mixed integer linear models. IEEE Trans Inf Theory 52(7):3122–3138
Xu PL (2012) Parallel Cholesky-based reduction for the weighted integer least squares problem. J Geod 86(1):35–52
Xu PL, Cannon E, Lachapelle G (1995) Mixed Integer Programming for the Resolution of GPS Carrier Phase Ambiguities. Presented at IUGG95 Assembly, 2–14 July, Boulder, CO, USA.
Yu XW, Wang JL, Gao W (2017) An alternative approach to calculate the posterior probability of GNSS integer ambiguity resolution. J Geod 91:295–305
Zhu J, Ding X, Chen Y (2001) Maximum-likelihood ambiguity resolution based on Bayesian principle. J Geod 75(4):175–187
Acknowledgements
This work was supported by the National Natural Science Foundation of China (Nos. 41504029 and 41631072), Natural Science Foundation for Distinguished Young Scholars of Hubei Province of China (No. 2019CFA086).
Author information
Authors and Affiliations
Contributions
Conceptualization, methodology, data collection, software, and writing were performed by ZW. ZW has read and approved the final manuscript.
Corresponding author
Rights and permissions
About this article
Cite this article
Wu, Z. GNSS integer ambiguity posterior probability calculation with controllable accuracy. J Geod 96, 53 (2022). https://doi.org/10.1007/s00190-022-01633-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00190-022-01633-w