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

UptoLike

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

176
включен сигнал аварии и второй конди-
ционер, отключен первый кондиционер;
111все три выхода активны.
Вот пример того, почему важно
представлять ТЗ на формальном языке!
Из табл. 5.7 видно, что наборы 101, 110 и
111 (три последних строки) не могут в
действительности иметь место, если дат-
чик температуры и АЦП находятся в
исправном состоянии.
Пусть при уточнении ТЗ с заказчиком, последний потребовал,
чтобы при входном наборе 100 выходной набор зависел от состояния
исполнительных механизмов в текущий аварийный момент, а имен-
но: если кондиционеры были включены, то их следует оставить
включенными; если они не были включены (температура увеличи-
лась скачком за время меньшее,
чем
тактовое время опроса датчика сис-
темой управления, см. рис. 5.16), то
включать их не следует. При таком
уточнении задания работу СУ уже
нельзя описать однозначно систе-
мой трёх логических функций от
трёх переменных. Из заданной си-
туации можно выйти двумя путями.
Во-первых, можно увеличить число входов комбинационной системы
(
рис. 5.17), т.е. поставить по датчику на каждый кондиционер. Эти
датчики будут давать информацию о состоянии кондиционеров. То-
гда выходным аварийным наборам в «новой» СУ будут соответство-
вать следующие входные наборы:
Д
СУ
К1
К2
ТГ
x
1
- x
3
y
1
y
2
y
3
T
t
0
C
Рис. 5.16
0, К1, К2 выключен
1, К1, К2 включен
x
4
,x
5
=
Рис. 5.17
СУ
x
5
x
4
x
3
x
2
x
1
К2
К1
D2
y
1
D3
y
2