CC BY
31
УДК QQ7; 681.3
И.К. ЧИРИК
ТЕХНОЛОГИЯ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ УПРАВЛЯЕМЫХ ПРОИЗВОДСТВЕННЫХ СИСТЕМ С ПАРАЛЛЕЛЬНО-ПОСЛЕДОВАТЕЛЬНОЙ ОРГАНИЗАЦИЕЙ
Abstract: General approach and methodological problems of the task decision of the development of programmatic-technological complex is examined for research and control of probabilistic technological process of production at presence of feed-backs.
Key words: programmatic-technological complex, control systems, probabilistic technological processes.
Анотація: Розглядаються загальний підхід і методологічні проблеми рішення задачі розробки програмно-технологічного комплексу для дослідження і управління ймовірнісним технологічним процесом виробництва за наявності зворотних зв'язків.
Ключові слова: програмно-технологічний комплекс, системи управління, ймовірнісні технологічні процеси.
Аннотация: Рассматриваются общий подход и методологические проблемы решения задачи разработки программно-технологического комплекса для исследования и управления вероятностным технологическим процессом производства при наличии обратных связей.
Ключевые слова: программно-технологический комплекс, системы управления, вероятностные технологические процессы.
1. Введение
В настоящее время для исследования систем управления сложными техническими комплексами чаще всего используют аналитические модели. При наличии обратной связи по управлению используются также методы конструктивной теории оптимизации (например, адаптивный метод), позволяющие стабилизировать параметры системы при наличии случайных возмущений параметров управления и воздействий на состояния этой системы в случае, когда плоскость фазовых состояний исследуемого объекта описывается системой дифференциальных уравнений.
В общем же случае, когда объектом исследования являются дискретные вероятностные технологические процессы (ВТП), а переход исследуемой системы из состояния в состояние и управляющие воздействия нельзя описать с помощью конечной системы дифференциальных уравнений, существующий математический аппарат оказывается менее эффективным. Очевидная актуальность данной проблемы, в особенности при проектировании высоконадежных производственных систем и осуществлении проектного моделирования для модификации существующих при наличии автоматического управления с обратной связью, требует разработки новых эффективных методов ее решения.
Как известно, одним из возможных путей исследования динамики реализации вероятностных технологических процессов производства является имитационное моделирование функционирования таких производственных систем [1]. При этом необходимо подчеркнуть, что задача автоматизации имитационного моделирования производственных систем с параллельнопоследовательной организацией технологического цикла при наличии управления с обратной связью до сих пор в общем виде не рассматривалась, поскольку существующие программные средства автоматизации имитационного моделирования (например, новейшие модификации системы моделирования на основе языка моделирования GPSS) не позволяют отобразить динамику взаимодействия компонентов управления вероятностных технологических процессов в
© Чирик И.К., 2QQ9
ISSN 1Q28-9763. Математичні машини і системи, 2QQ9, № 1
совокупности с параллельно-последовательным процессом функционирования технологических операций на высоком уровне их детализации.
Таким образом, при наличии управления с обратной связью для рассматриваемой области исследований отсутствует способ формализации дискретных параллельно-последовательных ВТП, нет удовлетворительных методов исследования и программных средств автоматизации процесса их имитационного моделирования. Следует отметить, что важной проблемой, позволяющей решать насущные практические задачи управления производством, является также разработка методов исследования систем управления при наличии обратных связей как по управлению, так и по состоянию.
Ввиду актуальности и высокой практической значимости данной тематики для осуществления проектного моделирования, разработки и модификации высоконадежных производственных систем, представляются актуальными разработка метода, программных средств, технологии имитационного моделирования и управления производственными системами с параллельно-последовательной организацией технологического процесса при наличии обратной связи по управлению.
2. Формализация процесса управления ВТП с параллельно-последовательной организацией
Для исследования структуры системы управления и динамики взаимодействия её компонентов необходимо совмещение временного моделирования с отображением функций основных компонентов системы. Такое совмещение обычно называют технологическим моделированием. Для регулирования поведения ВТП используется эмуляция некоторых функций компонентов системы, которая представляет собой суть функционального моделирования. Регулирование достигается путем реализации функций контроля выхода компонентов управляемых переменных {Uk} за допустимые границы диапазона их изменений. При каждом выходе {Uk} за пределы
области допустимых значений необходима их корректировка, что достигается с помощью специальных элементов корректировки состояний. Процесс управления реализуется программнотехнологическим комплексом, состоящим из имитационной модели (ИМ) вероятностного сетевого графика (ВСГР), лежащего в основе формализации ВТП, информационной базы данных имитационной модели ВСГР, блока-имитатора системы управления, агрегатов-имитаторов оборудования общего пользования (AOBOP), агрегатов-имитаторов оборудования
индивидуального пользования (AOBIN), программной системы принятия решений (EXPERT) и библиотеки процедур вторичной обработки статистики имитации.
Система управления в общем случае состоит из двух типов элементов синхронизации. Первый тип элементов представляет собой сложным образом организованную схему совпадения сигналов типа «и», второй тип является логической схемой слежения «или». Она вырабатывает выходные сигналы после прихода на любой из её входов самого раннего сигнала. Поскольку все сигналы связи между элементами системы управления (СУ) являются сложными, то в них хранится информация о ситуациях, возникающих в системе при выполнении любого её элемента: нормальное исполнение функций элементом, отказ оборудования, выход {Uk} за допустимые
пределы, совмещение отказов оборудования с выходом {Uj} за допустимые диапазоны их
изменения. Это означает, что сигналы, поступающие от системы управления к оборудованию, имеют соответствующие признаки, указывающие на возникшую ситуацию в ходе выполнения любого элемента СУ. Таким образом, в системах управления ВТП должны присутствовать несколько типов исполнительных устройств: исполнители функций; устройства оперативной ликвидации последствий аварий на оборудовании; корректировщики значений {U j}; универсальные элементы, которые одновременно ликвидируют последствия аварий и выходы компонентов {Uk } за допустимые границы.
Имитационная модель системы управления конструируется из пяти типов исполнительных элементов:
- исполнитель ISPFH нормального выполнения микротехнологических операций MTXOH
ijij
(i, j = 1, N), инициируемый синхронизатором с номером i и посылающий сигналы на синхронизатор с номером j ;
- исполнитель CORFij функции по корректировке значений компонентов вектора
ij
глобальных переменных управления Uk при выходе за допустимые границы;
- исполнитель LICVij , ликвидирующий последствия аварий на оборудовании;
ij
- универсальный элемент UNIVij , который одновременно корректирует значения
ij
компонентов вектора Uk и ликвидирует последствия аварий на оборудовании;
- индикатор INDSH состояния ВТП.
ij
Данные типы исполнительных элементов могут различаться между собой степенью сложности их алгоритма, а также составом используемых ресурсов. Связь между этими элементами регулируется управляющими сигналами, которые различаются своими типами. К первому типу сигналов относятся действительные (Sgd), инициирующие алгоритм-имитатор исполнительных элементов; ко второму типу относятся фиктивные сигналы (Sgf). Последние, минуя основной алгоритм функционирований элемента-имитатора, поступают непосредственно на один из входов элемента синхронизации системы управления. Данные сигналы имеют сложную структуру. Составными элементами сигналов являются следующие параметры: тип сигнала, адресная и информационная части сигнала. Действительный сигнал Sgdj имеет значение ps = 1,
а у фиктивного сигнала Sgfj это значение равно нулю [3]. В адресной части (ad = (i,k,l, j,r) , где
i - номер элемента синхронизации на l-м разветвлении кустового выхода номера k) содержится информация, откуда и куда направляется сигнал. Формируется поступающий через исполнительный элемент на r -й вход j -го элемента сигнал в момент срабатывания спусковой
функции i -го элемента синхронизации. Информационная часть Sgdj имеет вид: in = (ps, so), где
ps - последействие выполнения элемента, so - состояние системы управления после выполнения исполнительного элемента в момент срабатывания «спусковой» функции. Если при выполнении исполнительного элемента произошла авария оборудования, то формируется признак аварии ps ='1', а при отсутствии аварийной обстановки этот признак равен нулю (ps ='0').
В основу имитационного моделирования системы управления и построения соответствующей имитационной модели положено сочетание идей метода Монте-Карло и методики сетевого планирования на базе использования вероятностной модели сетевого графика с переменной структурой, имитационная модель которой представляет собой множество агрегатов-имитаторов выполнения микротехнологических операций MTXOj (ATOPj), свершения событий
ASOBj в ВСГР, функционирования r-го устройства оборудования индивидуального и общего
пользования (AOBINr и AOBOPr), выполнения процедур ликвидации аварий (APROCk).
Агрегаты ATOPH имитируют технологию выполнения MTXOH в составе технологического
У У
процесса производства, а агрегаты-имитаторы AOBINr, AOBOPr и множества агрегатов {APROCk} используются для отображения технологии его реализации. Агрегаты ASOBj являются многополюсниками с различным числом входов и выходов и используются для имитации
свершения событий в ВСГР и запуска соответствующих агрегатов ATOPH. Агрегат ATOPH
ij ij
представляет собой четырёхполюсник, имитирующий выполнение MTXOij в ВСГР, и
ij
функционирует в двух режимах (прямой и инверсной имитации).
3. Синхронизация взаимодействия компонентов в системе управления параллельнопоследовательным ВТП
Первый тип синхронизатора SLASTt функционирует по алгоритму логической схемы «и». Вначале SLAST ожидает прихода сигналов на один из его входов. Допускается любое число входов (ai) , которые нумеруются (r < at) [2]. После прихода самого позднего сигнала на один из входов элемента SLASTi срабатывает «спусковая» функция. В этот момент одновременно формируются все сигналы на разветвлениях выходов элемента. Второй тип синхронизатора SFIRSTt функционирует по алгоритму логической схемы «или». Этот элемент также ожидает прихода сигналов на его входы, и число его входов r < bt. С приходом самого раннего сигнала Sgdj на
любой из входов элемента срабатывает «спусковая» функция синхронизатора SFIRSTi , и формируются сигналы на выходах элемента. С этого момента остальные сигналы Sgdij на SFIRSTi игнорируются алгоритмом элемента формирования выходных сигналов. Обработка сигналов элементами SLASTt и SFIRST осуществляется одинаковым образом в момент срабатывания «спусковой» функции элемента.
У элементов синхронизации 5ЬЛ5Т1 и 5Р1Я8Т1 структура выходов одинакова. В общем случае все выходы элементов синхронизации могут быть кустовыми с различным числом разветвлений Ьк, где к - порядковый номер выхода (к < 1к), номер разветвления 1к = 1,Ьк . Если Ьк = 1, то выход номера к называют одиночным. На каждом 1к -м разветвлении выхода номера к в момент срабатывания спусковой функции формируются действительные или фиктивные сигналы (Sgdjj и Sgfij) от I -го элемента синхронизации на вход исполнителя с индексом ] .
На разветвлениях выходов сигналов первого типа одновременно формируются только действительные сигналы Sgdij, которые направляются согласно своей адресной части на исполнительные элементы с индексом ] . Выходы второго типа имеют вероятностную природу,
поэтому до начала имитации задается вектор вероятностей {рЫ]}, у которого ^рЫ] = 1. По
к
жребию второго типа на одном разветвлении кустового выхода номера к формируется действительный сигнал Sgdij, а на остальные разветвления посылаются фиктивные сигналы
Sgfij. Выходы третьего типа используются для активизации тех исполнительных элементов ЫСУН, которые ликвидируют последствия аварии на оборудовании ВТП. Для этой цели используется матрица 11 , имеющая т строк, число которых равно числу входов (г < т) , и 5
столбцов (1к < 5). Действительные сигналы Sgdij на 1к -х разветвлениях формируются только в том случае, когда истиной становится булева функция 2 = р5 лу^. Поэтому в случае поставарийной обстановки во входном сигнале в состоянии р$ ='1' активизируется к -е разветвление к -го выхода третьего типа путем посылки Sgdij на элемент ЫСУ, ликвидирующий последствия аварии на оборудовании. На остальных разветвлениях этого выхода элемента синхронизации формируются фиктивные сигналы Sgfij. Изменяя содержимое г -х строк в матрице
|| , регулируется либо активизация элементов ЫСУк для ликвидации последствий аварии на
оборудовании, либо активизация иШУт для ликвидации аварийной ситуации и корректировки значений компонентов вектора ик. Выходы четвертого типа используются для активизации исполнительных элементов СОКЕк, которые корректируют значения компонентов {ик} при их выходе за границы допустимых диапазонов значений. Для этого используется матрица ||Д.к||, в которой также имеется г строк и 52 столбцов (1к < 52). Аналогично предыдущему случаю, действительные сигналы Sgdj на 1к -х разветвлениях формируются только в том случае, когда истиной станет булева функция Ж = so л Ьгб.. С помощью этой матрицы при выходе хотя бы одного компонента {ик} за допустимые пределы в состоянии so ='1' активизируется 5 -е
разветвление k -го выхода четвертого типа путем посылки Sgd, на элемент CORFih, корректирующий значения компонентов {Uk ). На остальных разветвлениях этого выхода элемента синхронизации формируются фиктивные сигналы Sgf,. Поэтому, изменяя содержимое r -х строк в матрице ||brh||, активизируются элементы CORFih для корректировки значений {Uk) глобальной
переменной управления. Отметим, что на k -х выходах формируется множество действительных и фиктивных сигналов, при этом действительные сигналы Sgd,, в свою очередь, активизируют следующие элементы:
- с выходов первого типа все элементы ISPF, на каждом разветвлении;
- с выходов второго типа только один элемент ISPF..;
У
- с выходов третьего типа комбинацию элементов LICV, или UNIVi,;
У У
- с выходов четвертого типа комбинацию элементов CORFiJ или UNIV.
У У
Таким образом, учитывая особенности взаимодействия компонентов системы управления, можно планировать работу исполнительных элементов по времени реализации алгоритма в зависимости от операционной обстановки (наличия отказов оборудования и выхода контролируемой переменной Uk за пределы допустимых диапазонов изменения её компонентов).
4. Выводы
В работе рассматривается способ исследования систем управления для вероятностного технологического процесса производства с параллельно-последовательной организацией, в котором время выполнения каждой технологической операции является случайной величиной. Изложенный подход при формализации систем управления ориентирован на случаи, когда динамику функционирования системы управления можно описать на уровне элементов управления со сложной логикой с использованием процедур метода Монте-Карло. Исследование таких систем с помощью программных средств автоматизации экспериментов, реализующих метод имитации вероятностных технологических процессов агрегатного типа [3], обеспечивает простоту их формального описания и универсальную структуру получаемых имитационных моделей, что дает возможность рассчитывать на перспективу развития данного подхода при проектировании соответствующих объектов для различных предметных областей.
СПИСОК ЛИТЕРАТУРЫ
1. Максимей И.В., Смородин В.С. Методика имитационного моделирования систем управления опасного производства // Проблемы управления и информатики. - 2005. - № 4. - С. 53 - 62.
2. Об одной методике имитационного моделирования вероятностных технологических процессов производства / А.Н. Гончаров, И.В. Максимей, В.С. Смородин и др. // Математичні машини і системи. - 2008. -№ 1. - С. 133 - 138.
3. Смородин В.С. Агрегатная система автоматизации моделирования вероятностных технологических процессов производства // Математичні машини і системи. - 2007. - № 1. - С. 105 - 110.
Стаття надійшла до редакції 09.07.2008
