Файл: Хетагуров, Я. А. Повышение надежности цифровых устройств методами избыточного кодирования.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 19.10.2024
Просмотров: 165
Скачиваний: 0
где %'—интенсивность ошибок в БК.
Из последнего выражения определяем нижнюю оценку досто верности результата, на получение которого затрачено время т:
*At. t ) > l - x f ( \ + X * + V ) f 0 + («A /0 )V2I/r 0 . (6-18)
Уменьшение вероятности выдачи неправильного ответа из контро лируемой части аппаратуры по сравнению с неизбыточным вариан том устройства, в котором не предусмотрен какой-либо контроль, равно:
l _ - g - * A , < g - * A , |
*(Л0 Г + |
Лт) |
|
|||
в - |
1 _ . *»„(*, |
х) |
|
~~ (X + X* + V ) t + ( n A ) 4 0 V 2 |
^ - 1 J ) |
|
Обычно |
( « Л ) 2 / 0 т / |
2 < |
(Я+Я*+Л,')% поэтому |
при / » Т |
|
0*«йЛо^Я(Л.-)-Я*+й,')т]=Т11?/-г,
где T)=ftAo/(^+X*-f-V)—коэффициент, который можно рассматри вать как коэффициент избыточности. Из последнего уравнения сле дует, что значение 0* линейно растет с увеличением времени работы t. Однако необходимо иметь в виду, что при получении (6-19) не учитывалось наличие неконтролируемой аппаратуры.
6-4. ОЦЕНКА НАДЕЖНОСТИ КОРРЕКТИРУЮЩЕГО УСТРОЙСТВА ПАРАЛЛЕЛЬНОГО ТИПА
Оценим интенсивность отказов КУ в зависимости от количества информационных разрядов k и корректирую щей способности кода. Располагая такими данными, можно достаточно обоснованно подойти к вопросу выбо ра корректирующего кода.
С целью исключения возможности появления вспы шек ошибок каждый из r=n—k разрядов корректора вы числяется независимо от остальных с помощью многовходового сумматора по модулю 2. Предполагая незави симость и экспоненциальный характер распределения отказов, блоки КУ (см. рис. 2-3) имеют следующую интен сивность отказов. Для реализации СД и БК используют ся сумматоры по модулю 2. Если предположить, что сложность сумматора по модулю 2 прямо пропорцио нальна количеству входов, то интенсивность отказов СД и БК будет равна:
Я0 = Я ^ + ^ . 2 , г = Я ^ ( а ; + 2 / г ) ,
181
где А.~ — интенсивность отказов сумматора по модулю 2,
отнесенная к одному входу; о — количество единиц в проверочной матрице Н.
С помощью первого слагаемого Х^а учитывается интенсивность отказов СД, а с помощью Я_2я— интеи-
сивность отказов блока |
коррекции |
(блока сумматоров |
||
по модулю 2 на два входа |
каждый). |
|
||
Дешифратор Д, |
выполненный |
по одноступенчатой |
||
схеме, содержит rQ |
диодов, где |
Q |
=ЕС)— количе- |
ство выходов Д. Поэтому, если КУ рассчитано на ис правление более одной ошибки, то количество диодов оказывается очень большим и следует использовать сту пенчатые дешифраторы, позволяющие в значительной степени уменьшать количество диодов при том же са мом числе выходов. Однако при этом нагрузка на диоды увеличивается. Полагая, что основной причиной отказов дешифратора является отказ диодов, получаем значение интенсивности отказов дешифратора:
где Я д —интенсивность отказов диода; h, k%—коэф фициенты, учитывающие соответственно уменьшение ко личества и увеличение интенсивности отказов диодов вследствие увеличения нагрузки при многоступенчатом построении дешифратора; г — разрядность корректора или количество контрольных разрядов кода.
Таким образом, при сделанных допущениях
Разделив это выражение на п, получаем интенсив ность отказов одного канала КУ:
х•.К У |
— |
(=1
18?
Если принять, что на каждый вход сумматора но модулю 2 приходится два транзистора (Х^=2Хт), отка зы которых являются основной причиной отказов сум маторов, а интенсивность отказов диодов в k3 раз мень ше, чем интенсивность отказов транзисторов, то затраты аппаратуры на один канал КУ будут равны:
*=^=2 (2 ++)+^Ё0> <6-20>
(=1
где Xi — интенсивность отказов транзистора.
Заметим, что в случае неукороченных кодов Хэмминга с минимальным расстоянием d—3
а= (п+1) г/2.
Аналогично, в тех случаях, когда с помощью КУ ис правляются ошибки только в k информационных разря дах, затраты аппаратуры на один канал равны:
|
E*= |
^ |
|
7 = |
2 ( 2 |
+ T)+^ferS('> <" |
||
|
|
|
|
|
|
|
1=1 |
|
Выражения (6-20) и (6-21) получены при определен |
||||||||
ных упрощающих |
|
предположениях, |
однако они |
позво- |
||||
|
|
|
|
|
€ |
|
|
|
Рис. 6-9. Зависимость за- |
^ |
|
|
|
||||
трат аппаратуры £* на один |
so |
|
|
|
||||
канал КУ от числа инфор |
|
|
|
|
||||
мационных разрядов |
k |
для |
40 |
|
|
|
||
различных |
кодов. |
|
^ |
|
|
|
||
1 — код |
Хэмминга |
с d=3: |
2 — |
|
|
|
|
|
код БЧХ |
с d=5; |
3 — код |
Р—М |
пп |
|
|
|
|
с rf=8 при применении мажори |
|
|
|
|
||||
тарного декодирования; 4—низ- |
.„ |
|
|
|
||||
коплотпостпый код j=3 |
н |
d=3. |
™ |
|
|
|
||
|
|
|
|
|
О 6 |
12 |
18'~ЙГ~30~16 W |
1)8 54 |
ляют выполнить относительное сравнение надежности (интенсивности отказов) корректирующих устройств, соответствующих различным кодам. На рис. 6-9 показа ны зависимости £=/(&) при k3=3, k2=l, вычисленные на основании (6-20) для кодов Хэмминга (кривая 1), по зволяющих поправить одиночную ошибку, а также для кодов БЧХ с исправлением двух ошибок (кривая 2). Из
183
данного рисунка следует, что интенсивность отказов од ного канала КУ возрастает с увеличением количества информационных разрядов k и корректирующих свойств кода.
Представляет интерес зависимость £=/(&) для кодов Р—М при использовании мажоритарного метода де кодирования. Общий принцип декодирования этого клас са кодов заключается в том, что сначала выделяются ин формационные символы, соответствующие базисным век торам порядка б, где 6— порядок кода. Затем, исполь
зуя определенные информационные символы |
порядка б, |
|||
выделяются |
информационные |
символы порядка б—1 |
||
и т. д. до выделения |
всего сообщения. Таким образом, |
|||
КУ состоит |
из 6+ 1 |
ступеней |
или каскадов |
(например, |
рис. 2-6). |
|
|
|
|
Оставляя в силе ранее сделанные допущения, интен сивность отказов ступени КУ, предназначенной для вы деления информационных символов порядка б—i, мож но вычислить следующим образом. Для выделения од
ного информационного |
символа |
требуется |
решить |
||
(2т~ъ—1) |
уравнений [напомним, |
что минимальное рас |
|||
стояние |
кода Р—М равно |
d=2m~b, |
|
т. е. d всегда |
четно, |
но .мажоритарный элемент содержит нечетное количест во входов {d—1)]. Количество аргументов в одном уравнении, с помощью которого вычисляется (суммиро ванием по модулю 2) значение информационного сим
вола порядка б, равно 2m /2m ~^ = |
2s . |
|
|||
Действительно, длина кодовых слов п=2т, |
а число |
||||
независимых |
уравнений |
(другими |
словами, не |
содержа |
|
щих |
общих |
аргументов) |
равно минимальному расстоя |
||
нию |
d = 2 m — \ |
|
|
|
Отсюда число аргументов в одном уравнении равно 2т/2т~~г' = 2ъ. Количество аргументов в одном уравнении, с помощью которого вычисляется значение информаци онного символа порядка б—1, будет по крайней .мере на
один меньше, чем |
в |
предыдущем случае (например, |
||
рис. 2-6), и т. д. Таким |
образом, число аргументов в од |
|||
ном уравнении для информационного символа |
порядка |
|||
(б—i) не больше величины |
2Ъ—i. |
|
||
Умножая эту величину на количество различных урав |
||||
нений для одного |
символа |
( 2 m _ i — 1), количество |
инфор- |
184
мационных символов порядка (8—г), которое равно (g^Lj) и интенсивность отказов Яф сумматора по модулю 2, отнесенную к одному входу, получаем интенсивность
отказов |
сумматоров |
по модулю |
2, входящих |
в |
(8 — /)-ю |
||
ступень |
КУ: |
|
|
|
|
|
|
|
|
|
( 2 — 5 - 1 ) ( 5 - , ) ( 2 5 - 0 А ф . |
|
|
||
Интенсивность |
отказов мажоритарных |
элементов |
|||||
в (б—г)-й |
ступени |
равна: |
|
|
|
||
|
|
|
( 2 т - 8 - 1 ) ( 9 ^ . ) я м , |
|
|
||
где Ям — интенсивность отказов |
.мажоритарного |
элемен |
|||||
та, отнесенная к одному входу. |
|
|
|
||||
Таким |
образом, |
суммарная |
интенсивность |
|
отказов |
||
(б—0-й |
ступени КУ равна: |
|
|
|
|||
|
|
( 2 ^ - 1 ) ^ ) [ ( 2 8 - ' 0 Я ф + Я и ] . |
|
|
|||
Учитывая, |
что КУ содержит |
(6 + 1) ступень, |
интен |
||||
сивность отказов КУ в целом равна: |
|
|
|||||
Ч У * |
( 2 |
M " S - * ) 2 (в * ,) К2' - 0яе+я«1- |
Разделив полученное выражение на длину кодовых слов п=2т, получим:
Предполагая, что ЯМ = ЯТ, а Яф = 2Ят , определяем затраты аппаратуры на один канал:
Зависимость £,— f(k) для кодов Р—М. с минимальным расстоянием d—8, рассчитанная в соответствии с (6-22), показана на рис. 6-9. Как и для других классов кодов, наименьшие затраты аппаратуры на реализацию одного
185
канала КУ получаются при использовании короткого ко да (16,5), для которого /п=4, 6 = 1.
Из уравнений (2-3) находим затраты аппаратуры на реализацию одного канала КУ для низкоплотностного кода с / = 3
* = ( 4 Я ф + ЯМ )ДТ = (8ЯТ + Ат )/Ят = 9.
На рис. 6-9 данному классу кодов соответствует за висимость 4.
Г л а в а с е д ь м а я
ПОВЫШЕНИЕ НАДЕЖНОСТИ ЦИФРОВЫХ УСТРОЙСТВ С ПОМОЩЬЮ КОРРЕКТИРУЮЩИХ КОДОВ
7-1. ПОВЫШЕНИЕ НАДЕЖНОСТИ КОНЕЧНЫХ АВТОМАТОВ
В данном разделе рассматриваются некоторые во просы повышения надежности конечных автоматов с по мощью методов избыточного кодирования. Избыточность может вводиться для достижения одной или обеих сле дующих целей: 1) повышения вероятности функциональ но безотказного состояния аппаратуры, т. е. функцио нальной надежности; 2) повышения достоверности рабо ты автомата. Количественная оценка целесообразности введения избыточности и достигаемого эффекта в каж дом конкретном случае может производиться с помощью методики, изложенной в гл. 6. В данном разделе при оценке надежности используется символика, введенная в гл. 6. В необходимых случаях даются качественные оценки различных методов введения избыточности.
Повышение функциональной безотказности комбина ционных схем. Произвольная комбинационная (логиче ская) схема, содержащая т входов и к выходов, осущест вляет заданное отображение Ч7 множества входных слов Х= (xi, х2, ..., хт) на множество выходных слов У = = {Уь Уъ • • •, Ук)- При этом любая схема может 'быть представлена в виде ориентированного графа, вершинам которого сопоставлены логические элементы, а ребрам — связывающие их каналы. Будем считать, что ориента ция ребер совпадает с направлением передачи информа ции в схеме. Ненадежное функционирование схемы опре-
186
Делим как лю'бое изменение заданного отображения х ¥. Не снижая общности, можно считать, что источником ошибок являются каналы, связывающие элементы схе мы. Ошибка в одном из каналов схемы может вызвать
ошибки в |
других, |
связанных |
с ним |
каналах. |
Другими |
||||||
словами, |
одиночная ошибка |
(отказ) |
внутри схемы мо |
||||||||
жет |
вызвать многократную |
ошибку |
в |
выходном |
векто |
||||||
ре Y. Поэтому для обоснованного выбора |
корректирую |
||||||||||
щего кода |
необходимо прежде всего исследовать харак |
||||||||||
теристики |
ошибок |
на выходных |
полюсах |
схемы |
(см. |
||||||
гл. |
1). В |
результате этого |
анализа |
может |
быть выявле |
||||||
на |
'необходимость |
внесения |
изменений |
в |
структурную |
||||||
реализацию комбинационной |
схемы |
с |
целью |
согласо |
|||||||
вания возможных |
ошибок |
на выходных |
полюсах |
схемы |
|||||||
с корректирующими способностями |
кода. |
|
|
|
|||||||
Будем |
рассматривать методы введения |
избыточности |
|||||||||
в комбинационные |
схемы, |
предполагая, |
что |
неисправ |
ность может возникнуть только в одном логическом эле менте. Такое допущение является практически приемле мым по следующим причинам. Во-первых, возникнове ние одиночной неисправности — наиболее вероятная при чина ошибок. Во-вторых, приводимые рассуждения лег ко обобщаются на случай нескольких неисправностей.
Рассмотрим принцип применения групповых кодов с исправлением независимых ошибок. Пусть имеется ло
гическая схема с пг входами |
и k выходами, реализую |
щая булевы функции уи у 2 |
уи- При независимой |
реализации этих функций появление одиночной неис правности может привести к возникновению ошибки только на одном выходном полюсе. Поэтому исходная
система |
булевых |
функций |
должна |
быть расширена |
|||||||||
с помощью |
включения |
дополнительных г |
избыточных |
||||||||||
функций |
уь |
..., |
у г |
таким |
образом, |
чтобы |
значения |
уь |
|||||
Уг, |
• • •, Ук, уи |
• • -, у г образовывали |
код Хэмминга. Выход |
||||||||||
ное |
слово (г/i, |
уг, |
• •., уи, Уи |
. •., Уг) поступает |
на |
вход |
|||||||
корректирующего |
устройства |
(КУ), |
с |
помощью |
которо |
||||||||
го |
производится |
исправление |
ошибки |
(рис. 1-7,6). |
|
||||||||
|
Например, необходимо синтезировать избыточную схему, реа |
||||||||||||
лизующую |
систему |
булевых функций: |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(7-1) |
1 8 7