Mixed Integer-Real Valued Adjustment (IRA) Problems: GPS Initial Cycle Ambiguity Resolution by Means of the LLL Algorithm |
| |
Authors: | Erik W Grafarend |
| |
Institution: | (1) Department of Geodesy and Geoinformatics, Stuttgart University, Geschwister-Scholl-Str. 24 D, 70174 Stuttgart, Germany, DE |
| |
Abstract: | In order to achieve to GPS solutions of first-order accuracy and integrity, carrier phase observations as well as pseudorange
observations have to be adjusted with respect to a linear/linearized model. Here the problem of mixed integer-real valued
parameter adjustment (IRA) is met. Indeed, integer cycle ambiguity unknowns have to be estimated and tested. At first we review
the three concepts to deal with IRA: (i) DDD or triple difference observations are produced by a properly chosen difference
operator and choice of basis, namely being free of integer-valued unknowns (ii) The real-valued unknown parameters are eliminated
by a Gauss elimination step while the remaining integer-valued unknown parameters (initial cycle ambiguities) are determined
by Quadratic Programming and (iii) a RA substitute model is firstly implemented (real-valued estimates of initial cycle ambiguities)
and secondly a minimum distance map is designed which operates on the real-valued approximation of integers with respect to
the integer data in a lattice. This is the place where the integer Gram-Schmidt orthogonalization by means of the LLL algorithm (modified LLL algorithm) is applied being illustrated by four examples. In particular, we prove
that in general it is impossible to transform an oblique base of a lattice to an orthogonal base by Gram-Schmidt orthogonalization where its matrix enties are integer. The volume preserving Gram-Schmidt orthogonalization operator constraint to integer entries produces “almost orthogonal” bases which, in turn, can be used to produce the integer-valued
unknown parameters (initial cycle ambiguities) from the LLL algorithm (modified LLL algorithm). Systematic errors generated
by “almost orthogonal” lattice bases are quantified by A. K. Lenstra et al. (1982) as well as M. Pohst (1987). The solution point of Integer Least Squares generated by the LLL algorithm is = (L')−1L'◯] ∈ ℤ
m
where L is the lower triangular Gram-Schmidt matrix rounded to nearest integers, L], and = L'◯] are the nearest integers of L'◯, ◯ being the real valued approximation of z ∈ ℤ
m
, the m-dimensional lattice space Λ. Indeed due to “almost orthogonality” of the integer Gram-Schmidt procedure, the solution point is only suboptimal, only close to “least squares.” ? 2000 John Wiley & Sons, Inc. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|