The latest generation of Global Navigation Satellite System (GNSS) satellites are transmitting signals on three or more frequencies, it brings new opportunities and challenges for data integration in Multi-GNSS Experiment (MGEX). To reduce the convergence time, less computationally intensive method is three-carrier ambiguity resolution (TCAR). But the three combinaitons can not be found in precise point positioning (PPP) yet, especially for the third generation BeiDou Navigation Satellite System (BDS-3). This contribution concentrates on the multi-frequency carrier-phase integer combinations for BDS-3 in PPP. More specifically, the triple-frequency plane is degraded to two-dimensional plane for BDS-3 under the assumption of a low observation noise. And then third frequency coefficient should be limited as a constraint, considering that inter frequency bias (IFB) is dynamic quantity. Thereafter, a new searching algorithm based on the Satisfiability Modulo Theories (SMT) is presented to search the optimal integer combinations fast. Meanwhile, ionosphere-free combinations are exhibited and are not suitable for TCAR. Futhermore, the availability of the SMT-based searching algorithm (SMTSA) is verified. Finally, the most interesting carrier-phase combinations that can be used for PPP ambiguity resolution are screened out for later research. Meanwhile, in order to give a referenced comprehensive assessment of the integer combination, some valuable combinations for BDS-3 are displayed. It provides scientific support for the triple-frequency AR which has less convergence time than dual-frequency AR. Moreover, it also gives the important and valuable reference for future research on multi-frequency ambiguity-enabled PPP.
Full Text Finder