Программно логические методы

1) 1)Метод двойного счета

Работает против сбоев не работает для отказов

2) 2)Метод обратного счета

Для отказов.Решается прямая задача потом обратная и сравнивается результат

3) 3)Метод контрольных точек

Временами позволяет что то контролировать

Хорошо от сбоев; плохо работает от отказов

Аппаратные методы Основаны на введении пространственной избыточности двоичного кодаСуществует понятие кодового расстояния – это чем количество разрядов 1 кода отличается от другого. Минимальное кодовое расстояние это 1 при этом ошибку обнаружить нельзя!

Основа контроля Необходимо:1 простота схемы свертки2 как соотносятся фи и пси? однозначное соответствие. Идеально когда они совпадают.3 сопоставление идеально: сравнение на равенство.

В итоге: Для контроля использую цифровой контроль. В качестве контрольного разряда берут остаток от деления суммы цифр кода на контрольный код. Двоичный код деление по модулю 2. Если количество 1 четно то кр (контрольный разряд) =0. Нечетно в исходном коде то кр=1.Позволяет обнаруживать ошибки нечетной кратности