Компьютерные технологии в электроприводе. Доманов А.В. - 84 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

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

Рубрика: 

82
предусмотрена возможность вводить локальные переменные (аналогичные
локальным переменным программных единиц).
В общем случае переход Т из начального узла Nb в конечный узел Ne
характеризуется: охраняющим предикатом G, запускающим событием Е, и
действиями А. Возможны три типа запускающего события:
−
Некоторое логическое условие стало истинным (change event). Поступил
внешний сигнал (signal event).
−
Истекло определенное время после того как начальный узел Nb стал
текущим (time event). Семантика перехода следующая. Если узел Nb
является текущим и предикат G истинен или отсутствует, переход Т
становится открытым, в противном случае переход закрыт. Если
событие Е не указано, то открытый переход немедленно срабатывает.
Если указано событие Е, то открытый переход сработает только при
его
появлении и истинности предиката G (до появления события Е переход
может закрыться, если предикат G перестает быть истинным или узел
Nb текущим). Срабатывание представляет собой приведенную ниже
последовательность мгновенных действий:
выполняется мгновенная последовательность выходных действий узла Nb;
−
узел Nb перестает быть текущим;
−
выполняется последовательность действий А;
−
узел Ne становится текущим;
выполняется мгновенная последовательность входных действий узла Ne.
В действиях переходов и узлов возможно использование алгоритмических
функций и процедур, а в правых частях уравнений и формул – использование
алгоритмических функций, задаваемых либо с помощью встроенного
алгоритмического языка, подмножества языка Ada, либо во внешних
программных модулях.
В частном случае устройства с чисто дискретным
поведением всем узлам
карты поведения следует приписать пустые локальные поведения и тогда она
превращается в обычную карту состояний (с указанным выше отличием).
Элемент с чисто непрерывным поведением трактуется как гибридный с картой
поведения, состоящей из единственного узла, которому приписано
непрерывное поведение. Таким образом, дискретные аспекты поведения в MVS
отражаются с помощью
хорошо знакомого языка карт состояния, а
непрерывные аспекты – с помощью привычного языка систем уравнений и
формул.

Страницы