Иерархические Е-сети как средство моделирования дискретно-непрерывных технологических процессов

УДК 004.94

А.А. СЕРАЯ*

ИЕРАРХИЧЕСКИЕ Е-СЕТИ КАК СРЕДСТВО МОДЕЛИРОВАНИЯ ДИСКРЕТНОНЕПРЕРЫВНЫХ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ

Институт проблем математических машин и систем НАН Украины, Киев, Украина

Анотація. Розглянуто підхід та імітаційні моделі, розроблені в системі моделювання E-net Modeling System (EMS) на основі потужного формального апарата ієрархічних Е-мереж, що дозволяють моделювати дискретно-неперервні технологічні процеси.

Ключові слова: дискретно-неперервні процеси, Е-мережі, система моделювання EMS.

Аннотация. Рассмотрены подход и имитационные модели, разработанные в системе моделирования E-net Modeling System на основе мощного формального аппарата иерархических Е-сетей, которые позволяют моделировать дискретно-непрерывные технологические процессы.

Ключевые слова: дискретно-непрерывные процессы, иерархические Е-сети, система моделирования EMS.

Abstract. The paper is presenting the approach and simulation models developed on E-net Modeling System on the base of powerful formal apparatus of hierarchic E-nets allow simulating discrete-continuous technological processes.

Keywords: discrete-continuous processes, hierarchic E-nets, EMS simulation system.

1. Введение

На сегодняшний день дискретно-непрерывные (гибридные) технологические процессы встречаются практически во всех областях деятельности человека. Фактически все технологические процессы систем, которые взаимодействуют с внешним окружением, можно отнести к данному классу. Кроме того, гибридные модели позволяют проводить анализ качественных характеристик дискретно-непрерывных процессов, не прибегая к численному моделированию отдельных траекторий. В связи с этим моделирование дискретнонепрерывных процессов является актуальным.

Разработка методов и программных комплексов для моделирования и анализа дискретно-непрерывных процессов проводится достаточно давно [1-3], однако анализ современных достижений в данной области констатирует наличие нерешенных проблем, связанных, в частности, с отсутствием универсального метода построения и верификации дискретно-непрерывных имитационных моделей.

Целью данной статьи является разработка универсального формального аппарата иерархических Е-сетей, который позволит создавать и исследовать модели дискретнонепрерывных технологических процессов.

2. Формальный аппарат иерархических Е-сетей

В основе иерархических Е-сетей лежат агрегативные Е-сети, предложенные в [4] и базирующиеся на классе кусочно-линейных агрегатов (КЛА). Некоторое сужение общего подхода в данном случае обеспечивает необходимую формальную базу. КЛА позволяют моделировать широкий класс объектов, а также обеспечивают возможность построения многоуровневых агрегативных систем, их можно рассматривать в качестве моделей вход-выход. Функционирование КЛА представляет собой кусочно-линейный марковский процесс, задаваемый во времени time следующим выражением:

x

© Серая А. А., 2013

ISSN 1028-9763. Математичні машини і системи, 2013, № 4

где q є Q - некоторая дискретная величина, называемая основным состоянием; хч = (Xql,хч2,...,Xq|q|) - вектор дополнительных координат размерности , соответствующий основному состоянию; - неотрицательная величина, называемая рангом ос-

новного состояния.

КЛА свойственно линейное равномерное изменение значений координат вектора

Х„

dxr:

q'

q

dtime

= -а,

где a - положительная константа.

Иерархические Е-сети (hierarchic E-net - IE-net) - это расширение агрегативных Е-сетей, которые, наряду с неделимыми, атомарными компонентами, содержат составные компоненты, сами представляющие собою Е-сети [5].

Формально иерархические Е-сети определим в виде семерки:

IE = {P, T, A, I, O, M0, F, m, v},

где P = {Ps , Pr } - конечное непустое множество позиций, состоящее из непересекающих-ся подмножеств P^ - простых позиций и Pr - решающих позиций, P^ П Pr = 0 ;

