Abstract
Teunissen (J Geod 98(83):1-16, 2024) proposed the ambiguity-resolved (AR) detection theory for GNSS mixed-integer model validation. In this contribution, we study the performance of the AR detector through analysis and simulation experiments and compare it with the ambiguity-float (AF) and ambiguity-known (AK) detectors. We describe how the detectors can be implemented and how to evaluate their performance by computing the power as functions of the model misspecifications' size. We present two simulation experiments with single- and dual-frequency GPS models and demonstrate that the AR detector can provide a larger detection power than the AF detector, even if the success rate is not close to one. Then, we obtain power functions over 25 user locations with five observation models and 72 satellite geometries per location per model. We find that the AR detector increases the detection probability of ionosphere and troposphere delays by 47% and 60% on average when the success rate is larger than 97.5% and the level of significance is 0.01. We also find the AR detection power to be larger than that of the AF detector in case of multi-dimensional misspecifications.