Хорошей добавкой была популярная статья о принципах работы GPS (ссылка дана в последнем постинге Игоря С к Yu P: http://acmephysics.narod.ru/b_r/gps.htm). Там много говорится о временных поправках и скачках, которые постоянно приходится учитывать.
Скачки и временные поправки в кодах времени прнимаемых со спутников GPS обусловлены в основном необходимостью компенсировать индивидуальный ход цезиевых стандартов на борту (изменение показаний времени из-за различия реальной частоты от номинальной). Поскольку стандарты неидеальны, то такой ход неизбежно присутствует и априори неизвестен. Обычная процедура подстройки стандарта производится периодической подстройкой его частоты и вычитанием "набежавшей" ошибки из транслируемого кода времени. Такая процедура проводится каждый раз при достижения наперед заданного значения различия в показаниях времени между бортовым и эталонным (наземным) стандартом. Опорным наземным стандартом GPS служит стандарт USNO (United State Naval Observatory), который, в свою очередь, регулярно сверяется с временем TAI(BIPM) (Time Atomique International Bureau International de Poids et Measures).
Если мои аргументы против существующей задачи 3-х тел в релятивизме не убедительны, не настаиваю. Буду искать более надёжные. Собственно, они уже есть, и теоретические – тоже. За разъяснения – спасибо.