Алгоритмический контроль навигационной информации с использованием аналитической избыточностистатья