Основы синтеза и диагностирования автоматов. Воронин В.В. - 219 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

215
Ясно, что будет истинным высказывание: если объект испра-
вен, то он работоспособен и правильно функционирует. Формально
это высказывание имеет вид: I
→
R&P. Таблица истинности этого
сложного высказывания иллюстрирует возможные отношения между
данными тремя множествами состояний (табл. 6.1).
Для разработки методов контроля состоя-
ний и поиска дефектов используют диагности-
ческие модели (ДМ). Они должны отражать
процессы изменения ТС. В качестве ДМ дис-
кретных ОД, отражающих правильность их
функционирования, принято использовать ЛС.
В ЛС необходимо определить (знать, задать)
множество возможных дефектов. Это множест-
во может включать только одиночные дефекты, а может включать и
кратные дефекты – произвольные сочетания одиночных дефектов.
Рассмотрим некоторые классы возможных дефектов ЛЭ. Пусть
ЛЭ реализует логическую функцию от m аргументов f(x
1
,x
2
,…,x
m
).
Следовательно, он имеет m входов и один выход. Пусть также при
i-м дефекте он реализует функцию f
i
(x
1
,x
2
,…,x
m
). Этот дефект отно-
сят к классу логических дефектов, если справедливо соотношение
f(x
1
,x
2
,…,x
m
)
≠
f
i
(x
1
,x
2
,…,x
m
).
Дефекты q
i
и q
j
ЛЭ различимы (i
≠
j), если выполняется соотношение
f
j
(x
1
,x
2
,…,x
m
)
≠
f
i
(x
1
,x
2
,…,x
m
).
Известно, что число различимых логических функций от m
двоичных аргументов равно
m
2
2. Следовательно, число возможных
различимых (одиночных и кратных) дефектов
m-входового ЛЭ не
может превышать следующей величины:
l
i
=
m
2
2-1.
Одна функция соответствует работоспособному состоянию. Общее
Таблица 6.1
I R P RP
→
0 0 0 0 1
0 0 1 0 1
0 1 0 0 1
0 1 1 1 1
1 0 0 0 0
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1

Страницы