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

UptoLike

ВУЗ: 

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

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

Рубрика: 

81
элементами. Для передачи информации о дискретных событиях используется
специальный тип – сигнал.
Устройства могут соединяться между собой однонаправленными
функциональными связями и входить в состав других устройств, образуя
иерархическую структуру связей. Следует отметить, что однонаправленность
связей является осознанным ограничением, вызванным проблемами с
получением численного решения для композиции гибридных блоков.
4.3. Поведение
Предполагается, что поведение любого блока является гибридным. Для
задания гибридного поведения авторами пакета выбран формализм гибридного
автомата, как самый наглядный и мощный (отрицательным следствием этого
выбора являются некоторые проблемы с численным решением, но мы
предполагаем, что эти проблемы в перспективе разрешимы).
Гибридным автоматом называется граф переходов, узлам которого
приписаны некоторые непрерывные
отображения, а дугам – условия переходов
и выполняемые действия. В настоящее время для формального описания
дискретных "машин состояний" стандартом de facto стала «карта состояний»
(statechart), придуманная Д. Харелом и используемая в стандарте UML. Карта
состояний, узлам которой приписаны некоторые непрерывные отображения,
называется гибридной картой состояний. Она представляет собой простую и
очень наглядную форму визуального представления
смены поведений.
В MVS используется специальное ограничение гибридной карты
состояний, называемое картой поведения.
Карта поведения (bihavior chart или B-chart) – это ориентированный граф, в
котором узлам приписываются некоторые локальные поведения, а дугам,
называемым переходами, – условия перехода от одного поведения к другому и
выполняемые при этом действия. Узел, в котором система находится в каждый
конкретный момент
времени, называется текущим. Один из узлов должен быть
предварительно помечен как начальный, он автоматически становится текущим
при создании карты состояний. Соответствующее ему начальное поведение
создается при создании экземпляра устройства. Смена текущего узла
происходит в результате срабатывания переходов. Когда узел становится
текущим, создается экземпляр приписанного ему локального поведения.
Созданный экземпляр уничтожается, как
только узел перестает быть текущим.
Именно в этом и состоит отличие карты поведения от карты состояний – в
последней локальное поведение существует всегда и можно вернуться в его
текущее состояние (history indicator).
Локальное поведение может быть описано как: непрерывное поведение;
карта поведения (в этом случае узел называется гиперузлом); пустое поведение
(NULL).
Графический образ карты
поведения позволяет в наглядной форме
представлять множества допустимых локальных поведений устройства, их
области определения в фазовом пространстве и времена переходов от одного
локального поведения к другому. При описании локальных поведений

Страницы