Аннотация:
Рассматривается метод избыточных переменных для контроля и коррекции вычислительных процессов в реальном времени, что необходимо для повышения на-дежности вычислительных процессов. Рассматриваются вопросы эквивалентности ис-ходных и расширенных систем, повышения помехоустойчивости, коррекции вперед. Приводится сравнение метода избыточных переменных с другими известными методами контроля, диагностики и коррекции вычислительных систем.
Ключевые слова:точность и надежность вычислений, метод избыточных переменных, системы с обратной связью, вычислительные процессы, контроль, коррекция.