ВУЗ:
Составители:
175
Если множество состояний автомата разбить на два или более
непересекающихся подмножеств, то получим два или более подав-
томата данного автомата (рис. 5.15). Далее, рассматривая каждый
подавтомат как некоторое «сверх состояние», переходящий, тупико-
вый и изолированные подавтоматы могут быть определены точно так
же, как преходящее тупиковое
и изолированное состояния. На
рис. 5.15
последовательно,
слева направо имеем тупико-
вый, преходящий и изолиро-
ванный подавтоматы.
Графовый способ пред-
ставления автоматов также
удобен, когда разработчик без
всякой методики (такие методики существуют) переходит от содер-
жательного описания процесса функционирования автомата к фор-
мальному описанию (в виде графа).
Будем иллюстрировать такой переход
на примере системы управления (СУ
) кон-
диционерами (см. подраздел 4.3). Вспом-
ним таблицу истинности для СУ конди-
ционерами (табл. 5.7). В этой таблице, ис-
ходя из содержательного ТЗ, ничего не го-
ворится о том, что нужно делать с конди-
ционерами при t>35
0
C. Возможны четыре ситуации для значений
управляющих воздействий (y
1
,y
2
) при y
3
=1 (рис. 5.16): 001 – включен
сигнал аварии и отключены оба кондиционера; 101 – включен сигнал
аварии и первый кондиционер, отключен второй кондиционер; 011 –
Таблица 5.7
t
o
C x
1
x
2
x
3
y
1
y
2
y
3
≤
10
0 0 0 0 0 0
10~22 0 0 1 1 0 0
22~30 0 1 0 0 1 0
30~35 0 1 1 1 1 0
>35 1 0 0 0 0 1
1 0 1
1 1 0
1 1 1
1
4
7
2
5
8
3
6
9
Рис. 5.15
Страницы
- « первая
- ‹ предыдущая
- …
- 177
- 178
- 179
- 180
- 181
- …
- следующая ›
- последняя »
