# Patent

## Title
Detection and correction of anomalous measurements and ambiguity resolution in a global navigation satellite system receiver

## 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.

## Background
This application is a divisional of U.S. patent application Ser. No. 12/943,102, filed Nov. 10, 2010, which claims the benefit of U.S. Provisional Application No. 61/261,772 filed Nov. 17, 2009, each of which is incorporated herein by reference.


BACKGROUND OF THE INVENTION
The present invention relates generally to global navigation satellite systems, and more particularly to detection and correction of anomalous measurements and ambiguity estimation in a navigation receiver.
Global navigation satellite systems (GNSSs) can determine locations with high accuracy. Currently deployed global navigation satellite systems are the United States Global Positioning System (GPS) and the Russian GLONASS. Other global navigation satellite systems, such as the European GALILEO system, are under development. In a GNSS, a navigation receiver receives and processes radio signals transmitted by satellites located within a line-of-sight distance of the navigation receiver. The satellite signals comprise carrier signals modulated by pseudo-random binary codes. The navigation receiver measures the time delays of the received signals relative to a local reference clock or oscillator. Code measurements enable the navigation receiver to determine the pseudo-ranges between the navigation receiver and the satellites. The pseudo-ranges differ from the actual ranges (distances) between the navigation receiver and the satellites due to various error sources and due to variations in the time scales of the satellites and the navigation receiver. If signals are received from a sufficiently large number of satellites, then the measured pseudo-ranges can be processed to determine the code coordinates and coordinate time scales at the navigation receiver. This operational mode is referred to as a stand-alone mode, since the measurements are determined by a single navigation receiver. A stand-alone system typically provides meter-level accuracy.
To improve the accuracy, precision, stability, and reliability of measurements, differential navigation (DN) systems have been developed. In a DN system, the position of a user is determined relative to a base station (also referred to as a base) whose coordinates are precisely known. The base contains a navigation receiver that receives satellite signals. The user, whose position is to be determined, can be stationary or mobile and is often referred to as a rover. The rover also contains a navigation receiver that receives satellite signals. Signal measurements processed at the base are transmitted to the rover via a communications link. The communications link, for example, can be provided over a cable or optical fiber. To accommodate a mobile rover, the communications link is often a wireless link.
The rover processes the measurements received from the base, along with measurements taken with its own navigation receiver, to improve the accuracy of determining its position. Accuracy is improved in the differential navigation mode because errors incurred by the navigation receiver at the rover and by the navigation receiver at the base are highly correlated. Since the coordinates of the base are accurately known, measurements from the base can be used to compensate for the errors at the rover. A differential global positioning system (DGPS) computes locations based on pseudo-ranges only.
The location determination accuracy of a differential navigation system can be further improved by supplementing the code pseudo-range measurements with measurements of the phases of the satellite carrier signals. If the carrier phases of the signals transmitted by the same satellite are measured by both the navigation receiver at the base and the navigation receiver at the rover, processing the two sets of carrier phase measurements can yield a location determination accuracy to within several percent of the carrier's wavelength. A differential navigation system that computes locations based on real-time carrier signals, in addition to the code pseudo-ranges, is often referred to as a real-time kinematic (RTK) system. Processing carrier phase measurements to determine coordinates includes the step of ambiguity resolution; that is, determining the integer number of cycles in the carrier signal received by a navigation receiver from an individual satellite.
In many instances, a navigation receiver (in particular, the navigation receiver at the rover) operates in a complex environment in which various external influences cause measurement errors. For example, external signals can interfere with the satellite signals, and structures and terrain can result in multipath errors. Errors can be classified into two broad categories: normal errors and abnormal errors. Normal errors are normally-distributed white noise errors that can be compensated for during calculation of location coordinates. Abnormal errors are large systematic errors that can prevent the system from calculating an accurate location. In some instances, abnormal errors are caused by spikes of intrinsic noise. More often, they result from environmental conditions. For example, strong reflected signals that interfere with the direct satellite signal can cause an abnormal error. Similarly, extreme radio interference can also result in abnormal errors.
Partial or complete shading of the navigation receiver can result in errors due to radio wave diffraction. If the shading is partial and minor, the measurement error can be minimal. If a satellite is completely shaded (that is, blocked), however, only the multipath signal remains. As a result, tracking in the channel is interrupted, and the measured phase is lost, resulting in an abnormal error. Dynamic effects on the navigation receiver (for example, specific motions of the rover) can also cause abnormal errors. Impulse accelerations impact both the receiving antenna and the quartz crystal of the local reference oscillator, resulting in drift of the intermediate carrier frequency and measured phase.
One specific type of abnormal error is a phase-lock loop (PLL) cycle slip, which is a cycle slip in the PLL circuits that track the satellite carrier signal. After a cycle slip occurs, the PLL circuit transitions to a new point of steady balance, after which it continues tracking the satellite carrier signal. If a cycle slip occurs during signal tracking, an abnormal error equal to several integer number of semi-cycles (half-cycles) is introduced into the carrier phase measurements. If a cycle slip occurs after signal lock, an abnormal error equal to several integer number of cycles is introduced into the carrier phase measurements.
Calculating coordinates from received satellite signals entails the calculation of complex mathematical algorithms. These algorithms are computationally intense, often utilizing high processor and memory capacity. What are needed are methods and apparatus for detection and correction, or elimination, of abnormal measurements prior to execution of complex algorithms.
BRIEF SUMMARY OF THE INVENTION
A global navigation system includes a first navigation receiver located in a rover and a second navigation receiver located in a base station. A first plurality of measurements based on a first plurality of carrier signals received by the first navigation receiver from a plurality of global navigation satellites is received. A second plurality of measurements based on a second plurality of carrier signals received by the second navigation receiver from the plurality of global navigation satellites is received. Each carrier signal in the second plurality of carrier signals corresponds to a carrier signal in the first plurality of carrier signals, and each measurement in the second plurality of measurements corresponds to a measurement in the first plurality of measurements.
In an embodiment, anomalous measurements are detected and eliminated prior to performing computations for determining the output position of the rover. To detect anomalous measurements, a first plurality of single differences based on the first plurality of measurements and the second plurality of measurements are calculated. A state vector based on the first plurality of single differences is determined. A second plurality of single differences based on an observation model is calculated. A plurality of residuals based on the first plurality of single differences and the second plurality of single differences is calculated. Whether the first plurality of single differences and the second plurality of single differences are consistent with the observation model is determined. When the first plurality of single differences and the second plurality of single differences are not consistent, anomalous measurements are detected and eliminated.
In an embodiment, integer ambiguities are resolved. Single differences of pseudo-ranges and carrier phases are first calculated. The single differences are linearized, and an observation vector and matrix are calculated. If the position of the rover is known, then an inverse operation is performed to determine an estimate of the integer ambiguities vector. If the position of the rover is not known, then the ambiguities are filtered and float ambiguities are estimated. An integer ambiguities vector candidate is determined and evaluated against fix criteria. If the fix criteria are met, then an estimate of the integer ambiguities vector is generated.
In an embodiment, anomalous measurements are detected and removed prior to filtering ambiguities. Fast search procedures are used in the calculations for detecting anomalies. The calculations for resolving integer ambiguities involve generating a Cholesky information Kalman filter and performing a Householder transformation on the Cholesky information Kalman filter.
These and other advantages of the invention will be apparent to those of ordinary skill in the art by reference to the following detailed description and the accompanying drawings.



BRIEF DESCRIPTION OF THE DRAWINGS
FIG. 1 shows a flowchart of a method for detecting and correcting anomalous measurements;
FIG. 2 shows a flowchart of a method for resolving integer ambiguities;
FIG. 3 shows an expression for initial Cholesky information coordinates;
FIG. 4 shows an expression for Cholesky information coordinates at a later epoch;
FIG. 5 shows pseudo-code for an algorithm for updating a state vector;
FIG. 6 shows an expression for a matrix used in resolving integer ambiguities when a reference satellite changes;
FIG. 7 and FIG. 8 show pseudo-code for algorithms used in resolving integer ambiguities when a satellite sets; and
FIG. 9 shows a high-level schematic of a computational system.



DETAILED DESCRIPTION
The navigation measurements of interest can be viewed as solutions for the unknown components of a state vector of a system. Components of the state vector include: position vector of the rover; velocity vector of the rover (if required); clock errors in the local reference oscillators in the navigation receivers at the base and at the rover; and the n integer ambiguities of the phase measurements of the carrier signals received by the navigation receivers at the base and the rover. The number n is discussed below. To simplify the terminology, a navigation receiver is also referred to herein as a receiver.
In principle, time is measured with respect to a common system clock. In practice, each satellite transmitter and each receiver has its own local reference clock. The local reference clock in a receiver is typically a quartz oscillator, which can have variations in frequency and phase. These variations result in clock errors. There are also clock errors corresponding to the local reference clock in a satellite transmitter. The clock in a satellite transmitter is typically more precise and stable than the clock in a receiver; however, for precise measurements, clock errors in the satellite transmitter are also taken into account. The difference in time determined by a local clock in a receiver or satellite and the time determined by the common system clock is referred to as the clock offset. In a global navigation satellite system (GNSS), a discrete time scale is often used. The time instants referenced to timing signals transmitted by a satellite are referred to as epochs. Other time instants are referenced to digital processing circuits in receivers.
The carrier phase of a carrier signal is the sum of an integer number of cycles and a fractional cycle. The fractional cycle can be directly measured, but the integer number of cycles is initially indeterminate and, therefore, is often referred to as the integer ambiguity. The process of determining the integer number of cycles is referred to as ambiguity resolution. Hereinafter, carrier phase refers to the ambiguous carrier phase initially determined by the receiver, and unambiguous phase refers to the unambiguous carrier phase after ambiguity resolution.
For a single-frequency receiver, the number n of integer ambiguities that needs to be resolved is equal to the number of satellites whose signals are being received and processed. Each satellite in a global navigation satellite system, however, transmits signals on more than one carrier frequency. For example, a GPS satellite can transmit signals on a carrier in the L1 frequency band and on a carrier in the L2 frequency band. If the receiver is a dual-frequency unit, then the number n is equal to twice the number of satellites whose signals are being received and processed. That is, the number n is equal to the number of satellite channels being received and processed, where a satellite channel is specified by the identity of the satellite and the carrier frequency. Receiving signals on two carrier frequencies allows corrections for ionospheric delays; these corrections simplify ambiguity resolution.
A carrier signal transmitted by a satellite follows one direct propagation path to the rover receiver and a second direct propagation path to the base receiver. Herein, a carrier signal received by the rover receiver corresponds to a carrier signal received by the base receiver when both received carrier signals correspond to the same carrier signal transmitted by a satellite. The state vector is calculated from an observation vector, whose components include two sets of navigation parameters. One set is determined from data measured by the base receiver; and a corresponding set is determined from data measured by the rover receiver. Each set of navigation parameters includes the pseudo-range of each satellite to the receiver and the carrier phase of each satellite carrier signal. The pseudo-range between a satellite and a receiver is obtained by measuring the time delay of a code modulation signal transmitted by the satellite and received by the receiver. The code modulation signal is tracked by a delay-lock loop (DLL) circuit in a satellite tracking channel. The carrier phase of a carrier signal is tracked by a phase-lock-loop (PLL) in the satellite tracking channel. The navigation parameters are determined at discrete instants of time, and an observation vector is generated as the collection of the navigation parameters over a time range.
The relationship between the state vector and the observation vector is defined by a well-known system of navigation equations. Given an observation vector, the system of equations can be solved to find the state vector if the number of equations equals or exceeds the number of unknowns in the state vector. Conventional statistical methods can be used to solve the system of equations; for example, the least squares method (LSM), the dynamic Kalman filtering method, and various modifications and combinations of LSM and Kalman.
Practical implementations of these methods in digital form can vary widely. In implementing a method in a processor, there is typically a compromise between the accuracy of the results, speed of calculation, and load on the processor. One general scheme includes the following steps. A set of navigation parameters determined by the base receiver is transmitted to the rover. A corresponding set of navigation parameters is determined by the rover receiver. For each satellite channel at specific instants of time, the single difference between the pseudo-range measured at the base receiver and the pseudo-range measured at the rover receiver is determined, and the single difference between the carrier phase measured at the base receiver and the carrier phase measured at the rover receiver is determined.
Measurements at the base receiver and at the rover receiver contain errors which are strongly correlated. For example, clock errors in a satellite transmitter are common to the signals received by both the base receiver and the rover receiver. As another example, if the base and the rover are sufficiently close together, errors caused by signal propagation through the atmosphere are common to the signals received by both the base receiver and the rover receiver. Single differences compensate for strongly correlated errors; that is, the strongly correlated errors are substantially cancelled.
The residuals of the single differences are then determined by subtracting calculated values from the measured values. Calculated values are based on an observation model. The processing of residuals allows the initial non-linear system of navigation equations to be linearized (sometimes several iterations are necessary). Well-known mathematical techniques for solving systems of linear equations can then be applied. For example, in one embodiment, the single-difference measurements are first processed by the Gauss-Newton algorithm, and initial residuals are generated. The initial residuals are then processed by multiple iterations of the Gauss-Newton algorithm until convergence is reached. The final solution generates final residuals. Detection and elimination of anomalies are based on the final residuals. Algorithms other than the Gauss-Newton method can be used. For example, the Newton method can be used; however, this requires double derivatives of residuals. Methods for linearization during iterations include the Zeidel method and the Jacobi method. Also, calculations include searching for minima of functions, and methods of optimization can be used instead (such as the Rosenbrock method, simplex method, quasi-gradient method, and quasi-Newton method).
The components of the state vector, including the ambiguities, are determined. The calculated values of the ambiguities, however, are not necessarily processed as integer numbers; they are often processed as floating point numbers, referred to as float (or floating) ambiguities. An ambiguity resolution process rounds off the set of floating point values to a set of integer values. The true values of the residuals are then calculated from the set of integer values, and the system of equations is solved again with these integer values. The coordinates of the rover and the corrections to the clock offset in the rover are then determined. To simplify the terminology, calculating corrections to the clock offset is also referred to as calculating the clock offset.
Calculating coordinates and clock offset from received satellite signals entails the calculation of complex mathematical algorithms. These algorithms are computationally intensive, often utilizing high processor and memory capacity. Detection and correction, or elimination, of abnormal measurements prior to execution of complex algorithms are advantageous for reducing processor and memory utilization. Furthermore, the time for calculating coordinates is reduced, and the accuracy of the coordinates is increased.
Abnormal measurements are also referred to herein as anomalous measurements. Anomalous measurements impact various operations, such as the calculation of positions and the resolution of ambiguities. When there is an anomalous measurement in the positioning operation or in the ambiguity resolution operation, for example, the state vector will be distorted. Anomalous measurements need to be corrected or eliminated first. Since optimal position calculation and ambiguity resolution over the whole set of equations consume considerable computational resources, it is advantageous to correct or eliminate the anomalous measurements prior to the execution of complex algorithms.
In embodiments of the invention, anomalous measurements are detected by an anomaly detector that determines the consistency of measurements with an observation model. Methods for fast searching and enumeration, as described in more detail below, increase computational efficiency and reduce the number of operations; consequently, computational speed is increased. After an anomaly has been detected, it can be corrected, or eliminated, prior to further processing of the measurements.
FIG. 1 shows a high-level flowchart of steps for processing measurements, according to an embodiment of the invention.
Measurements 101 include pseudo-ranges, carrier phase increments over an epoch, and unambiguous phases measured at the base navigation receiver and at the rover navigation receiver. For the unambiguous phases, initial processing to calculate estimates of the ambiguities were previously performed. In step 102, single differences of the measurements measured at the rover navigation receiver and the corresponding measurements measured at the base navigation receiver are calculated.
In step 104, a state vector is determined from the single differences. Step 104 includes correcting the pseudo-range single differences and the unambiguous phase single differences for troposphere delays. In an embodiment, the Gauss-Newton process is used for determining the state vector. The troposphere corrections depend on the rover position and are evaluated during the Gauss-Newton process.
The process then passes to step 106, in which residuals of the single differences are calculated. As discussed above, residuals are determined by subtracting values of single differences calculated from an observation model from the single differences calculated from the measurements. In an embodiment, multiple iterations of the Gauss-Newton process are used to generate a final set of residuals.
The process then passes to step 108, in which measurement consistency is checked. Consistency criteria are discussed in more detail below. The process then passes to decision step 110. If the set of measurements is consistent, then the process generates output 111, which includes the rover position (as specified by rover coordinates) and flags identifying which measurements, if any, are anomalous (referred to herein as measurement flags).
If the set of measurements is not consistent, then the process passes to step 114, in which anomalies are detected and removed. The process then passes to decision step 116. If the state vector cannot be determined from the remaining measurements, then the process passes to step 118, in which all the measurements are eliminated. In order for the state vector to be determined, the remaining measurements need to include measurements from at least four satellites. If the state vector can be determined from the remaining measurements, then the process passes to step 120, in which the state vector is corrected; that is, the state vector is re-calculated after the anomalous measurements have been removed. Correction can be done with a more efficient technique than least square method (LSM) for the remaining measurements. In an embodiment, a technique based on the peer-to-peer LSM modification (described in more detail below) is used. The process then returns to step 106 for another iteration.
In step 108, different criteria can be used to determine whether or not the measurements are consistent. Herein, measurements from the rover receiver and corresponding measurements from the base receiver are consistent if their single differences are consistent with the observation model. Examples of consistency criteria include the following:

    
    
        Measurements are consistent if the absolute value of each residual does not exceed a user-defined threshold value. This method is effective if a behavioral model is a priori known.
        Measurements are consistent if the absolute value of each weighted residual does not exceed a user-defined threshold value. A weighted residual is a residual multiplied by a factor referred to as a weight. Each residual can be multiplied by a different weight. More details are described below.
        Measurements are consistent if the weighted sum of residual squares (WSRS) does not exceed a user-defined threshold value. This method is comprehensive, since it uses all the measurements. More details of WSRS are described below.
        Any combination of the above criteria can also be used via the logical operations “AND” or “OR”.
    
    


