КР / кр 3
.docxФЕДЕРАЛЬНОЕ АГЕНТСТВО ЖЕЛЕЗНОДОРОЖНОГО ТРАНСПОРТА
Федеральное государственное бюджетное образовательное учреждение высшего образования
«Петербургский государственный университет путей сообщения
Императора Александра I»
(ФГБОУ ВО ПГУПС)
Факультет «Автоматика и Интеллектуальные Технологии»
Кафедра «Автоматика и Телемеханика на Железных Дорогах»
КОНТРОЛЬНАЯ РАБОТА №3
по дисциплине
«ОСНОВЫ ТЕХНИЧЕСКОЙ ДИАГНОСТИКИ»
ТЕМА РАБОТЫ
«ПОСТРОЕНИЕ ТЕСТОВ ДЛЯ КОМБИНАЦИОННЫХ СХЕМ НА ЛОГИЧЕСКИХ ЭЛЕМЕНТАХ МЕТОДОМ ЭКВИВАЛЕНТНОЙ НОРМАЛЬНОЙ ФОРМЫ»
Обучающийся |
________________ Подпись, дата |
Баранов_Д.А. И.О. Фамилия |
Сдан на проверку |
28.04.2020 Подпись, дата |
________________ Уч. звание, И.О. Фамилия |
Исправить замечания:_____________________
_________________________________________
|
________________ Подпись, дата |
___________________ Уч. звание, И.О. Фамилия |
Защита: ________________ Оценка
|
________________ Подпись, дата |
________________ Уч. звание, И.О. Фамилия |
Санкт-Петербург
2020
ВАРИАНТ 2. Заданная комбинационная схема:
1. Вычисление ЭНФ данной схемы
f = (g h)1
f
= ((e f)2
·
(
)3)1
f
= (((ad)4
v (bc)5)2
·
((
)5)3)1
= (((ad)4
v (bc)5)2
·
((
v (
v
)5)3)1
= ((a421
·
d421)
v (b521
·
c521))
·
(
31
v (
431
v
431)
=
31
a421
d421
v
b521
a421
d421
v
c521
a421
d421
v
31
431
431
v
b521
431
431
v
c521
431
431
при 3,1 – 1; 4,2,1 – 2; 4,3,1 – 3; 5,2,1 – 4, ЭНФ примет вид:
f = 1 a2 d2 v b4 a2 d2 v c4 a2 d2 v 1 3 3 v b4 3 3 v c4 3 3 = b4 a2 d2 v c4 a2 d2 v
v 1 3 3 = a2 d2 (b4 v c4) v ( 1 3 3)
f
= bad v
cad v
= ad (b v
c) v
2. Формирование контрольного множества неисправностей Eк
3. Таблица путей и проекций
Буквы ЭНФ |
Номер и вид неисправности |
|||||||||||
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
a2 |
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
b4 |
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
c4 |
|
|
|
|
|
|
|
|
|
|
|
|
d2 |
|
|
|
|
|
|
|
|
|
|
|
|