Теория контроля контактных схем, страница 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

a

b

c

d

f

F

a

b

c

d

f

F

0

0

0

0

0

0

0

1

1

16

1

0

0

0

0

1

1

0

1

0

0

0

0

1

0

1

1

17

1

0

0

0

1

1

1

0

2

0

0

0

1

0

1

1

0

18

1

0

0

1

0

1

1

0

3

0

0

0

1

1

1

1

0

19

1

0

0

1

1

1

1

0

4

0

0

1

0

0

1

1

0

20

1

0

1

0

0

1

1

0

5

0

0

1

0

1

0

1

1

21

1

0

1

0

1

1

1

0

6

0

0

1

1

0

1

1

0

22

1

0

1

1

0

1

1

0

7

0

0

1

1

1

1

1

0

23

1

0

1

1

1

1

1

0

8

0

1

0

0

0

0

0

0

24

1

1

0

0

0

1

1

0

9

0

1

0

0

1

0

0

0

25

1

1

0

0

1

1

1

0

10

0

1

0

1

0

1

0

1

26

1

1

0

1

0

0

1

1

11

0

1

0

1

1

1

0

1

27

1

1

0

1

1

1

1

0

12

0

1

1

0

0

1

0

1

28

1

1

1

0

0

1

1

0

13

0

1

1

0

1

0

0

0

29

1

1

1

0

1

1

1

0

14

0

1

1

1

0

1

0

1

30

1

1

1

1

0

0

1

1

15

0

1

1

1

1

1

0

1

31

1

1

1

1

1

1

1

0