Observations

Да, это называется double difference processing, и как правило используется не разница в расстояниях до отдельных спутников, а разница в измерениях растояний между несколькими приемниками и спутниками. Это довольно дорогой (в смысле вычислений) метод, и используется в высокоточных специализированных приемниках (для геодезистов и топографов) вкупе с другими методами (сравнение сигналов со стационарными приемниками итп). Это позволяет достичь точности позиционирования до 1-5 см.

Вообще говоря, этот пост -- весьма свободный пересказ статьи о GPS из англоязычной википедии (в частности, анимированная картинка и "чип 15 на 17" взяты напрямую оттуда), поэтому я бы не ожидал особого качества предлагаемой информации.