Диагностирование логических схем на функциональных элементах, страница 22

«звезда» (к каждой клемме подключается не более двух проводников), а также если к одной крайней клемме монтажной группы подключается источник питания (см. рис. 4.43), а к другой крайней клемме – вход элемента И, то ЭМ имеет легко контролируемую структуру. Для обнаружения всех обрывов во всех монтажных группах в тест достаточно включить только один набор А, в котором сигнал 1 подается на все крайние клеммы монтажных групп. Поэтому длина проверяющего теста

.                                         (4.39)

В рассматриваемом случае в тест включаются все наборы типа В и один набор типа А под номером 1 (см. табл. 4.12). Для n-жильного кабеля имеем: , , для монтажной схемы параллельного включения реле (рис. 4.42) – .

          Для построения диагностического теста используются проверяющие наборы третьего типа. Набор типа С образуется по правилу: в одной монтажной группе одна из переменных равна 1, все остальные переменные равны 0, а все переменные во всех остальных монтажных группах равны 1.

          Набор типа С указывает место обрыва с точностью до монтажной группы. Например, в схеме рис. 4.44 обрывы первой группы (клеммы 1, 2, 3) обнаруживаются наборами

В данных наборах на все входы элементов ИЛИ, соответствующих другим (кроме первой) монтажным группам, подаются сигналы 1. Это нейтрализует последствия возможных обрывов в этих группах.

          Для указания обрыва с точностью до пары клемм фиксируются все наборы типа С для данной группы, которые обнаруживают обрыв. Анализ множества этих наборов позволяет указать две клеммы, между которыми имеет место обрыв. Рассмотрим, например, обрыв  в монтажной схеме на рис. 4.49.

Рис.4.49.

Данный обрыв обнаруживается на трех наборах

1   2   3   4   5   6   7   8   9  

0   0   0   0   0   0   1   0   0            

                            0   0   0   0   0   0   0   1   0

                            0   0   0   0   0   0   0   0   1 .

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

1   2   3   4   5   6   7   8   9  

                            0   0   0   0   0   0   1   1   1  ,