In step 114, different search methods can be used to detect an anomaly. Examples of search methods include:

    
    
        Search for a maximum absolute value of a residual. The corresponding measurement is regarded as an anomaly.
        Search for a maximum absolute value of a weighted residual. The corresponding measurement is regarded as an anomaly.
        Search for a specific measurement such that removal of the specific measurement will result in a minimal value of WSRS for the updated solution. This method examines the measurements one at a time.
    
    


After at least one anomalous measurement has been detected, a single measurement or a group of measurements can be selected to be designated as anomalous and corrected or eliminated. Methods for selection include:

    
    
        Only the detected measurement is designated to be anomalous.
        All measurements for the current channel are designated to be anomalous. If the code measurement is anomalous, the carrier phase measurement is also designated to be anomalous. Similarly, if the carrier phase measurement is anomalous, the code measurement is also designated to be anomalous.
        If measurements on the civilian channel are anomalous, measurements on the protected channel are also designated to be anomalous. In GPS and GLONASS, some signals can be decoded by all users, and some signals can be decoded only by authorized users (such as the military). For GPS, the protected P-signal can be decoded by using the civilian C-signal information.
        All measurements from the satellite from which an anomaly was detected are designated to be anomalous.

The choice of method influences the performance of the anomaly detector.

    
    


Embodiments of anomaly detectors (as shown in FIG. 1) are described below.

    
    
        Anomaly Detector Based on Pseudo-Range Single Differences. Single differences of pseudo-ranges are calculated. The ionospheric contribution is assumed to be negligible or compensated by a model. By solving equations for pseudo-range single differences, a differential code solution can be obtained. A WSRS can be calculated from this solution. If this sum exceeds a user-defined threshold value, a decision concerning anomalies is made and correction follows.
        Anomaly Detector Based on Carrier Phase Single Difference Increments over an Epoch. For the first epoch, rover coordinates are determined using only code measurements to determine pseudo-ranges. Starting from the second epoch, and using carrier phase increments over an epoch, rover coordinate increments (changes in coordinates) are determined. The current coordinates can be determined by adding coordinate increments to previous coordinates. If there are no anomalies (cycle slips), the rover coordinate increments are calculated at carrier phase (cm) accuracy, but the entire rover trajectory is shifted relative to the true trajectory (by tens of meters in the stand-alone mode and by tens of cm in DGPS mode). The shift arises from inaccuracy of the initial coordinates determined from the code measurements. Further details are provided below.
        Anomaly Detector Based on Unambiguous Phase Single Differences. Single differences of unambiguous phase measurements are calculated. A differential phase solution can be obtained by solving the equations with respect to single differences of unambiguous phases. A WSRS can be calculated from this solution. If this WSRS exceeds a user-defined threshold value, a decision concerning anomalies is made and correction follows.
    
    


Examples of algorithms for detection of anomalies are discussed below. These algorithms fall into two categories: detection of anomalies during the calculation of positions and detection of anomalies before resolution of ambiguities. Detection of anomalies during the calculation of positions results in more precise coordinates. Detection of anomalies before resolution of ambiguities provides a better estimate of the ambiguities (which in turn also affects the calculation of positions).
Definition of Variables and Notation Convention. In the algorithms below, the following variables and notation are used. Vectors and matrices are shown in bold font.

    
    
        r=(x, y, z)T is the position vector, also referred to herein as the radius vector, in the World Geodetic System 84 (WGS 84) coordinate frame referenced to the center of the Earth. Components {r}x, {r}y, {r}z designate vector projections onto the corresponding Cartesian x, y, z axes.
        The set of index numbers r,kf,s refer to the following:
        
            f is the index number of the frequency band (for example, f=1 can refer to the L1 frequency band, and f=2 can refer to the L2 frequency band). Future GNSSs can have more than two frequency bands.
            s is the index number of a satellite.
            r is the index number of a receiver (r=0 refers to the rover receiver, and r=1 refers to the base receiver.)
            k is the index number of a system time instant.
        
        
        ρr,kf,s are line-of-sight pseudo-ranges (in meters) between satellite s and receiver r; pseudo-ranges are also referred to as code measurements. φr,kf,s are line-of-sight carrier phase measurements (in meters) between satellite s and receiver r. Here φr,kf,s represent the carrier phases in cycles multiplied by the carrier wavelength.
        c is the speed of light (2.99792458×108 m/s).
        Rr,kf,s=R(rr,ks+br,kf,s, rr,ks+cr,kf,s) is the distance from the phase center of the transmitting antenna on satellite s to the phase center of the receiving antenna on receiver r, where:
        
            R(r,r′)=|r−r′|+c−1Ωe({r′}x·{r}y−{r′}y·{r}x) is the geometric distance from the satellite s with radius vector r′ to the point with radius vector r plus a correction factor accounting for the rotation of the Earth.
            Ωe is the angular rotational speed of the Earth

(c−1Ωe=2.432387791×10−13m−1).

            rr,ks is the radius vector of satellite s at the instant that the satellite signal is received at receiver r. Satellite signals are broadcast (transmitted) at different time instants. Also, a satellite signal broadcast at a single time instant will arrive at different receivers at different time instants. Therefore, the values of rr,ks can vary from one receiver to another.
            br,kf,s is the displacement vector of the phase center (for the frequency band f) of the receiving antenna on the receiver r relative to the antenna reference point; this vector depends on the direction of satellite s. More explicitly: br,kf,s=offsr,kf+PCVf(θr,ks)·hr,ks. Here, the term offsr,kf represents the phase offset (independent of direction); PCVf (θr,ks) represents the phase center variation (dependent on elevation angle); and hr,ks represents the directional cosine from satellite to receiver. The second term accounts for the directional properties of antennas operating in different frequency bands.
            cr,kf,s is the displacement vector of the phase center (for the frequency band f) of the transmitting antenna on the satellite s relative to the center-of-mass of the satellite; in general, this displacement depends on the direction to the receiver r. More explicitly:
        
        
    
    






  
    c
    
      r
      ,
      k
    
    
      f
      ,
      s
    
  
  =
  
        +
    
            ⁢
      
        
          (
          
            
              θ
              ~
            
            
              r
              ,
              k
            
            s
          
          )
        
        ·
        
          
            h
            
              r
              ,
              k
            
            s
          
          .
        
      
    
  




Here the term represents the offset from the center-of-mass of the satellite to the transmitting antenna on the satellite;





  
    θ
    ~
  
  
    r
    ,
    k
  
  s




represents the elevation angle from the satellite antenna plane; and

represents the satellite phase center variation. Note that the effect of cr,kf,s is negligible when single differences of measurements or time increments of measurements (or both) are processed.

    
    
        λf,s is the wavelength of the carrier signal transmitted by satellite s on frequency band f. The Global Positioning System (GPS) and GALILEO (GAL) use code-division multiple access (CDMA), and GLONASS (GLN) uses frequency-division multiple access (FDMA). Wavelength is related to carrier frequency ω according to
    
    






  λ
  =
  
    
      c
      ω
    
    .
  




For GPS and GAL, the wavelength is the same for all carriers within the same frequency band f. For GLN, for frequency band f, a carrier frequency is specified by a center frequency F0f and a frequency increment ΔF0f. For each satellite s, there is a corresponding satellite frequency channel number ls (an integer). The carrier frequency for satellite s is then Ff,s=F0f+ΔF0f·ls. The corresponding wavelength is





  
    
      λ
      
        f
        ,
        s
      
    
    =
    
      
        c
        
          F
          
            f
            ,
            s
          
        
      
      =
      
        c
        
          
            F
            0
            f
          
          +
          
            Δ
            ⁢
            
              
            
            ⁢
            
              
                F
                0
                f
              
              ·
              
                l
                s
              
            
          
        
      
    
  
  ,




which can be transformed into the expression





  
    
      λ
      
        f
        ,
        s
      
    
    =
    
      
        
          c
          /
          
            F
            0
            f
          
        
        
          1
          +
          
            
              (
              
                Δ
                ⁢
                
                  
                
                ⁢
                
                  
                    F
                    0
                    f
                  
                  /
                  
                    F
                    0
                    f
                  
                
              
              )
            
            ·
            
              l
              s
            
          
        
      
      =
      
        
          λ
          0
          f
        
        
          1
          +
          
            
              ɛ
              0
              f
            
            ·
            
              l
              s
            
          
        
      
    
  
  ,




where λ0f=c/F0f, ε0f/F0f. To maintain uniform convention for all GNSSs, channels in GPS and GAL are assigned a parameter ε0f as well (this parameter is equal to zero, since the increment between satellite frequency channel numbers is zero). For GLN frequency bands:




  
    
      ɛ
      0
      
        
          GLN
          .
          L
        
        ⁢
        
          
        
        ⁢
        1
      
    
    =
    
    ⁢
    
      
        562500
        1602000000
      
      =
      
      ⁢
      
        
          1
          2848
        
        ≈
        
        ⁢
        
          3.511
          ⁢
          e
          ⁢
          
            -
          
          ⁢
          004
        
      
    
  




  
    
      ɛ
      0
      
        
          GLN
          .
          L
        
        ⁢
        
          
        
        ⁢
        2
      
    
    =
    
    ⁢
    
      
        437500
        1246000000
      
      =
      
      ⁢
      
        
          1
          2848
        
        ≈
        
        ⁢
        
          3.511
          ⁢
          e
          ⁢
          
            -
          
          ⁢
          004
        
      
    
  




  
    
      ɛ
      0
      
        
          GLN
          .
          L
        
        ⁢
        
          
        
        ⁢
        3
      
    
    =
    
    ⁢
    
      
        421875
        1201500000
      
      =
      
      ⁢
      
        
          1
          2848
        
        ≈
        
        ⁢
        
          3.511
          ⁢
          e
          ⁢
          
            -
          
          ⁢
          004.
        
      
    
  



These values are therefore the same for different frequency bands. As discussed above, for GPS and GAL, these values are also the same for different frequency bands since they are all equal to zero. For any GNSS, therefore, the assumption holds that ε0f does not depend on the frequency band. This value is referred to as ε0SYS, where SYS refers to a particular GNSS.

    
    
        τks and τr,k are the clock offsets of the satellite clock and the receiver clock, respectively, relative to the system time.
        δτr,k(ρ)f,s and δτr,k(φ)f,s are the code-measurement channel delay and phase-measurement channel delay, respectively. These delays result from radiofrequency (RF) and digital signal processing of the satellite signals received by a receiver. To a good approximation, it can be assumed that the values do not depend on satellite, time, and measurement type; therefore δτr,k(ρ)f,s=δτr,k(φ)f,s≡δτrf.
        Tr,ks is the troposphere delay. This delay is caused by the refraction coefficient of troposphere.
        Ir,kfref,s is the ionosphere delay caused by propagation of the satellite signal through the ionosphere. More explicitly: For a sufficiently high carrier frequency Ff,s,
    
    






  
    
      I
      
        r
        ,
        k
      
      
        fref
        ,
        s
      
    
    =
    
      
        C
        
          
            [
            
              F
              
                f
                ,
                s
              
            
            ]
          
          2
        
      
      ⁢
      
        
          ∫
          L
          
            
          
        
        ⁢
        
          
            n
            e
          
          ⁢
          ds
        
      
    
  
  ,
  
    L
    =
    
      L
      
        r
        ,
        k
      
      s
    
  
  ,
  
    
      n
      e
    
    =
    
      
        n
        e
      
      ⁡
      
        (
        
          x
          ,
          y
          ,
          z
          ,
          
            t
            k
          
        
        )
      
    
  
  ,




where ne is the electron density, L is the signal trajectory, C is a constant, and ds is a differential distance along the propagation path. Note that the frequency dependence arises from the [Ff,s]2 term. An arbitrary reference band with index number fref (for example, L1) can be chosen; then





  
    
      
        
          I
          
            r
            ,
            k
          
          
            f
            ,
            s
          
        
        =
        
        ⁢
        
          
            C
            
              
                [
                
                  F
                  
                    f
                    ,
                    s
                  
                
                ]
              
              2
            
          
          ⁢
          
            
              ∫
              L
              
                
              
            
            ⁢
            
              
                n
                e
              
              ⁢
              
                
              
              ⁢
              ds
            
          
        
      
    
  
  
    
      
        =
        
        ⁢
        
          
            
              
                [
                
                  F
                  
                    
                      f
                      ref
                    
                    ,
                    s
                  
                
                ]
              
              2
            
            
              
                [
                
                  F
                  
                    f
                    ,
                    s
                  
                
                ]
              
              2
            
          
          ⁢
          
            C
            
              
                [
                
                  F
                  
                    
                      f
                      ref
                    
                    ,
                    s
                  
                
                ]
              
              2
            
          
          ⁢
          
            
              ∫
              L
              
                
              
            
            ⁢
            
              
                n
                e
              
              ⁢
              
                
              
              ⁢
              
                ds
                .
              
            
          
        
      
    
  
  
    
      
        =
        
        ⁢
        
          
            
              
                [
                
                  F
                  
                    
                      f
                      ref
                    
                    ,
                    s
                  
                
                ]
              
              2
            
            
              
                [
                
                  F
                  
                    f
                    ,
                    s
                  
                
                ]
              
              2
            
          
          ⁢
          
            I
            
              r
              ,
              k
            
            
              
                f
                ref
              
              ,
              s
            
          
        
      
    
  








  
    μ
    
      
        f
        /
        
          f
          ref
        
      
      ,
      s
    
  
  =
  
    
      
        
          [
          
            F
            
              
                f
                ref
              
              ,
              s
            
          
          ]
        
        2
      
      
        
          [
          
            F
            
              f
              ,
              s
            
          
          ]
        
        2
      
    
    =
    
      
        (
        
          
            λ
            
              f
              ,
              s
            
          
          /
          
            λ
            
              
                f
                ref
              
              ,
              s
            
          
        
        )
      
      2
    
  




is the ionosphere frequency ratio, where fref is the index number of a reference frequency band.

    
    
        Mrf,s≡Nrf,s+φr,0f,s are floating point ambiguities; where
        
            Nrf,s are integer ambiguities;
            φr,0f,s=φ0f,s−φr,0f is the phase offset which is the initial phase of the satellite reference oscillator minus the initial phase of the receiver reference oscillator.
        
        
        ψr,ks=ψr,k(⊥),s+ψr,k(P),s is the phase incursion (phase increment) due to change in mutual orientation of the antenna on satellite s and the antenna on receiver r. It includes a linear increment ψr,k(⊥),s caused by turning the antennas in the plane of their dipole axes, and a nonlinear increment ψr,k(P),s caused by mutual deviation of axes normal to antenna dipoles from the line of sight.
        ζr,k(ρ)f,s and ζr,k(φ)f,s are code noise error (including DLL errors and multipath errors) and phase noise error (including PLL errors and multipath errors), respectively. They are considered to be white Gaussian noise with zero expected (mean) values and non-zero variances. The standard deviation (STD) value of code noise error is approximately 1 m, and the STD value of phase noise error is approximately 1 cm.
        Signal-to-noise ratio is designated SNRr,kf,s.
    
    


Observation Equations
Received satellite signals are processed by channel algorithms to generate raw measurements (or, more precisely, estimates of raw measurements). In some embodiments, the raw measurements are smoothed. The raw measurements then undergo further processing depending on the particular operating mode (stand-alone, DGPS, or RTK).
An embodiment of an observation model is based on the following mathematical model. The mathematical model is applicable to raw measurements for all global navigation satellite systems (GNSSs) and can be formulated by the following observation equations:

