摘要

Precise point positioning (PPP) integer ambiguity resolution with a single receiver can be achieved using advanced satellite augmentation corrections. Several PPP integer ambiguity resolution methods have been developed, which include the decoupled clock model, the single-difference between-satellites model, and the integer phase clock model. Although similar positioning performances have been demonstrated, very few efforts have been made to explore the relationship between those methods. Our aim is to compare the three PPP integer ambiguity resolution methods for their equivalence. First, several assumptions made in previous publications are clarified. A comprehensive comparison is then conducted using three criteria: the integer property recovery, the system redundancy, and the necessary corrections through which the equivalence of these three PPP integer ambiguity resolution methods in the user solution is obtained.