Скачиваний:
36
Добавлен:
23.04.2022
Размер:
4.96 Mб
Скачать

Задание 3

По заданной функциональной модели объекта записать уравнение выходов блоков и построить таблицу проверок.

 

 

 

 

 

 

 

X2

 

Y2

 

Y4

 

Y6

X1

 

 

 

2

4

6

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

5

 

 

 

 

 

 

3

 

 

 

 

X3

 

 

X5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y1 X2

2

X1 1

4

3

X3

 

Y2

Y4

Y6

4

 

6

5

 

 

Y3

Y5

 

471

 

 

 

Y1

 

 

X2

 

Y2

 

Y4

 

Y6

X1

 

 

 

 

 

 

 

 

2

 

 

 

4

 

 

 

6

 

 

 

 

1

 

 

 

 

 

Y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

5

 

 

 

 

 

 

5

 

 

 

 

X3

 

 

X5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y1 X2

2

X1 1

6

3

X3

Y2

Y4

Y6

 

4

6

Y3

 

 

X5

5

 

Y5

 

 

 

Y1 X2

2

X1 1

 

3

7

X3

Y2

Y4

Y6

4

 

6

5

 

 

Y3

Y5

 

 

Y1

X2

Y2

Y4

Y6

X1

1

2

 

4

6

 

 

 

 

 

 

 

Y3

 

 

8

X3

3

X5

5

 

 

 

Y5

 

 

 

 

 

 

 

 

X2

Y2

Y4

Y6

X1

1

2

 

4

6

 

 

 

 

 

Y1

 

Y3

 

 

 

3

 

5

 

9

X3

X5

 

 

Y5

 

 

 

 

 

 

472

 

 

 

 

 

 

 

 

 

 

 

X2

 

 

Y2

 

 

Y4

 

Y6

X1

 

 

 

 

 

Y1

 

 

 

2

 

 

 

 

 

 

 

 

 

4

 

 

 

 

6

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

Y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

 

X3

 

 

 

 

3

X5

 

 

 

 

 

 

 

 

5

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X2

 

 

Y2

 

 

Y4

 

Y6

X1

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

4

 

 

 

 

6

 

 

 

 

 

 

 

 

1

 

Y1

Y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

12

 

 

 

 

X3

 

 

 

 

X5

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X2

 

 

Y2

 

Y4

 

Y6

X1

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

4

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

Y1

Y3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

13

 

 

 

 

 

 

 

 

 

 

 

 

X5

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y1

X2

 

Y2

Y4

Y6

1

 

2

 

4

6

 

 

 

X1

 

 

 

 

 

 

 

 

 

3

Y3

5

 

 

 

 

X5

 

14

 

 

 

Y5

 

 

 

 

 

 

 

473

 

 

 

 

 

 

 

Y1

X2

 

 

 

 

 

 

 

 

2

X1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

15

 

 

 

 

Y1

X2

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

X1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y2

Y4

Y6

4

 

6

Y3

 

 

5

 

 

X5

Y5

 

Y2

Y4

Y6

4

 

6

Y3

 

 

5

 

 

X5

Y5

 

 

 

 

Y1

 

 

 

X2

 

 

X1

 

 

 

 

 

 

 

 

 

 

 

2

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

17

 

 

 

X3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y1

 

 

 

X2

 

X1

 

 

 

 

 

 

 

 

 

 

 

2

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

18

 

Y1

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X1

 

 

 

 

 

 

 

 

 

 

 

2

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

19

 

 

 

X3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y2

Y3

X5

Y2

Y3

X5

Y2

Y3

X5

 

 

Y4

 

Y6

4

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

Y4

 

Y6

4

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

Y4

 

Y6

4

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

474

Y1

X1 1

X3

20

Y1 X2

X1 1

21

X3

Y1

X1 1

22

 

 

 

X3

 

 

Y1

X2

 

 

 

 

 

X1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

23

2

3

2

3

2

3

2

3

Y2

Y3

X5

Y2

Y3

Y2

Y3

Y2

Y3

 

 

 

 

Y4

 

Y6

4

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y4

 

 

Y6

4

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y4

 

Y6

4

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y4

 

Y6

4

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X2

Y2

 

Y4

Y6

X1

1

2

 

4

6

 

 

 

 

 

Y1

Y3

 

 

 

 

 

 

 

 

 

X3

3

X5

5

 

24

 

Y5

 

 

 

 

475

 

 

 

Y2

 

Y4

Y6

X1

1

 

2

 

4

6

Y1

 

 

 

 

 

 

Y3

 

 

 

 

 

 

 

 

 

25

 

X3

3

X5

5

 

 

 

Y5

 

 

 

 

 

 

 

 

 

 

Y1

 

 

 

 

Y2

 

Y4

 

Y6

X1

 

 

 

 

 

 

 

2

 

 

 

 

4

 

 

 

6

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

5

 

 

 

 

 

 

26

 

 

 

X3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y3

 

Y5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y1 X2

2

X1 1

3

27

Y2

Y4

Y6

4

 

6

5

 

 

Y3

Y5

 

 

 

Y1

Y2

Y4

Y6

X1

1

2

 

4

6

 

 

 

 

 

 

 

Y3

 

 

28

 

3

X5

5

 

 

X3

Y5

 

 

 

 

 

 

 

 

Y1

Y2

Y4

Y6

X1

1

2

 

4

6

 

 

 

X6

 

 

 

Y3

 

 

 

 

 

 

 

 

3

X5

5

 

29

 

X3

Y5

 

 

 

 

 

 

476

 

 

Y1

Y2

Y4

Y6

X1

1

2

 

4

6

 

 

 

X6

 

 

 

Y3

 

 

 

 

 

 

 

 

3

X5

5

 

30

 

X3

Y5

 

 

 

 

 

 

477

Задание 4

Для заданного варианта релейно-контактной схемы построить:

таблицу функций состояний;

таблицу сравнений состояний, безусловный проверяющий тест

итест поиска места дефекта, а также эксплуатационную таблицу;

«дерево» условного теста.

1

 

 

 

 

 

&

 

 

 

a

c

 

1

 

 

 

 

 

 

 

 

 

 

b

 

1

 

 

2

 

z

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

c

 

b

 

 

 

 

 

 

 

z z==aа(c

bb))

 

 

 

 

z

 

 

 

 

 

 

 

 

2

a

&

b

1

 

c

 

&

 

a

b

 

 

2

z

c

 

 

 

 

 

 

z =za=(cа(cb)

z

 

3

a

 

 

 

 

 

 

&

 

 

 

a

 

 

 

 

 

 

 

 

 

b

 

 

 

1

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

c

z = a (c b)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

478

4

5

6

7

a&

b1

1 2

c

z= a (b c)

а&

b

 

 

 

1

 

 

 

 

 

 

1

 

 

2

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z = a (

 

c)

 

 

b

 

a &

b1

1 2

c

z = a( с b )

a &

b

 

1

 

 

 

 

 

2

 

1

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z =

 

(b

 

)

 

 

a

c

 

 

 

 

a

 

z

b

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

a

z

 

c

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

z

b

c

z

a

z

c

b

z

479

8

a

 

 

 

 

 

 

 

 

&

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

1

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z =

 

(

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

c

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

b

a

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

&

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

1

 

 

 

2

 

z

c

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z = a c b

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

a

&

c

1

b

 

1

a

b

 

 

2

z

c

 

 

z = a b c

z

 

11

 

 

 

 

 

 

a

 

 

 

b

a

 

 

 

 

1

 

 

 

 

 

&

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

1

 

 

 

 

 

 

 

 

 

 

 

 

2

z

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z = a (b c)

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

480