ρr,kf,s=Rr,kf,s+c(τr,k+δτr,k(ρ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+ζr,k(ρ)f,s  (E1)

and

φr,kf,s=Rr,kf,s+c(τr,k+δτr,k(φ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+λf,s(Mrf,s+ψr,ks)+ζr,k(φ)f,s.  (E2)

The observation equation for the pseudo-range single differences is then:

ρkf,s=R0,ks+c(τk+δτk(ρ)f)+μf/fref,sIks+ζk(ρ)f,s;  (E3)

and the observation equation for the carrier phase single differences is then:

φkf,s=R0,ks+c(τk+δτk(φ)f)−μf/fref,sIks+λf,s(Mf,s+ψk(⊥))+ζk(φ)f,s.  (E4)

In (E3) and (E4):

    
    
        For simplicity, the single differences operator Δ0,1 has been omitted. For example, the pseudo-range single differences are

Δ0,1(ρr,kf,s)=ρr=0,kf,s−ρr=1,kf,s→ρkf,s;

    
    


and the carrier phase single differences are

Δ0,1(φr,kf,s)=φr=0,kf,s−φr=1,kf,s→φkf,s.

    
    
        Ranges are referenced to the antenna reference point.
        The following parameters are compensated (cancelled):
        
            Calculated range from a satellite to the base
            Troposphere contribution
            Phase incursion (increment) caused by changing the mutual orientation of the satellite antenna and the receiver antenna
            Antenna phase center offsets (offsets between the antenna reference point and the antenna phase center for the rover antenna and the base antenna).
        
        
        Iks designates single differences of ionosphere errors for the reference frequency.
    
    


In (E3) and (E4), solving for the individual variables (more precisely, estimates of individual variables), requires additional information in some instances. Some combinations of the variables, however, can be estimated by processing double differences.
A double difference of a variable refers to the difference of a variable as a function of the satellite whose signal is received and processed. A particular satellite is selected as a reference satellite sref. Typically, the reference satellite is chosen as the satellite with the highest elevation angle. For a variable corresponding to a (non-reference) satellite s, the double difference operator is represented by the symbol ∇s,sref. Then, for example,

∇s,srefIk=Iks−Iksref;

∇s,srefMf=Mf,s−Mf,sref=∇s,srefNf;

∇s,srefNf=Nf,s−Nf,sref.

The following variables are defined:

{Γkf=cτk+cδτf+μf/frefIksref}f,

{Ψkf=(ψk(⊥)+Mf,sref)−2μf/frefIksref/λf,sref}f,

{∇s,srefNf}f,s≠sref,

{∇s,srefIs}s≠sref.

Here, {Γkf}f refers to the set of Γkf for all values of f, and {∇s,sref Nf}f,s≠sref refers to the set of ∇s,sref Nf for all values of f and for all satellites s, excluding the reference satellite sref. The set of equations, (E3) and (E4), previously expressed as a function of the set of variables

    
    
        r0,k,
        cτk,
        ψk(⊥),
        {cδτf}f≠fref,
        {Mf,s}f,s,
        {Is}s 

can then be expressed as a function of the set of variables:

        {Γkf}f,
        {Ψkf}f,
        r0,k,
        {∇s,sref Nf}f,s≠sref,
        {∇s,sref Is}s≠sref.

The observation equation for the carrier phase single differences is then:

φkf,s=R0,ks+Γkf+λf,sΨkf−μf/fref∇s,srefIk+λf,s∇s,srefNf−2μf/fref(1−λf,s/λf,sref)Iksref+ζk(φ)f,s.  (E5)

The term 2μf/fref (1−λf,s/λf,sref)Iksref is zero for GPS and GAL, and is less then 1 cm for GLN; therefore, this term can be assumed to be zero for all systems. With this assumption, the observation equations become

ρkf,s=R0,ks+Γkf+μf/fref∇s,srefIk+ζk(ρ)f,s  (E6)

and

φkf,s=R0,ks+Γkf+λf,sΨkf−μf/fref∇s,srefIk+λf,s∇s,srefNf+ζk(φ)f,s.  (E7)

    
    


Now consider the calculation of the rover position from code measurements (code positioning) and the calculation of the rover position from carrier phase measurements (phase positioning). The short baseline ionospheric delays {∇s,sref I}s≠sref are assumed to be zero. The single-difference observation equations for code positioning (E6) then reduce to:

ρkf,s=R0,ks+Γkf+ζk(ρ)f,s.  (E8)

In case of phase positioning, ambiguities {∇s,sref Nf}f,s≠sref are assumed to be known and compensated; therefore, the single-difference observation equations for phase positioning (E7) then reduce to:

φkf,s=R0,ks+Γkf+λf,sΨkf+ζk(φ)f,s.  (E9)

Receiver Clock Offsets.
Receiver clock offsets need to be corrected. One method attempts to eliminate clock offsets from measurements by processing double differences. If the double difference operator is applied to (E8), then

∇s,srefρkf=∇s,srefR0,k+μf/fref∇s,srefIk+∇s,srefζk(ρ)f.  (E10)

Note that the clock term Γkf is eliminated. The noise terms, ∇s,sref ζk(ρ)f=ζk(ρ)f,s−ζk(ρ)f,sref, however, are correlated, since the common noise ζk(ρ)f,sref term is present in the equations. For GPS and GAL, applying the double difference operator to (E9) then yields:

∇s,srefφkf,s=∇s,srefR0,ks−μf/fref∇s,srefIk+λf∇s,srefNf+∇s,srefζk(φ)f,s.  (E11)

For GPS and GAL the clock term, Γkf, and the phase offset term, Ψkf, are eliminated. The noise terms, however, again are correlated. For GLN, the analysis is more involved because different wavelengths are involved. There are then two types of double differences. The first type eliminates Γkf; and the second type eliminates Ψkf. In both instances, however, the noise terms are correlated. The correlation of double differences presents computational complexity because calculation of a covariance matrix and its inversion to produce a weight matrix are needed. Also, as discussed above, double difference processing for GLN presents additional processing. Therefore, a direct double difference approach is not satisfactory for eliminating receiver clock offsets and phase offsets.
In an embodiment, a technique for eliminating clock offsets and phase offsets is based on Householder's transformations to the corresponding normalized equations. A normalized equation refers to an observation equation in which all the terms are divided by the standard deviation (STD) of the noise; the STD of the normalized noise is then equal to one. The method has less computational complexity and greater computational stability than the double differences approach. Less computational complexity ensues because the equations are already normalized and do not require a covariance matrix and a weight matrix. Greater computational stability ensues because Householder's transformations inherently possess better stability. Details of Householder's transformations are described in C. L. Lawson and R. J. Hanson, “Solving Least Squares Problems”, Prentice-Hall, Inc., Englewood Cliffs, N.J., USA (1974) [“Lawson”] and in G. H. Golub and C. F. Van Loan, “Matrix Computations”, The Johns Hopkins University Press, Baltimore, Md., USA (Third Edition, 1996) [“Golub”].
Consider the pseudo-range equation (E8) for one frequency. First write a matrix and a vector of the observation model with normalized noise:

[w(ρ)fHcos(ρ)f]

Hcos(ρ)f=([σ(ρ)f,s]−1[h0,k(a)s]T)s 

y(ρ)f=([σ(ρ)f,s]−1∇0,1δρk(a)f,s)s.  (E12)

Here σ(ρ)f,s stands for the code single difference noise standard deviation (STD). w(ρ)f=([σ(ρ)f,s]−1)s is the column vector containing STD σ(ρ)f,s, also referred to as weight roots. The superscript a refers to the a priori position used in the calculation of residuals. The inverse to the covariance matrix is called the weight matrix in the case of measurements covariance and the information matrix in case the case of estimate covariance. Here, a square root of a weight matrix is calculated. Calculation of single difference square root weights is simpler than the calculation of a double difference weight matrix (which is non-diagonal). To simplify the notation, the indexk of time instant has been omitted.

Next, use Householder's reflection (see Lawson) to expand the matrix [w(ρ)f Hcos(ρ)f|yf]. This operation sets all the column elements (except for the first one) wf equal to zero, resulting in




  
    
      
        
          [
          
            
              
                
                  
                    C
                    
                      τ
                      ,
                      τ
                    
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      f
                    
                  
                
                
                  
                    C
                    
                      τ
                      ,
                      r
                    
                    
                      
                        (
                        
                          ρ
                          r
                        
                        )
                      
                      ⁢
                      f
                    
                  
                
              
              
                
                  
                    0
                    
                      NS
                      -
                      
                        1
                        ×
                        1
                      
                    
                  
                
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
            
            |
            
              
                
                  
                    c
                    τ
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          13
        
        )
      
    
  




Here NS is the number of acceptable measurements for the given frequencyf. NS is determined as follows. A measurement is designated to be “acceptable” if the channel has a SNR greater than or equal to a SNR threshold value and the corresponding satellite has an elevation greater than or equal to an elevation threshold value. These measurements should be marked as “acceptable” by channel algorithms and by anomaly detectors. If the channel has a SNR less than the SNR threshold value, or if the corresponding satellite has an elevation less than the elevation threshold value, the measurements of the channel or satellite should be marked as “unacceptable” by channel algorithms and by anomaly detectors.

The clock offset corresponds to the first row of the matrix (E13). The rest of the rows of this matrix determine the normalized equations for pseudo-range double differences. This result follows because the operation of calculating pseudo-range double differences corresponds to the operation of multiplying observation equations by the matrix, which sets coefficients of clock offset to zero. The same operation is performed here, but with a different matrix. As a result, linearized equivalent observation equations for code measurements with the expanded matrix [HDD(ρ)f|yDD(ρ)f] are obtained. These do not depend on clock offset.
Next, consider the procedure for eliminating clock offset and phase offset for phase positioning equation (E9). First, write a matrix and a vector of the observation model with normalized noise:

[w(φ)fλ(φ)fHcos(φ)f]

Hcos(φ)f=([σ(φ)f,s]−1[h0,k(a)s]T)s 

λ(φ)f=([σ(φ)f,s]−1λf,s)s 

y(φ)f=([σf,s]−1Δ0,1δφk(a)f,s)s.  (E14)

Compared to matrix (E13), matrix (E14) has an extra column λ(φ)f. For GPS and GAL, this column is proportional to the vector w(φ)f. Therefore, for these systems, it is sufficient to combine the corresponding variables into one and apply the scheme previously used to eliminate clock offset for (E8) (that is, use the variable {tilde over (Γ)}kf=Γkf+λf,sΨkf).

For GLONASS, as discussed above,




  
    λ
    
      f
      ,
      s
    
  
  =
  
    
      
        λ
        0
        f
      
      
        1
        +
        
          
            ɛ
            0
            f
          
          ·
          
            l
            s
          
        
      
    
    .
  




Express vector w(φ)f as a sum of a projection onto vector λ(φ)f and an additional component:





  
    
      
        
          
            
              w
              _
            
            
              
                (
                φ
                )
              
              ⁢
              f
            
          
          =
          
            
              
                
                  [
                  
                    λ
                    0
                    f
                  
                  ]
                
                
                  -
                  1
                
              
              ⁢
              
                
                  (
                  
                    1
                    -
                    
                      
                        ɛ
                        0
                      
                      ⁢
                      
                        l
                        
                          (
                          av
                          )
                        
                      
                    
                  
                  )
                
                ·
                
                  
                    λ
                    _
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            +
            
              
                ɛ
                0
                f
              
              ⁢
              
                
                  b
                  _
                
                
                  
                    (
                    φ
                    )
                  
                  ⁢
                  f
                
              
            
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              b
              _
            
            
              
                (
                φ
                )
              
              ⁢
              f
            
          
          =
          
            
              (
              
                
                  
                    [
                    
                      σ
                      
                        
                          
                            (
                            φ
                            )
                          
                          ⁢
                          f
                        
                        ,
                        s
                      
                    
                    ]
                  
                  
                    -
                    1
                  
                
                ⁢
                
                  (
                  
                    
                      l
                      s
                    
                    -
                    
                      l
                      
                        (
                        av
                        )
                      
                    
                  
                  )
                
                ⁢
                
                  
                    λ
                    
                      f
                      ,
                      s
                    
                  
                  /
                  
                    λ
                    0
                    f
                  
                
              
              )
            
            s
          
        
        ⁢
        
          

        
        ⁢
        
          
            l
            
              (
              av
              )
            
          
          =
          
            
              
                
                  ∑
                  s
                
                ⁢
                
                  
                
                ⁢
                
                  
                    
                      (
                      
                        
                          λ
                          
                            f
                            ,
                            s
                          
                        
                        /
                        
                          σ
                          
                            
                              
                                (
                                φ
                                )
                              
                              ⁢
                              f
                            
                            ,
                            s
                          
                        
                      
                      )
                    
                    2
                  
                  ⁢
                  
                    l
                    s
                  
                
              
              
                
                  ∑
                  s
                
                ⁢
                
                  
                
                ⁢
                
                  
                    (
                    
                      
                        λ
                        
                          f
                          ,
                          s
                        
                      
                      /
                      
                        σ
                        
                          
                            
                              (
                              φ
                              )
                            
                            ⁢
                            f
                          
                          ,
                          s
                        
                      
                    
                    )
                  
                  2
                
              
            
            .
          
        
      
    
    
      
        (
        E15
        )
      
    
  




Since ε0f is negligible, vectors w(φ)f, λ(φ)f are almost parallel. This results in a worse matrix conditioning than if columns w(φ)f, λ(φ)f are directly eliminated.
Assume that there is a clock offset estimate Δ0,1cτk(a)f with error vk(cτ,a)f. Such an estimate can be determined, for example, from a code solution. Then, compensating for Γk(a)f in (E14), obtain equations

y(φ)f=ε0fvk(cτ,a)fb(φ)f+([λ0f]−1(1−ε0fl(av))vk(cτ,a)f+∂1ψr,k% f)λ(φ)f+Hcos(φ),f·Δrk,  (E16)

which contain a residual error determined by the vector ε0fVk(cτ,a)fb(φ)f. Therefore, if the value |ε0fvk(cτ,a)f|·|b(φ)f| lies within user-defined limits, it can be neglected. Most of the error vk(cτ,a)f goes into the estimate of the value Ψkf and does not substantially affect the coordinate estimate.

Another method for eliminating clock offset and phase offset utilizes addition of the equation from the code task to the extended matrix (E14) as follows:




  
    
      
        
          [
          
            
              
                
                  
                    C
                    
                      τ
                      ,
                      τ
                    
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      f
                    
                  
                
                
                  0
                
                
                  
                    C
                    
                      τ
                      ,
                      r
                    
                    
                      
                        (
                        
                          ρ
                          r
                        
                        )
                      
                      ⁢
                      f
                    
                  
                
              
              
                
                  
                    
                      w
                      _
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
                
                  
                    
                      λ
                      _
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
                
                  
                    
                      H
                      _
                    
                    cos
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
            
            |
            
              
                
                  
                    c
                    τ
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          17
        
        )
      
    
  




The elimination of clock offset and phase offset is performed by two successive Householder's transformations of (E17). The first transformation resets subdiagonal elements of the first column (sets them to 0); the second transformation resets subdiagonal elements of the second column:





  
    
      
        
          [
          
            
              
                
                  
                    C
                    
                      τ
                      ,
                      τ
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
                
                  
                    C
                    
                      τ
                      ,
                      
                        Δ
                        ⁢
                        
                          
                        
                        ⁢
                        ψ
                      
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
                
                  
                    C
                    
                      τ
                      ,
                      r
                    
                    
                      
                        (
                        
                          φ
                          r
                        
                        )
                      
                      ⁢
                      f
                    
                  
                
              
              
                
                  0
                
                
                  
                    C
                    
                      Δψ
                      ,
                      
                        Δ
                        ⁢
                        
                          
                        
                        ⁢
                        ψ
                      
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
                
                  
                    C
                    
                      
                        Δ
                        ⁢
                        
                          
                        
                        ⁢
                        ψ
                      
                      ,
                      r
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      
                        f
                        r
                      
                    
                  
                
              
              
                
                  
                    0
                    
                      NS
                      -
                      
                        1
                        ×
                        1
                      
                    
                  
                
                
                  
                    0
                    
                      NS
                      -
                      
                        1
                        ×
                        1
                      
                    
                  
                
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
            
            |
            
              
                
                  
                    c
                    τ
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
              
                
                  
                    c
                    
                      Δ
                      ⁢
                      
                        
                      
                      ⁢
                      ψ
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        E18
        )
      
    
  




As a result, obtain linearized observation equations for unambiguous phases with expanded matrix [HDD(φ)f|yDD(φ)f] that are independent of clock offset and phase offset. This method for eliminating clock offset and phase offset provides a heuristic procedure for co-processing code and carrier phase measurements.

Positioning.
Positioning is implemented according to normal equations. Matrices are generated according to:




  
    
      
        
          D
          =
          
            
              ∑
              f
            
            ⁢
            
              
            
            ⁢
            
              
                
                  [
                  
                    
                      H
                      _
                    
                    f
                  
                  ]
                
                T
              
              ⁡
              
                [
                
                  
                    H
                    _
                  
                  f
                
                ]
              
            
          
        
        ⁢
        
          

        
        ⁢
        
          d
          =
          
            
              ∑
              f
            
            ⁢
            
              
            
            ⁢
            
              
                
                  [
                  
                    
                      H
                      _
                    
                    f
                  
                  ]
                
                T
              
              ⁡
              
                [
                
                  
                    y
                    _
                  
                  f
                
                ]
              
            
          
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          19
        
        )
      
    
  




and a correction to the current position is determined:

Δr=D−1·d.  (E20)

Hf, yf correspond to the normalized double differences obtained from (E13), (E17), and (E18). d is referred to as an information vector. D is referred to as an information matrix of estimate. It is related to the covariance matrix P as follows: P=D−1. The combined set {D,d} is called information coordinates.

Generating Residuals.
In solving a problem with normalized double difference combinations, coordinate estimates are determined using double differences, but clock offset Γkf and phase offset Ψkf are not determined. To correct anomalies, single differences are defined instead of double differences. It is important to make sure that reference satellite anomalies do not affect all the remaining measurements. For example, for one frequency, the following code measurements are available:




  
    
      
        
          
            
              y
              _
            
            
              
                (
                ρ
                )
              
              ⁢
              f
            
          
          =
          
            
              
                H
                _
              
              
                
                  (
                  ρ
                  )
                
                ⁢
                f
              
            
            ⁢
            
              x
              f
            
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              H
              _
            
            
              
                (
                ρ
                )
              
              ⁢
              f
            
          
          :=
          
            [
            
              
                
                  w
                  _
                
                
                  
                    (
                    ρ
                    )
                  
                  ⁢
                  f
                
              
              ⁢
              
                
              
              ⁢
              
                
                  H
                  _
                
                cos
                
                  
                    (
                    ρ
                    )
                  
                  ⁢
                  f
                
              
            
            ]
          
        
        ⁢
        
          

        
        ⁢
        
          x
          f
        
        =
        
          
            [
            
              
                
                  
                    c
                    ⁢
                    
                      
                    
                    ⁢
                    
                      τ
                      f
                    
                  
                
              
              
                
                  
                    Δ
                    ⁢
                    
                      
                    
                    ⁢
                    r
                  
                
              
            
            ]
          
          .
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          21
        
        )
      
    
  




Assume equations (E21) are linearized for a code solution. Then the estimate of the position correction is equal to zero: Δr=0. Vector y(ρ)f is the vector of partial residuals based on geometric coordinates. Then (E21) transforms into:

y(ρ)f=w(ρ)fcτf  (E22)

with unknown Γf. The value Γf can be estimated as follows:





  
    
      Γ
      ^
    
    f
  
  =
  
    
      〈
      
        
          
            y
            _
          
          
            
              (
              ρ
              )
            
            ⁢
            f
          
        
        ,
        
          
            w
            _
          
          
            
              (
              ρ
              )
            
            ⁢
            f
          
        
      
      〉
    
    
      〈
      
        
          
            w
            _
          
          
            
              (
              ρ
              )
            
            ⁢
            f
          
        
        ,
        
          
            w
            _
          
          
            
              (
              ρ
              )
            
            ⁢
            f
          
        
      
      〉
    
  




and compensate it from (E22):

δy(ρ)f=y(ρ)f−w(ρ)f{circumflex over (Γ)}f.  (E23)

Vector δy(ρ)f is the desired vector of single difference residuals. In (E23), LSM-estimate of clock offset has been used. Single differences residuals for other anomaly detectors are defined in a similar way.

Criteria for Detecting Anomalies.
Anomaly criteria are used to specify when there is an anomaly in the current set of measurements. The weighted sum of residual squares (WSRS) |δy|2 has a distribution χ2(m−n) [see Lawson], where m is the number of equations, and n is the number of unknowns. In an embodiment, measurements are anomalous if

|δy|2>χ1-α2(m−n),  (E24)

where α is the confidence level for the measurements. Here measurements refer to the code single differences, phase single differences, and phase increments single differences.

In another embodiment, measurements are anomalous if the residuals |δyi| or the weighted residuals |δyi| exceed user-specified threshold values:

|δyi|>MaxRes  (E25)

or

|δyi|>MaxWRes.  (E26)

For example, value of MaxWRes=3 corresponds to the “three sigmas rule”.

Consider a linear model of observation:

y=Hx+ζy.  (E27)

Then consider the corresponding observation model with normalized noise:

y=Hx+ζy.  (E28)

If anomalies are not present, then the weighted sum of residuals squares |δy({circumflex over (x)})|2 has a distribution χ2(m−n), where m is the number of equations, and n is the number of unknowns. Now assume two hypotheses:

    
    
        H0: the sum of residuals squares has a distribution χ2(m−n) (no anomalies present).
        H1: the sum of residuals squares has a different distribution (at least one anomaly present).

Designate the probability of a type 1 error (also referred to as a “false alarm”) as α. According to a criterion based on the χ2 distribution, a measurement is anomalous if:

|δy|2>χ1-α2(m−n).  (E29)

If the weighted sum of residuals squares exceeds a threshold value (which is a fractile of the distribution) χ1-α2(m−n), then an anomaly is assumed to be present.

    
    


Elimination of anomalous measurements can be done according to the following method. For the range i=1;m, remove the i−th equation from the observation model. Then solve the LSM task and determine the weighted sum of residuals squares |δy(i)({circumflex over (x)}(i))|2 for solution {circumflex over (x)}(i). The measurement for which the value |δy(i)({circumflex over (x)}(i))|2 is minimal is considered to be anomalous. If the weighted sum of residuals squares in the process of eliminating the anomalous equation exceeds the threshold |δy(i)|2>χ1-α2(m-1-n), then repeat the procedure for observations

y(i)=H(i)x+ζ(i).  (E30)

The searching procedure described above is very time consuming because it requires solving the LSM task for each observation model. It utilizes approximately O((n2·m+n3/3)m) flops. Since m is large, there are O(n2m2) flops. A faster scheme for estimating and obtaining weighted sums of residuals squares is described below. It utilizes O(n2m) flops; therefore, it is m times smaller. This is substantial for GNSS, where m can be 20 or greater. This approach reduces processor load substantially and yields the same result. For simplicity, assume that the covariance matrix of the observation noise is diagonal. The process of elimination used for the original observation model is followed. This scheme is effective for applications in addition to GNSS. One skilled in the art can apply the method expanded for any observation model represented by (E28).
The LSM estimate of the state vector for the whole set of observation equations is equal to

{circumflex over (x)}=[{circumflex over (D)}]−1{circumflex over (d)},  (E31)

where

    
    
        {circumflex over (D)}=HTH
        {circumflex over (d)}=HTy.

The weighted sum of residuals squares is then:

|δy({circumflex over (x)})|2=|y−H{circumflex over (x)}|2.  (E32)

When the i-th measurement is eliminated, the estimate {circumflex over (x)}(i) is obtained. To express it through the estimated {circumflex over (x)}(i) and eliminated measurement yi, designate h(i)=H[i],[:]. The peer-to-peer information coordinates updates are:

{circumflex over (D)}(i):={circumflex over (D)}−[h(i)]T[h(i)]

{circumflex over (d)}(i):={circumflex over (d)}−[h(i)]T[y]i.  (E33)

Therefore:

    
    






  
    
      
        
          
            
              
                
                  
                    x
                    ^
                  
                  
                    (
                    i
                    )
                  
                
                =
                
                ⁢
                
                  
                    
                      D
                      ^
                    
                    
                      (
                      i
                      )
                    
                  
                  ⁢
                  
                    
                      d
                      ^
                    
                    
                      (
                      i
                      )
                    
                    
                    
                      
                      
                        -
                        1
                      
                  
                
              
            
          
          
            
              
                =
                
                ⁢
                
                  
                    
                      (
                      
                        
                          D
                          ^
                        
                        -
                        
                          
                            h
                            
                              (
                              i
                              )
                            
                            T
                          
                          ⁢
                          
                            h
                            
                              (
                              i
                              )
                            
                          
                        
                      
                      )
                    
                    
                      -
                      1
                    
                  
                  ⁢
                  
                    (
                    
                      
                        d
                        ^
                      
                      -
                      
                        
                          
                            h
                            
                              (
                              i
                              )
                            
                            T
                          
                          ⁡
                          
                            [
                            
                              y
                              _
                            
                            ]
                          
                        
                        i
                      
                    
                    )
                  
                
              
            
          
          
            
              
                
                  =
                  
                  ⁢
                  
                    
                      (
                      
                        
                          
                            D
                            ^
                          
                          
                            -
                            1
                          
                        
                        +
                        
                          
                            c
                            
                              (
                              i
                              )
                            
                          
                          ⁢
                          
                            w
                            
                              (
                              i
                              )
                            
                          
                          ⁢
                          
                            w
                            
                              (
                              i
                              )
                            
                            T
                          
                        
                      
                      )
                    
                    ⁢
                    
                      (
                      
                        
                          d
                          ^
                        
                        -
                        
                          
                            
                              h
                              
                                (
                                i
                                )
                              
                              T
                            
                            ⁡
                            
                              [
                              
                                y
                                _
                              
                              ]
                            
                          
                          i
                        
                      
                      )
                    
                  
                
                ,
              
            
          
        
        ⁢
        
          

        
        ⁢
        where
      
    
    
      
        (
        E34
        )
      
    
  
  
    
      
        
          
            w
            
              (
              i
              )
            
          
          =
          
            
              
                
                  D
                  ^
                
                
                  -
                  1
                
              
              ⁡
              
                [
                
                  h
                  
                    (
                    i
                    )
                  
                
                ]
              
            
            T
          
        
        ⁢
        
          

        
        ⁢
        
          
            c
            
              (
              i
              )
            
          
          =
          
            1
            
              1
              -
              
                k
                
                  (
                  i
                  )
                
              
            
          
        
        ⁢
        
          

        
        ⁢
        
          
            k
            
              (
              i
              )
            
          
          =
          
            
              h
              
                (
                i
                )
              
            
            ⁢
            
              
                w
                
                  (
                  i
                  )
                
              
              .
            
          
        
      
    
    
      
        (
        E35
        )
      
    
  




Multiplying the matrices in (E34), and substituting the values in (E35), yields peer-to-peer state vector update:

{circumflex over (x)}(i)={circumflex over (x)}−c(i)w(i)([y]i−h(i){circumflex over (x)}).  (E36)

The weighted sum of residuals squares peer-to-peer update for the eliminated i−th equation is then:





  
    
      
        
          
            
              
                
                  
                  
                    δ
                    ⁢
                    
                      
                        
                          y
                          _
                        
                        
                          (
                          i
                          )
                        
                      
                      ⁡
                      
                        (
                        
                          
                            x
                            ^
                          
                          
                            (
                            i
                            )
                          
                        
                        )
                      
                    
                  
                  
                
                2
              
              =
              
              ⁢
              
                
                  ∑
                  
                    
                      j
                      =
                      1
                    
                    ,
                    
                      j
                      ≠
                      i
                    
                  
                  m
                
                ⁢
                
                  
                
                ⁢
                
                  
                    (
                    
                      
                        
                          [
                          
                            y
                            _
                          
                          ]
                        
                        j
                      
                      -
                      
                        
                          
                            H
                            _
                          
                          
                            
                              [
                              j
                              ]
                            
                            ,
                            
                              [
                              :
                              ]
                            
                          
                        
                        ⁢
                        
                          
                            x
                            ^
                          
                          
                            (
                            i
                            )
                          
                        
                      
                    
                    )
                  
                  2
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    ∑
                    
                      j
                      =
                      1
                    
                    m
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      (
                      
                        
                          
                            [
                            
                              y
                              _
                            
                            ]
                          
                          j
                        
                        -
                        
                          
                            
                              H
                              _
                            
                            
                              
                                [
                                j
                                ]
                              
                              ,
                              
                                [
                                :
                                ]
                              
                            
                          
                          ⁢
                          
                            
                              x
                              ^
                            
                            
                              (
                              i
                              )
                            
                          
                        
                      
                      )
                    
                    2
                  
                
                -
                
                  
                    (
                    
                      
                        
                          [
                          
                            y
                            _
                          
                          ]
                        
                        i
                      
                      -
                      
                        
                          
                            H
                            _
                          
                          
                            
                              [
                              i
                              ]
                            
                            ,
                            
                              [
                              :
                              ]
                            
                          
                        
                        ⁢
                        
                          
                            x
                            ^
                          
                          
                            (
                            i
                            )
                          
                        
                      
                    
                    )
                  
                  2
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    
                    
                      
                        y
                        _
                      
                      -
                      
                        
                          H
                          _
                        
                        ⁢
                        
                          
                            x
                            ^
                          
                          
                            (
                            i
                            )
                          
                        
                      
                    
                    
                  
                  2
                
                -
                
                  
                    
                      (
                      
                        
                          
                            [
                            
                              y
                              _
                            
                            ]
                          
                          i
                        
                        -
                        
                          
                            h
                            
                              (
                              i
                              )
                            
                          
                          ⁢
                          
                            
                              x
                              ^
                            
                            
                              (
                              i
                              )
                            
                          
                        
                      
                      )
                    
                    2
                  
                  .
                
              
            
          
        
      
    
    
      
        (
        E37
        )
      
    
  




(E37) can be simplified as:





  
    
      
        
          
            
              
                
                  
                  
                    
                      y
                      _
                    
                    -
                    
                      
                        H
                        _
                      
                      ⁢
                      
                        
                          x
                          ^
                        
                        
                          (
                          i
                          )
                        
                      
                    
                  
                  
                
                2
              
              =
              
              ⁢
              
                
                  
                    
                    
                      
                        y
                        _
                      
                      -
                      
                        
                          H
                          _
                        
                        ⁢
                        
                          x
                          ^
                        
                      
                    
                    
                  
                  2
                
                +
                
                  
                    
                      
                      
                        
                          H
                          _
                        
                        ⁢
                        
                          w
                          
                            (
                            i
                            )
                          
                        
                      
                      
                    
                    2
                  
                  ⁢
                  
                    
                      
                        c
                        
                          (
                          i
                          )
                        
                        2
                      
                      ⁡
                      
                        (
                        
                          
                            
                              [
                              
                                y
                                _
                              
                              ]
                            
                            i
                          
                          -
                          
                            
                              h
                              
                                (
                                i
                                )
                              
                            
                            ⁢
                            
                              x
                              ^
                            
                          
                        
                        )
                      
                    
                    2
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    
                    
                      δ
                      ⁢
                      
                        
                      
                      ⁢
                      
                        
                          y
                          _
                        
                        ⁡
                        
                          (
                          
                            x
                            ^
                          
                          )
                        
                      
                    
                    
                  
                  2
                
                +
                
                  
                    k
                    
                      (
                      i
                      )
                    
                  
                  ⁢
                  
                    
                      
                        
                          c
                          
                            (
                            i
                            )
                          
                          2
                        
                        ⁡
                        
                          (
                          
                            
                              
                                [
                                
                                  y
                                  _
                                
                                ]
                              
                              i
                            
                            -
                            
                              
                                h
                                
                                  (
                                  i
                                  )
                                
                              
                              ⁢
                              
                                x
                                ^
                              
                            
                          
                          )
                        
                      
                      2
                    
                    .
                  
                
              
            
          
        
      
    
    
      
        (
        E38
        )
      
    
  




This follows from:




  
    
      
        
          
            
              
              
                
                  H
                  _
                
                ⁢
                
                  w
                  
                    (
                    i
                    )
                  
                
              
              
            
            2
          
          =
          
            
              w
              
                (
                i
                )
              
              T
            
            ⁢
            
              
                H
                _
              
              T
            
            ⁢
            
              H
              _
            
            ⁢
            
              w
              
                (
                i
                )
              
            
          
        
      
    
    
      
        
          =
          
            
              w
              
                (
                i
                )
              
              T
            
            ⁢
            
              D
              ^
            
            ⁢
            
              w
              
                (
                i
                )
              
            
          
        
      
    
    
      
        
          =
          
            
              h
              
                (
                i
                )
              
            
            ⁢
            
              
                D
                ^
              
              
                -
                1
              
            
            ⁢
            
              D
              ^
            
            ⁢
            
              w
              
                (
                i
                )
              
            
          
        
      
    
    
      
        
          =
          
            
              h
              
                (
                i
                )
              
            
            ⁢
            
              w
              
                (
                i
                )
              
            
          
        
      
    
    
      
        
          =
          
            k
            
              (
              i
              )
            
          
        
      
    
  




  and




  
    
      
        
          H
          _
        
        T
      
      ⁡
      
        (
        
          
            y
            _
          
          -
          
            
              H
              _
            
            ⁢
            
              x
              ^
            
          
        
        )
      
    
    =
    0.
  




  Using




  
    
      
        
          
            1
            +
            
              
                c
                
                  (
                  i
                  )
                
              
              ⁢
              
                k
                
                  (
                  i
                  )
                
              
            
          
          =
          
          ⁢
          
            1
            +
            
              
                1
                
                  1
                  -
                  
                    k
                    
                      (
                      i
                      )
                    
                  
                
              
              ⁢
              
                k
                
                  (
                  i
                  )
                
              
            
          
        
      
    
    
      
        
          =
          
          ⁢
          
            1
            
              1
              -
              
                k
                
                  (
                  i
                  )
                
              
            
          
        
      
    
    
      
        
          
            =
            
            ⁢
            
              c
              
                (
                i
                )
              
            
          
          ,
        
      
    
  



then calculate:





  
    
      
        
          
            
              
                
                  
                    [
                    
                      y
                      _
                    
                    ]
                  
                  i
                
                -
                
                  
                    h
                    
                      (
                      i
                      )
                    
                  
                  ⁢
                  
                    
                      x
                      ^
                    
                    
                      (
                      i
                      )
                    
                  
                
              
              =
              
              ⁢
              
                
                  
                    [
                    
                      y
                      _
                    
                    ]
                  
                  i
                
                -
                
                  
                    h
                    
                      (
                      i
                      )
                    
                  
                  ⁡
                  
                    (
                    
                      
                        x
                        ^
                      
                      -
                      
                        
                          c
                          
                            (
                            i
                            )
                          
                        
                        ⁢
                        
                          
                            w
                            
                              (
                              i
                              )
                            
                          
                          ⁡
                          
                            (
                            
                              
                                
                                  [
                                  
                                    y
                                    _
                                  
                                  ]
                                
                                i
                              
                              -
                              
                                
                                  h
                                  
                                    (
                                    i
                                    )
                                  
                                
                                ⁢
                                
                                  x
                                  ^
                                
                              
                            
                            )
                          
                        
                      
                    
                    )
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  (
                  
                    
                      
                        [
                        
                          y
                          _
                        
                        ]
                      
                      i
                    
                    -
                    
                      
                        h
                        
                          (
                          i
                          )
                        
                      
                      ⁢
                      
                        x
                        ^
                      
                    
                  
                  )
                
                +
                
                  
                    c
                    
                      (
                      i
                      )
                    
                  
                  ⁢
                  
                    h
                    
                      (
                      i
                      )
                    
                  
                  ⁢
                  
                    
                      w
                      
                        (
                        i
                        )
                      
                    
                    ⁡
                    
                      (
                      
                        
                          
                            [
                            
                              y
                              _
                            
                            ]
                          
                          i
                        
                        -
                        
                          
                            h
                            
                              (
                              i
                              )
                            
                          
                          ⁢
                          
                            x
                            ^
                          
                        
                      
                      )
                    
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    c
                    
                      (
                      i
                      )
                    
                  
                  ⁡
                  
                    (
                    
                      
                        
                          [
                          
                            y
                            _
                          
                          ]
                        
                        i
                      
                      -
                      
                        
                          h
                          
                            (
                            i
                            )
                          
                        
                        ⁢
                        
                          x
                          ^
                        
                      
                    
                    )
                  
                
                .
              
            
          
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          39
        
        )
      
    
  




After all these transformations have been performed, the weighted sum of residuals squares when the i−th equation is eliminated is:





  
    
      
        
          
            
              
                
                  
                  
                    δ
                    ⁢
                    
                      
                    
                    ⁢
                    
                      
                        
                          y
                          _
                        
                        
                          (
                          i
                          )
                        
                      
                      ⁡
                      
                        (
                        
                          
                            x
                            ^
                          
                          
                            (
                            i
                            )
                          
                        
                        )
                      
                    
                  
                  
                
                2
              
              =
              
              ⁢
              
                
                  
                    
                    
                      δ
                      ⁢
                      
                        
                      
                      ⁢
                      
                        
                          y
                          _
                        
                        ⁡
                        
                          (
                          
                            x
                            ^
                          
                          )
                        
                      
                    
                    
                  
                  2
                
                +
                
                  
                    k
                    
                      (
                      i
                      )
                    
                  
                  ⁢
                  
                    
                      
                        c
                        
                          (
                          i
                          )
                        
                        2
                      
                      ⁡
                      
                        (
                        
                          
                            
                              [
                              
                                y
                                _
                              
                              ]
                            
                            i
                          
                          -
                          
                            
                              h
                              
                                (
                                i
                                )
                              
                            
                            ⁢
                            
                              x
                              ^
                            
                          
                        
                        )
                      
                    
                    2
                  
                
                -
              
            
          
        
        
          
            
              
              ⁢
              
                
                  
                    c
                    
                      (
                      i
                      )
                    
                    2
                  
                  ⁡
                  
                    (
                    
                      
                        
                          [
                          
                            y
                            _
                          
                          ]
                        
                        i
                      
                      -
                      
                        
                          h
                          
                            (
                            i
                            )
                          
                        
                        ⁢
                        
                          x
                          ^
                        
                      
                    
                    )
                  
                
                2
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    
                    
                      δ
                      ⁢
                      
                        
                      
                      ⁢
                      
                        
                          y
                          _
                        
                        ⁡
                        
                          (
                          
                            x
                            ^
                          
                          )
                        
                      
                    
                    
                  
                  2
                
                +
                
                  
                    
                      
                        c
                        
                          (
                          i
                          )
                        
                      
                      ⁡
                      
                        (
                        
                          
                            
                              [
                              
                                y
                                _
                              
                              ]
                            
                            i
                          
                          -
                          
                            
                              h
                              
                                (
                                i
                                )
                              
                            
                            ⁢
                            
                              x
                              ^
                            
                          
                        
                        )
                      
                    
                    2
                  
                  .
                
              
            
          
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          40
        
        )
      
    
  




