Теория контроля контактных схем, страница 7

          3. Выражение Р приводится к дизъюнктивной нормальной форме.

          4. Инвертируются буквы ЭНФ, соответствующие размыкающим контактам.

          5. Если рассматривается неисправность , то буква a инвертируется, если рассматривается неисправность , то буква a сохраняется без изменения.

          6. Исключаются индексы букв ЭНФ и в полученном выражении устраняются конъюнкции, тождественно равные нулю.

          Для иллюстрации алгоритма вычислим проверяющую функцию неисправности  по табл. 3.8:

          1. Р = a,

2. а) ,

    б) ,

    в) ,

    г) ,

    д) .

3. .

4. .

5. .

6. .

Пример 3.1. Вычислить проверяющие функции для неисправностей  и  в схеме рис. 3.1 по табл. 3.5.

1.  .

2. а) ,

    б) ,

    в) ,

    г) ,

    д) .

    e) .

3. .

4. .

Для неисправности :

5. .

6. .

          Для неисправности :

5. .  

6. .

3.4. Вычисление проверяющих функций

для кратных неисправностей

          Кратную неисправность в контактной схеме будем обозначать через , где  – множество букв ЭНФ (контактов) с неисправностью типа «константа 0» (обрыв);  – множество букв ЭНФ (контактов) с неисправностью типа «константа 1» (короткое замыкание).

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

          Определение 3.1. Функция  называется проверяющей неисправность , если она равна 1 на множестве наборов, на которых функция F, реализуемая исправной схемой, отличается от функции  реализуемой схемой с неисправностью .

          Согласно определению 3.1

.

Т а б л и ц а   3.9