Several code-aided algorithms for phase estimation have recently been proposed. While some of them are ad-hoc, others are derived in a systematic way. The latter can be divided into two different classes: phase estimators derived from the expectation-maximization (EM) principle and estimators that are approximations of the sum-product message passing algorithm. In this paper, the main differenc...

Integer carrier phase ambiguity resolution is the process of resolving unknown cycle ambiguities of doubledifferenced carrier phase data as integers, and it is a prerequisite for rapid and high-precision global navigation satellite system positioning and navigation. Besides integer estimation, integer ambiguity resolution also involves validation of the integer estimates. In this contribution a...

Integer ambiguity resolution on undifferenced GPS phase data has made a lot of progress in recent years. By combining pseudo-range and phase information, it is possible to fix integer ambiguities on zero-difference phase measurements, for dual-frequency problems, without any atmospheric models. Phase measurements then become pseudo-range-like measurements with millimeter noise level. Using thes...

Carrier phase ambiguity resolution is the key to high precision Global Navigation Satellite System (GNSS) positioning and navigation. It applies to a great variety of current and future models of GPS, modernized GPS and Galileo. A proper handling of carrier phase ambiguity resolution requires a proper understanding of the underlying theory of integer inference. In this contribution a brief revi...

I many circumstances, evaluations are based on empirical data. However, some observations may be imprecise, meaning that it is not entirely clear what occurred in them. We address the question of how beliefs are formed in these situations. The individual in our model is essentially a “frequentist.” He first makes a subjective judgment about the occurrence of the event for each imprecise observa...

GPS ambiguity resolution is the process of resolving the unknown cycle ambiguities of double difference (DD) carrier phase data as integers. It is the key to fast and high-precision relative GPS positioning. Critical in the application of ambiguity resolution is its reliability. Unsuccessful ambiguity resolution, when passed unnoticed, will too often lead to unacceptable errors in the positioni...

A high-accuracy Global Ionosphere Model (GIM) is significant for precise positioning and navigating with the Global Navigation Satellite System (GNSS), as well as space weather applications. To obtain a precise GIM, it is critical to take both the ionospheric observable and mathematical model into consideration. In this contribution, the undifferenced ambiguity-fixed carrier-phase ionospheric o...