Abstract: A global navigation system includes a first navigation receiver located in a rover and a second navigation receiver located in a base station. Single differences of measurements of satellite signals received at the two receivers are calculated and compared to single differences derived from an observation model. Anomalous measurements are detected and removed prior to performing computations for determining the output position of the rover and resolving integer ambiguities. Detection criteria are based on the residuals between the calculated and the derived single differences. For resolving integer ambiguities, computations based on Cholesky information Kalman filters and Householder transformations are advantageously applied. Changes in the state of the satellite constellation from one epoch to another are included in the computations.

Abstract: An optimum measurement subset with a specified number of elements is generated from a set of input global navigation satellite system (GNSS) measurements. A design matrix and a weight matrix are generated. Values of a set of coefficients corresponding to the set of input GNSS measurements are calculated. The value of a specific coefficient is calculated as the ratio of the change in value of the at least one target parameter resulting from the change in value of the specific input GNSS measurement to the change in value of the sum of squared residuals resulting from the change in value of the specific input GNSS measurement. The optimum measurement subset is selected based at least in part on the values of the set of coefficients.

Abstract: An optimum measurement subset with a specified number n of elements is generated from a set of N>n weighted input global navigation satellite system (GNSS) measurements. A group of trial measurement subsets is generated by removing a different individual weighted input GNSS measurement from the set. A value of accuracy criterion for a target parameter is calculated for each trial measurement subset, and the trial measurement subset with the minimum value of accuracy criterion is selected. A new group of trial measurement subsets is generated by removing a different individual weighted GNSS measurement from the previously selected trial measurement subset. A value of accuracy criterion is calculated for each new trial measurement subset, and a new trial measurement subset with the new minimum value of accuracy criterion is selected. The process is repeated until the selected trial measurement subset has the specified number n of elements.

Abstract: A global navigation system includes a first navigation receiver located in a rover and a second navigation receiver located in a base station. Single differences of measurements of satellite signals received at the two receivers are calculated and compared to single differences derived from an observation model. Anomalous measurements are detected and removed prior to performing computations for determining the output position of the rover and resolving integer ambiguities. Detection criteria are based on the residuals between the calculated and the derived single differences. For resolving integer ambiguities, computations based on Cholesky information Kalman filters and Householder transformations are advantageously applied. Changes in the state of the satellite constellation from one epoch to another are included in the computations.

Abstract: A global navigation system includes a first navigation receiver located in a rover and a second navigation receiver located in a base station. Single differences of measurements of satellite signals received at the two receivers are calculated and compared to single differences derived from an observation model. Anomalous measurements are detected and removed prior to performing computations for determining the output position of the rover and resolving integer ambiguities. Detection criteria are based on the residuals between the calculated and the derived single differences. For resolving integer ambiguities, computations based on Cholesky information Kalman filters and Householder transformations are advantageously applied. Changes in the state of the satellite constellation from one epoch to another are included in the computations.

Abstract: An optimum measurement subset with a specified number n of elements is generated from a set of N>n weighted input global navigation satellite system (GNSS) measurements. A group of trial measurement subsets is generated by removing a different individual weighted input GNSS measurement from the set. A value of accuracy criterion for a target parameter is calculated for each trial measurement subset, and the trial measurement subset with the minimum value of accuracy criterion is selected. A new group of trial measurement subsets is generated by removing a different individual weighted GNSS measurement from the previously selected trial measurement subset. A value of accuracy criterion is calculated for each new trial measurement subset, and a new trial measurement subset with the new minimum value of accuracy criterion is selected. The process is repeated until the selected trial measurement subset has the specified number n of elements.

Abstract: An optimum measurement subset with a specified number of elements is generated from a set of input global navigation satellite system (GNSS) measurements. A design matrix and a weight matrix are generated. Values of a set of coefficients corresponding to the set of input GNSS measurements are calculated. The value of a specific coefficient is calculated as the ratio of the change in value of the at least one target parameter resulting from the change in value of the specific input GNSS measurement to the change in value of the sum of squared residuals resulting from the change in value of the specific input GNSS measurement. The optimum measurement subset is selected based at least in part on the values of the set of coefficients.

Abstract: A global navigation system includes a first navigation receiver located in a rover and a second navigation receiver located in a base station. Single differences of measurements of satellite signals received at the two receivers are calculated and compared to single differences derived from an observation model. Anomalous measurements are detected and removed prior to performing computations for determining the output position of the rover and resolving integer ambiguities. Detection criteria are based on the residuals between the calculated and the derived single differences. For resolving integer ambiguities, computations based on Cholessky information Kalman filters and Householder transformations are advantageously applied. Changes in the state of the satellite constellation from one epoch to another are included in the computations.