 Full paper
 Open Access
 Published:
A method for mixed additive and multiplicative random error models with inequality constraints in geodesy
Earth, Planets and Space volume 74, Article number: 125 (2022)
Abstract
In the geodetic data processing field, most methods for dealing with inequality constraints model are based on additive random error (ARE) models, and there have been few studies on mixed additive and multiplicative random error (MAAMRE) models with inequality constraints. To address this problem, a MAAMRE model with inequality constraints is first established based on the definition of inequality constraint equations, and then, a corresponding parameter estimation algorithm is proposed based on the idea of an exhaustive search method. In addition, considering a MAAMRE model for an illposed problem, an iterative regularization solution for an illposed MAAMRE model is first derived, and then, a specific parameter estimation algorithm for an illposed MAAMRE model with inequality constraints is further proposed by applying the exhaustive search approach. Finally, the feasibility and advantages of the proposed algorithms are verified by global positioning system (GPS) elevation fitting model and digital terrain model (DTM) examples.
Graphical Abstract
Introduction
Random error models are the key to research on the characteristics of geodetic data and surveying adjustment (Yang and Zhang 2009), and traditional surveying adjustment theories and methods have been developed by treating the random errors of observations as additive random errors (AREs). However, with the rapid development of modern surveying and mapping technology, the random errors of the observations with electromagnetic waves as the carriers have begun to manifest as multiplicative random errors (MREs) or mixed additive and multiplicative random errors (MAAMREs) (Shi et al. 2014, 2015). For example, the speckle noise of synthetic aperture radar (SAR) manifests as multiplicative disturbance; the random errors of light detection and ranging (LiDAR) observations are proportional to the size of the observations; the baseline errors of global navigation satellite system (GNSS) and very long baseline interferometry (VLBI) are proportional to the length of the baselines; and the multiplicative and additive constants of electronic distance measurement (EDM) are essentially MAAMREtype disturbances (Xu 1999; Shi 2012, 2014; Xu et al. 2013; Shi et al. 2014, 2015; He et al. 2019; Shi and Xu 2021; Wang et al. 2021; Wang and Chen 2021a, b; Wang and Han 2022). It can be seen that the random errors of these observations are related to their own true values (Shi et al. 2015); however, traditional surveying adjustment theories and methods always assume that they are independent. Therefore, research on corresponding theories and methods for MAAMRE models is an unavoidable and important scientific research task and has become an issue of great interest in the surveying and mapping field (Shi et al. 2014, 2015).
MAAMRE models are developed on the basis of MRE models. Although MRE models have been the focus of many theoretical studies and applications in the fields of statistics and geodesy (Shi et al. 2014, 2015), few studies have been conducted on MAAMRE models (Xu et al. 2013; Shi 2014; Shi and Xu 2021; Wang and Chen 2021a, b; Wang and Han 2022). Among them, Xu et al. (2013) first defined the functions and stochastic models for a MAAMRE model, derived the least squares solution and weighted least squares iterative solution based on the least squares principle, and extended the biascorrected weighted least squares iterative solution for an MRE model given by Xu and Shimada (2000) to the MAAMRE model. Shi (2014) applied the three solutions in Xu et al. (2013) to LiDARtype digital terrain model (DTM) data processing. Shi and Xu (2021) combined MRE and MAAMRE models to propose a more general MRE model with trends. Wang and Han (2022) derived a simple iterative method for a MAAMRE model with inequality constraints. Focusing on illposed MAAMRE models, Wang and Chen (2021a, b) researched the parameter estimation problems for an illposed MAAMRE model without constraints and an illposed MAAMRE model with equality constraints. However, few studies have been conducted on the parameter estimation problem for a MAAMRE model with inequality constraints. In recent years, as the understanding of the physical and mechanical properties of observed objects has become increasingly adequate, it has often become possible to obtain reasonable prior inequality constraint information between parameters before adjustment, and incorporating this prior constraint information into the function model during the adjustment process can significantly improve the accuracy and reliability of parameter estimation (Xie 2014). Therefore, there is an urgent need for research on the parameter estimation method for a MAAMRE model with inequality constraints.
At present, Gauss–Markov (GM), errorsinvariables (EIV) and partial errorinvariables (PEIV) models with inequality constraints have been the subjects of many studies. For example, Chiew (1976) and Peng et al. (2006) researched the parameter estimation problem for a GM model with inequality constraints, Zhang et al. (2013) researched the parameter estimation problem for an EIV model with inequality constraints, and Zeng et al. (2015) researched the parameter estimation problem for a PEIV model with inequality constraints. Among them, Zhang et al. (2013) first applied the idea of an exhaustive search method to propose an algorithm to solve the parameter estimation problem for the EIV model with inequality constraints, in which all possible parameter solutions are calculated by transforming the inequality constraint equations into equality constraint equations based on the definitions of active and inactive constraints and the optimal parameter solution is then selected. Subsequently, Xie (2014) further applied the idea of an exhaustive search method to the parameter estimation problem for a GM model with inequality constraints and proved that the exhaustive search method can yield an exact solution. As seen, the existing research on exhaustive search method has mainly focused on solving the parameter estimation problems for GM and EIV models with inequality constraints, and how to use this approach to solve the parameter estimation problem for a MAAMRE model with inequality constraints remains to be studied.
Starting from obtaining more accurate parameter estimates and aiming at the existing solutions for MAAMRE models that do not consider the prior inequality constraint information between the parameters during adjustment, this paper derives a parameter estimation algorithm for a MAAMRE model with inequality constraints. Meanwhile, considering a MAAMRE model for an illposed problem, the flowchart of a parameter estimation algorithm for an illposed MAAMRE model with inequality constraints is also given. Finally, the feasibility and advantages of the proposed algorithms are verified by examples.
Mixed additive and multiplicative random error model
Different from a GM model (Shi et al. 2014, 2015), which assumes AREs, a MAAMRE model can be expressed as follows (Xu et al. 2013):
where \({\varvec{y}} \in {\varvec{R}}^{n \times 1}\) represents the observation vector disturbed by MAAMREs, \({\varvec{A}} \in {\varvec{R}}^{n \times t}\) represents a coefficient matrix, \({{\varvec{\upbeta}}} \in {\varvec{R}}^{t \times 1}\) represents an unknown parameter vector, \(\odot\) represents the Hadamard product of two matrices or vectors, \( {\mathbf{1}} \in {\varvec{R}}^{n \times 1}\) represents a unit column vector, \({{\varvec{\upvarepsilon}}}_{m} \in {\varvec{R}}^{n \times 1}\) represents a MRE vector that obeys a normal distribution, and \({{\varvec{\upvarepsilon}}}_{a} \in {\varvec{R}}^{n \times 1}\) represents an ARE vector that obeys a normal distribution.
As noted by Shi (2014), for any variance matrices \({\varvec{D}}_{m} = \sigma_{m}^{2} {\varvec{Q}}_{m}\) and \({\varvec{D}}_{a} = \sigma_{a}^{2} {\varvec{Q}}_{a}\) of multiplicative and additive random errors, we can always use Cholesky decomposition to convert \({\varvec{Q}}_{m}\) and \({\varvec{Q}}_{a}\) into unit matrices when \({\varvec{Q}}_{m}\) and \({\varvec{Q}}_{a}\) are both positive definite matrices. Therefore, without loss of generality, this paper assumes that the multiplicative and additive random error vectors are independent of each other and that each has the same variance (Xu et al. 2013; Shi 2014; Shi et al. 2015; Shi and Xu 2021; Wang and Chen 2021a, b), namely, \({\varvec{D}}_{m} = \sigma_{m}^{2} {\varvec{I}}_{n}\), \({\varvec{D}}_{a} = \sigma_{a}^{2} {\varvec{I}}_{n}\) and \({\text{cov}} ({{\varvec{\upvarepsilon}}}_{m} ,{{\varvec{\upvarepsilon}}}_{a} ) = 0\). Then, according to the definitions of the expectation and covariance matrix (Surveying Adjustment Group of School of Geodesy and Geomatics 2014), the expectation and covariance matrix of observation \({\varvec{y}}\) can be obtained from Eq. (1) as follows:
where \({\varvec{M}}_{ma} = diag({\varvec{A\beta }})\).
Furthermore, the weight of observation \({\varvec{y}}\) can be obtained as follows:
where \(\sigma_{0}^{2}\) represents the unit weight variance and \({\varvec{Q}}({\varvec{y}})\) represents the cofactor matrix of the observation.
To facilitate subsequent formula derivations, we convert Eq. (1) as follows:
where \({\varvec{e}} \in {\varvec{R}}^{n \times 1}\) represents the residual vector of observation \({\varvec{y}}\).
According to the cofactor propagation law, the cofactor matrix of \({\varvec{e}}\) can be obtained from Eq. (5) as follows:
As can be seen, the cofactor matrices \({\varvec{Q}}({\varvec{y}})\) and \({\varvec{Q}}({\varvec{e}})\) are both the nonlinear functions of the parameter estimates, which is obviously different from the case of a traditional ARE model. Thus, further research on MAAMRE models is needed.
Mixed additive and multiplicative random error model with inequality constraints and its solution
At present, models with inequality constraints are widely used in many contexts. For example, by adding appropriate inequality constraint information to the location and ambiguity parameters, the success rate of an ambiguity search can be significantly improved (Li and Shen 2009), and by adding appropriate inequality constraint information to the control point in dam deformation monitoring, more realistic deformation results can be obtained (Song 2019). Therefore, it is necessary to research the parameter estimation problem for a MAAMRE model with inequality constraints. On the basis of the observation equations of the GM model with inequality constraints defined in Xie (2014) and the EIV model with inequality constraints defined in Zhang et al. (2013), this paper establishes the following observation equations for a MAAMRE model with inequality constraints:
where \({\varvec{G}} \in {\varvec{R}}^{l \times t}\) represents the inequality constraint matrix, which is a fullrank matrix, and \({\varvec{W}} \in {\varvec{R}}^{l \times 1}\) represents the constant vector of the inequality constraint matrix.
As can be seen, the parameter solution for the MAAMRE model with inequality constraints must satisfy the following two conditions:
Furthermore, substituting the optimal parameter solution \({\hat{\varvec{\beta }}}\) of Eq. (8) into the inequality constraint equation \({\varvec{G\beta }} \le {\varvec{W}}\) yields the following two cases:
For the first case of \({\varvec{G\hat{\beta }}} = {\varvec{W}}\), the optimal parameter solution \({\hat{\varvec{\beta }}}\) falls just on the boundary of the inequality constraint; such a case is an active constraint, which is also called an effective constraint. For the second case of \({\varvec{G\hat{\beta }}} < {\varvec{W}}\), the optimal parameter solution \({\hat{\varvec{\beta }}}\) falls within the boundary of the inequality constraint; such a case is an inactive constraint, which is also called an ineffective constraint. When no effective constraint exists, a MAAMRE model with inequality constraints is equivalent to the corresponding unconstrained MAAMRE model. At this time, the optimal parameter solution \({\hat{\varvec{\beta }}}\) of the MAAMRE model with inequality constraints is equal to the parameter solution of the unconstrained MAAMRE model. When effective constraints do exist, a MAAMRE model with inequality constraints is equivalent to the corresponding MAAMRE model with equality constraints. At this time, the optimal parameter solution \({\hat{\varvec{\beta }}}\) of the MAAMRE model with inequality constraints is equal to the parameter solution of the MAAMRE model with equality constraints, and we can establish the following observation equations for the MAAMRE model with equality constraints:
where \({\varvec{G}}_{1} \in {\varvec{R}}^{q \times t} \left( {0 \le q \le l} \right)\) represents the effective constraint matrix and \({\varvec{W}}_{1} \in {\varvec{R}}^{q \times 1}\) represents the constant vector of the effective constraint matrix.
According to the principle of the Lagrangian extremum value, Wang and Chen (2021b) derived a weighted least squares iterative solution for a MAAMRE model with equality constraints; the specific steps of iterative can be seen in Wang and Chen (2021b). Similarly, according to the definitions of active and inactive constraints (Lu et al. 1993; Feng et al. 2007), we can establish a parameter estimation algorithm for a MAAMRE model with inequality constraints based on the idea of an exhaustive searching method (Zhang et al. 2013; Xie 2014), as summarized in Algorithm 1. The specific steps are as follows:

1)
The number of effective constraint sets is initialized as \(k(k = 0)\).

2)
According to the inequality constraint equation in Eq. (7), we can obtain the total number of combinations of inequality constraint equations:
$$ N = C_{l}^{1} + C_{l}^{2} + \cdots + C_{l}^{l} = \sum\limits_{i = 1}^{l} {C_{l}^{i} } $$(11) 
3)
We select one combination sequentially from the \(N\) combinations of inequality constraint equations and assume that the selected equations are effective constraints. Then, by converting the selected inequality constraint equations into the corresponding equality constraint equations, we obtain the corresponding parameter estimates through the weighted least squares iterative solution for a MAAMRE model with equality constraints proposed by Wang and Chen (2021b).

4)
We let \(i = i + 1\) and substitute the parameter estimates into the selected inequality constraint equations. When the parameter estimates satisfy these equations, they are judged as an effective set of constraints, and we let \(k = k + 1\); otherwise, they are judged as ineffective constraints, and the value \(k\) remains unchanged.

5)
Steps 2)–4) are repeated until \(i > N\) is satisfied, at which time the number of effective constraint sets \(k\) is output.
According to the above steps, the flowchart of Algorithm 1 can be obtained, which is shown in Fig. 1.
According to the above analysis, we can obtain the following three conclusions regarding the value of \(k\):

