Курсовая Ярцев

Рассмотрим технический процесс работы холодильника. Его различным состояниям соответствует варианты графа: S^н- начальное состояние, когда холодильник выключен;S¹-состояние переключения холодильника в один из четырех возможных режимов:

1.температура в холодильной камере +3;

2.Температура в холодильной камере +5;

3.Температура в холодильной камере +7;

4.Дверь холодильной камеры открыта в течение 10 секунд, раздаётся звуковой сигнал, предупреждающий о повышении температуры в камере превышающее положенное значение.

S^k-конечное состояние.

Дуги графа соответствуют возможным переходам из одного состояния в другое. Каждой дуге графа D соответствует некоторый предикат активности P_i.

Это логическая переменная, единичное значение которого определяется наступлением некоторого события или выполнением некоторого условия, в противном случае: P_i=0. Если P_i=1, то D_i называется активной и может участвовать в развитие процесса происходящем в некоторый момент времени. Кроме предиката активности дуге соответствует приоритет – натуральное число в диапазоне от 1 до числа дуг исходящих из той же вершины. Приоритет =1 является наивысшим, это означает , что контролируется выход процессов из соответствующего состояния мы в первую очередь должны проверить активность именно этой дуги. Если данная дуга активна , то по ней фиксируется переход. В противном случае, проверяется следующая по приоритету дуга, исходящая из той же вершины. Таким образом, приоритет дуг устраняют ситуацию конфликта соответствующих переходов при их одновременной активности. Наконец в третьих, дуге соответствует некоторое сообщение C_i, которое выдается оператору в случае перехода процесса по данной дуге. Это сообщение несет информацию.

1.О действиях , которые были предприняты в автоматическом режиме.

2.О тех действиях, которые можно выбрать и реализовать в ручном режиме. Если мы обозначим через S² состояние