Файл: Хетагуров, Я. А. Повышение надежности цифровых устройств методами избыточного кодирования.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 19.10.2024
Просмотров: 133
Скачиваний: 0
выходное слово при отсутствии внутрисхемной неисправ ности.
Ошибки, |
порождаемые внутрисхемными |
неисправно |
|||||||||
стями |
типа |
отказ, называют |
систематическими ошибка |
||||||||
ми. Случайными |
.называют |
ошибки, |
порождаемые |
вну |
|||||||
трисхемными неисправностями типа сбой. |
|
|
|
||||||||
Если каждой паре слов из множества выходных слов |
|||||||||||
{У} |
поставить в |
соответствие |
неотрицательное |
число |
|||||||
d(Y, |
У*), называемое расстоянием |
между |
У и У* и удов |
||||||||
летворяющее условиям (аксиомам): |
|
|
|
|
|||||||
|
1) |
d(Y, |
У*)=0 в |
том и |
только |
в том |
случае, |
если |
|||
У = У* (аксиома |
тождества); |
|
|
|
|
|
|
||||
2) |
d(Y, |
Y*)=d(Y*, |
У) (аксиома |
симметрии); |
|
||||||
3) |
d(Y, |
Y*)+d(Y*t |
y * * ) > d ( y , |
У**) |
(аксиома |
тре |
|||||
угольника), то говорят, что в множестве |
{У} введена ме |
||||||||||
трика |
и оно называется метрическим пространством. |
||||||||||
|
В |
нашем случае |
метризация |
множества |
{У} позволя |
ет количественно измерять величину ошибки через рас
стояние d(Y, |
У*). При этом, |
если d(Y, |
Y*) — \, |
то |
будем |
||
говорить, что |
имеет место |
однократная |
ошибка, |
если |
|||
d(Y, |
У*) =2, |
то — двукратная |
и т. д. Чем больше |
крат |
|||
ность ошибки, тем сложнее ее исправить. |
|
|
|
||||
Учитывая |
различные способы |
задания |
функции |
||||
d(Y, |
У*), естественно задать ее таким |
образом, |
чтобы |
||||
кратность ошибки на выходе схемы не превышала |
крат |
кости внутрисхемной неисправности. К сожалению, удов летворить этому условию удается лишь в нескольких ча
стных случаях. В настоящее время в цифровых |
устройст |
|||||
вах используются два способа измерения расстояния. |
||||||
Расстояние по Хэммингу определяется следующим об |
||||||
разом: |
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
d(Y, У * ) = Е 1 ^ - 0 \ | . |
|
||
|
|
|
|
i=l |
|
|
При |
использовании |
двоичных |
символов |
значение |
||
d(Y, |
У'1') |
равно |
числу |
позиций, в |
которых различаются |
|
слова |
У и У*. |
Вес У, |
обозначаемый W(Y), |
определим |
как число единичных символов в У. Расстояние и вес
связаны следующим |
соотношением: |
|
d{Y, |
У * ) = Щ У + У*), |
(1-1) |
8
где |
Y+ У* = |
(y\ + y*i, |
y-i+y*2, ..., |
ул+ //*><) |
означает по |
||
разрядное суммирование 1 |
по модулю 2 слов |
У и У*. Сло |
|||||
во |
У* можно |
представить |
следующим образом: |
||||
|
|
|
|
У* = У + £ , |
|
|
|
где |
Е=(е\, |
вг, |
..., ей) |
обозначает |
ошибку, |
представляю |
щую собой слово длиной /г разрядов, содержащее еди ницы только на тех позициях, которые искажены. Учи тывая соотношение '(1-1), получаем:
d(Y, |
У*) = ' № ( У + У + £ ) = № ( £ ) , |
||
т. е. расстояние |
между |
словами У и |
У* или кратность |
ошибки равна весу ошибки. |
|
||
Изложенный |
способ |
измерения |
кратности ошибки |
удобен в том случае, когда ошибки, возникающие на
различных выходах |
схемы, |
взаимо- |
|
||
независимы. Например, рассмотрим |
f,(X) |
||||
комбинационную |
схему, |
содержа |
|||
Уi |
|||||
щую т входов -и к выходов. Для за |
|||||
|
|||||
дания алгоритма |
ее работы исполь |
|
|||
зуем систему булевых функций: |
|
||||
0i = M-Vi, Хг, |
.... |
xm)=fi(X)\ |
|
|
|
|
|
|
|
w, |
|
yh = fk(Xl, |
Xz, |
Xm)-=fk(X), |
|
|
|
||
где X=(xi, |
хг, |
Xm) |
• слова |
на |
x, |
хг |
|
входе схемы. |
|
|
|
|
Рис. 1-1. Независи |
||
Если для |
реализации |
каждой |
из |
||||
мая |
реализация систе |
||||||
функций fi(X) |
использовать отдель |
мы |
булевых функций. |
||||
ную схему, то говорят о независимой |
|
|
реализации функций. Будем считать, что в этом случае комбинационная схема состоит из k независимых кана лов (.рис. 1-1). Возникновение неисправности в одном из каналов не влияет на работу других каналов, и поэтому
1 В книге знак « + » используется для обозначения операции как арифметического сложения, так и сложения по модулю 2. В тех слу чаях, когда в одном выражении выполняются обе операции, сумми рование по модулю 2 обозначается знаком ф .
9
вероятность отсутствия ошибки равна:
к
Р = р1Р,...Рк
1=1
где pi — вероятность отсутствия ошибки в i-м 'канале. Однакопринцип независимой реализации булевых
функций, при котором не производится их .совместная минимизация, приводит, как правило, к значительному увеличению «количества аппаратуры, требуемой для ре ализации схемы. Совместная минимизация функций с целью уменьшения затрат аппаратуры приводит к эф фекту «размножения ошибок», так как одиночная вну трисхемная неисправность может привести к ошибке па нескольких выходах (многократной ошибке).
В тех случаях, когда ошибки в отдельных символах слова не являются независимыми, вводится понятие па кета или вспышки ошибок. Пакетом ошибок называют группу ошибок, внутри которой ошибочные -символы от делены друг от друга менее чем а безошибочными сим волами. Метода вычисления значения а не существует, и
оно |
выбирается |
по |
условию.' Согласно |
рекомендации |
|||||
МККТ для каналов связи выбрано а=10 . |
|
|
|
||||||
Длиной вспышки |
называют количество символов меж |
||||||||
ду |
безошибочными |
символами, |
ограничивающими |
||||||
|
|
|
|
|
вспышку. Например, |
пусть |
|||
а,— |
СМ |
|
|
а = 2 и |
У= 1101101100, |
У* = |
|||
|
|
|
|
|
=1011110110; |
ошибку |
нахо- |
||
|
|
|
|
C i |
днм с помощью |
поразрядно |
|||
|
|
|
|
|
го суммирования по модулю |
||||
|
|
см\ |
|
|
два: |
|
|
|
|
|
|
|
|
|
£ = У + У * = 0110011010, |
||||
|
|
ГП2 |
|
|
т. е. возникли две вспышки |
||||
|
|
|
|
|
ошибок |
(одна |
|
длиной |
два |
|
|
|
|
|
разряда |
11 и вторая длиной |
|||
|
|
СМп Л |
|
|
четыре разряда 1101). По |
||||
|
|
|
|
лагая а = 1, говорят о сплош |
|||||
|
|
с |
/772 |
|
ных вспышках |
|
ошибок. |
||
|
|
ч |
Рассмотрим |
|
параллель |
||||
|
|
|
|
|
|||||
|
|
|
|
ный сумматор |
комбинацион |
||||
|
|
|
|
|
|||||
Рис. |
1-2. |
Сумматор |
комбина |
ного типа для |
|
выполнения |
|||
|
|
ционного типа. |
|
арифметических |
операций |
10
(рис. 1-2). Каждый одноразрядный комбинационный сум матор (СМ) содержит два выхода. На выходе с полу чаем значение суммы, а на выходе п-—переноса в стар ший 'разряд. Без ограничения общности можно предпо ложить, что внутрисхемная неисправность возникает в одноразрядном сумматоре, в котором производится сложение младших разрядов чисел. Вследствие неисправ ности ошибка может возникнуть как на одном из выхо дов одноразрядного сумматора, так и на обоих одно-
-временно. Поэтому имитировать последствия неисправ ности можно с помощью двух сумматоров по модулю
два, показанных на рис. 1-2, рассматривая все возмож ные комбинации ошибок et и <?2- Ошибка е\ приводит к инвертированию только младшего разряда суммы. По следствия ошибки е2 зависят от того, должен или нет возникать перенос при сложении а{ и bi. Если перенос должен возникнуть, то вследствие ошибки е% он будет «потерян», что эквивалентно вычитанию 2, т. е. веса сле дующего разряда. Если же перенос не должен формиро ваться, то ошибка во эквивалентна прибавлению 2.
Таким образом, получаемая сумма чисел А и В рав
на:
С* = (Л + 5 ^ 2 в 1 ) ф в 1 . |
(1-2) |
Вследствие наличия цепи межразрядного переноса ошибка б2 может привести к возникновению сплошной вспышки ошибок, длина которой зависит от суммируе мых чисел А и В.
Например, пусть /4=0110111. 5=0001001, т. е. должен возникать перенос из младшего разряда. Используя соотношение (1-2), полу чаем:
|
{А + В — 2-0) ф 0 |
= |
1000000, еслч ошибки |
отсутствуют; |
(1-3) |
||||||||
|
(А+В |
— 2-1) |
© 1 |
= |
0111111, |
если |
ег |
= |
|
1, |
<?, = |
1; |
(1-4) |
|
{А 4 - 6 |
— 2-1) |
© 0 |
= |
0111! 10; |
если |
е2 |
= |
|
1, |
е1=0. |
|
(1-5) |
Если пользоваться |
расстоянием |
Хэмминга, |
то |
при |
е 2 = 1 |
в дан |
|||||||
ном |
случае возникает |
ошибка кратности 7 |
|
(при |
et = 1) |
или |
кратно |
||||||
сти 6 (при ei=0) . |
|
|
|
|
|
|
|
|
|
|
|
||
Арифметическое |
расстояние |
d(Y, |
|
У*) |
|
между словами |
|||||||
У и |
У* определим как |
количество |
ненулевых |
символов |
в минимальном представлении арифметической разности этих слов (чисел). Понятие минимального представления числа У связано с его представлением в виде
У=#,! _,-2''-1 + г/„_2 -2'<-2 + . . . +yi.2+yo,
11