Файл: Хетагуров, Я. А. Повышение надежности цифровых устройств методами избыточного кодирования.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