Функциональное диагностирование дискретных систем, страница 7

Рис.6.17. Самопроверяемая схема контроля

Для получения схемы, в которой обнаруживаются все 100% одиночных  неисправностей  в  блоке  f (x), контроль осуществля-ется  по  группам  независимых выходов. Независимыми называются

                Э л е м е н т   10                                                                   Э л е м е н т   11

0  0  0

1

0

0  0  0

1

0

0  0  1

0

1

0  1  0

0

1

0  1  0

0

0

0  1  1

0

0

1  0  0

1

1

1  0  1

1

1

выходы, отвечающие следующему условию. В схеме f(x) не существует такого элемента, неисправности которого одновременно искажают значения хотя бы двух выходов из них. Например, в схеме рис. 6.16 выходы в парах {, } и {, } являются зависимыми, так как они оба связаны с элементами соответственно 2 и 3 и поэтому одновременно искажаются при возникновении неисправностей этих элементов. Выходы же  и  являются независимыми. Для каждой группы независимых выходов составляется отдельная схема контроля методом паритета; контрольные выходы объединяются между собой (например, при помощи МС), образуя единый контрольный выход. Если группа состоит только из одного выхода, то он  контролируется методом дублирования. В рассматриваемом примере имеется, таким образом, две группы независимых выходов {,}  и {}. Поэтому дополнительный блок p(x)  реализует две функции  =  и  . Полная схема контроля показана на рис. 6.18.

Рис.6.18. Контроль по группам независимых выходов

6.4. Контроль по коду с постоянным весом

          Код с постоянным весом или равновесный код образуют двоичные p-разрядные векторы, в которых w разрядов имеют значение единицы. Другие названия кода: код «w из p», pCw-код. Число слов кода равно . В табл. 6.1 приведены все шесть слов 4C2-кода.

          В коде обнаруживаются все одиночные и кратные однонаправленные ошибки одного типа (либо 0 ® 1, либо 1 ® 0), так как они изменяют число единиц в кодовом векторе.

          Например,

              1 1 0 0 – правильные векторы – 1 1 0 0

                 ¯                                                       ¯¯

              1 0 0 0 – искаженные векторы – 1 1 1 1.

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

                                         1 1 0 0             правильный вектор

                                            ¯¯

                                         1 0 1 0             искаженный вектор

          В схеме контроля по коду с постоянным весом (рис. 6.4) дополнительный блок g(x)  вычисляет дополнительные функции  с таким расчетом, чтобы при подаче на вход схемы любого рабочего вектора на выходах блоков f(x) и g(x) формировались слова pCw-кода. При этом p = m + k, а вес w зависит от максимального числа единиц, которое может содержаться в векторе . В качестве тестера, как правило, используется СПТ (рис. 6.7), так как сложность детектора кода с одним выходом больше сложности СПТ с двумя выходами.

Рассмотрим схему, заданную системой функций (6.1). В табл. 6.7 приведена таблица истинности для функций   и , из которой следует, что в исправном состоянии на выходах схемы формируются трехразрядные векторы с весами w = 0, 1, 2. Число контрольных разрядов (дополнительных выходов блока g(x))

,

где  и  – максимальное и минимальное число единиц в векторах, формируемых на выходах исправной схемы f(x).

                                                                                    Т а б л и ц а   6.7