Файл: Хетагуров, Я. А. Повышение надежности цифровых устройств методами избыточного кодирования.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 19.10.2024

Просмотров: 175

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Схемы,

с помощью которых

производится вычисление остатков

(вычетов),

 

называют схемами

свертки. Схема свертки по модулю

Л=2Г1

этом случае е—г)

показана на рис. 5-6,а. Число В, от

которого производится вычисление остатка, помещается в закольцо­ ванный сдвигающий регистр. Одновременно младшие г разрядов по­

ступают в накопительный г-разрядный сумматор.

Затем

производит­

ся сдвиг кода в регистре на г разрядов вправо

и вторая

группа из

г разрядов суммируется с первой в накопительном сумматоре.

Для

вычисления остатка требуется выполнить п/г1

сдвигов,

где

п —

длина кода. Время, затрачиваемое на получение

вычета,

равно:

t = ( л / г - 1 ) * г ,

где i"s —время сложения в накопительном сумматоре. При этом пред­

полагается, что время сдвига ta < tt.

Если п ^> г, то время t может

Г "

 

&

&

 

&

&

&

I

/ _!_0

Рис. 5-7. Логическая схема одного каскада последователь­ ной схемы свертки по модулю Л = 3 .

 

 

Вычет

 

 

 

JTC

 

 

л с

 

л с

л с

л с

л с

л с

 

 

Регистр

 

Рис. 5-8. Структурная схема свертки пирамидально­ го типа.

155


Рис. 5-9. Логическая схема одного каскада последовательной схемы свертки по модулю

А=5.

оказаться значительным. Поэтому для небольших модулей часто применяется схема свертки, показанная на рис. 5-6,6. Данная схема состоит из п/г идентичных каскадов (логических схем), которые со­ единены последовательно. В этом случае время вычисления вычета равно:

 

 

 

 

 

ЫпЦг,

 

 

где t3

время

задержки

сигнала одним

каскадом.

В

качестве

примера

на

рис. 5-7 показана

Л С одного каскада,

если

модуль Л = 3 . В

рассматриваемой

схеме

для кодирования ин­

формации о значении

вычета

используется унитарный код, т. е. ис­

пользуются три шины. Появление сигнала иа шине 0 соответствует

коду 00, иа шине

1 — коду 01, иа шине 2 — коду

10. Принцип по­

строения

и работы

схемы ясны из рис. 5-7, если

учесть, что вес дво­

ичного разряда, запоминаемого первым триггером

равен 1 (по мо­

дулю Л = 3 ) , а вес разряда, запоминаемого вторым

триггером,

равен

2 (по модулю Л = 3 ) . В общем случае иа реализацию

одного

такого

каскада

требуется

2rA = 2r(2r—i) вентильных

схем

на два

входа.

Экономичной является реализация таких схем на магнитных элемен­

тах с разветвленным магнитопроврдом.

 

 

 

Наибольшее быстродействие достигается с помощью пирамидаль­

ных схем свертки, структура которых показана

на

рис. 5-8. Время

получения вычета в таких схемах равно:

 

 

 

t=mt3={\og2{nlr)]t3,

 

 

где т — количество линеек логических

схем; t3

— время задержки

сигнала одной логической схемой.

 

 

 

Схемы свертки по модулю АФ2Т—1

строятся

аналогично рас­

смотренным. Например, схема с накопительным

сумматором и сдви­

гающим регистром позволяет вычислить е-разрядную сумму. Затем производится коррекция содержимого сумматора в соответствии с рассмотренным выше алгоритмом. В схемах свертки с последова­

тельным соединением логических

схем

на

выходе

формируется

(в унитарном коде) значение вычета, которое не нуждается

в какой-

либо коррекции. Например, на рис. 5-9 показана Л С одного

каскада

схемы свертки по модулю Л = 5 . При синтезе

схемы

было

учтено,

что е = 4 и веса двоичных разрядов

равны

1, 2, — 1 , —2 по модулю 5.

В заключение заметим, что применение унитарного кода позво­ ляет ввести контроль схемы свертки, так как при любом значении кода, записанного в регистре, только на одном из выходов последне­ го каскада должен появиться сигнал.

Г л а в а ш е с т а я

ОЦЕНКА НАДЕЖНОСТИ ЦИФРОВЫХ УСТРОЙСТВ ПРИ ИСПОЛЬЗОВАНИИ КОРРЕКТИРУЮЩИХ

 

 

 

к о д о в

 

 

 

6-1. КОЛИЧЕСТВЕННЫЕ

ХАРАКТЕРИСТИКИ

НАДЕЖНОСТИ

•Понятие

надежности

устройств

обработки

информа­

ции

имеет

ряд существенных особенностей,

обусловлен­

ных

возможностью возникновения

сбоев и их

влиянием

157


на правильность функционирования Таких устройств, пб сравнению с понятием надежности электронной аппара­ туры вообще. Надежность цифрового устройства или ЦВМ целесообразно определить как способность безо­ шибочно выполнять заданный алгоритм переработки входной информации в течение требуемого промежутка времени при заданных условиях эксплуатации [Л. 43]. Требования к надежности и использование тех или иных критериев (количественных характеристик) ее оценки во многом определяются условиями эксплуатации и функ­ циями ЦВМ, а также реализуемыми алгоритмами. В на­ стоящей работе не ставится цель исследовать все воз­ можные режимы работы и соответствующие им совокуп­ ности характеристик надежности вычислительных ма­ шин (устройств). Основное внимание уделяется только следующим важным характеристикам: вероятности функ­ ционально 1 безотказного состояния аппаратуры в тече­ ние требуемого промежутка времени и достоверности выдаваемой информации.

