Применение контроля информационных слов и их адресов по mod 3 в цифровых устройствах автоматики

контрольная работа

Алгоритмы контроля операций

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

Правильность выполнения сложения и вычитания контролируется соотношениями:

, .

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

Контрольное соотношение для операции умножения имеет вид:

.

Однако это соотношение справедливо, когда не происходит потери разрядов произведения при их выходе за пределы разрядной сетки. Если эту потерю учесть, то получим:

,

где -- остаток от значения разрядов, отбрасываемых при округлении.

Следовательно, для контроля операции умножения необходимо:

- произвести умножение по модулю q контрольных характеристик rа и rb;

- сформировать из отбрасываемых разрядов Е контрольную характеристику ;

- вычесть по модулю q из произведения величину ;

- сравнить по модулю q полученный результат с величиной .

Для контроля операции деления используются соотношения:

; ,

где А -- делимое; В -- делитель; Z-- частное; W -- остаток от деления А на В, откуда следует контрольное соотношение:

.

Следовательно, контроль операции деления состоит в следующем:

- получить от частного Z и остатка W контрольные характеристики rz и rw;

- произвести умножение rа и rb по модулю q;

- сложить полученное произведение по модулю q с rw;

- сравнить полученную сумму с контрольной характеристикой делимого rа .

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

Рассмотрим принципы построения алгоритма контроля следующих логических операций:

-- поразрядного логического сложения C=A V B;

-- поразрядного логического умножения С=A ^ B;

--поразрядного сложения по модулю 2 .

Используя соотношения:

, ,

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

для операции поразрядного логического сложения

;

для операции поразрядного логического умножения

;

для операции поразрядного сложения по mod 2

.

Здесь , , -- контрольные характеристики результата операции логического сложения (V), логического умножения (^), сложения по модулю 2() соответственно.

Аналогичным образом получаются алгоритмы операций сдвига, инвертирования, пересылок и т. д.

Делись добром ;)