1)
When \(k = 0\) is satisfied, all sets of inequality constraint equations are ineffective constraints. At this time, the optimal parameter solution \({\hat{\varvec{\beta }}}\) for the MAAMRE model with inequality constraints is equal to the parameter solution for the corresponding unconstrained MAAMRE model, which is also the biascorrected weighted least squares iterative solution proposed by Xu et al. (2013).

2)
When \(k = 1\) is satisfied, there exists a single of effective constraint equations. At this time, the optimal parameter solution \({\hat{\varvec{\beta }}}\) for the MAAMRE model with inequality constraints is equal to the parameter solution obtained based on this set of effective constraint equations.

3)
When \(k > 1\) is satisfied, multiple sets of effective constraint equations exists. At this time, there are \(kk\) sets of parameter solutions, and we need to select the optimal parameter solution \({\hat{\varvec{\beta }}}\) for the MAAMRE model with inequality constraints. Considering that the \(k\) sets of parameter solutions are all obtained via the weighted least squares iterative solution, in this paper, the \(k\) sets of parameter solutions are substituted into the weighted square sum of the residuals \(\phi = {\varvec{e}}^{{\text{T}}} {\varvec{Q}}({\varvec{e}})^{  1} {\varvec{e}}\) in turn, and the parameter solution \({\hat{\varvec{\beta }}}\) corresponding to the minimum value \(\phi_{\min }\) is selected as the optimal parameter solution for the MAAMRE model with inequality constraints based on the method in Xie (2014).
As can be seen, the principle of the exhaustive searching method is simple, applicable, and easy to understand and code, and this method can theoretically yield the optimal parameter solution for a model with inequality constraints and can be effectively used to solve the parameter estimation problem for a MAAMRE model with inequality constraints. Although the exhaustive search method is more computationally intensive when solving a problem with multiple inequality constraint equations, computational efficiency is no longer a problem with the rapid development of modern computers.
Illposed mixed additive and multiplicative random error model with inequality constraints random error model and its solution
Weighted least squares iterative regularization solution for an illposed mixed additive and multiplicative random error model
In the geodetic data processing field, illposed problems are widespread, and common solution methods include the ridge estimation method, the truncated singular value method, the conjugate gradient method and so on (Yang and Zhang 2010). At present, there are many studies on the parameter estimation problems for illposed GM, EIV and PEIV models (Wang 2006; Wang and Yu 2014; Wang et al. 2019), but there are few studies on illposed MAAMRE models, especially the parameter estimation problem for an illposed MAAMRE model with inequality constraints. Therefore, more indepth research is needed. According to the idea of the exhaustive search approach, the illposed MAAMRE model with no constraints needs to be solved first before the corresponding illposed MAAMRE model with inequality constraints can be solved. In this paper, we adopt an improved Tikhonov regularization method to effectively reduce or eliminate the illposedness of the model to obtain a stable parameter solution after analyzing the causes of illposedness in MAAMRE models based on mathematical principles. In accordance with the Tikhonov regularization principle (Tikhonov and Arsenin 1977) and the Tikhonov regularization criterion for an illposed MRE model defined by Wang et al. (2021) and Zhao et al. (2022), this paper introduces a regularization factor \(\alpha\) to construct the following regularization criterion for an illposed MAAMRE model:
According to the principle of the Lagrangian extreme value, after setting the partial derivatives of the target function Eq. (12) with respect to \({{\varvec{\upbeta}}}\) equal to zero and transposing, one can obtain
where \({\varvec{e}}^{{\text{T}}} \frac{{\partial {\varvec{Q}}({\varvec{e}})^{  1} }}{{\partial {{\varvec{\upbeta}}}}}{\varvec{e}}\) represents the product of the residual of observation residuals, which is a very small value and can be neglected in the following calculation process. Thus, after a series of formula derivations, one can obtain
where \({\hat{\varvec{\beta }}}_{{{\text{RWLS}}}}\) represents the weighted least squares regularization solution, \(\alpha\) represents the regularization parameter, and \({\varvec{I}}_{t}\) represents the \(t{\text{th}}\)order unit matrix.
As seen from Eqs. (6) and (14), the weight matrix \({\varvec{Q}}({\varvec{e}})^{  1}\) contains the parameter estimate \({\hat{\varvec{\beta }}}_{{{\text{RWLS}}}}\); thus, Eq. (14) needs to be solved iteratively and can be expressed as follows:
where \({\hat{\varvec{\beta }}}_{{{\text{RWLS}}}}^{{i + {1}}}\) represents the weighted least squares iterative regularization solution and \(\alpha^{i}\) represents the regularization parameter in the \(i{\text{th}}\) iteration.
The weighted least squares iterative regularization solution for an illposed MAAMRE model presented in this paper is summarized as Algorithm 2. The specific steps are as follows:

