Кодирование информации как средство обеспечения контроля работы ЦА

 

Рассматриваемые ранее алгоритмы выполнения арифметических операций обеспечат правильный результат только в случае, если ЭВМ работает без нарушений. При возникновении нарушения результат будет неверным, однако пользователь об этом не узнает, если не будут предусмотрены меры, сигнализирующие о появлении ошибок.

Следовательно, с одной стороны, разработчики ЭВМ должны предусмотреть меры для создания системы обнаружения ошибки, а с другой - меры для исправления этой ошибки.

Эти функции выполняет система контроля работы ЦА.

Система контроля — совокупность методов и средств, обеспечивающих определение правильности работы автомата в целом или его отдельных узлов, а также автоматическое исправление ошибки.

 

Ошибки: 1) систематические (постоянные) в результате отказа

2)   случайные, возникающие из-за сбоя

 

Постоянные легко обнаружить и устранить.

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

Система контроля должна уметь обнаруживать и исследовать и те и другие ошибки.

 

Виды ошибок результата

1)  из-за погрешностей исходных данных

2)  из-за методических погрешностей

3)  из-за неисправностей в работе машины

 

Последние два вида не являются объектом для работы системы контроля.

Проверка правильности функционирования отдельных устройств ЭВМ и выявление неисправностей осуществляется по двум направлениям

       — профилактический контроль с целью предупреждения появления возможных ошибок;

       — оперативный контроль с целью проверки правильности выполнения машиной всех операций

 

Решение всех задач контроля становится возможным только при наличии определенной избыточности информации. Избыточность может быть создана либо аппаратными (схемными) средствами, либо логическими или информационными средствами.

К методам логического контроля можно отнести:

1)  двойной счет (повторное решение задачи) и в случае совпадения результатов ЭВМ работает правильно.

2)  Использование тригонометрического тождества sin² +cos² =`

3)  Вычисление определенного c разным шагом и сравнение результатов

 

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

 

Возможность обнаружения ошибок базируется на том, что в n -разрядном двоичном слове используются не все N =2 ⁿ возможные комбинации двоичных цифр, а только их некоторая часть N_p < N. Остальные N ₃ = N - N_p комбинаций являются запрещенными. Иными словами из n разрядов двоичного числа m -информационных, k = n - m - контрольных разрядов.

Код, содержащий в себе, кроме информационных, контрольные разряды называется систематическим.

 

В контрольные разряды записывается некоторая информация об исходном числе. Поэтому можно говорить, что систематический код обладает избыточностью.

 

Абсолютная избыточность  равна k - количеству контрольных разрядов

 

Относительная избыточность    

 

Любой код, обладающий ненулевой избыточностью, называется корректирующим.

 

Для таких кодов характерно понятие корректирующей способности, позволяющей обнаружить и исправить ошибку. Количественно, корректирующая способность кода определяется вероятностью обнаружения или исправления ошибки.

Корректирующая способность кода связанна также с понятием кодового расстояния.

Кодовое расстояние d(A,B) для кодовых комбинаций А и В определяется как вес такой третьей кодовой комбинации, которая получается сложением исходных комбинаций по модулю 2.

Вес кодовой комбинации V(A) - количество 1-й комбинации

Пример: А=011011100 В=10011101 V(A)=5 V(B)=5

     C=A(+)B=111100101 V(C)=d(A,B)=6

В теории кодирования показано, что систематический код обладает способностью обнаружить ошибки только тогда, если минимальное кодовое расстояние для него

                                              d_min 2t,

где t-кратность обнаруживаемых ошибок (в случае одиночных t=1)

В тех случаях, когда необходимо не только обнаружить ошибку, но и исправить ее (т.е. указать место ошибки), минимальное кодовое расстояние должно быть

d_min 2t+1