Therefore, minimization of the weighted sum of residuals squares is equivalent to maximization of values c(i)([y]i−h(i){circumflex over (x)})2. Since the residual is equal to





  
    
      
        
          
            
              
                δ
                ⁢
                
                  
                
                ⁢
                
                  
                    
                      y
                      _
                    
                    i
                  
                  ⁡
                  
                    (
                    
                      x
                      ^
                    
                    )
                  
                
              
              =
              
              ⁢
              
                
                  
                    [
                    
                      y
                      _
                    
                    ]
                  
                  i
                
                -
                
                  
                    
                      H
                      _
                    
                    
                      
                        [
                        i
                        ]
                      
                      ,
                      
                        [
                        :
                        ]
                      
                    
                  
                  ⁢
                  
                    x
                    ^
                  
                
              
            
          
        
        
          
            
              
                =
                
                ⁢
                
                  
                    
                      [
                      
                        y
                        _
                      
                      ]
                    
                    i
                  
                  -
                  
                    
                      h
                      
                        [
                        i
                        ]
                      
                    
                    ⁢
                    
                      x
                      ^
                    
                  
                
              
              ,
            
          
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          41
        
        )
      
    
  




the searching algorithm differs from selecting the absolute maximal residual in having the extra weight multiplier c(i), which was determined in (E35).

