Проверяемый текст
Хоруженко, Олег Владимирович; Методический аппарат функционально-кодовой защиты ЭВМ телекоммуникационных компьютерных сетей (Диссертация 2009)
[стр. 111]

113 Примечание: Крайний правый столбец матрицы поправок для логической операции НЕ представляет собой результат сложения по mod2 разрядов проверки на четность исходной и инверсной информационных матриц.
Для матриц, содержащих четыре информационных разряда (в данном случае) данный столбец всегда имеет нулевые значения, что не характерно для матриц большей размерности.
В то же время остальные столбцы рассматриваемой матрицы в своих разрядах всегда имеют только единичные значения.
Правые и левые диагональные проверки данной матрицы дадут результат поправки:
10101010.
Свойство 3.13.
Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции
НЕ, даст правильное значение контрольных разрядов.
Действительно, для рассматриваемого примера имеем результат:
01010101 Ф10101010 11111111, который является правильным для кодового набора 1010, полученным в результате логической операции НЕ, что позволяет контролировать
операции НЕ и при этом обнаруживать и исправлять, возникающие ошибки по прави лам предлагаемого метода кодирования 3.5.
Разработка функциональной схемы отказоустойчивого процессора повышенной достоверности функционирования На
Рис.3.5.1 представлена функциональная схема отказоустойчивого процессора; на Рис.3.5.2функциональная схема блока коррекции; на Рис.3.5.3функциональная схема блока контроля; на рис.3.5.4функциональная схема формирования поправки при выполнении арифметических операций; на Рис.3.5.5-функциональная схема формирования поправ
[стр. 103]

102 риваемых операндов, в результате получим кодовый набор: 0001 (операция И выполняется для младших разрядов операндов).
В этом случае матрица поправок операции ИЛИ имеет вид: ООО 01 1 правые и левые диагональные проверки данной матрицы дадут результат поправки: 00110110.
Свойство 3.
11.
Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции
ИЛИ, даст правильное значение контрольных разрядов.
Действительно, для рассматриваемого примера имеем результат:
00111001 ©00110110 00001111, который является правильным для кодового набора 0111, полученным в результате логической операции ИЛИ, что позволяет контролировать операцию ИЛИ и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования.
3.3.4.
Разработка способа коррекции ошибок при выполнении логической операции И Рассмотрим основные положения способа контроля операции И на примере.
Допустим, требуется выполнить логическую операцию И для двух четырех разрядных числа: А=0101 и 13=0011, которые хранятся в отказоустойчивом ОЗУ, т.е.
кодируется рассмотренным способом.
В этом случае из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 01010101, А число В поступает в виде: ООН 01101100.


[стр.,104]

103 При выполнении операции И для информационных разрядов и сложения по mod2 контрольных разрядов рассматриваемых операндов получим кодовый набор 0001 00111001, у которого значения контрольных разрядов отличаются от правильного набора контрольных разрядов 00110110 для полученного значения информационных разрядов 0001.
Для формирования поправки построим матрицу поправок, используя операцию логическую ИЛИ относительно информационных разрядов рассматриваемых операндов, в результате получим кодовый набор: 0111.
В этом случае, матрица поправок операции И имеет вид: 01 1 11 0 правые и левые диагональные проверки данной матрицы дадут результат поправки: 00001111.
Свойство 3.12.
Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции
И, даст правильное значение контрольных разрядов.
Действительно, для рассматриваемого примера имеем результат:
00111001 Ф00001111 00110110, который является правильным для кодового набора 0001, полученным в результате логической операции И, что позволяет контролировать операцию И при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования.


[стр.,106]

105 матриц, содержащих четыре информационных разряда (в данном случае) данный столбец всегда имеет нулевые значения, что не характерно для матриц большей размерности.
В то же время остальные столбцы рассматриваемой матрицы в своих разрядах всегда имеют только единичные значения.
Правые и левые диагональные проверки данной матрицы дадут результат поправки: 10101010.
Свойство 3.13.
Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции НЕ, даст правильное значение контрольных разрядов.
Действительно, для рассматриваемого примера имеем результат: 01010101 Ф10101010 11111111, который является правильным для кодового набора 1010, полученным в результате логической операции НЕ, что позволяет контролировать
операцию НЕ и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования.
3.4.
Разработка функциональной схемы отказоустойчивого процессора повышенной достоверности функционирования На
рис.3.1 представлена функциональная схема отказоустойчивого процессора; на рис.3.2 функциональная схема блока коррекции; на рис.3.3 функциональная схема блока контроля; на рис.3.4 функциональная схема формирования поправки при выполнении арифметических операций; на рис.3.5 функциональная схема формирования поправки при выполнении операции сдвига; на рис.3.6 функциональная схема формирования поправки при выполнении операции ИЛИ; на рис.3.7 функциональная схема формирования поправки при выполнении операции И; на рис.3.8 функциональная схема формирования поправки при выполнении операции НЕ.

[Back]