Методы введения избыточности

1. Этот вариант рассчитан на пользовательские программы. Если задачу можно решить двумя или n способами, то пишется две или n программ. Все эти программы используются в вычислительном процессе и дают результат. Если этот результат расходится на величину больше, чем заданная погрешность, то это говорит о появлении ошибки в расчетах.

Считается, что более точный ответ дает более простая программа, т.к. в ней вероятность ошибки меньше.

Один и тот же алгоритм реализуется в двух вариантах разными программистами.

2. Этот способ используется на уровне операционных систем.

3. Метод контрольных функций.

Задачи решаются несколькими способами. Мы получаем от r задач результаты вычислений. Есть k (контрольных) программ, которые также выдают результат. Все величины, получаемые в результате будут связаны следующим образом:

, i=1,..,r.

- система справедлива в том случае, если нет ошибки.

Основное требование: исправление одиночной ошибки при помощи контрольных соотношений является получение разных синдромов для разных ошибок.

В матрице a_ij надо так выбрать значение коэффициентов, чтобы любые два столбца были попарно различны.