T={T'',''TF,''TJ,''TX,''TY,''TQF,''TQL,''TPrQF,''TPrQL "} - конечное непустое

множество переходов, включающее в себя переходы разных типов, различаемые алгоритмами их срабатывания, T П P = 0 ;

A = [ах, a2,..., an } - множество вложенных агрегатов. IE основаны на агрегативных Е-сетях, поэтому агрегаты IE относятся к классу кусочно-линейных агрегатов;

I : P х T  {о, l} - входная функция, задающая отображение позиций в переходы, то

есть определяющая для каждого перехода t е T множество его входных позиций I(t). Если существует дуга, ведущая из p е P в t е T, то I(p, t) = l, в противном случае I (p, t) = 0;

O : P х T {0,l}- выходная функция, задающая отображение переходов в позиции, то есть определяющая для каждого перехода t е T, множество его выходных позиций O(t) . Если существует дуга, ведущая из t eT в p е P, то O(p, t) = l, в противном случае

O( p, t) = 0;

Mо : Ps  {о, l} - функция начальной маркировки сети;

F с (P х A) и (A х P) - функция, задающая отношение вложенности для агрегатов. В иерархических Е-сетях допускается соединение позиций Е-сети с вложенными агрегатами. На отношение вложенности накладываются ограничения, задаваемые операциями слияния для входных и выходных позиций вложенного агрегата;

jm - операция слияния позиций Е-сети с входными позициями вложенного агрегата. Одной позиции Е-сети может соответствовать только одна входная позиция вложенного агрегата:

"

где p , p , pin - позиции Е-сети и входные позиции вложенного агрегата соответственно.

V - операция слияния выходных позиций вложенного агрегата с позициями Е-сети. Одной выходной позиции вложенного агрегата соответствует только одна позиция Е-сети:

"

где P , P , Pout - позиции Е-сети и выходные позиции вложенного агрегата соответственно.

Агрегат в иерархических Е-сетях представляет собой Е-сеть с заданными входными и выходными позициями:

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

В 1Е агрегат может быть вложенным непосредственно в структуру Е-сети (рис. 1), что позволяет значительно ускорить процесс разработки моделей за счет повторного использования кода. Кроме того, такой подход позволяет упростить структуру модели, выделив сложный процесс во вложенный агрегат.

В свою очередь каждый вложенный агрегат также может содержать в своей структуре вложенные агрегаты. Каждый агрегат моделирует отдельный вложенный параллельный процесс. Пример 1Е-сети, состоящей из трех агрегатов А1, А2, А3 на верхнем уровне и одного вложенного агрегата А4, приведен на рис. 2. Внутренняя структура каждого агрегата изображена в отдельном блоке.

XI Р4

А1

| Al.inPl Al.outPl I—

0UtP6

__________A2__________ P9 0UtP9

Рис. 1. Структура E-сети с вложенными агрегатами

Рис. 2. Пример IE-сети

Функционирование модели в целом состоит из параллельных процессов работы отдельных агрегатов, внутренняя структура которых описывается с помощью Е-сетей, и обмена сигналами между ними. В качестве вложенного агрегата может выступать разработанная и протестированная Е-сетевая модель. С помощью вложенных агрегатов иерархической Е-сети могут быть описаны как дискретные, так и непрерывные процессы. Таким образом, применение аппарата иерархических Е-сетей позволяет создавать имитационные иерархические разнородные модели.

3. Моделирование дискретно-непрерывных процессов с помощью аппарата IE

Модели непрерывных процессов могут быть представлены разностными или дифференциальными уравнениями. Состояние таких моделей меняется во времени непрерывно. В общем случае анализируемому i -му значению непрерывного процесса соответствует уравнение вида

A = Fi

где Fi (time) - закон изменения непрерывных величин от времени.

Когда существует линейная зависимость входной величины от переменных состояния, используется разностное уравнение вида

i i Ml*

A M = A . ' +

time time i

где time - следующий момент времени; time - текущий момент времени;

A1 M - значение A1 в момент времени time ;

time

A1 ' - значение A1 в момент времени time ;

timel *

Fi - закон изменения непрерывных величин.

Альтернативным способом определения A1 является задание производной переменной состояния. В этом случае производная интегрируется для получения значений A1 на каждом шаге:

timeM

A M = A M + J D1 dtime,

timeM timeM timel

где Dl = a * A1 + b, что соответствует дифференциальному уравнению:

d

dt

= a * A1 + b.

Значения переменных состояния вычисляются в результате решения соответствующих уравнений в отдельный момент времени, с сохранением полученных значений для последующего использования. Для нового момента времени используется информация о значениях переменных состояния, полученных на предыдущем шаге. Шаг за шагом происходит вычисление требуемой переменной, которое затем выводится в виде результата моделирования. Шаг моделирования задается с помощью функций задержки на переходах Е-сети. Полученные результаты обрабатываются с помощью линейной аппроксимации (рис.

3).

time t

Рис. 3. Линейная аппроксимация значений непрерывной величины

Рис. 4. Пример системы «двух баков»

Поскольку моделирование непрерывных процессов зачастую требует значительных ресурсов, целесообразно выделять такой процесс в отдельный вложенный агрегат иерархической Е-сети.

3.1. Базовая модель

Рассмотрим в качестве примера моделирования дискретно-непрерывных процессов систему, описанную в [6]. Система состоит из контроллера и двух цилиндрических баков, наполняемых водой. Баки соединены между собой и расположены вертикально на разной высоте таким образом, что дно первого бака находится на расстоянии Н = 0,39м от дна второго (рис. 4). Баки имеют одинаковую высоту И = 1м и различные диаметры: д = 0,12м, Э2 = 0,05м. Подача воды в первый бак контролируется краном У.п, который открывается мгновенно и скорость входного потока воды определяется как (л/ч):

dV

in

dt

0, если V закрыт т

400, если V открыт т

Краны У1, У2 являются медленными устройствами, для их полного открытия/закрытия требуется 80с. Открытие и закрытие данных клапанов контролируется задвижкой, меняющей свое положение от Р = 0 (полное закрытие в условных единицах) до Р = 80 (полное открытие). Контроллер осуществляет управление открытием/закрытием кранов Vn, V, V,. Его основной задачей является недопущение переполнения или опустошения второго бака системы.

Система уравнений для уровней воды в баках имеет вид

S

dh

1

dt

dh

2

dt S

dV dV

in

12

1

2

dt

dV

12

dt

dV

dt

оШ

где И1, И2 - уровни воды в первом и втором баках; £1, £2 - площади оснований баков;

dV

т

ёУ

dV

12

out

dt

- скорость входного потока воды, протекания воды по трубе между

баками и вытекания воды из системы соответственно.

Скорость протекания воды между баками рассчитывается по формуле

ёУ

12

К (Р ) * к - (к - Н),И > Н

1 1 V 1 2 2

К (Р )* 11

к , к < Н 1 2

где к1, к2 - уровни воды в баках;

Н - расстояние до крана у во втором баке;

К (Р) - функция, определяющая положение задвижки р крана У[.

Скорость вытекания воды зависит от уровня воды во втором баке и положения задвижки Р2 на кране У,:

ёУ

оШ

dt

К 2(Р2) * 7^2 ,

где ^2 - уровень воды во втором баке;

К (р) - функция, определяющая положение задвижки Р2 крана V,. Индивидуальные свойства кранов определяются функциями:

К1( Р1) =

1,85*10

0, Р = 80

-4 -6*10-6 Р?2

* е .

0 < Р1 < 80

К2( Р2) =

2,26*10

0, Р2 = 80

-4 —5,7*10 6Р22

* е 2 ,

0 < Р2 < 80

Работа всей системы описывается следующим алгоритмом. В исходном состоянии все краны закрыты и оба бака пусты. В начальный момент времени контроллер посылает сигнал крану Уп, который мгновенно открывается, в результате чего наполнится водой

первый бак в течение заданного времени t. При этом контроллер отслеживает переполнение первого бака (И1 > Н). По истечении заданного времени t или в случае поступления

сигнала о превышении допускаемого уровня воды в первом баке контроллер посылает сигнал открыть кран У[. Открытие крана происходит в течение 80 с, после чего начинает

заполняться водой второй бак. Задача контроллера - поддерживать постоянный уровень воды во втором баке в пределах Ьтт =0,3м -/,тах=0,9м. Следовательно, при достижении

уровня Ьтах контроллер посылает сигнал открыть выходной кран у и наоборот - поступает сигнал закрыть выходной кран У2 при достижении уровня Ьтіп. Закрытие/открытие крана У2 осуществляется в течение 80 с.

3.2. Имитационное решение базовой модели

Модель системы, разработанная на основе IE в системе имитационного моделирования EMS [7], представлена на рис. 5. На верхнем уровне модель состоит из двух взаимодействующих агрегатов: «Controller» - моделирует работу контроллера, «Two_tanks» - моделирует работу двух баков.

Агрегат «Two_tanks» (рис. 6) содержит в своей внутренней структуре вложенные агрегаты «Water_levelH1», «Water_levelH2», в которых моделируется непрерывный процесс заполнения баков водой и рассчитывается уровень воды.

Р16 ТЗ Р17

Рис. 6. Структура агрегата «Т-^^апкз»

Переходы данной модели 1Е моделируют следующие действия: У0 определяет - закрыть или открыть входной кран V ы во избежание переполнения первого бака; переход Б1

запускает параллельные процессы заполнения бака водой и делает подсчет уровня воды; 10 осуществляет открытие/закрытие крана У1, время задержки равно 80с; Б2 порождает параллельные процессы заполнения водой второго бака и производит расчет уровня воды; на переходе У2 определяется, открыть или закрыть выходной кран У2 в зависимости от поступившего сигнала с контроллера. Во вложенных агрегатах 1Е-модели (рис. 7) на переходе Б0 подсчитывают уровень воды в течение времени заполнения баков. Полученный результат сравнивается с заданными значениями переменных Н, Ь ,

А Ш1П

Ьтах, означающих допустимый уровень воды в первом баке, максимально и минимально допустимый уровень воды во втором баке соответственно. В случае выполнения неравенств > Н, Н2 > Ьшах, Н2 < Ьт1п вложенный агрегат отправляет сигнал в контроллер, означающий нарушение нормального функционирования системы и необходимость открытия/закрытия

Рис. 5. IE-модель системы двух баков

кранов. Таким образом, сеть не перегружается постоянной отправкой сообщений, содержащих информацию об уровне воды в баке.

Контроллер системы (рис. 8) принимает поступающие сигналы от вложенных агрегатов и отправляет соответствующие сигналы в агрегат «Т’^_;апк8».

Результаты моделирования приведены в табл.

1. Отклонение от аналитических результатов, приведенных в [6], составляет Д=0,002 при доверительной вероятности 0,95, что подтверждает адекватность полученных результатов и разработанной имитационной ГБ-модели.

Таблица 1. Результаты моделирования

Time h1 h1 h2 h2 Time h1 h1 h2 h2

50 0,54 0,55 0 0 300 0,431 0,45 0,296 0,31

100 0,832 0,848 0,846 0,86 350 0,419 0,432 0,597 0,603

150 0,764 0,778 0,49 0,57 400 0,677 0,7 0,833 0,798

200 0,612 0,614 0,41 0,53 450 0,636 0,65 0,428 0,44

250 0,494 0,5 0,344 0,365 500 0,521 0,54 0,363 0,375

4. Выводы

Предложенный формальный аппарат иерархических Е-сетей, в основу которого положены агрегативные Е-сети, позволяет учесть как многоуровневость построения и разнородность моделей управляющих систем безопасности, так и их динамические свойства. Возможность включения вложенных агрегатов в структуру Е-сети позволяет перейти к использованию вложенных моделей и тем самым выделять сложные разнородные процессы в отдельные функциональные блоки, что повышает эффективность моделирования и сокращает время разработки моделей за счет повторного использования кода.

СПИСОК ЛИТЕРАТУРЫ

1. Сениченков Ю.Б. Численное моделирование гибридных систем / Сениченков Ю.Б. - СПб.: Изд-во политех. ун-та, 2004. - 206 c.

2. Колесов Ю.Б. Объектно-ориентированное моделирование сложных динамических систем / Колесов Ю.Б. - СПб.: Изд-во СПбГПУ, 2004. - 240 с.

3. Згуровский М.З. Дискретно-непрерывные системы с управляемой структурой / М.З. Згуровский,

В.А. Денисенко. - Киев: Наукова думка, 199В. - 350 с.

4. Казимир В.В. Модельно-ориентированное управление интеллектуальными производственными системами: дис. ... доктора техн. наук: 05.13.06 / Казимир В.В. - К., 2006. - 301 с.

5. Серая А. А. Иерархические Е-сети как единый формализм технологии распределенного имитационного моделирования High Level Architecture / А.А. Серая // Межд. конф. «Intellectual Systems for Decision Making and Problems of Computational Intelligence. ISDMCI’2013», (Євпаторія, 20-24 травня 2013 р.). - Херсон: ХИТУ, 2013. - С. 2В5 - 2В7.

ге із f*ii Рис. В. Структура агрегата «Controller»

6. Kowalewski S. Case study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: the Two Tanks Problem / S. Kowalewski, O. Stursberg, M.Fritz [et al.] // 15th International Workshop on Hybrid Systems (HS V). - Notre Dame, USA, 1997. - September 11-13.

7. Казимир В.В. Розподілена система імітаційного моделювання EMS / В.В. Казимир, Г.А. Сіра,

1.1. Мушкетик // Вісник Чернігівського державного технологічного університету. - 2011. - № 3 (51). - С. 144 - 153.

Стаття надійшла до редакції 16.09.2013