The searching procedure for one anomaly in information coordinates can be described by the following pseudo-code:













[imin,Vmin,cmin,wmin]:=BadMeasSearch(H, δy, &P, &x)
(E42)









H∈ Mm×n(    ), δy∈ Mm×1(    ), P∈ Mn×n(    ), x∈ Mn×1(    )







{









Vmin := 0;



wmin := 0n×1;



cmin := 0;



imin := −1;



if(m ≦ n)









return;









for(i := [1 : m])



{









w := P · [Hi,[:]]T;



k := Hi,[:] · w;



if (k ≧ 1)









error(‘Lost Positive Definiteness’);









c := (1 − k)−1;



V :=c · ([δy]i)2;



if (V < Vmin)



{









Vmin :=V;



imin :=i;



wmin :=w;



cmin :=c;









}









}







}









The symbol & in front of an argument variable indicates that the argument variable is an input/output variable. The value of this variable can be changed in the procedure. One skilled in the art can convert the pseudo-code to computer-executable code.

The algorithm for removing information about an anomaly (fast recalculation of estimates and WSRS after an anomalous measurement has been excluded) can be expressed by the following pseudo-code:













RemoveBadMeas(&H, &δy,&P.&SumRes,(imin,Vmin,cmin,wmin));
(E43)


{










P := P −cmin · wmin · wTmin;



x := x −cmin· wmin· [δy]imin;



SumRes:=SumRes − Vmin ;



H.DeleteRow(imin);



y.DeleteRow(imin);



δy.DeleteRow(imin);







}









One skilled in the art can convert the pseudo-code to computer-executable code. The whole problem (testing measurements for consistency, detecting anomalous measurements, removing anomalous measurements, and iterating the procedure for the remaining measurements) can be solved with the procedure expressed by the following pseudo-code:














LSM.Run(&H, &y)
(E44)


{










{circumflex over (D)} := HTH;



{circumflex over (d)} := HTy;



{circumflex over (P)} := {circumflex over (D)}−1;



{circumflex over (x)} := {circumflex over (P)} · {circumflex over (d)};



δy := y − H{circumflex over (x)};



SumRes := δyT · δy;



while(SumRes ≧ chi2inv(y.numRow − x.numRow,1 − α))



{









[i,V,c,w]:=BadMeasSearch(H, δy, &{circumflex over (P)}, &{circumflex over (x)});



if (i == −1)









return with no solution available;









RemoveBadMeas(&H, &δy,&{circumflex over (P)},&SumRes,(i,V,c,w));









}







}









One skilled in the art can convert the pseudo-code to computer-executable code.

The discussion above considered LSM in the form of normal equations. In an embodiment, LSM is used with Cholesky's estimate of information coordinates. A Cholesky information matrix (CIM) can be represented by D=STS, where S is an upper triangular matrix. The vector s=S·x (where x represents a state vector) is called a Cholesky information vector (CIV). The set {S,s} is called Cholesky information coordinates (CIC).
LSM used with Cholesky's estimate of information coordinates yields:




  
    
      
        
          
            
              
                k
                
                  (
                  i
                  )
                
              
              =
              
              ⁢
              
                
                  h
                  
                    (
                    i
                    )
                  
                
                ⁢
                
                  w
                  
                    (
                    i
                    )
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  h
                  
                    (
                    i
                    )
                  
                
                ⁢
                
                  
                    D
                    ^
                  
                  
                    -
                    1
                  
                
                ⁢
                
                  h
                  
                    (
                    i
                    )
                  
                  T
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    
                      h
                      
                        (
                        i
                        )
                      
                    
                    ⁡
                    
                      [
                      
                        
                          
                            S
                            ^
                          
                          T
                        
                        ⁢
                        
                          S
                          ^
                        
                      
                      ]
                    
                  
                  
                    -
                    1
                  
                
                ⁢
                
                  h
                  
                    (
                    i
                    )
                  
                  T
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  h
                  
                    (
                    i
                    )
                  
                
                ⁢
                
                  
                    S
                    ^
                  
                  
                    -
                    1
                  
                
                ⁢
                
                  
                    S
                    ^
                  
                  
                    -
                    T
                  
                
                ⁢
                
                  h
                  
                    (
                    i
                    )
                  
                  T
                
              
            
          
        
        
          
            
              
                =
                
                ⁢
                
                  
                    
                    
                      v
                      
                        (
                        i
                        )
                      
                    
                    
                  
                  2
                
              
              ,
            
          
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          45
        
        )
      
    
  




where v(i)=Ŝ−Th(i)T. Calculation of k(i) requires about 0.5 n2 flops when calculation procedures with normal equations or Cholesky information coordinates are used. Note that the fast searching procedure works for a linear case. For a non-linear observation model, some iteration for each eliminated equation i can be done. In the case considered above, the non-linearity is weak, and iterations are not needed.

Ambiguities Resolution.
In the positioning task described above, ambiguities were assumed to have been resolved. Carrier phase single differences, however, are accurate but ambiguous measurements. By transforming carrier phase single differences into unambiguous measurements, a position estimate to an accuracy on the order of 1 cm can be obtained. This estimate can be obtained by the maximum likelihood technique. The solution can be divided into two steps. In the first step, float ambiguities are determined. Various methods, such as a Kalman filter or a recursive LSM, can be used for this step. In the second step, using integer calculations, fixed ambiguities are resolved.
Observation Equations and State Vector for Ambiguities Resolution.
Refer back to (E8) and (E9). Assume that variables of the first row change independently both in time and relative to each other. Combining equations (E8) and (E9) in a manner similar to treating double differences, eliminate these values from consideration. Combined equations go to the filter input. Only coordinates, double differences of ambiguities, and double differences of ionosphere errors are determined in the filter. Integer resolution is made for the filtered set of float ambiguities {∇s,sref Nf}f,s≠sref. Filters are described in more detail below.
Inverse Problem.
Assume that the baseline (the distance between the base and the rover) is short and that the rover coordinates are known. Then integer resolution can be simplified. Using code measurements, estimate Γkf. Assume that the estimate has an associated error q. Subtract known ranges and Γkf from phase measurements and form double differences from the obtained values:




  
    
      
        
          
            ∇
            
              s
              ,
              
                s
                ref
              
            
          
          ⁢
          
            
              (
              
                
                  φ
                  k
                  
                    f
                    ,
                    s
                  
                
                -
                
                  c
                  ⁢
                  
                    
                  
                  ⁢
                  
                    τ
                    k
                  
                
                +
                
                  Γ
                  k
                  f
                
                -
                
                  R
                  
                    0
                    ,
                    k
                  
                  s
                
              
              )
            
            
              λ
              
                f
                ,
                s
              
            
          
        
        =
        
          
            
              ∇
              
                s
                ,
                
                  s
                  ref
                
              
            
            ⁢
            
              N
              f
            
          
          +
          
            
              
                q
                ~
              
              f
            
            ⁢
            
              
                ∇
                
                  s
                  ,
                  
                    s
                    ref
                  
                
              
              ⁢
              
                l
                s
              
            
          
          +
          
            
              
                ∇
                
                  s
                  ,
                  
                    s
                    ref
                  
                
              
              ⁢
              
                
                  ζ
                  k
                  
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      f
                    
                    ,
                    s
                  
                
                
                  λ
                  
                    f
                    ,
                    s
                  
                
              
            
            .
          
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          46
        
        )
      
    
  




The value {tilde over (q)}f∇s,sref ls is formed from the double differences





  
    
      ∇
      
        s
        ,
        
          s
          ref
        
      
    
    ⁢
    
      q
      
        λ
        
          f
          ,
          s
        
      
    
  
  ,




via the following equation:





  
    
      
        
          
            
              
                
                  ∇
                  
                    s
                    ,
                    
                      s
                      ref
                    
                  
                
                ⁢
                
                  q
                  
                    λ
                    
                      f
                      ,
                      s
                    
                  
                
              
              =
              
              ⁢
              
                
                  
                    ∇
                    
                      s
                      ,
                      
                        s
                        ref
                      
                    
                  
                  ⁢
                  
                    
                      1
                      +
                      
                        
                          ɛ
                          0
                          SYS
                        
                        ⁢
                        
                          l
                          s
                        
                      
                    
                    
                      λ
                      0
                      f
                    
                  
                
                ⁢
                q
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    ɛ
                    0
                    SYS
                  
                  
                    λ
                    0
                    f
                  
                
                ⁢
                q
                ⁢
                
                  
                    ∇
                    
                      s
                      ,
                      
                        s
                        ref
                      
                    
                  
                  ⁢
                  
                    l
                    s
                  
                
              
            
          
        
        
          
            
              =
              
              ⁢
              
                
                  
                    q
                    ~
                  
                  f
                
                ·
                
                  
                    
                      ∇
                      
                        s
                        ,
                        
                          s
                          ref
                        
                      
                    
                    ⁢
                    
                      l
                      s
                    
                  
                  .
                
              
            
          
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          47
        
        )
      
    
  




Considering the typical accuracy of code measurements, the absolute value of q can be assumed to be less than or equal to  ̃10 m. Therefore, the absolute value of




  
    
      q
      ~
    
    f
  
  =
  
    
      
        ɛ
        0
        SYS
      
      
        λ
        0
        f
      
    
    ⁢
    q
  




is less than one hundredth of a cycle and can be neglected. Since the phase error is much less than a cycle, estimates of double differences of integer ambiguities can be obtained by rounding off values in the left-hand side. The value





  
  
    
      
        
          q
          ~
        
        f
      
      ⁢
      
        
          ∇
          
            s
            ,
            
              s
              ref
            
          
        
        ⁢
        
          l
          s
        
      
    
    +
    
      
        ∇
        
          s
          ,
          
            s
            ref
          
        
      
      ⁢
      
        
          ζ
          k
          
            
              
                (
                φ
                )
              
              ⁢
              f
            
            ,
            s
          
        
        
          λ
          
            f
            ,
            s
          
        
      
    
  
  




is less then 0.5 cycle. So rounding of (E46) leads to the equation:





  
    
      
        
          
            ∇
            
              s
              ,
              
                s
                ref
              
            
          
          ⁢
          
            N
            f
          
        
        =
        
          
            ROUND
            [
            
              
                ∇
                
                  s
                  ,
                  
                    s
                    ref
                  
                
              
              ⁢
              
                
                  (
                  
                    
                      φ
                      k
                      
                        f
                        ,
                        s
                      
                    
                    -
                    
                      c
                      ⁢
                      
                        
                      
                      ⁢
                      
                        τ
                        k
                      
                    
                    +
                    
                      Γ
                      k
                      f
                    
                    -
                    
                      R
                      
                        0
                        ,
                        k
                      
                      s
                    
                  
                  )
                
                
                  λ
                  
                    f
                    ,
                    s
                  
                
              
            
            ]
          
          .
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          48
        
        )
      
    
  




After the integers ∇s,sref Nf have been obtained, the value Ψkf can be determined as well. Note that Γkf does not need to be eliminated for GPS and GAL measurements, since it is cancelled in the single differences. It can be compensated, however, if a correct estimate of the value Ψkf is needed. For GPS and GAL, values Γkf and Ψkf cannot be estimated using only phase measurements. For this purpose, Γkf is estimated via code measurements.

Ambiguities Resolution Flowchart.
FIG. 2 shows a flowchart of steps for resolving ambiguities. [Here it is assumed that there are no GLONASS biases due to receivers of different characteristics (for examples, receivers from different manufacturers) being installed in the rover and in the base.] Measurements 201 include pseudo-ranges and carrier phases measured at the base navigation receiver and at the rover navigation receiver. In step 202, single differences of the measurements measured at the rover navigation receiver and the corresponding measurements measured at the base navigation receiver are calculated. The process then passes to step 204, in which the single differences are linearized. The process then passes to step 206, in which an observation vector and matrix are determined from the linearized single differences. The process then passes to decision step 208. If an estimate of the rover position is known, then the process passes to step 210, in which an inverse task is performed to generate integer ambiguities estimates 211. The rover position, for example, can be extrapolated from a previously known position via single differences of carrier phase increments.
In step 208, if an estimate of the rover position is not known, then the process passes to step 220, in which anomalous measurements, based on single differences of pseudo-ranges and single differences of carrier phase increments, are detected and removed. The process then passes to step 222, in which the ambiguities are filtered. Details of step 222 are described in further detail below. The process then passes to step 224, in which float ambiguities are estimated. Further details of estimating the float ambiguities are given below. Briefly, the vector of float ambiguities is a sub-vector of the state vector; therefore, the float ambiguities are estimated during the filtering of the state vector.
The process then passes to step 226, in which an integer ambiguities vector candidate is determined. Integer resolution is based on the MLAMBDA method (see below). The following integer minimization of quad form is determined:

q=(N−Ñ)TD(N−Ñ)→min,

where N is an integer ambiguities vector, Ñ is the float ambiguities vector estimated in the filter, and D is the information matrix for the float ambiguities vector estimate. Two minima q1≦q2 (where q1 is the first minimum and q2 is the second minimum after the first) and the corresponding integer ambiguities vectors N1, N2 are determined. The integer ambiguity vector N1 is selected to be an integer ambiguities vector candidate.

The process then passes to step 228, in which fix criteria are evaluated for the integer ambiguities vector candidate. Herein, a fix process refers to the process of determining an integer ambiguity vector from a floating ambiguity vector. There is a probability that the fix process determines an incorrect integer ambiguity vector (“wrong fix”). Fix criteria correspond to the probability of a wrong fix. In an embodiment, fix criteria are based on the contrast ratio, which is defined from the LAMBDA (or modifications of the LAMBDA) algorithm output. [For details of LAMBDA and modifications of LAMBDA, see X.-W. Chang, X. Yang, and T. Zhou, “MLAMBDA: A modified LAMBDA method for integer least-squares estimation”, Journal of Geodesy, Volume 79, Issue 9, pp 552-565, December, 2005, which is herein incorporated by reference.] As the contrast ratio increases, the probability of a wrong fix decreases.
The outputs of the LAMBDA algorithm are integer ambiguity vectors and quadratic form values. The contrast ratio (the ratio of the second smallest quadratic form value to the first smallest one), C=q2/q1, is calculated and compared to a user-defined threshold T (which depends on the number of ambiguities present in vector). If C≧T, a fix is attained [that is, a specific integer ambiguity vector is determined with a user-defined minimum probability of being correct], and {circumflex over (N)}=N1 is designated to be an estimate of the integer ambiguities vector. If the contrast ratio is lower than the threshold value, then filtration is continued to obtain a higher contrast ratio.
The process then passes to decision step 230. If the fix criteria are met, then the process yields integer ambiguities estimates 211. If the fix criteria are not met, then the process yields float ambiguities estimates 221. Integer ambiguities estimates 211 and float ambiguities estimates 221 can then be used in the calculation of unambiguous phases, with integer ambiguities estimates providing more precise results than float ambiguities estimates. In an embodiment, the unambiguous phases are provided as measurements 101 in FIG. 1.
For static and kinematic modes, the same overall method can be used. Details of step 222, filter ambiguity, differ, however. Different methods can be used to implement each of the steps. Some are described below.
Computational Sequence of Ambiguities Resolution.
To filter ambiguities, a Kalman filter with estimating Cholesky information coordinates, referred to herein as a Cholesky information Kalman filter (CIKF), is used in an embodiment. Only coordinates and double differences of ambiguities are estimated. The remaining values are eliminated in the process of taking double differences. The coordinates and double differences of ambiguities are included in the state vector for the ambiguity estimation task in the form:




  
    
      
        x
        =
        
          
            [
            
              
                r
                r
              
              ,
              
                
                  (
                  
                    
                      
                        ∇
                        
                          s
                          ,
                          
                            s
                            ref
                            1
                          
                        
                      
                      ⁢
                      
                        Δ
                        
                          0
                          ,
                          1
                        
                      
                    
                    ⁢
                    
                      N
                      1
                    
                  
                  )
                
                
                  s
                  ≠
                  
                    s
                    ref
                    1
                  
                
              
              ,
              K
              ,
              
                
                  (
                  
                    
                      
                        ∇
                        
                          s
                          ,
                          
                            s
                            ref
                            NF
                          
                        
                      
                      ⁢
                      
                        Δ
                        
                          0
                          ,
                          1
                        
                      
                    
                    ⁢
                    
                      N
                      NF
                    
                  
                  )
                
                
                  s
                  ≠
                  
                    s
                    ref
                    NF
                  
                
              
            
            ]
          
          .
        
      
    
    
      
        (
        E49
        )
      
    
  




