Лекции.Орг


Поиск:




Цвет Четность Цвет ГСА




0о 01101011 000 1 0

А 1 00110101 001 0 1

А 2 01000100 010 0 2

А 3 10111000 011 0 3

А 4 00010110 011 1 3

А 5 01011101 100 1 4

А 6 00101011 000 0 0

А 7 10001101 001 0 1

А 8 11101011 000 0 0

Аk 11000011 011 0 3

 

Контроль выполнения программы осуществляется следующим обра­зом. При выборке очередной команды цвет сравнивается с эталоном, про­изводится проверка на четность, а также специальная схема ИЛИ-НЕ оп­ределяет, не произошло ли пропадание команды. ССВК, реализующая данный метод контроля, приведена на рис. 4.32. В качестве примера реали­зована ССВК для m = 2. Счетчик по модулю 2 формирует эталонную по­следовательность цветов, в качестве строба выступает сигнал выборки очередной команды. На схему ИЛИ-НЕ поступают основные разряды ко­манды и дополнение до четности, схема проверяет, не произошло ли про­падание команды. Первый сумматор по модулю 2 производит проверку на четность основных разрядов команды и дополнения до четности. Второй сумматор по модулю 2 осуществляет сравнение эталонного цвета с цветом, записанным в избыточных разрядах команды, а также выявляет наличие единицы (т.е. присутствие дефекта) на схемах ИЛИ-НЕ первого сумматора по модулю 2. Для обеспечения самопроверяемости СВК имеет два выхода: S 1 и S 2. При отсутствии строба с S 1 выходит единица, а с S 2 – нуль, за это время происходят все необходимые преобразования и сравнения. При появ­лении сигнала «строб» S 1 переходит в 0, а на выходе S 2 при правильной ра­боте будет 1. Если же в команде имеется один из оговоренных дефектов, то в момент строба на выходе S 2 будет нуль.

S 1
S 2

Рис. 4.32. ССВК для контроля по цвету

 

 

Однако ССВК, представленная на рис. 4.32, не является полностью самопроверяемой. Постоянный нуль на выходе второго сумматора, напри­мер, обнаружен не будет, равно как и постоянный нуль на выходе схем ИЛИ-НЕ и первого сумматора по модулю два. Чтобы построить полностью самопроверяемую СВК, надо использовать самопроверяемую схему ИЛИ-НЕ и самопроверяемые сумматоры по модулю два. Эти изменения отра­жены пунктиром на рис. 4.33. Для данного метода

 

,

 

t изб.max рассчитаем по наихудшему случаю, когда программа состоит из одинаковых команд и между каждой парой команд приходится вставлять m – 1 диагностическую вершину:

 

что при достаточно большом N (число вершин в непреобразованной ГСА) даст

.

 

Ошибки механизма дешифрации обнаруживаются со следующими вероятностями:

– переход Ki / Kj – с вероятностью (1 – 1/ m);

– переход Ki /Æ – с единичной вероятностью;

– переход Ki / Vn Kn – в случае, если затронуты избыточные разряды, в которых хранится цвет команды.

 

S 2
S 1

Рис. 4.33. Полностью самопроверяемые СВК

 

Для механизма хранения обнаруживаются все однократные ошибки и ошибки, нарушающие четность команды.

ССВК, как видно на рис. 4.32, достаточно проста и требует мини­мального объема аппаратуры. Ошибка обнаруживается в момент ее прояв­ления, поэтому для восстановления после сбоя достаточно еще раз прочи­тать текущую команду.

Отсюда видно, что обнаруживающая способность данного метода контроля по отношению к дефектам механизма хранения низка. Для улуч­шения ее разработан следующий вариант метода контроля с использова­нием раскраски ГСА.

 





Поделиться с друзьями:


Дата добавления: 2015-05-08; Мы поможем в написании ваших работ!; просмотров: 1249 | Нарушение авторских прав


Поиск на сайте:

Лучшие изречения:

Самообман может довести до саморазрушения. © Неизвестно
==> читать все изречения...

1036 - | 889 -


© 2015-2024 lektsii.org - Контакты - Последнее добавление

Ген: 0.012 с.