1)
The observation \({\varvec{y}}\) and the coefficient matrix \({\varvec{A}}\) are taken as input and used to calculate the least squares solution as the initialization of the iterative process:
$$ {\hat{\varvec{\beta }}}^{0} = ({\varvec{A}}^{{\text{T}}} {\varvec{A}})^{  1} {\varvec{A}}^{{\text{T}}} {\varvec{y}} $$(16) 
2)
The weight matrix \([{\varvec{Q}}({\varvec{e}})^{i} ]^{  1}\) for the \(i{\text{th}}\) iteration is calculated:
$$ {\varvec{M}}_{ma}^{i} = diag({\varvec{A\hat{\beta }}}^{i} ),{\varvec{D}}({\varvec{y}})^{i} = {\varvec{M}}_{ma}^{i} {\varvec{D}}_{m} ({\varvec{M}}_{ma}^{i} )^{{\text{T}}} + {\varvec{D}}_{a} $$(17)$$ [{\varvec{Q}}({\varvec{e}})^{i} ]^{  1} = \left(\frac{{{\varvec{D}}({\varvec{y}})^{i} }}{{\sigma_{0}^{2} }}\right)^{  1} $$(18) 
3)
The regularization parameter \(\alpha^{i}\) for the \(i{\text{th}}\) iteration is calculated.

4)
The weighted least squares iterative regularization solution \({\hat{\varvec{\beta }}}_{{{\text{RWLS}}}}^{{i + {1}}}\) is calculated via Eq. (15).

5)
Steps 2)–4) are repeated until \({\hat{\varvec{\beta }}}_{{{\text{RWLS}}}}^{{i + {1}}}  {\hat{\varvec{\beta }}}_{{{\text{RWLS}}}}^{i}  \le 10^{  6}\) is satisfied, at which time the final parameter estimate \({\hat{\varvec{\beta }}}_{{{\text{RWLS}}}}^{{i + {1}}}\) is output.
According to the above steps, the flowchart of Algorithm 2 can be obtained, which is shown in Fig. 2.
Determination of the regularization parameter \(\alpha\)
At present, there are many methods available to determine the regularization parameter, such as the generalized crossvalidation (GCV) method (Golub et al. 1979), the ridge trace method (Hoerl and Kennard 1970), the Lcurve method (Hansen 1992), the variance component estimation method (Wang et al. 2019) and so on. Different methods will yield different regularization parameters, and different regularization parameters will lead to different results. Therefore, it is necessary to choose an optimal method to determine the regularization parameter. Among the above methods, the GCV method cannot determine the optimal regularization parameter when the curve is too flat (Hansen 1992); the ridge trace method has certain subjective randomness when determining the regularization parameter; the Lcurve method yields a graph from which the size of the regularization parameter cannot be directly read, and the solution result is too dependent on the curve fitting accuracy and may be nonconvergent (Xu 2010); and the variance component estimation method uses the regularization parameter as a virtual observation weight and may produce a negative variance (Wang and Wen 2017). Therefore, considering the above problems with the existing methods, this paper proposes the use of the Ucurve method (KrawczykStando and Rudnicki 2007; Wang et al. 2018; Wang and Chen 2021b) to determine the regularization parameter for an illposed MAAMRE model. The Ucurve method uses a curvature formula to determine the regularization parameter, with the value of the maximum curvature point corresponding to the determined regularization parameter. The Ucurve method does not require subjective or artificial determination decisions and can yield an accurate regularization parameter; thus, it can be better used to determine the regularization parameter for an illposed MAAMRE model.
Utilizing an exhaustive search method to solve an illposed mixed additive and multiplicative random error model with inequality constraints
Once the parameter solution for an illposed MAAMRE model with no constraints and with equality constrains has been obtained, a parameter estimation algorithm for an illposed MAAMRE model with inequality constraints can be further established based on the idea of the exhaustive search method; in this paper, this algorithm is summarized as Algorithm 3. The flowchart of Algorithm 3 is shown in Fig. 3.
Similar to the previous discussion, we can obtain the following three conclusions regarding the value of \(kk\):

1)
When \(kk = 0\) is satisfied, all sets of inequality constraint equations are all ineffective constraints. At this time, the optimal parameter solution \({\hat{\varvec{\beta }}}\) for the illposed MAAMRE model with inequality constraints is equal to the parameter solution for the unconstrained illposed MAAMRE model, which is also the weighted least squares iterative regularization solution proposed in Algorithm 2.

2)
When \(kk = 1\) is satisfied, there exists one set of effective constraint equations. At this time, the optimal parameter solution \({\hat{\varvec{\beta }}}\) for the illposed MAAMRE model with inequality constraints is equal to the parameter solution obtained based on this set of effective constraint equations.