Only those ambiguities in each frequency that can be defined from the observation equation are used. Therefore, the ambiguity sub-vector size in (E49) changes under certain circumstances: when phase measurements are being tracked, when phase measurements lose tracking, and when phase measurements are deleted by anomaly detectors. An important consideration is consistency in variable sequencing in the state vector from one epoch to another. Formally, different reference satellites sreff are chosen for each frequency since a reference measurement for a particular frequency band can be removed by the anomaly detector.

In embodiments of the invention, methods for ambiguity resolution analyze the current state of the satellite constellation during the transition from one epoch to another epoch. The scenarios taken into account include:

    
    
        A reference satellite changes. The state vector and corresponding Cholesky information coordinates (CICs) are recalculated.
        A satellite (non-reference) rises (appears). Corresponding ambiguities are introduced into the state vector.
        A satellite (non-reference) sets (disappears). Corresponding ambiguities from the state vector are removed.

A satellite rises (or appears) when it enters the line-of-sight of a receiver; that is, the receiver starts receiving signals from a satellite from which it previously did not receive signals. A satellite sets (or disappears) when it leaves the line-of-sight of a receiver; that is, the receiver stops receiving signals from a satellite from which it previously did receive signals. A stable solution is maintained during various changes in the state of the satellite constellation. Information is retained under various scenarios. In previous procedures, information is lost, and calculations (filter CICs) need to be re-initialized, consuming computational resources. For example, if a reference satellite is changed, the whole filter is reset. A great amount of information is lost. Similar results occur when a satellite appears or disappears. In an embodiment, an algorithm for recalculation of CICs is used to retain previously acquired information.

    
    


Cholesky information coordinates are divided into blocks, as shown in FIG. 3 (E50). At the next epoch, if the constellation remains the same, the CICs change as shown in FIG. 4 (E51). Here βε[0;1] is the coordinate aging coefficient, and αε[0;1] is the ambiguity aging coefficient. The ambiguity aging coefficient is used to model degradation of estimate accuracy during periods when no measurements are received. (Also, it provides a mechanism to prevent floating number overflow during program execution.) At β=0, coordinates change independently from epoch to epoch. At β=1 coordinates do not age (this occurs when the rover is static).
Correction is made according to linearized double differences of code and phase observations. The matrix of the linearized observation model for double differences is:




  
    
      
        
          [
          
            
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  M
                
                
                  M
                
                
                  M
                
                
                  O
                
                
                  M
                
                
                  M
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      NF
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
                
                  0
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  M
                
                
                  M
                
                
                  M
                
                
                  O
                
                
                  M
                
                
                  M
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        NF
                      
                      -
                      1
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        NF
                      
                      -
                      1
                    
                  
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      NF
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      NF
                    
                  
                
              
            
            |
            
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      1
                    
                  
                
              
              
                
                  M
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      NF
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      1
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
              
              
                
                  M
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        NF
                      
                      -
                      1
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      NF
                    
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          52
        
        )
      
    
  




A procedure for updating information coordinates is used in accordance with the observation model, except for preliminary processing of the block for code observations. The matrix has a high number of zeros in block rows corresponding to code observations; therefore, processing of zeros can be reduced. The following matrix comes at the input of the updating algorithm for CIKF:




  
    
      
        
          [
          
            
              H
              _
            
            |
            
              y
              _
            
          
          ]
        
        =
        
          [
          
            
              
                
                  
                    S
                    DD
                    
                      (
                      ρ
                      )
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
                
                  0
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  M
                
                
                  M
                
                
                  M
                
                
                  O
                
                
                  M
                
                
                  M
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        NF
                      
                      -
                      1
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        NF
                      
                      -
                      1
                    
                  
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      NF
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  
                    
                      A
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      NF
                    
                  
                
              
            
            |
            
              
                
                  
                    s
                    DD
                    
                      (
                      ρ
                      )
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      1
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
              
              
                
                  M
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        NF
                      
                      -
                      1
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    DD
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      NF
                    
                  
                
              
            
          
          ]
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          53
        
        )
      
    
  




where SDD(ρ), sDD(ρ) are the Cholesky information coordinates for the rover positions obtained from pseudo-orange double differences according to the following computational scheme:





  
    
      
        
          [
          
            
              
                H
                _
              
              DD
              
                (
                ρ
                )
              
            
            |
            
              
                y
                _
              
              DD
              
                (
                ρ
                )
              
            
          
          ]
        
        =
        
          
            
              [
              
                
                  
                    
                      
                        
                          H
                          _
                        
                        DD
                        
                          
                            (
                            ρ
                            )
                          
                          ⁢
                          1
                        
                      
                    
                  
                  
                    
                      M
                    
                  
                  
                    
                      
                        
                          H
                          _
                        
                        DD
                        
                          
                            (
                            ρ
                            )
                          
                          ⁢
                          NF
                        
                      
                    
                  
                
                |
                
                  
                    
                      
                        
                          y
                          _
                        
                        DD
                        
                          
                            (
                            ρ
                            )
                          
                          ⁢
                          1
                        
                      
                    
                  
                  
                    
                      M
                    
                  
                  
                    
                      
                        
                          y
                          _
                        
                        DD
                        
                          
                            (
                            ρ
                            )
                          
                          ⁢
                          NF
                        
                      
                    
                  
                
              
              ]
            
            ⁢
            
              ⟶
              QR
            
            ⁢
            
              [
              
                
                  
                    
                      
                        S
                        DD
                        
                          (
                          ρ
                          )
                        
                      
                    
                  
                  
                    
                      0
                    
                  
                
                |
                
                  
                    
                      
                        s
                        DD
                        
                          (
                          ρ
                          )
                        
                      
                    
                  
                  
                    
                      
                        
                          r
                          _
                        
                        DD
                        
                          (
                          ρ
                          )
                        
                      
                    
                  
                
              
              ]
            
          
          .
        
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          54
        
        )
      
    
  




QR transformation is discussed in Lawson and in Golub. Briefly, QR decomposition of matrix A is A=Q·R where Q is orthogonal and R is upper triangular. The QR-transformation of system [A|y] results in the system [R|QTy].

Updating filter matrices is implemented by the following procedure:




  
    
      
        
          
            [
            
              
                
                  
                    
                      
                        S
                        ~
                      
                      x
                    
                  
                
                
                  
                    
                      H
                      _
                    
                  
                
              
              |
              
                
                  
                    
                      
                        s
                        ~
                      
                      x
                    
                  
                
                
                  
                    
                      y
                      _
                    
                  
                
              
            
            ]
          
          ⁢
          
            ⟶
            QR
          
          ⁢
          
            [
            
              
                
                  
                    
                      
                        S
                        ^
                      
                      x
                    
                  
                
                
                  
                    0
                  
                
              
              |
              
                
                  
                    
                      
                        s
                        ^
                      
                      x
                    
                  
                
                
                  
                    
                      r
                      _
                    
                  
                
              
            
            ]
          
        
        .
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          55
        
        )
      
    
  




Here the symbol □ refers to predicted values, and the symbol  refers to updated values.

Generating Double Differences for Ambiguity Filter.
Refer back to (E8) and (E9). An expanded matrix for this set of equations is:




  
    
      
        
          [
          
            
              
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          w
                          _
                        
                        ⁢
                        
                          
                        
                      
                      
                        
                          (
                          ρ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
                
                  
                    0
                    
                      NS
                      ×
                      1
                    
                  
                
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          H
                          _
                        
                        ⁢
                        
                          
                        
                      
                      cos
                      
                        
                          (
                          ρ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
                
                  
                    0
                    
                      
                        NS
                        ×
                        NS
                      
                      -
                      1
                    
                  
                
              
              
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          w
                          _
                        
                        ⁢
                        
                          
                        
                      
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          λ
                          _
                        
                        ⁢
                        
                          
                        
                      
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          H
                          _
                        
                        ⁢
                        
                          
                        
                      
                      cos
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          A
                          _
                        
                        ⁢
                        
                          
                        
                      
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
              
            
            |
            
              
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          y
                          _
                        
                        ⁢
                        
                          
                        
                      
                      
                        
                          (
                          ρ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
              
              
                
                  
                    
                      
                    
                    ⁢
                    
                      
                        
                          y
                          _
                        
                        ⁢
                        
                          
                        
                      
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        f
                      
                    
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          56
        
        )
      
    
  




In this representation, the carrier phase equations in the first equation would correspond to the reference satellite, and a matrix shown below is introduced:





  
    
      
        
          
            A
            _
          
          
            
              (
              φ
              )
            
            ⁢
            f
          
        
        =
        
          
            [
            
              
                
                  
                    0
                    
                      
                        1
                        ×
                        N
                        ⁢
                        
                          
                        
                        ⁢
                        S
                      
                      -
                      1
                    
                  
                
              
              
                
                  
                    diag
                    ⁡
                    
                      (
                      
                        
                          w
                          _
                        
                        
                          
                            (
                            φ
                            )
                          
                          ⁢
                          f
                        
                      
                      )
                    
                  
                
              
            
            ]
          
          .
        
      
    
    
      
        (
        E57
        )
      
    
  




First consider the block row, which corresponds to code equations, similar to equations (E12):




  
    
      
        
          [
          
            
              
                
                  C
                  
                    τ
                    ,
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                0
              
              
                
                  C
                  
                    τ
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  c
                  τ
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                0
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  
                    w
                    _
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    λ
                    _
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    H
                    _
                  
                  cos
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    A
                    _
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          58
        
        )
      
    
  




Apply a Householder's transformation that resets all the elements of column w(φ)f, excluding the first one:




  
    
      
        
          [
          
            
              
                
                  C
                  
                    τ
                    ,
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                0
              
              
                
                  C
                  
                    τ
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  c
                  τ
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  C
                  
                    τ
                    ,
                    τ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    τ
                    ,
                    ψ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    τ
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    τ
                    ,
                    N
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  c
                  
                    
                      (
                      0
                      )
                    
                    ⁢
                    τ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    λ
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    A
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        E59
        )
      
    
  




Then apply a Givens rotation [see Lawson] to reset element Cτ,τ(φ)f:




  
    
      
        
          [
          
            
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                0
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    N
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  c
                  
                    
                      (
                      0
                      )
                    
                    ⁢
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                0
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    ψ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    N
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  c
                  
                    
                      (
                      0
                      )
                    
                    ⁢
                    τ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    λ
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    A
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    (
                    0
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        E60
        )
      
    
  




Again, apply a Householder's transformation to zero out all the column elements




  
    [
    
      
        
          
            C
            
              
                
                  (
                  0
                  )
                
                ⁢
                τ
              
              ,
              ψ
            
            
              
                (
                φ
                )
              
              ⁢
              f
            
          
        
      
      
        
          
            
              λ
              _
            
            
              (
              0
              )
            
            
              
                (
                φ
                )
              
              ⁢
              f
            
          
        
      
    
    ]
  
  ,




excluding the first:





  
    
      
        
          [
          
            
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                0
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    N
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  c
                  
                    
                      (
                      0
                      )
                    
                    ⁢
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                0
              
              
                
                  C
                  
                    
                      
                        (
                        1
                        )
                      
                      ⁢
                      ψ
                    
                    ,
                    ψ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        1
                        )
                      
                      ⁢
                      ψ
                    
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        1
                        )
                      
                      ⁢
                      ψ
                    
                    ,
                    N
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  c
                  
                    
                      (
                      1
                      )
                    
                    ⁢
                    ψ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    (
                    1
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    A
                    _
                  
                  
                    (
                    1
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    (
                    1
                    )
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        E61
        )
      
    
  




Now rearrange the rows to obtain the matrix




  
    
      
        
          [
          
            
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                0
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        0
                        )
                      
                      ⁢
                      τ
                    
                    ,
                    N
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  c
                  
                    
                      (
                      0
                      )
                    
                    ⁢
                    τ
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                0
              
              
                
                  C
                  
                    
                      
                        (
                        1
                        )
                      
                      ⁢
                      ψ
                    
                    ,
                    ψ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        1
                        )
                      
                      ⁢
                      ψ
                    
                    ,
                    
                      r
                      r
                    
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  C
                  
                    
                      
                        (
                        1
                        )
                      
                      ⁢
                      ψ
                    
                    ,
                    N
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  c
                  
                    
                      (
                      1
                      )
                    
                    ⁢
                    ψ
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      1
                    
                  
                
              
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    A
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        E62
        )
      
    
  




For estimating ambiguities double differences, the following block is of interest:




  
    
      
        
          [
          
            
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  0
                  
                    
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    
                      1
                      ×
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      S
                    
                    -
                    1
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      ρ
                      )
                    
                    ⁢
                    f
                  
                
              
            
            
              
                
                  
                    H
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    A
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
              
                
                  
                    y
                    _
                  
                  
                    D
                    ⁢
                    
                      
                    
                    ⁢
                    D
                  
                  
                    
                      (
                      φ
                      )
                    
                    ⁢
                    f
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        
          E
          ⁢
          
            
          
          ⁢
          63
        
        )
      
    
  




Thus arranging the observation matrix in all frequencies for the ambiguity filter yields the following full matrix:




  
    
      
        
          [
          
            
              
                
                  
                    
                      H
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  M
                
                
                  M
                
                
                  M
                
                
                  O
                
                
                  M
                
                
                  M
                
              
              
                
                  
                    
                      H
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      NF
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  
                    
                      A
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      1
                    
                  
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
                
                  0
                
                
                  
                    
                      A
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
                
                  L
                
                
                  0
                
                
                  0
                
              
              
                
                  M
                
                
                  M
                
                
                  M
                
                
                  O
                
                
                  M
                
                
                  M
                
              
              
                
                  
                    
                      H
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        N
                        ⁢
                        
                          
                        
                        ⁢
                        F
                      
                      -
                      1
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  
                    
                      A
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        N
                        ⁢
                        
                          
                        
                        ⁢
                        F
                      
                      -
                      1
                    
                  
                
                
                  0
                
              
              
                
                  
                    
                      H
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      F
                    
                  
                
                
                  0
                
                
                  0
                
                
                  L
                
                
                  0
                
                
                  
                    
                      A
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      F
                    
                  
                
              
            
            |
            
              
                
                  
                    
                      y
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      1
                    
                  
                
              
              
                
                  M
                
              
              
                
                  
                    
                      y
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      F
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        ρ
                        )
                      
                      ⁢
                      1
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      2
                    
                  
                
              
              
                
                  M
                
              
              
                
                  
                    
                      y
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        
                          (
                          φ
                          )
                        
                        ⁢
                        N
                        ⁢
                        
                          
                        
                        ⁢
                        F
                      
                      -
                      1
                    
                  
                
              
              
                
                  
                    
                      y
                      _
                    
                    
                      D
                      ⁢
                      
                        
                      
                      ⁢
                      D
                    
                    
                      
                        (
                        φ
                        )
                      
                      ⁢
                      N
                      ⁢
                      
                        
                      
                      ⁢
                      F
                    
                  
                
              
            
          
          ]
        
        .
      
    
    
      
        (
        E64
        )
      
    
  




This matrix is the same as the one previously calculated as in (E52).

State Vector Updating.
An updating algorithm for CIC according to computational procedure (CI-LSM) is described. At the algorithm input in matrices SεMn×n(), sεMn×1(), a priori values of CIC ({tilde over (S)}x, {tilde over (s)}x) are set. Matrices HεMm×n(), yεMm×1() are the matrices of the observation model and observation vector with normalized noise. All input matrices are re-calculated in processing the algorithm. At the output in matrices S,s, there are updated CIC (Ŝx, ŝx), and matrix H is reset, while in vector y there are weighted residuals. The updating algorithm yields matrix {tilde over (S)}x as the upper triangular matrix. Pseudo-code for the updating algorithm is shown in FIG. 5 (E65). Obtaining estimate {circumflex over (x)} is implemented with the help of the procedure of backward substitution [see Golub]. Values {circumflex over (x)} are obtained in vector s. The matrix procedure “A.dotCol(i,[B,]j)” returns the dot product of columns as follows: A:,iT·B:,j. The matrix procedure “A.saxpyCol(i,t,[B,j=1])” rewrites the columns of A as follows: A:,i:=A:,i+t·B:,j. If B≡A then B is omitted as follows: “A.dotCol(i, j)” and “A.saxpyCol(i,t, j)”. When the number of columns of B is 1, the argument “j” is omitted in “saxpyCol”. One skilled in the art can convert the pseudo-code to computer-executable code.
Changing Reference Satellite.
Assume that according to frequency variablesf a new reference satellite has been selected with number j≡sref,kf. Old variables (for reference satellite r≡sref,k-1f) are expressed using new ones (reference satellite j) according to:

Mf,r=Mf,j+∇r,jNf 

∇s,rNf=∇s,jNf−∇r,jNf 

(∇s,sNf≡0∀s).  (E66)

When processing double differences, substitution of phase offsets does not affect the task, since the phase offsets are eliminated in double differences; hence, only ambiguities double differences are important. In matrix form, the ambiguities vector for frequencyf changes according to the rule:




  
    
      
        
          
            
              (
              
                
                  ∇
                  
                    s
                    ,
                    r
                  
                
                ⁢
                
                  N
                  f
                
              
              )
            
            
              s
              ≠
              r
            
          
          =
          
            
              A
              f
            
            ·
            
              
                (
                
                  
                    ∇
                    
                      s
                      ,
                      j
                    
                  
                  ⁢
                  
                    N
                    f
                  
                
                )
              
              
                s
                ≠
                j
              
            
          
        
        ⁢
        
          

        
        ⁢
        
          
            A
            f
          
          =
          
            
              [
              
                
                  
                    
                      I
                      ⁢
                      
                        
                      
                      ⁢
                      
                        d
                        
                          j
                          -
                          1
                        
                      
                    
                  
                  
                    
                      -
                      
                        1
                        
                          j
                          -
                          
                            1
                            ×
                            1
                          
                        
                      
                    
                  
                  
                    
                      0
                      
                        j
                        -
                        
                          1
                          ×
                          n
                        
                        -
                        j
                        -
                        1
                      
                    
                  
                
                
                  
                    
                      0
                      
                        
                          1
                          ×
                          j
                        
                        -
                        1
                      
                    
                  
                  
                    
                      -
                      1
                    
                  
                  
                    
                      0
                      
                        
                          1
                          ×
                          n
                        
                        -
                        j
                        -
                        1
                      
                    
                  
                
                
                  
                    
                      0
                      
                        n
                        -
                        j
                        -
                        
                          1
                          ×
                          j
                        
                        -
                        1
                      
                    
                  
                  
                    
                      -
                      
                        1
                        
                          n
                          -
                          j
                          -
                          
                            1
                            ×
                            1
                          
                        
                      
                    
                  
                  
                    
                      I
                      ⁢
                      
                        
                      
                      ⁢
                      
                        d
                        
                          n
                          -
                          j
                          -
                          1
                        
                      
                    
                  
                
              
              ]
            
            .
          
        
      
    
    
      
        (
        E67
        )
      
    
  




Here ap×q represents the matrix of the corresponding dimension, all the elements of which are equal to a; and n is the number of ambiguities on frequency f.

New variables are expressed through old ones in a similar way

Mf,j=Mf,r−∇r,jNf 

∇s,jNf=∇s,rNf+∇r,jNf 

(∇s,sNf≡∀s).  (E68)

Note that

(∇s,jN)s≠j=Af·(∇s,rN)s≠r  (E69)

with the above-mentioned substitution matrix Af. For the whole state vector:

xold=Axnew,

A=diag(Id3,A1,K,ANF).  (E70)

To re-calculate CIC elements Sx, sx, note that Soldxxold=soldx; hence (SoldxA)xnew=soldx. Therefore, Snewxxnew=snewx. Matrix [Snewx|Snewx] is derived from [SoldxA|soldx] after its reduction to the upper triangular form using the QR-transformation. Matrix SoldxA has the following structure shown in FIG. 6 (E71).

Blocks S[Nf′],[Nf]Af are computed considering the structure of matrices Af and S[Nf′],[Nf]. The product of right multiplication for an arbitrary matrix M by matrix Af, determined previously, differs from M only in that j−th column equal to −M1r. For matrix M=[M1, . . . , Mj, . . . , Mn], written in columns,

MA0=[M1, . . . ,Mj−1,−M1r,Mj+1, . . . ,Mn],  (E72)

where





  
    
      [
      
        M
        ⁢
        
          
        
        ⁢
        
          1
          r
        
      
      ]
    
    i
  
  =
  
    
      ∑
      
        j
        =
        1
      
      n
    
    ⁢
    
      
        M
        
          i
          ,
          j
        
      
      .
    
  




For the arbitrary upper triangular matrix M, the number of operations can be reduced by cancelling known zero summands:





  
    
      
        
          
            [
            
              M
              ⁢
              
                
              
              ⁢
              
                1
                r
              
            
            ]
          
          i
        
        =
        
          
            ∑
            
              j
              =
              1
            
            n
          
          ⁢
          
            
              M
              
                i
                ,
                j
              
            
            .
          
        
      
    
    
      
        (
        E73
        )
      
    
  




Multiplication of Af applied on upper triangular and square matrices. Since Af has a particular special structure, the result of multiplication can be obtained with substantially fewer number of flops; consequently, the load on the central processing unit (CPU) is substantially reduced. For an upper triangular matrix, the number of flops can be reduced almost by a factor of two compared to that of a square one.

Thus matrix (E69) is transformed to the upper triangular form. This matrix partially has the required structure. Most of the sub-diagonal elements are zero, except for the columns corresponding to the old reference satellite. It is sufficient to transform diagonal blocks S[Nf],[Nf]Af to the upper triangular form. The structure of this block is given by




  
    
      
        
          [
          
            
              
                
                  
                
              
              
                1
              
              
                2
              
              
                
                  
                
              
              
                
                  j
                  -
                  1
                
              
              
                j
              
              
                
                  j
                  +
                  1
                
              
              
                
                  j
                  +
                  2
                
              
              
                L
              
              
                
                  n
                  -
                  1
                
              
              
                n
              
            
            
              
                1
              
              
                ×
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
            
            
              
                2
              
              
                0
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
            
            
              
                M
              
              
                M
              
              
                M
              
              
                O
              
              
                M
              
              
                M
              
              
                M
              
              
                M
              
              
                O
              
              
                M
              
              
                M
              
            
            
              
                
                  j
                  -
                  1
                
              
              
                0
              
              
                0
              
              
                L
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
            
            
              
                j
              
              
                0
              
              
                0
              
              
                L
              
              
                0
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
            
            
              
                
                  j
                  +
                  1
                
              
              
                0
              
              
                0
              
              
                L
              
              
                0
              
              
                ×
              
              
                ×
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
            
            
              
                
                  j
                  +
                  2
                
              
              
                0
              
              
                0
              
              
                L
              
              
                0
              
              
                ×
              
              
                0
              
              
                ×
              
              
                L
              
              
                ×
              
              
                ×
              
            
            
              
                M
              
              
                M
              
              
                M
              
              
                O
              
              
                M
              
              
                M
              
              
                M
              
              
                M
              
              
                O
              
              
                M
              
              
                M
              
            
            
              
                
                  n
                  -
                  1
                
              
              
                0
              
              
                0
              
              
                L
              
              
                0
              
              
                ×
              
              
                0
              
              
                0
              
              
                L
              
              
                ×
              
              
                ×
              
            
            
              
                n
              
              
                0
              
              
                0
              
              
                L
              
              
                0
              
              
                ×
              
              
                0
              
              
                0
              
              
                L
              
              
                0
              
              
                ×
              
            
          
          ]
        
        .
      
    
    
      
        (
        E74
        )
      
    
  




Note that only the lower right block is transformed to the upper triangular form. To do this, the QR-update algorithm [see Lawson or Golub] is used. This algorithm reduces the number of flops. Note that for each block S[Nf],[Nf]Af, elements of blocks S[Nf′],[Nf]Af, f′>f and corresponding components s[Nf] are re-calculated. That is, a block row of the extended matrix associated with [Nf] is re-calculated. This procedure is successively performed for each system frequency band. The validity of this procedure follows from the fact that, in the process of changing the reference satellite in one frequency, the elements corresponding to other block rows do not change. This is a property of the QR-transformation (made by QR-update). After the reference satellite has changed, the CIC is recalculated.
Ambiguity Processing for a Setting Satellite.
For the satellite that disappears, the columns in the observation matrix which correspond to its ambiguities are zero. Hence no information can be obtained for them. When a satellite disappears, outdated information about its ambiguities first needs to be removed from the CIC. Such a situation can occur when there is fading or interruption in the satellite link. Non-information variables are removed from the state vector and CIC to avoid their estimation. For this purpose, the following algorithm, expressed in pseudo-code, can be used:













RemoveVariable(&S, &s, d)



{



 w := S[:], d;



 


 



  
    
      nw
      ⁢
      
        
      
      ⁢
      2
    
    :=
    
      
        ∑
        
          i
          =
          1
        
        d
      
      ⁢
      
        
      
      ⁢
      
        
          (
          
            
              [
              w
              ]
            
            i
          
          )
        
        2
      
    
  
  ;







 


 FormFactors(w, nw2, &a, &α, 1, &n);
(E75)


 for(i := 1; i < d; i := i + 1)



  Multiply(S[:], i, i, a, α, w, 1, d);



 for(i := d + 1; i ≦ n; i := i + 1)



  Multiply(S[:], i, d, a, α, w, 1, d);



 Multiply(s, d, a, α, w, 1, d);



 S.delRow(d); S.delCol(d);



 s.delRow(d);



}









One skilled in the art can convert the pseudo-code to computer-executable code.

Consider the algorithms shown in FIG. 7 (E76) and shown in FIG. 8 (E77), expressed in pseudo-code. The algorithm shown in FIG. 7 forms coefficients a,α for the matrix which is the Cholesky decomposition to projection matrix; this operation eliminates the column of S corresponding to the variable to be excluded. The projection matrix can be written as

P=Id−|w|−2w·wT,w=S[:],[d].  (E78)

Its Cholesky matrix can be expressed as





  
    
      
        
          Γ
          =
          
            
              diag
              ⁡
              
                (
                a
                )
              
            
            +
            
              
                diag
                ⁡
                
                  (
                  
                    α
                    ,
                    0
                  
                  )
                
              
              ⁢
              
                W
                ⁡
                
                  (
                  w
                  )
                
              
            
          
        
        ,
        
          

        
        ⁢
        where
      
    
    
      
        (
        E79
        )
      
    
  
  
    
      
        
          a
          =
          
            
              (
              
                a
                i
              
              )
            
            
              i
              =
              1
            
            n
          
        
        ,
        
          α
          =
          
            
              (
              
                α
                i
              
              )
            
            
              i
              =
              1
            
            
              n
              -
              1
            
          
        
        ,
        
          

        
        ⁢
        
          
            W
            ⁡
            
              (
              w
              )
            
          
          =
          
            
              [
              
                
                  
                    0
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      2
                    
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      3
                    
                  
                  
                    K
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      
                        n
                        -
                        1
                      
                    
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      n
                    
                  
                
                
                  
                    0
                  
                  
                    0
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      3
                    
                  
                  
                    K
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      
                        n
                        -
                        1
                      
                    
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      n
                    
                  
                
                
                  
                    0
                  
                  
                    0
                  
                  
                    0
                  
                  
                    K
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      
                        n
                        -
                        1
                      
                    
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      n
                    
                  
                
                
                  
                    M
                  
                  
                    M
                  
                  
                    M
                  
                  
                    O
                  
                  
                    M
                  
                  
                    M
                  
                
                
                  
                    0
                  
                  
                    0
                  
                  
                    0
                  
                  
                    K
                  
                  
                    0
                  
                  
                    
                      
                        [
                        w
                        ]
                      
                      n
                    
                  
                
                
                  
                    0
                  
                  
                    0
                  
                  
                    0
                  
                  
                    K
                  
                  
                    0
                  
                  
                    0
                  
                
              
              ]
            
            .
          
        
      
    
    
      
        (
        E80
        )
      
    
  




Since Γ has a special structure, left multiplication is made with fewer number of flops. The multiply procedure performs that operation.

Ambiguity Processing for a Rising Satellite.
This situation occurs when a new satellite rises in the constellation. To add this variable to the state vector of ambiguity filter, matrices Sx,sx are expanded, and the corresponding row and column are filled with zeros. That means that a new variable with zero information has been added to the state vector.
The procedures discussed above for treating change of a reference satellite, appearance of a satellite, and disappearance of a satellite are performed for all satellites and on all frequencies.
An embodiment of a computational system for performing the processes discussed above for detecting and correcting anomalies and resolving ambiguities is shown in FIG. 9. The computational system 902 is typically located in the navigation receiver of a rover; however, it can be a separate unit. One skilled in the art can construct the computational system 902 from various combinations of hardware, firmware, and software. One skilled in the art can construct the computational system 902 from various electronic components, including one or more general purpose microprocessors, one or more digital signal processors, one or more application-specific integrated circuits (ASICs), and one or more field-programmable gate arrays (FPGAs).
Computational system 902 comprises computer 906, which includes a central processing unit (CPU) 908, memory 910, and data storage device 912. Data storage device 912 comprises at least one persistent, non-transitory, tangible computer readable medium, such as non-volatile semiconductor memory, a magnetic hard drive, or a compact disc read only memory. In an embodiment of the invention, computer 906 is implemented as an integrated device.
Computational system 902 can further comprise user input/output interface 914, which interfaces computer 906 to user input/output device 922. Examples of input/output device 922 include a keyboard, a mouse, and a local access terminal. Data, including computer executable code, can be transferred to and from computer 906 via input/output interface 914.
Computational system 902 can further comprise communications network interface 916, which interfaces computer 906 with remote access network 924. Examples of remote access network 924 include a local area network and a wide area network. A user can access computer 906 via a remote access terminal (not shown). Data, including computer executable code, can be transferred to and from computer 906 via communications network interface 916.
Computational system 902 can further comprise a modem interface 918, which interfaces computer 906 with modem 926. In general, a modem refers to a communications device which receives input data from the base or other data source.
Computational system 902 can further comprise data bus interface 920, which interfaces computer 906 with other signal processing systems and data processing systems 928, such as an RF front end (which processes the RF signals received by the antenna of the navigation receiver), an analog-to-digital converter, digital channel processing system, and GNSS coordinate computational system (which calculates the coordinates of the rover).
As is well known, a computer operates under control of computer software, which defines the overall operation of the computer and applications. CPU 908 controls the overall operation of the computer and applications by executing computer program instructions which define the overall operation and applications. The computer program instructions can be stored in data storage device 912 and loaded into memory 910 when execution of the program instructions is desired. The method steps shown in the flowcharts in FIG. 1 and FIG. 2 can be defined by computer program instructions stored in the memory 910 or in the data storage device 912 (or in a combination of memory 910 and data storage device 912) and controlled by the CPU 908 executing the computer program instructions. For example, the computer program instructions can be implemented as computer executable code programmed by one skilled in the art to perform algorithms implementing the method steps shown in the flowcharts in FIG. 1 and FIG. 2. Accordingly, by executing the computer program instructions, the CPU 908 executes algorithms implementing the method steps shown in the flowcharts in FIG. 1 and FIG. 2.
The foregoing Detailed Description is to be understood as being in every respect illustrative and exemplary, but not restrictive, and the scope of the invention disclosed herein is not to be determined from the Detailed Description, but rather from the claims as interpreted according to the full breadth permitted by the patent laws. It is to be understood that the embodiments shown and described herein are only illustrative of the principles of the present invention and that various modifications may be implemented by those skilled in the art without departing from the scope and spirit of the invention. Those skilled in the art could implement various other feature combinations without departing from the scope and spirit of the invention.

## Claims

1. A method for processing measurements in a global navigation satellite system comprising a first navigation receiver located in a rover and a second navigation receiver located in a base station, the method comprising the steps of:
receiving a first plurality of measurements based on a first plurality of carrier signals received by the first navigation receiver from a plurality of global navigation satellites;
receiving a second plurality of measurements based on a second plurality of carrier signals received by the second navigation receiver from the plurality of global navigation satellites, each carrier signal in the second plurality of carrier signals corresponding to a carrier signal in the first plurality of carrier signals, and each measurement in the second plurality of measurements corresponding to a measurement in the first plurality of measurements;
calculating a first plurality of single differences based on the first plurality of measurements and the second plurality of measurements;
determining a state vector based on a prescribed function using the first plurality of single differences, wherein the prescribed function is a Gauss-Newton method;
calculating a second plurality of single differences based on an observation model represented by a prescribed mathematical model applicable to raw measurements for the global navigation satellite system, wherein the prescribed mathematical model is given by:


