|
107 ОНО ООП 1001. Информационная матрица полученного результата имеет вид: 01 1 10 1 правые и левые диагональные проверки данной матрицы дадут результата: 00111001, что позволяет сформулировать свойство 10. Свойство 3.9. Результат сложения по mod 2 контрольных разрядов слагаемых соответствует результату сложения по mod 2 информационных разрядов рассматриваемых слагаемых. Данное свойство позволяет контролировать операцию сложения по mod2 и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.4.2. Разработка способа коррекции ошибок при выполнении операции сдвига Рассмотрим основные положения способа контроля операции сдвига на примере кодового набора: 0111 0000 1111. Пусть требуется провести операцию сдвига вправо на один разряд, в результате получим кодовый набор: 0011. Информационная матрица полученного результата имеет вид: 00 0 11 0 Правые и левые диагональные проверки данной матрицы дадут результата: 01 101100, который отличается от исходного набора контрольных разрядов 00001111. формирования ходному кодовому набору, позволяющей получить набор контрольных разрядов соответствующий значению информационных разрядов, полученных при сдвиге вправо. С этой целью построим матрицу поправок при сдвиге вправо, разряды которой формируются следующим образом: г4=0Фу4; (0 если в старший |
99 правые и левые диагональные проверки данной матрицы дадут результата: 00111001, что позволяет сформулировать свойство 10. Свойство 3.9. Результат сложения по mod 2 контрольных разрядов слагаемых соответствует результату сложения по mod 2 информационных разрядов рассматриваемых слагаемых. Данное свойство позволяет контролировать операцию сложения по mod2 и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.3.2 Разработка способа коррекции ошибок при выполнении операции сдвига Рассмотрим основные положения способа контроля операции сдвига на примере кодового набора: 0111 0000 1111. Пусть требуется провести операцию сдвига вправо на один разряд, в результате получим кодовый набор: ООП. Информационная матрица полученного результата имеет вид: 00 0 11 0 Правые и левые диагональные проверки данной матрицы дадут результата: 01101100, который отличается от исходного набора контрольных разрядов 00001111. В связи с этим возникает необходимость формирования поправки к исходному кодовому набору, позволяющей получить набор контрольных разрядов соответствующий значению информационных разрядов, полученных при сдвиге вправо. С этой целью построим матрицу поправок при сдвиге вправо, разряды которой формируются следующим образом: г4=0©у4; (0 если в старший разряд не переносится единица из другого регистра в противном случае r4=yi‘ Фу4, где у/ значение сигнала переноса из другого регистра, например в старший разряд регистра дополнительного из младшего разряда регистра сумматора при выполнении операции умножения) Гз=у4Фу3; г2=узФу2; ri=y2©yi 101 Соответственно матрица информационных разрядов имеет вид: 11 0 10 1, для которой имеем набор значений контрольных разрядов: 10011100. Свойство 3.10. Сложение по mod2 исходного значения контрольных разрядов с значением поправки при сдвиге вправо (влево) даст правильное значение контрольных разрядов при сдвиге информационных разрядов. Данное свойство позволяет контролировать операцию сдвига и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.3.3. Разработка способа коррекции ошибок при выполнении логической операции ИЛИ Рассмотрим основные положения способа контроля операции ИЛИ на примере. Допустим, требуется выполнить логическую операцию ИЛИ относительно двух четырех разрядных числа: А=0101 и В=0011, которые хранятся в отказоустойчивом ОЗУ, т.е. кодируется рассмотренным способом. В этом случае из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 01010101, А число В поступает в виде: ООП 01101100. При выполнении операции ИЛИ для информационных разрядов и сложения по mod2 контрольных разрядов рассматриваемых слагаемых получим кодовый набор 0111 00111001, у которого значения контрольных разрядов отличаются от правильного набора контрольных разрядов 00001111 для полученного значения информационных разрядов 0111. Для формирования поправки построим матрицу поправок, используя операцию логическую И относительно информационных разрядов рассмат 102 риваемых операндов, в результате получим кодовый набор: 0001 (операция И выполняется для младших разрядов операндов). В этом случае матрица поправок операции ИЛИ имеет вид: ООО 01 1 правые и левые диагональные проверки данной матрицы дадут результат поправки: 00110110. Свойство 3. 11. Операция сложения по mod2 полученных значений контрольных разрядов и значения поправки, сформированной на основе матрицы поправок для логической операции ИЛИ, даст правильное значение контрольных разрядов. Действительно, для рассматриваемого примера имеем результат: 00111001 ©00110110 00001111, который является правильным для кодового набора 0111, полученным в результате логической операции ИЛИ, что позволяет контролировать операцию ИЛИ и при этом обнаруживать и исправлять, возникающие ошибки по правилам предлагаемого метода кодирования. 3.3.4. Разработка способа коррекции ошибок при выполнении логической операции И Рассмотрим основные положения способа контроля операции И на примере. Допустим, требуется выполнить логическую операцию И для двух четырех разрядных числа: А=0101 и 13=0011, которые хранятся в отказоустойчивом ОЗУ, т.е. кодируется рассмотренным способом. В этом случае из ОЗУ в операционное устройство процессора число А поступает в виде кодового набора: 0101 01010101, А число В поступает в виде: ООН 01101100. |