close

Вход

Забыли?

вход по аккаунту

?

Печать (2)

код для вставкиСкачать
Задача 4. Контроль и диагностика - этап обеспечения надежности систем автоматизации.
Получить контрольный тест и дерево контроля для комбинационного автомата для однократных константных отказов внешних входов (точек) a, b, c. Получить диагностический тест и дерево для внешних входов (точек) a, b, c. Получить тестовые наборы по переменной a методом булевой производной. Дана схема:
Функцию выхода можно вычислить как: z=a ̅⋅(b ̅⋁c).
Составим таблицу функций отказов (ТФО), для модели однократных константных отказов только внешних входов (таблица 1). Напишем значение функции выхода в каждом состоянии:
a^0:z=1⋅(b ̅⋁c)=b ̅⋁c;
a^1:z=0⋅(b ̅⋁c)=0;
b^0:z=a ̅⋅(1⋁c)=a ̅;
b^1:z=a ̅⋅(0⋁c)=a ̅⋅c;
c^0:z=a ̅⋅(b ̅⋁0)=a ̅⋅b ̅;
c^1:z=a ̅⋅(b ̅⋁1)=a ̅.
Таблица 4. Таблица функций отказов
№ВходыСостоянияabcz(S0)a0a1b0b1c0c1T000011[0]1[0]11T100111[0]11[1]1T2010000[1]00[1]T301111[0]11[0]1T41000[1]00000T51010[1]00000T61100000000T71110[1]00000
Составим контрольный тест (ТК) и преобразуем его:
ТК=(T_4⋁T_5⋁T_7 )(T_0⋁T_1⋁T_3 ) T_2 T_0 (T_1⋁T_3 ) T_2=(T_1⋁T_3 )(T_4⋁T_5⋁T_7 ) T_2 T_0=
=T_0 T_1 T_2 T_4⋁T_0 T_1 T_2 T_5⋁T_0 T_1 T_2 T_7⋁T_0 T_2 T_3 T_4⋁T_0 T_2 T_3 T_5⋁T_0 T_2 T_3 T_7.
Выберем первый тестовый набор T_0 T_1 T_2 T_4. Дерево контроля приведено на рисунке 4.
Рис. 4. Дерево контроля
Построим ТРО для 15 пар отказов по ТФО, получим таблицу 5.
Таблица 5.
Ta0a1a0b0a0b1a0c0a0c1a1b0a1b1a1c0a1c1b0b1b0c0b0c1b1c0b1c1c0c1T011111111T111111T211111111T311111111T411111T511111T6T711111
Построим упрощенную ТРО:
Ta0a1a0b0
a0c1a0b1a0c0a1b0
a1c1a1b1a1c0b0b1
b1c1b0c0
c0c1b1c0T0111111T11111T21111T3111111T41111T51111T71111(T0)(T4)(T0)(T3)(T0)(T3)(T0)(T0)(T3)(T0)
Визуальный анализ таблицы дает нам несколько тестовых наборов, например: T0T3T4, T0T2T3, T0T3T5. Выберем первый набор, видим, что он охватывает все виды отказов (последняя строка таблицы). Дерево диагностирования приведено на рисунке 5.
Рис. 5. Дерево диагностирования
Подсчитаем среднее число проверок:
N_ср=2⋅1/6+2⋅1/6+2⋅1/6+3⋅1/6+3⋅2/6=15/6=2,5.
Документ
Категория
Разное
Просмотров
76
Размер файла
82 Кб
Теги
печать
1/--страниц
Пожаловаться на содержимое документа