ρr,kf,s=Rr,kf,s+c(τr,k+δτr,k(ρ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+ζr,k(ρ)f,s 



and



φr,kf,s=Rr,kf,s+c(τr,k+δτr,k(φ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+λf,s(Mrf,s+ψr,ks)+ζr,k(φ)f,s;


where:
The set of index numbers r,kf,s refer to the following:
f is the index number of the frequency band,
s is the index number of a satellite,
r is the index number of a receiver,
k is the index number of a system time instant,

ρr,kf,s are line-of-sight pseudo-ranges (in meters) between satellite s and receiver r,
φr,kf,s are line-of-sight carrier phase measurements (in meters) between satellite s and receiver r,
c is the speed of light (2.99792458×108 m/s),
Rr,kf,s=R(rr,ks+br,kf,s,rr,ks+cr,kf,s) is the distance from the phase center of the transmitting antenna on satellite s to the phase center of the receiving antenna on receiver r,
r=(x, y, z)T is the position vector, also referred to herein as the radius vector, in the World Geodetic System 84 (WGS 84) coordinate frame referenced to the center of the Earth,
rr,ks is the radius vector of satellite s at the instant that the satellite signal is received at receiver r,
br,kf,s is the displacement vector of the phase center (for the frequency band f) of the receiving antenna on the receiver r relative to the antenna reference point; this vector depends on the direction of satellite s,
cr,kf,s is the displacement vector of the phase center (for the frequency band f) of the transmitting antenna on the satellite s relative to the center-of-mass of the satellite,
λf,s is the wavelength of the carrier signal transmitted by satellite s on frequency band f,
τks and τr,k are the clock offsets of the satellite clock and the receiver clock, respectively, relative to the system time,
δτr,k(ρ)f,s and δτr,k(φ)f,s are the code-measurement channel delay and phase-measurement channel delay, respectively,
Tr,ks is the troposphere delay,
Ir,kfref,s is the ionosphere delay caused by propagation of the satellite signal through the ionosphere,






  
    μ
    
      
        f
        /
        
          f
          ref
        
      
      ,
      s
    
  
  =
  
    
      
        
          [
          
            F
            
              
                f
                ref
              
              ,
              s
            
          
          ]
        
        2
      
      
        
          [
          
            F
            
              f
              ,
              s
            
          
          ]
        
        2
      
    
    =
    
      
        (
        
          
            λ
            
              f
              ,
              s
            
          
          /
          
            λ
            
              
                f
                ref
              
              ,
              s
            
          
        
        )
      
      2
    
  




is the ionosphere frequency ratio, where fref is the index number of a reference frequency band,
ψr,ks=ψr,k(⊥),s+ψr,k(∥),s is the phase incursion (phase increment) due to change in mutual orientation of the antenna on satellite s and the antenna on receiver r. It includes a linear increment ψr,k(⊥),s caused by turning the antennas in the plane of their dipole axes, and a nonlinear increment ψr,k(∥),s caused by mutual deviation of axes normal to antenna dipoles from the line of sight,
ζr,k(ρ)f,s and ζr,k(φ)f,s are code noise error (including DLL errors and multipath errors) and phase noise error (including PLL errors and multipath errors), respectively,

calculating a plurality of residuals based on the first plurality of single differences and the second plurality of single differences;
determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model; and
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model, detecting anomalous measurements; and
eliminating the detected anomalous measurements;
determining whether the remaining measurements are sufficient for determining the state vector, and if the remaining measurements are sufficient for the determining of the state vector then
calculating a position of the rover based on the remaining measurements.

2. The method of claim 1, wherein the step of determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model comprises the steps of:
calculating the absolute value of each residual in the plurality of residuals;
comparing the absolute value of each residual in the plurality of residuals to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the absolute value of each residual in the plurality of residuals is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the absolute value of at least one residual in the plurality of residuals is greater than the threshold value.

3. The method of claim 2, wherein detecting anomalous measurements comprises searching for a maximum absolute value of a residual.

4. The method of claim 1, wherein the step of determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model comprises the steps of:
calculating a plurality of weighted residuals based on the plurality of residuals;
calculating the absolute value of each weighted residual in the plurality of weighted residuals;
comparing the absolute value of each weighted residual in the plurality of weighted residuals to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the absolute value of each weighted residual in the plurality of weighted residuals is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the absolute value of at least one weighted residual in the plurality of weighted residuals is greater than the threshold value.

5. The method of claim 4, wherein detecting anomalous measurements comprises searching for the maximum absolute value of a weighted residual.

6. The method of claim 1, wherein the step of determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model comprises the steps of:
calculating a weighted sum of residual squares based on the plurality of residuals;
comparing the weighted sum of residual squares to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the weighted sum of residual squares is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the weighted sum of residual squares is greater than the threshold value.

7. The method of claim 6, wherein detecting anomalous measurements comprises:
for each particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements:
removing the particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements; and
calculating an updated weighted sum of residual squares based on the remaining measurements in the first plurality of measurements and the remaining measurements in the second plurality of measurements;
determining the minimum value of the updated weighted sums of residual squares; and
determining the particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements corresponding to the minimum value of the updated weighted sums of residual squares.

8. The method of claim 1, wherein the first plurality of measurements comprises a first plurality of pseudo-ranges and the second plurality of measurements comprises a second plurality of pseudo-ranges.

9. The method of claim 1, wherein the first plurality of measurements comprises a first plurality of unambiguous phases and the second plurality of measurements comprises a second plurality of unambiguous phases.

10. An apparatus for processing measurements in a global navigation satellite system comprising a first navigation receiver located in a rover and a second navigation receiver located in a base station, the apparatus comprising:
a data bus interface that receives a first plurality of measurements based on a first plurality of carrier signals received by the first navigation receiver from a plurality of global navigation satellites and receives
a second plurality of measurements based on a second plurality of carrier signals received by the second navigation receiver from the plurality of global navigation satellites, each carrier signal in the second plurality of carrier signals corresponding to a carrier signal in the first plurality of carrier signals, and each measurement in the second plurality of measurements corresponding to a measurement in the first plurality of measurements;
a processor;
a memory, for executing computer program instructions stored in a memory, which when executed by the processor, cause the processor to perform operations comprising:
calculating a first plurality of single differences based on the first plurality of measurements and the second plurality of measurements;
determining a state vector based on a prescribed function using the first plurality of single differences, wherein the prescribed function is a Gauss-Newton method;
calculating a second plurality of single differences based on an observation model represented by a prescribed mathematical model applicable to raw measurements for the global navigation satellite system, wherein the prescribed mathematical model is given by at least:


ρr,kf,s=Rr,kf,s+c(τr,k+δτr,k(ρ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+ζr,k(ρ)f,s 



and



φr,kf,s=Rr,kf,s+c(τr,k+δτr,k(φ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+λf,s(Mrf,s+ψr,ks)+ζr,k(φ)f,s;


where:
The set of index numbers r,kf,s refer to the following:
f is the index number of the frequency band,
s is the index number of a satellite,
r is the index number of a receiver,
k is the index number of a system time instant,

ρr,kf,s are line-of-sight pseudo-ranges (in meters) between satellite s and receiver r,
φr,kf,s are line-of-sight carrier phase measurements (in meters) between satellite s and receiver r,
c is the speed of light (2.99792458×108 m/s),
Rr,kf,s=R(rr,ks+br,kf,s,rr,ks+cr,kf,s) is the distance from the phase center of the transmitting antenna on satellite s to the phase center of the receiving antenna on receiver r,
r=(x, y, z)T is the position vector, also referred to herein as the radius vector, in the World Geodetic System 84 (WGS 84) coordinate frame referenced to the center of the Earth,
rr,ks is the radius vector of satellite s at the instant that the satellite signal is received at receiver r,
br,kf,s is the displacement vector of the phase center (for the frequency band f) of the receiving antenna on the receiver r relative to the antenna reference point; this vector depends on the direction of satellite s,
cr,kf,s is the displacement vector of the phase center (for the frequency band f) of the transmitting antenna on the satellite s relative to the center-of-mass of the satellite,
λf,s is the wavelength of the carrier signal transmitted by satellite s on frequency band f,
τks and τr,k are the clock offsets of the satellite clock and the receiver clock, respectively, relative to the system time,
δτr,k(ρ)f,s and δτr,k(φ)f,s are the code-measurement channel delay and phase-measurement channel delay, respectively,
Tr,ks is the troposphere delay,
Ir,kfref,s is the ionosphere delay caused by propagation of the satellite signal through the ionosphere,






  
    μ
    
      
        f
        /
        
          f
          ref
        
      
      ,
      s
    
  
  =
  
    
      
        
          [
          
            F
            
              
                f
                ref
              
              ,
              s
            
          
          ]
        
        2
      
      
        
          [
          
            F
            
              f
              ,
              s
            
          
          ]
        
        2
      
    
    =
    
      
        (
        
          
            λ
            
              f
              ,
              s
            
          
          /
          
            λ
            
              
                f
                ref
              
              ,
              s
            
          
        
        )
      
      2
    
  




is the ionosphere frequency ratio, where fref is the index number of a reference frequency band,
ψr,ks=ψr,k(⊥),s+ψr,k(∥),s is the phase incursion (phase increment) due to change in mutual orientation of the antenna on satellite s and the antenna on receiver r. It includes a linear increment ψr,k(⊥),s caused by turning the antennas in the plane of their dipole axes, and a nonlinear increment ψr,k(∥),s caused by mutual deviation of axes normal to antenna dipoles from the line of sight,
ζr,k(ρ)f,s and ζr,k(φ)f,s are code noise error (including DLL errors and multipath errors) and phase noise error (including PLL errors and multipath errors), respectively,

calculating a plurality of residuals based on the first plurality of single differences and the second plurality of single differences;
determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model; and
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model, detecting anomalous measurements; and
eliminating the detected anomalous measurements;
determining whether the remaining measurements are sufficient for determining the state vector, and if the remaining measurements are sufficient for the determining of the state vector then
calculating a position of the rover based on the remaining measurements.

11. The apparatus of claim 10, wherein the determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model operation further comprises:
calculating the absolute value of each residual in the plurality of residuals;
comparing the absolute value of each residual in the plurality of residuals to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the absolute value of each residual in the plurality of residuals is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the absolute value of at least one residual in the plurality of residuals is greater than the threshold value.

12. The apparatus of claim 11, wherein the detecting anomalous measurements operation further comprises:
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model, searching for a maximum absolute value of a residual.

13. The apparatus of claim 10, wherein the determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model operation further comprises:
calculating a plurality of weighted residuals based on the plurality of residuals;
calculating the absolute value of each weighted residual in the plurality of weighted residuals;
comparing the absolute value of each weighted residual in the plurality of weighted residuals to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the absolute value of each weighted residual in the plurality of weighted residuals is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the absolute value of at least one weighted residual in the plurality of weighted residuals is greater than the threshold value.

14. The apparatus of claim 13, wherein detecting anomalous measurements operation further comprises:
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model, searching for the maximum absolute value of a weighted residual.

15. The apparatus of claim 10, wherein the determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model operation further comprises:
calculating a weighted sum of residual squares based on the plurality of residuals;
comparing the weighted sum of residual squares to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the weighted sum of residual squares is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the weighted sum of residual squares is greater than the threshold value.

16. The apparatus of claim 15, wherein the detecting anomalous measurements operation further comprises:
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model,
for each particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements:
removing the particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements; and
calculating an updated weighted sum of residual squares based on the remaining measurements in the first plurality of measurements and the remaining measurements in the second plurality of measurements;
determining the minimum value of the updated weighted sums of residual squares; and
determining the particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements corresponding to the minimum value of the updated weighted sums of residual squares.

17. The apparatus of claim 16, wherein the first plurality of measurements comprises a first plurality of pseudo-ranges and the second plurality of measurements comprises a second plurality of pseudo-ranges.

18. The apparatus of claim 16, wherein the first plurality of measurements comprises a first plurality of unambiguous phases and the second plurality of measurements comprises a second plurality of unambiguous phases.

19. A non-transitory computer readable medium storing computer program instructions for processing measurements in a global navigation satellite system comprising a first navigation receiver located in a rover and a second navigation receiver located in a base station, which, when executed on a processor, cause the processor to perform operations comprising:
receiving a first plurality of measurements based on a first plurality of carrier signals received by the first navigation receiver from a plurality of global navigation satellites;
receiving a second plurality of measurements based on a second plurality of carrier signals received by the second navigation receiver from the plurality of global navigation satellites, each carrier signal in the second plurality of carrier signals corresponding to a carrier signal in the first plurality of carrier signals, and each measurement in the second plurality of measurements corresponding to a measurement in the first plurality of measurements;
calculating a first plurality of single differences based on the first plurality of measurements and the second plurality of measurements;
determining a state vector based on a prescribed function using the first plurality of single differences, wherein the prescribed function is a Gauss-Newton method;
calculating a second plurality of single differences based on an observation model represented by a prescribed mathematical model applicable to raw measurements for the global navigation satellite system, wherein the prescribed mathematical model is given by at least:


ρr,kf,s=Rr,kf,s+c(τr,k+δτr,k(ρ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+ζr,k(ρ)f,s 



and



φr,kf,s=Rr,kf,s+c(τr,k+δτr,k(φ)f,s−τks)+Tr,ks+μf/fref,sIr,kfref,s+λf,s(Mrf,s+ψr,ks)+ζr,k(φ)f,s;


where:
The set of index numbers r,kf,s refer to the following:
f is the index number of the frequency band,
s is the index number of a satellite,
r is the index number of a receiver,
k is the index number of a system time instant,

ρr,kf,s are line-of-sight pseudo-ranges (in meters) between satellite s and receiver r,
φr,kf,s are line-of-sight carrier phase measurements (in meters) between satellite s and receiver r,
c is the speed of light (2.99792458×108 m/s),
Rr,kf,s=R(rr,ks+br,kf,s,rr,ks+cr,kf,s) is the distance from the phase center of the transmitting antenna on satellite s to the phase center of the receiving antenna on receiver r,
r=(x, y, z)T is the position vector, also referred to herein as the radius vector, in the World Geodetic System 84 (WGS 84) coordinate frame referenced to the center of the Earth,
rr,ks is the radius vector of satellite s at the instant that the satellite signal is received at receiver r,
br,kf,s is the displacement vector of the phase center (for the frequency band f) of the receiving antenna on the receiver r relative to the antenna reference point; this vector depends on the direction of satellite s,
cr,kf,s is the displacement vector of the phase center (for the frequency band f) of the transmitting antenna on the satellite s relative to the center-of-mass of the satellite,
λf,s the wavelength of the carrier signal transmitted by satellite s on frequency band f,
τks and τr,k are the clock offsets of the satellite clock and the receiver clock, respectively, relative to the system time,
δτr,k(ρ)f,s and δτr,k(φ)f,s are the code-measurement channel delay and phase-measurement channel delay, respectively,
Tr,ks is the troposphere delay,
Ir,kfref,s is the ionosphere delay caused by propagation of the satellite signal through the ionosphere,






  
    μ
    
      
        f
        /
        
          f
          ref
        
      
      ,
      s
    
  
  =
  
    
      
        
          [
          
            F
            
              
                f
                ref
              
              ,
              s
            
          
          ]
        
        2
      
      
        
          [
          
            F
            
              f
              ,
              s
            
          
          ]
        
        2
      
    
    =
    
      
        (
        
          
            λ
            
              f
              ,
              s
            
          
          /
          
            λ
            
              
                f
                ref
              
              ,
              s
            
          
        
        )
      
      2
    
  




is the ionosphere frequency ratio, where fref is the index number of a reference frequency band,
ψr,ks=ψr,k(⊥),s+ψr,k(∥),s is the phase incursion (phase increment) due to change in mutual orientation of the antenna on satellite s and the antenna on receiver r. It includes a linear increment ψr,k(⊥),s caused by turning the antennas in the plane of their dipole axes, and a nonlinear increment ψr,k(∥),s caused by mutual deviation of axes normal to antenna dipoles from the line of sight,
ζr,k(ρ)f,s and ζr,k(φ)f,s are code noise error (including DLL errors and multipath errors) and phase noise error (including PLL errors and multipath errors), respectively,

calculating a plurality of residuals based on the first plurality of single differences and the second plurality of single differences;
determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model; and
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model, detecting anomalous measurements; and
eliminating the detected anomalous measurements;
determining whether the remaining measurements are sufficient for determining the state vector, and if the remaining measurements are sufficient for the determining of the state vector then
calculating a position of the rover based on the remaining measurements.

20. The non-transitory computer readable medium of claim 19, wherein the determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model operation further comprises:
calculating the absolute value of each residual in the plurality of residuals;
comparing the absolute value of each residual in the plurality of residuals to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the absolute value of each residual in the plurality of residuals is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the absolute value of at least one residual in the plurality of residuals is greater than the threshold value.

21. The non-transitory computer readable medium of claim 20, wherein the detecting anomalous measurements operation further comprises:
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model, searching for a maximum absolute value of a residual.

22. The non-transitory computer readable medium of claim 19, wherein the determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model operation further comprises:
calculating a plurality of weighted residuals based on the plurality of residuals;
calculating the absolute value of each weighted residual in the plurality of weighted residuals;
comparing the absolute value of each weighted residual in the plurality of weighted residuals to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the absolute value of each weighted residual in the plurality of weighted residuals is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the absolute value of at least one weighted residual in the plurality of weighted residuals is greater than the threshold value.

23. The non-transitory computer readable medium of claim 22, wherein the detecting anomalous measurements operation further comprises:
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model, searching for the maximum absolute value of a weighted residual.

24. The non-transitory computer readable medium of claim 19, wherein the determining whether the first plurality of measurements and the second plurality of measurements are consistent with the observation model operation further comprises:
calculating a weighted sum of residual squares based on the plurality of residuals;
comparing the weighted sum of residual squares to a threshold value;
determining that the first plurality of measurements and the second plurality of measurements are consistent with the observation model when the weighted sum of residual squares is less than or equal to the threshold value; and
determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model when the weighted sum of residual squares is greater than the threshold value.

25. The non-transitory computer readable medium of claim 24, wherein the detecting anomalous measurements operation further comprises:
in response to determining that the first plurality of measurements and the second plurality of measurements are not consistent with the observation model:
for each particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements:
removing the particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements; and
calculating an updated weighted sum of residual squares based on the remaining measurements in the first plurality of measurements and the remaining measurements in the second plurality of measurements;
determining the minimum value of the updated weighted sums of residual squares; and
determining the particular measurement in the first plurality of measurements and the corresponding particular measurement in the second plurality of measurements corresponding to the minimum value of the updated weighted sums of residual squares.

26. The non-transitory computer readable medium of claim 19, wherein the first plurality of measurements comprises a first plurality of pseudo-ranges and the second plurality of measurements comprises a second plurality of pseudo-ranges.

27. The non-transitory computer readable medium of claim 19, wherein the first plurality of measurements comprises a first plurality of unambiguous phases and the second plurality of measurements comprises a second plurality of unambiguous phases.