Прежде чем дать определения этих понятий и рас­ смотреть способы их количественной оценки, необходимо сделать несколько замечаний относительно используе­ мых ниже основных терминов и понятий.

Устройство (автомат) называется неизбыточным, если неисправность любого элемента приводит к непра­ вильному функционированию устройства в целом, т. е. имеет место последовательная схема расчета надежно­ сти (основное соединение элементов). В противном слу­ чае устройство называется избыточным и схема расчета надежности отлична от последовательной. Вместе с тем факт наличия или отсутствия отказавших элементов является существенным, так как из-за появления отка­ завших элементов избыточное устройство с течением времени деградирует в сторону уменьшения избыточно­ сти. Поэтому целесообразно разграничить понятия функ­ ционально безотказного и безотказного состояния устрой­ ства.

Под безотказным состоянием будем понимать такую ситуацию, когда в устройстве отсутствуют отказавшие элементы, под функционально безотказным состоянием—

работоспособное состояние устройства. В случае неизбы­ точных устройств оба понятия эквивалентны одному — понятию безотказного состояния.

1 Термин неустановившимся.

J 58

В дальнейшем, как это принято в современной тео­ рии надежности, предполагаем, что вероятность безот­ казного состояния устройства в течение времени t равна:

P{t) = e -At

где Л — интенсивность отказов аппаратуры, характери­ зующая ее количество и режимы работы (см. гл. ^ . В в е ­ дение избыточности (в частности, при использовании из­ быточного кодирования) сопровождается увеличением количества аппаратуры по сравнению с неизбыточным вариантом и, в общем случае, увеличением времени реа­ лизации алгоритма. Поэтому вероятность безотказного состояния P(t) избыточного устройства в течение вре­ мени реализации алгоритма будет всегда меньше, чем вероятность неизбыточного. Относительно соотношения между вероятностью функционально безотказного со­

стояния

Л|)(0

избыточного

Г

 

 

- 1

варианта

и

вероятностью

 

 

 

 

1

безотказного

состояния

 

 

 

1

неизбыточного

варианта

не­

вход*

и

н

\выхоО

возможно

сделать

столь

!

 

 

1

определенный вывод. В каж­

 

 

1

дом

конкретном случае

не­

 

 

 

1

обходимо

рассчитать

Яф(/)

 

 

 

 

и сравнить ее с вероятностью

Рис. 6-1. К расчету надежно­

безотказного

состояния

не­

сти

избыточного

устройства.

избыточного варианта.

 

II — избыточная часть; Н — нснзбы-

 

 

точная часть.

 

Методы расчета вероятно­

 

 

 

 

 

 

сти

функционально

безот­

 

 

 

 

казного состояния избыточных устройств в течение за­ данного времени разрабатываются в общей теории на­ дежности [Л. 43—45]. Наиболее просто Pt\>(i) вычисляет­ ся в том случае, когда избыточному устройству соответ­ ствует последовательно-параллельная схема расчета на­ дежности. В тех случаях, когда это условие не выполня­ ется, может быть использован матричный метод. Идея матричного метода заключается в следующем. Пусть рассматриваемое устройство содержит М элементов, каждый из которых может находиться в одном из двух состояний (безотказном или в отказавшем). Тогда коли­ чество возможных состояний устройства равно 2 м , а ве­ роятности этих состояний могут быть рассчитаны по

.характеристикам .надежности элементов.. Суммируяверо-

J59



ятности состояний устройства, при которых функциональ­ ный отказ не наступает, получаем значение P<i>(t). Ма­ тричный метод универсален в том смысле, что он приме­ ним для анализа устройств со сложной структурой. Одна­ ко с увеличением М быстро растет количество возможных состояний устройства и метод становится малоэффектив­ ным. В этих случаях приходится использовать прибли­ женные методы.

С методической точки зрения избыточное устройство целесообразно разделить на две части, последовательно

соединенные в схеме

расчета

надежности

(рис. 6-1).

К первой, называемой избыточной частью

устройства

(И), относятся те элементы, отказ каждого

из которых

(в предыдущий момент

времени

устройство

находилось

в безотказном состоянии, отказывает только один из упомянутых элементов) не приводит к функциональному отказу устройства. Ко второй части, называемой неиз­

быточной (Н), относятся все оставшиеся

элементы,

т. е.

отказ любого из них приводит к функциональному

отка­

зу устройства. Тогда

 

 

РФМ=Р*У)РН№,

 

(6-1)

где PB(t) — вероятность функционально

безотказного

состояния избыточной^части ^устройства в течение вре­ мени t; Pa(t) = e~ к —вероятность 'безотказного со стояния неизбыточной части устройства в течение време-

Мамеит окончания профилактических, ремонтных, или регламентных раВот

Рис. 6-2. Временная диаграмма.

ни t; Л н — интенсивность отказов неизбыточной части аппаратуры.

Достоверность выдаваемой информации / есть веро­ ятность правильности ответов (под «ответом» понимает­ ся числовая информация, командная информация или управляющие сигналы), выдаваемых устройством (ма­ шиной) в систему. Достоверность информации / зависит от:

160