3)
When \(kk > 1\) is satisfied, multiple sets of effective constraint equations exist. At this time, there are \(kk\) sets of parameter solutions, and we need to select the optimal parameter solution \({\hat{\varvec{\beta }}}\) for the illposed MAAMRE model with inequality constraints from among them. Similar to the method in Sect. 3, considering that the \(kk\) sets of parameter solutions are all obtained as the ridge estimation iterative solution, in this paper, the \(kk\) sets of parameter solutions are all substituted into the weighted square sum of the residuals in turn, and the parameter solution corresponding to the minimum value is selected as the optimal parameter solution for the illposed MAAMRE model with inequality constraints.
Examples and analysis
To verify the performance of the proposed algorithms in solving the parameter estimation problem for a MAAMRE model with inequality constraints and to facilitate a discussion of their application value in geodesy, this paper presents two sets of examples designed for verification and analysis: global positioning system (GPS) elevation fitting model examples and DTM model examples. To better highlight the effectiveness and advantages of the proposed algorithms, the existing least squares solution, weighted least squares iterative solution and biascorrected weighted least squares iterative solution for MAAMRE models given in Xu et al. (2013) are used for comparison. For convenience, the methods corresponding to each of the six schemes referred to in the examples below are listed in Table 1.
GPS elevation fitting model
To preliminarily verify the feasibility and advantages of the proposed algorithms, Examples 1 and 2 will use a GPS elevation fitting model example for verification and analysis. Since the two inequality constraint algorithms proposed in this paper are derived for the cases of nonillposed and illposed coefficient matrices, Examples 1 and 2 are based on simulations of nonillposed and illposed GPS elevation fitting problems disturbed by MAAMREs, respectively.
Example 1
Example 1 is based on the observation equation for a nonillposed GPS elevation fitting model given in Chen (2017), and the function model is as follows:
where \(x\) represents the distance between the elevations of a ground points and the origin of the coordinate system divided by 100, with a value range of 0–300 m in intervals of 10 m, \(y\) represents the true value of the ground elevation point obtained based on the value \(x\) in Eq. (19), and the parameters to be estimated are the five coefficients of Eq. (19), namely, \({\tilde{\varvec{\beta }}} = \left[ {\begin{array}{*{20}c} {10} & 1 & 2 & 2 \\ \end{array} } \right]^{{\text{T}}}\).
Example 2
Example 2 is based on the observation equation for an illposed GPS elevation fitting model given in Wang and Chen (2021a), and the function model is as follows:
where \(x\) represents the distance between the elevations of a ground point and the origin of the coordinate system divided by 100, with a value range is 0–400 m in intervals of 10 m, \(y\) represents the true value of the ground elevation point obtained based on the value \(x\) in Eq. (20), and the parameters to be estimated are the five coefficients of Eq. (20), namely, \({\tilde{\varvec{\beta }}} = \left[ {\begin{array}{*{20}c} {10} & 1 & 1 & 1 & {0.2} \\ \end{array} } \right]^{{\text{T}}}\).
Result analysis
According to Wang and Chen (2021a), the corresponding observation equation for a GPS elevation fitting model disturbed by MAAMREs can be expressed as follows (Wang and Chen 2021a):
where \({\varvec{Y}}\) represents the observation vector of ground elevation points disturbed by MAAMREs, \({\varvec{y}}\) represents the vector of the true values of the ground elevation points, and \({1}\) represents a unit column vector.
As can be seen from Eq. (21), the MAAMREs affects the observations in both additive and multiplicative forms, which is clearly inconsistent with traditional theories and methods; thus, further research is needed. In accordance with Wang and Chen (2021a), for this example, the standard deviations of the multiplicative and additive random errors are set to 0.05 and 0.15 m, respectively, and the random errors are generated by the mvnrnd function in MATLAB. To illustrate the extent to which the elevations of the ground elevation points are affected by the random errors, the elevations before and after disturbance by random errors are plotted in Figs. 4 and 5, respectively. Then, following the practice of prior inequality constraint conditions between the parameters of a linear equation system defined in Xie (2014), the prior inequality constraint conditions shown in Tables 2 and 3 are added in Examples 1 and 2, respectively. At this time, the physical meaning of the inequality constraint conditions can be expressed as a prior conditions that must be satisfied by the parameter estimates. In actual data processing, these prior conditions may be derived from previous observations or the requirements to be satisfied in the practical situation.
In Figs. 4 and 5, the curves and circles represent the true values and observations, respectively, of the elevations of the ground elevation points. The circles greatly deviate from the curves, indicating that the elevations have suffered severe deviations due to the effect of the MAAMREs. Therefore, further research is needed regarding a GPS elevation fitting model disturbed by MAAMREs.
The unit weight error \(\sigma_{0}\) is set to 0.3 (Wang and Chen 2021a). For Example 1, the LS method, the WLS method, the bcWLS method and Algorithm 1 are used for calculation, and for Example 2, the LS method, the WLS method, the bcWLS method and Algorithms 2 and 3 are used for calculation. The parameter estimates \({\hat{\varvec{\beta }}}\) and the 2norms \(\left\ \Delta \varvec{\hat{\beta} } \right\\) between the parameter estimates and the true values are listed in Tables 4 and 5, respectively.
As can be seen from the results in Table 4, the parameter estimates obtained with Algorithm 1 are closer to the true values than the three existing solutions given by Xu et al. (2013), indicating that considering the prior inequality constraint information during adjustment can further improve the results of parameter estimation and that applying the exhaustive search method to solve the MAAMRE model with inequality constraints is feasible and effective. Meanwhile, the parameter estimates obtained with Algorithm 1 and the inequality constraint data show that the three constraints in the optimal solution are all effective constraints.
By comparing the results of the LS method, the WLS method, the bcWLS method and Algorithms 2 and 3 in Table 5, it can be seen that the parameter estimates obtained with the three existing solutions given by Xu et al. (2013) seriously deviate from the true values; this is because when deriving the formulas for the three existing solutions, the illposed coefficient matrix was not considered. Meanwhile, by comparing the results of Algorithms 2 and 3, it can be seen that the parameter estimates obtained with Algorithm 3 are closer to the true values than those of Algorithm 2, which further shows the effectiveness and advantages of using the exhaustive search method to solve the illposed MAAMRE model with inequality constraints. In addition, the parameter estimates obtained with Algorithm 3 and the inequality constraint data show that the four constraints in the two sets of optimal solutions are all effective constraints. However, since the second set of inequality constraint conditions is closer to the true values than the first set, the parameter estimates obtained are also closer to the true values.
Digital terrain model
In actual data processing, a model may easily be illposed; thus, Example 3 considers the parameter estimation problem for an illposed DTM model with inequality constraints. DTMs, which realize the general expression of natural surface morphologies in numerical form, have been widely used in many information engineering constructions (Shekhar and Xiong 2008; He 2014). In this example, we will imitate the practice in Wang and Chen (2021a, 2021b) and use the interpolation method to simulate the observation equation for an illposed DTM model disturbed by MAAMREs, which can be expressed as follows:
where \({\varvec{H}}(x,y) \in {\varvec{R}}^{1681 \times 1}\) represents the observation vector of the DTM model elevations disturbed by MAAMREs, \({\varvec{1}} \in {\varvec{R}}^{1681 \times 1}\) represents a unit column vector, and \({\varvec{h}}(x,y) \in {\varvec{R}}^{1681 \times 1}\) represents the vector of the true values of the DTM model elevations, expressed as \({\varvec{h}}(x,y) = \sum\limits_{i = 1}^{4} {\beta_{i} } f_{i} (x,y)\). The true values of the parameter estimates are \({\tilde{\varvec{\beta }}} = [1.5{ 20 10  4]}^{{\text{T}}}\), and the functions \(f_{i} (x,y)(i = 1,2,3,4)\) are as follows (Wang and Chen 2021a, 2021b):
where the value ranges of the ground points on both the abscissa \(x\) and the ordinate \(y\) are 0–80 m with intervals of 2 m.
At present, observations that exhibit MAAMREs have not received sufficient attention, and existing research on MAAMREs does not give the specific standard deviations of the additive and multiplicative random errors. Therefore, following the practice of the existing studies on MAAMRE models (Xu et al. 2013; Shi 2014; Shi and Xu 2021; Wang and Chen 2021a, 2021b), in this example, the standard deviations of the MREs are set to 0.005, 0.05 and 0.1, and the standard deviation of the AREs is set to 0.15 m, based on the theoretical and practical tests on LiDAR data reported by Flamant et al. (1984), Wang and Pruitt (1992), Kraus and Pfeifer (1998), Berg and Ferguson (2000), Hill et al. (2003), Kobler et al. (2007), Leigh et al. (2010) and Veneziano et al. (2010). Meanwhile, to illustrate the extent to which the DTMs are affected by MAAMREs, the DTMs before and after disturbance by random errors are plotted in Figs. 6, 7, 8 and 9.
By comparing the DTM model elevations in Figs. 6, 7, 8 and 9, it can be seen that the elevations in Fig. 6 are smooth, while the elevations in Figs. 7, 8 and 9 exhibit folds that become increasingly severe as the MRE increases, indicating that the random errors have a greater impact on the DTM model elevations. After calculation, the condition number of the normal equation matrix is \(7.1054 \times 10^{5}\), indicating that the model is severely illposed. Therefore, detailed research is needed on illposed DTMs disturbed by MAAMREs.
To further explain the influence of the range of the inequality constraint conditions on parameter estimation, two sets of inequality constraint conditions are designed for this example, as shown in Table 6. For the case in which the prior unit weight error \(\sigma_{0}\) is set to 0.3 (Xu et al. 2013; Shi 2014; Shi and Xu 2021; Wang and Chen 2021a, 2021b) and the first set of inequality constraint conditions is used for calculation, the results of the parameter estimates and the 2norms between the parameter estimates and the true values are listed in Table 7. As seen from the inequality constraint data in Table 6, the second set of inequality constraint conditions is closer to the true values than the first set; therefore, the parameter estimates obtained using the second set of inequality constraint conditions also should theoretically be closer to the true values. For further verification, the results obtained in the case of \(\sigma_{m} = 0.05\) when the second set of inequality constraint conditions is used for calculation are listed in Table 8.
As seen from the 2norm results in Table 7, the parameter estimates obtained with the three existing solutions given by Xu et al. (2013) greatly deviate from the true values. Meanwhile, by comparing the results for the three sets of MREs, it can be seen that the degree of elevation deviation gradually increases as the MRE becomes larger. Since the illposed nature of the coefficient matrix was considered when deriving the formulas for the proposed algorithms, the parameter estimates obtained are closer to the true values. Among them, the 2norm results obtained with Algorithm 2 are reduced by 68.32%, 92.25%, and 93.5% compared to the results of the bcWLS method, and the 2norm results obtained with Algorithm 3 are reduced by 65.2%, 62.01% and 81.5% compared to the results of Algorithm 2, indicating that the proposed algorithms are affected by the size of the MRE; specifically, the greater the MRE is, the more obvious the advantages of the proposed algorithms. In addition, as seen from the parameter estimates obtained with Algorithm 3 in Table 8 and the inequality constraint data in Table 6, the four constraints in both sets of optimal solutions are all effective constraints. However, since the second set of inequality constraint conditions is closer to the true values than the first set, the parameter estimates obtained with the second set of inequality constraint conditions are closer to the true values. This finding is consistent with the conclusion obtained in Example 2 and further illustrates the feasibility and advantages of the proposed algorithms.
Conclusions
The theories and methods for inequality constraint models based on AREs cannot satisfy the needs of MAAMRE models with inequality constraints; thus, it is important to propose corresponding parameter estimation theories and methods.
In this paper, we first explain and analyze the basic formulas and statistical properties of MAAMRE models. Then, a MAAMRE model with inequality constraints is established based on the definition of inequality constraint equations. In addition, by applying the ideas of active and inactive constraints and the exhaustive search approach, parameter estimation algorithms for a MAAMRE model with inequality constraints and an illposed MAAMRE model with inequality constraints are proposed. Finally, through the comparative analysis of various methods on several examples, we conclude that the proposed Algorithm 1 can yield obtain more accurate parameter estimates than three existing solutions, indicating that considering the prior inequality constraint information during the adjustment process can further improve the quality of parameter estimates and that using the exhaustive search method to solve the parameter estimation problem for a MAAMRE model with inequality constraints is feasible and effective. In addition, when the MAAMRE model is illposed, Algorithm 2 can obtain reasonable parameter estimates, while Algorithm 3 can obtain more accurate parameter estimates. However, the prior inequality constraint conditions will affect the parameter estimates obtained; in particular, when the range of the prior conditions is closer to the true values, the parameter estimates obtained will also be closer to the true values.
The algorithms proposed in this paper are an important supplement to the literature on the parameter estimation problem for MAAMRE models with inequality constraints; however, they are applicable only to the case in which the inequality constraint matrix is of fullrank. Hence, the next focus of related research should be the rankdeficit case.
Availability of data and materials
The data sets are available from the corresponding author upon reasonable request.
Abbreviations
 ARE:

Additive random error
 MAAMRE:

Mixed additive and multiplicative random error
 GPS:

Global positioning system
 DTM:

Digital terrain model
 MRE:

Multiplicative random error
 SAR:

Synthetic aperture radar
 LiDAR:

Light detection and ranging
 GNSS:

Global navigation satellite system
 VLBI:

Very long baseline interferometry
 EDM:

Electronic distance measurement
 GM:

Gauss–Markov
 EIV:

Errorsinvariables
 PEIV:

Partial errorsinvariables
 GCV:

Generalized cross validation
 LS:

Least squares solution
 WLS:

Weighted least squares iterative solution
 bcWLS:

Biascorrected weighted least squares iterative solution
References
Berg R, Ferguson J (2000) A practical evaluation of airborne laser mapping for highway engineering surveys. In: Proceedings of the 13th International Technical Meeting of the Satellite Division of the Institute of Navigation
Chen Y (2017) Outlier detection on random model of multiplicative error. MS Thesis Xi’an University of Science and Technology, Xi’an
Chiew CL (1976) Inequality constraint leastsquares estimation. J Am Stat Assoc 71(355):746–751. https://doi.org/10.2307/2285614
Feng GC, Zhu JZ, Chen ZY, Dai WJ (2007) A new approach to inequality constrained leastsquares adjustment. Acta Geod Cartogr Sin 5(2):119–123
Flamant PH, Menzies RT, Kavaya MJ (1984) Evidence for speckle effects on pulsed CO2 lidar signal returns from remote targets. Appl Optics 23(9):1412–1417. https://doi.org/10.1364/AO.23.001412
Golub GH, Heath M, Wahba G (1979) Generalized crossvalidation as a method for choosing a good ridge parameter. Technometrics 21(2):215–223. https://doi.org/10.1080/00401706.1979.10489751
Hansen PC (1992) Analysis of discrete illposed problems by means of the Lcurve. SIAM Rev 34(4):561–580. https://doi.org/10.2307/2132628
He P, Wen YM, Xu CJ, Chen YG (2019) Highquality threedimensional displacement fields from newgeneration SAR imagery: application to the 2017 Ezgeleh, Iran, earthquake. J Geod 93(4):573–591. https://doi.org/10.1007/s0019001811836
He P (2014) Error analysis and surface deformation application of time series InSAR. PhD Thesis Wuhan University, Wuhan
Hill CA, Harris M, Ridley KD, Jakeman E, Lutzmann P (2003) Lidar frequency modulation vibrometry in the presence of speckle. Appl Optics 42(6):1091–1100. https://doi.org/10.1364/AO.42.001091
Hoerl AE, Kennard RW (1970) Ridge regression: biased estimation for nonorthogonal problems. Technometrics 12(1):55–67. https://doi.org/10.1080/00401706.1970.10488634
Kobler A, Pfeiferb N, Ogrinc P, Todorovski L, Oštir K, Džeroski S (2007) Repetitive interpolation: a robust algorithm for DTM generation from aerial laser scanner data in forested terrain. Remote Sens Environ 108(1):9–23. https://doi.org/10.1016/j.rse.2006.10.013
Kraus K, Pfeifer N (1998) Determination of terrain models in wooded areas with airborne laser scanner data. ISPRS J Photogramm 53(4):193–203. https://doi.org/10.1016/S09242716(98)000094
KrawczykStando D, Rudnicki M (2007) Regularization parameter selection in discrete illposed problems—the use of the Ucurve. Int J Ap Mat ComPol 17(2):157–164. https://doi.org/10.2478/v1000600700143
Leigh CL, Kidner DB, Thomas MC (2010) The use of lidar in digital surface modelling: issues and errors. T GIS 13(4):345–361. https://doi.org/10.1111/j.14679671.2009.01168.x
Li BF, Shen YZ (2009) Fast GPS Ambiguity resolution constraint to available conditions. Geomat Info Sci Wuhan Uni 34(1):117–121. https://doi.org/10.1042/BSR20080061
Lu G, Krakiwsky EJ, Lachapelle G (1993) Application of inequality constraint least squares to gps navigation under selective availability. Manuscr Geodaet 18:124–130
Peng JH, Zhang HP, Shong SL, Guo CX (2006) An aggregate constraint method for inequalityconstrained least squares problem. J Geod 79(12):705–713. https://doi.org/10.1007/s001900060026z
Shekhar S, Xiong H (2008) Digital elevation model. Springer, New York
Shi Y, Xu PL (2021) Adjustment of measurements with multiplicative random errors and trends. IEEE Geosci Remote S 18(11):1916–1920. https://doi.org/10.1109/LGRS.2020.3010827
Shi Y, Xu PL, Peng JH (2014) Multiplicative error models: an applicationsoriented review of parameter estimation methods and statistical error analysis. Geotechnical Investigation and Surveying 42(6):60–66
Shi Y, Xu PL, Peng JH (2015) An overview of adjustment methods for mixed additive and multiplicative random error models. International Association of Geodesy Symposia 142:283–290. https://doi.org/10.1007/1345_2015_72
Shi Y (2012) Parameter estimation and its geodetic application in multiplicative noise model. PhD Thesis China University of Geosciences, Beijing
Shi Y (2014) Least squares parameter estimation in additive/multiplicative error models for use in geodesy. Geomat Info Sci Wuhan Uni. 39(9):1033–1037. https://doi.org/10.13203/j.whugis20130355
Song YC (2019) A new iterative algorithm for a rankdeficient adjustment model with inequality constraints. J Geod 93(12):2637–2649. https://doi.org/10.1007/s0019001901324z
Surveying Adjustment Group of School of Geodesy and Geomatics, Wuhan University (2014) Error theory and foundation of surveying adjustment. Wuhan University Press, Wuhan
Tikhonov AN, Arsenin VY (1977) Solutions of illposed problems. Wiley, New York
Veneziano D, Hallmark S, Souleyret R (2010) Accuracy of light detection and ranging derived terrain data for highway location. ComputAided Civ Inf 19(2):130–143. https://doi.org/10.1111/j.14678667.2004.00343.x
Wang ZJ (2006) Regularization of illposed problems in surveying. Science Press, Beijing
Wang LY, Chen T (2021a) Virtual observation iteration solution and Aoptimal design method for illposed mixed additive and multiplicative random error model in geodetic measurement. J Surv Eng 147(4):04021016. https://doi.org/10.1061/(ASCE)SU.19435428.0000363
Wang LY, Chen T (2021b) Ridge estimation iterative solution of illposed mixed additive and multiplicative random error model with equality constraints. Geodesy and Geodynamics 12(5):336–346. https://doi.org/10.1016/j.geog.2021.07.003
Wang LY, Han SH (2022) A simple iterative solution for mixed additive and multiplicative random error model with inequality constraints. Geomat Info Sci Wuhan Uni https://doi.org/10.13203/j.whugis20210659 (Just accept)
Wang JY, Pruitt PA (1992) Effects of speckle on the range precision of a scanning lidar. Appl Optics 31(6):801–808. https://doi.org/10.1364/AO.31.000801
Wang LY, Wen GS (2017) Nonnegative least squares variance component estimation of Partial EIV model. Acta Geod Cartogr Sin 46(7):857–865 https://doi.org/10.11947/j.AGCS.2017.20160501
Wang LY, Yu DD (2014) Virtual observation method to illposed total least squares problem. Acta Geod Cartogr Sin 43(6):575–581 https://doi.org/10.13485/j.cnki.112089.2014.0091
Wang LY, Zhao X, Gao H (2018) A method for determining the regularization parameter and the relative weight ratio of the seismic slip distribution with multisource data. J Geodyn 118:1–10. https://doi.org/10.1016/j.jog.2018.04.005
Wang LY, Wen GS, Zhao YW (2019) Virtual observation method and precision estimation for illposed partial EIV model. J Surv Eng 145(4):04019010. https://doi.org/10.1061/(ASCE)SU.19435428.0000282
Wang LY, Chen T, Zou CY (2021) Weighted least squares regularization iteration solution and precision estimation for illposed multiplicative error model. Acta Geod Cartogr Sin 50(5):589–599. https://doi.org/10.11947/j.AGCS.2021.20200126
Xie J (2014) Theory of surveying data processing with prior information and its applications in geodesy. PhD Thesis Central South University, Changsha
Xu PL (1999) Despeckling SARtype multiplicative noise. Int J Remote Sens 20(13):2577–2596. https://doi.org/10.1080/014311699211949
Xu PL (2010) Truncated SVD methods for discrete linear illposed problems. Geophys J Int 135(2):505–514. https://doi.org/10.1046/j.1365246X.1998.00652.x
Xu PL, Shimada S (2000) Least squares parameter estimation in multiplicative noise models. Commun StatSimul C 29(1):83–96. https://doi.org/10.1080/03610910008813603
Xu PL, Shi Y, Peng JH, Liu JN, Shi C (2013) Adjustment of geodetic measurements with mixed multiplicative and additive random errors. J Geod 87(7):629–643. https://doi.org/10.1007/s0019001306352
Yang YX, Zhang LP (2009) Progress of geodetic data processing for 60 years in China part 1: Progress of functional and stochastic model. Geospatial Information 7(6):1–5
Yang YX, Zhang LP (2010) Progress of geodetic data processing for 60 years in China part 2: Progress of parameter estimation theory and methodology. Geospatial Information 8(1):1–6
Zeng WX, Liu JN, Yao YB (2015) On partial errorinvariables models with inequality constraints of parameters and variables. J Geod 89(2):111–119. https://doi.org/10.1007/s001900140775z
Zhang SL, Tong XH, Zhang K (2013) A solution to EIV model with inequality constraints and its geodetic applications. J Geod 87(1):23–28. https://doi.org/10.1007/s0019001205752
Zhao LD, Ma XP, Xiang ZF, Zhang SC, Hu C, Zhou Y, Chen GC (2022) Landslide deformation extraction from terrestrial laser scanning data with weighted least squares regularization iteration solution. Remote Sens 14(12):2897. https://doi.org/10.3390/rs14122897
Acknowledgements
The authors are grateful to all of the anonymous reviewers and EditorinChief Prof. Takeshi Sagiya for their careful review and valuable suggestions, which improved the quality of this paper.
Funding
This research is supported by the National Natural Science Foundation of China, Grant Nos. 42174011 and 41874001, and by the Innovation Found Designated for Graduate Students of ECUT, Grant No. DHYC202020.
Author information
Authors and Affiliations
Contributions
All authors contributed significantly to the manuscript. LW initiated the idea, provided critical comments and contributed to the final revision of the paper. TC performed all data processing and analyses and contributed to drafting the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wang, L., Chen, T. A method for mixed additive and multiplicative random error models with inequality constraints in geodesy. Earth Planets Space 74, 125 (2022). https://doi.org/10.1186/s40623022016854
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40623022016854
Keywords
 Mixed additive and multiplicative random error model
 Inequality constraints
 Equality constraints
 Exhaustive search method
 Illposed problem