Проведено моделирование алгоритма поиска истинного решения при измерении фазовых сдвигов сигналов трех опорных станций, которое показало, что в отсутствии шумов наблюдается один минимум суммарной невязки, равный нулю, который соответствует заданному истинному положению бортовой станции.
