Существенные и несущественные неисправности. Понятие о транспортировании неисправностей
Определение 5.3. Неисправности являются несущественными, если для устройств O и Oi выполняется условие zj = zij. В противном случае неисправности являются существенными.
Неисправность s7 также не изменяет реализуемую функцию, но при этом нарушается условие независимости входов логического элемента. Действительно, при подаче на вход x2 сигнала 0 на входе x1 будет наблюдаться также 0 независимо от того, какой сигнал подается на этот вход извне. Таким образом, к.з. диода VD1 необходимо рассматривать как неправильную неисправность.
Отметим, что особенность рассмотренной неисправности s7 состоит в том, что она не нарушает функциональных свойств того элемента, в котором она возникает, но может нарушить функциональное поведение другого, связанного с ним исправного элемента устройства. Иными словами, в данном случае место возникновения неисправности не совпадает с местом ее проявления. Это можно показать на следующем примере.
Пример 5.3. В схеме, изображенной на рис. 35, неисправность к.з. диода VD1 в элементе И1 не меняет функцию, реализуемую на его выходе z1 = x1 x2, но функция, реализуемая на выходе исправного элемента И2, при этом изменяется, так как x1 и x2 из-за неисправности, возникшей в логическом элементе И1, постоянно присутствуют на входе исправного элемента И2. Поэтому вместо логической функции z2 = x1 x3 схема И2 реализует логическую функцию z*2 = (x1 Ú x2) x3.
Рис. 35. Пример проявления неисправности одного логического элемента (И1) в другом логическом элементе (И2)
Пример 5.4. Нарушение условия разделительности входов логических элементов может в некоторых случаях вывести рассматриваемое устройство из класса комбинационных. На рис. 36 изображена схема комбинационного устройства, в которой при к.з. диода VD1 в логическом элементе И3 образуется существенная обратная связь. Действительно, при входном сигнале x1 = 1 элементы И1, И2 и И3 образуют потенциальный триггер с раздельными входами x1 и x3.
Рис. 36. Преобразование КДУ в ДУ с памятью