CC BY
86
УДК 007.003; 007.008; 65.0; 681.3 В.С. СМОРОДИН*, А.В. КЛИМЕНКО*
ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ И СРЕДСТВА ОПТИМИЗАЦИИ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ
Гомельский государственный университет им. Франциска Скорины, Гомель, Беларусь
Анотація. Запропоновано метод імітаційного моделювання складних технічних систем, представлених графовою структурою, при вирішенні багатокритеріальних задач оптимізації функціонування технологічного циклу виробництва. Наведені теоретичне обгрунтування методу дослідження і технологія його застосування на основі динамічної зміни структури імітаційної моделі у процесі її реалізації. Обгрунтовано можливість використання запропонованого підходу для оцінки нових технічних рішень при побудові оптимальної структури технологічного циклу і наявності елементів потенційної небезпеки.
Ключові слова: технологічний цикл виробництва, багатокритеріальна задача оптимізації, елементи потенційної небезпеки, побудова оптимальної структури.
Аннотация. Предложен метод имитационного моделирования сложных технических систем, представленных графовой структурой, при решении многокритериальных задач оптимизации функционирования технологического цикла производства. Приведены теоретическое обоснование метода исследования и технология его применения на основе динамического изменения структуры имитационной модели в процессе ее реализации. Обоснована возможность использования предложенного подхода для оценки новых технических решений при построении оптимальной структуры технологического цикла и наличии элементов потенциальной опасности.
Ключевые слова: технологический цикл производства, многокритериальная задача оптимизации, элементы потенциальной опасности, построение оптимальной структуры.
Abstract. Simulation modeling method of complex technical systems presented by graph structure for solving multi-objective optimization problems of functioning of production cycle is proposed. The theoretical basis of the research method and its application technology based on dynamic changes in the structure of the simulation model in the implementation process are given. The possibility of using the proposed approach for the study of new technical solutions in the construction of the optimal structure of the technology cycle and the presence of elements of the potential danger is justified.
Keywords: technology cycle of manufacturing, multi-objective optimization problem, elements of the potential danger, construction of the optimal structure.
1. Введение
Проблема моделирования сложных технических систем зачастую состоит в недостаточной результативности некоторых методов их исследования при увеличении количества учитываемых параметров [1]. В частности, это актуально для тех случаев, когда структура таких объектов изменяется в процессе функционирования, что связано с их многообразием и сложностью практических задач, возникающих при оценке уровня надежности и безопасности потенциально опасных промышленных объектов [2].
Учитывая накопленный опыт построения математических моделей из различных отраслей науки, техники, промышленности и экономики и существующую тенденцию к использованию общесистемных принципов и методов исследований, в различных областях знаний возникают определенные трудности моделирования, связанные с целым комплексом причин. К таковым относятся наличие больших объемов разнородной информации в различных областях знаний, использование различных понятийных аппаратов и профессиональная разобщенность исследователей.
Многочисленные попытки унификации системного подхода при решении конкретных задач науки и практики привели к необходимости использования динамической ими-
© Смородин В. С., Клименко А.В., 2014
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
171
тации [3] для анализа функционирования сложных технических систем, представленных в качестве многопараметрических объектов конечным множеством математических моделей, каждая из которых отражает конкретную группу свойств исходной системы. При этом сохраняется возможность выделить классы сложных технических систем со специфическими свойствами, на основании которых разрабатываются методологические принципы построения имитационных моделей, характеризующиеся единой математической терминологий и доступные специалистам различных предметных областей.
В качестве инструмента для реализации предложенного подхода используются метод пошаговой реструктуризации имитационных моделей [4], динамическая имитация сложных технических систем и система оперативного контроля имитации объектов исследования, на основе которых осуществляется синтез оптимальной структуры сложной технической системы в соответствии с решаемой многокритериальной задачей оптимизации ее функционирования.
2. Реструктуризация имитационных моделей сложных систем
В основу описания математического аппарата, используемого при реструктуризации имитационных моделей сложной системы, положена возможность отказов оборудования при выполнении агрегатов-имитаторов технологических операций, что ставит эксперта-технолога перед необходимостью на стадии проектирования предусмотреть выход из состояний, возникших после аварии. На этот случай в имитационной модели (ИМ) предусматриваются «резервные» цепочки AMTXOt., которые активизируются только при появ-
лении аварий [1]. Переключение на «резервную» ветвь AMTXOt реализуется за счёт использования булевой матрицы коммутации llg II, формируемой экспертом-технологом до
начала имитации. Строками этой матрицы (n) являются номера агрегатов AMTXOtj на
входе агрегата-события ASOBj, а столбцами (s) являются номера резервных AMTXOtj на
выходе ASOBj, которые необходимо инициировать в поставарийной ситуации. Подобное
«технологическое резервирование» является динамическим регулятором поставарийной ситуации сложной технической системы (СТС).
Другим способом недопущения аварий оборудования является автоматический переход на резервные устройства, когда хотя бы для одного из устройств оборудования фактическая «наработка» превышает пороговые значения из множества {jndr ] . Элементы этого множества {indr ] поступают в подсистему PS. OPEREX, которая проверяет близость к
пороговому значению наработки всех устройств оборудования. При достижении близости к пороговым значениям у нескольких устройств формируются следующие воздействия на ИМ: групповой переход на резервирование тех устройств, у которых наработка близка к критической (a); переход на общую профилактику оборудования из-за неэффективности
группового резервирования или нехватки резервных устройств (a); допускается возмож-
ность аварии в тех случаях, когда процесс производства останавливать нельзя и состояния индикаторов игнорируются (a); если оборудование изношено и общая профилактика будет неэффективна, принимается решение о досрочном завершении имитации /і-го варианта ИМ СТС, поскольку появление аварии для данного технологического процесса недопустимо (а4).
PS.ANALEX использует статистику имитаций {STk ] и множество откликов модели {y ]. Откликами Y0j являются усреднённые по числу реализаций N их интегральные
172
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
значения для h -го варианта УПС: критическое время выполнения (TKPh) технологического цикла производства, стоимость его реализации (C0h ), интегральный расход материалов и комплектующих изделий (mt h), количество использованных ресурсов r -го номера , ), суммарная стоимость ликвидации аварий (C ), общие потери времени на профилактику (TOPh ). Интегральные отклики модели составляют многомерный вектор откликов
VOH варианта структуры СТС, у которого все компоненты требуют минимизации, но имеют различную размерность и диапазоны изменения. Поэтому необходима нормировка компонентов этого вектора максимальными их значениями из всех вариантов организации структуры технологического цикла. Для сравнения вариантов структуры осуществляется «свёртка» этого вектора к скалярному показателю Wh способом весовых коэффициентов
важности (s .5 . = 1; 0 < 5 < 1) откликов с номером j . Вариантам организации структуры УПС соответствуют значения вектора параметров {X0 А} и постоянных параметров ими-
тации множества {Gh} . Каждая из составляющих векторов параметров может меняться на
различных уровнях. Поэтому общее количество вариантов Nh (h = 1,K0)
определяется
стратегией изменения каждого уровня параметров. Выбор оптимальной стратегии осуществляется на основе классических методов планирования экспериментов. Эксперт с помощью воздействия 05 инициирует подсистему PS. ANALEX и последующий запуск h -го
варианта ИМ УПС. Минимальное значение WJ, по всему множеству вариантов с номером h и будет решением задачи построения оптимального варианта организации структуры
СТС.
Важной статикой реализации имитационной модели является граф критических путей (QRKRPh), который получен после наложения всех реализовавшихся критических путей. С помощью сообщений 04 подсистема PS.ANALEX выдаёт эксперту графики расхода (в модельном времени t0) ресурсов r -го типа Zlrh (t0), финансовых средств Z2rh (t0), а также временные диаграммы использования оборудования и исполнителей (DIAGRrh). Оперативная статистика реализации ИМ в виде сообщения 04 предоставляется эксперту-
технологу для принятия решений на основе классической теории принятия решений. В результате эксперт формирует набор управляющих воздействий (01, 02, 03 и 05), которые
затем через подсистему принятия решений SPRESH обеспечивают возможность досрочной остановки l -й реализации имитационной модели, перевод всех устройств оборудования на профилактику, оперативное изменение характеристик надёжности функционирования оборудования.
3. Динамическая имитация сложных технических систем
Динамическая имитация объекта исследования осуществляется на основе построения компонентов динамической имитационной модели. При этом исходная сложная техническая система представляется конечным набором взаимосвязанных математических моделей. Связь между компонентами математической модели сложной системы осуществляется посредством синхронизации взаимодействия агрегатов-имитаторов, входящих в состав моделей-компонентов.
Для построения компонентов динамической имитационной модели СТС используется агрегатная система автоматизации моделирования, реализующая агрегатный способ
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
173
имитации сложных систем, а также способ формализации объектов исследования на основе графовых структур [5], в связи с чем используется шесть типов агрегатов-имитаторов: ATOp - агрегат-имитатор выполнения технологической операции (MTXO. );
ASOBi - агрегат-имитатор свершения i -го события в процессе имитации функционирования СТС;
AOBIN - агрегат-имитатор функционирования оборудования индивидуального
пользования с номером r;
AKANr и AOBOPr - агрегат-имитатор совместного использования оборудования
общего пользования с помощью выделенного канала;
APROCk - процедура-имитатор с номером к ликвидации аварийной ситуации при
выполнении имитационной модели,
где каждый агрегат представляет собой реентерабельную программу из конечного множества математических моделей, составляющих математическую модель исходной сложной системы.
AMTXO представляет собой четырехполюсный агрегат, имитирующий выполне-
ние технологической операции MTXOt . В режиме прямой имитации приходит сигнал от ASOBi , который по соответствующим функциям распределения формирует значения параметров агрегата (tijl; c^; {Vri}; {mt^}; {kotjl}) в l -ой реализации ИМ. Затем каждый
ATOPy определяет индивидуальные запросы на ресурсы и оборудование в виде списков запросов (SPINRS ,; SPOBR ; SPISP,). Далее происходит обращение к системе распре-
ijl ijl ijl
деления ресурсов, которая выделяет требуемые ресурсы на время имитации MTXO .
Агрегаты ASOB i являются многополюсными с различным числом входов и выходов. Выходы у ASOBi могут быть одиночными и «кустовыми». Из «кустовых» выходов агрегата формируются сигналы двух типов: действительный Sgd, разыгрываемый по вектору вероятностей {p }, и (k -1) фиктивных сигналов Sgf. Выходы ASOBi нумеруются,
поэтому при адресации сигнала указывается номер события i и номер входа r в агрегат ASOB . Только действительные сигналы Sgd , поступающие в режиме прямой имитации
на вход ATOp , инициируют его работу по изложенному алгоритму. Фиктивные сигналы
Sg обходят алгоритм выполнения ATOp . При этом у агрегатов ASOB используется
еще один тип выходных «кустовых» сигналов, называемых резервными выходами ASOB .
С их помощью реализуется «технологическое резервирование».
Если хотя бы на один из входов ASOBj приходят сигналы от ATOp , во время выполнения которых была авария, то это означает активизацию резервного кустового выхода. Механизм формирования действительных сигналов у «кустовых» выходов третьего типа основан на использовании булевой матрицы Цу^Ц, которую составляет технолог-
эксперт до начала имитации. Наличие единицы на пересечении n -й строки с r -м столбцом в этой матрице означает необходимость включения резервных ATOP в том случае,
когда во время выполнения ATOPnj произошла авария (р = 1). С помощью этого меха-
низма кустовые выходы третьего типа становятся динамическими регуляторами подклю-
174
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
чения резервных ATOPjr, если на входы ASOBj поступают сигналы от ATOPj, во время
выполнения которых на оборудовании, используемом ими, происходили аварии. Имитация функций оборудования инициируется запусками ATOp, который может использовать
любое число имитаторов оборудования. Для синхронизации совместного использования несколькими ATOp одного и того же AOBOPr (когда он находится именно в состоянии
S1) был введен агрегат-канал AKAN r, имитирующий использование общего ресурса Vrjl.
Количество таких AKANr определяется числом использований AOBOPr всеми агрегата-
ми ATOPy.
Таким образом, на стадии проектирования сложной системы эксперту-технологу предоставляется возможность динамического регулирования выполнения множества {ATOp } в зависимости от сложившейся операционной обстановки с помощью комбина-
ций различных типов кустовых выходов и задания количества их разветвлений.
Окончательный вариант оптимизации структуры сложной системы принимается на основе анализа статистической информации, собранной в процессе функционирования динамической имитационной модели.
4. Оперативный контроль динамической имитации
Возникновение понятия сложной системы как многопараметрического образа объекта исследования, представленного конечным множеством математических моделей, накладывает дополнительные требования на контроль имитации в процессе решения конкретных задач.
Система контроля имитации при этом должна обеспечивать возможность принятия управляющих воздействий на основе текущей операционной обстановки в процессе функционирования сложной системы. Отметим, что под управлением понимается упреждение конфликтных ситуаций в функционировании объекта исследования, которое достигается с помощью аппаратно-программного комплекса, состоящего из средств аппаратного сопряжения СТС с параллельно действующей ЭВМ.
Система оперативного контроля имитации СТС состоит из следующих компонентов: имитационной модели управляемой сложной системы; подсистемы планирования имитационных экспериментов (PS.PLANEX); подсистемы оперативного контроля имитации (PS.CONTROL); подсистемы анализа результатов (PS.ANALIS); подсистемы-эксперта (PS.EXPERT), контролирующей ход имитации и управляющей изменением параметров модели.
Функционирование компонентов системы оперативного контроля осуществляется с помощью управляющих воздействий:
• взаимодействия подсистем с «экспертом» 0^
(к = 1,5 )
чтения информации о со-
стоянии технологического цикла (0,02,0); оперативного воздействия «эксперта» (03)
по текущему варианту реализации структуры ВТП в имитационной модели; установки начальных значений состава ресурсов в h -м варианте организации структуры СТС (0);
• взаимодействия подсистем с ИМ (выдача оперативной информации о ходе имитации СТС с помощью множества индикаторов состояния оборудования {indr}; формирование множества статистик {STkl} и откликов ;} в l -й реализации ИМ по методу Монте-Карло);
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
175
• множества постоянных характеристик модели
[Qh} и параметров {X0 jh}
модели-
рования СТС, задаваемых для «запитки» модели при запуске на имитацию h-го варианта состава ресурсов и структуры объекта.
Основным компонентом системы является агрегатная имитационная модель, реализующая имитацию объекта исследования на основе графовой структуры и построенная с помощью системы автоматизации имитационного моделирования [1].
В процессе реализации прогона имитационной модели осуществляются следующие виды внутреннего управления динамикой имитации:
• автоматическое одиночное резервирование оборудования в тех случаях, когда наработка на отказ r -го устройства оборудования (Q ) достигает критической величины;
• ликвидация последствий аварий при опасных отказах функционирования r-го устройства последовательностью процедур {PROCk };
• технологическое резервирование, означающее изменение состава и последовательности выполнения технологических операций {MTXO } после возникновения аварии.
Возможность возникновения аварии оборудования СТС при выполнении AMTXOtJ
требует предусмотреть выход из ситуации, возникшей после аварии, хотя она уже ликвидирована последовательностью {APROCk}. На этот случай в ИМ предусмотрены «ре-
зервные» цепочки AMTXO , которые активизируются только при появлении аварий.
Переключение на «резервную» ветвь AMTXOtj реализуется за счёт использования булевой матрицы коммутации ||j/J, формируемой экспертом-технологом до начала имитации. Строками матрицы являются номера AMTXOij на входе ASOB i, а столбцами явля-
ются номера резервных AMTXOtj на выходе ASOBj, которые необходимо инициировать
после аварии. Таким образом, подобное «технологическое» резервирование является динамическим регулятором поставарийной ситуации.
Ещё одним способом недопущения аварий оборудования является автоматический переход на резервное устройство, когда хотя бы для одного из устройств оборудования фактическая наработка на отказ превышает пороговые значения в indr. В этом случае
множество {indr} поступает в PS.OPEREX, которая проверяет близость к пороговому
значению наработки всех устройств оборудования.
При достижении близости к пороговым значениям у нескольких устройств формируются следующие воздействия на ИМ: групповой переход на резервирование тех устройств, у которых наработка близка к критической (a1); переход на общую профилактику
оборудования из-за неэффективности группового резервирования или нехватки резервных устройств (a ) ; допускается возможность аварии в тех случаях, когда состояния индикаторов игнорируются (о,); если оборудование изношено, а общая профилактика неэффек-
тивна, принимается решение о досрочном завершении имитации h -го варианта ИМ, поскольку появление аварии в данном случае недопустимо (a4).
PS.ANALEX использует статистику имитации {ST^ } и множество откликов модели
{Y }. Откликами У0^ являются усреднённые по числу реализаций их интегральные значе-
ния для h-го варианта структуры технологического цикла: критическое время выполнения технологического цикла (TKPh), стоимость реализации процесса управления (C0h ), инте-
176
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
гральный расход материалов и ресурсов r -го номера (и )
\ Zrh)
комплектующих изделий (mtoh), количество использований суммарная стоимость ликвидации аварий (с |, общие
\ ZABh!
потери на профилактику (Tonph ) .
Интегральные отклики модели составляют многомерный вектор откликов VOh, у которого все компоненты требуют минимизации, но имеют различную размерность и свои диапазоны изменения. Поэтому необходимо нормирование компонентов этого вектора их максимальными значениями для всех возможных вариантов структуры СТС. С помощью сообщения 04 PS.ANALEX выдаёт эксперту графики расхода ресурсов r-го типа Z1rh (t0), финансовых средств Z2rh (t0), а также временные диаграммы использования оборудования и исполнителей ( DIA Grh ).
Оперативная статистика реализации ИМ в виде сообщения 0А предоставляется экс-перту-технологу для принятия решений на основе классической теории принятия решений. В результате эксперт формирует набор управляющих воздействий (q, q, q и 05), которые через подсистему принятия решений обеспечивают возможность досрочной остановки l -й реализации ИМ, перевод всех устройств оборудования на профилактику, оперативное изменение характеристик надёжности функционирования оборудования.
Для сравнения вариантов структуры СТС осуществляется «свёртка» этого вектора к скалярному показателю Wh способом весовых коэффициентов.
Вариантам организации структуры сложной системы соответствуют значения вектора {Xoih} параметров СТС и постоянных параметров имитации {Gh} . Каждая из составляющих векторов параметров может изменяться на различных уровнях. Поэтому количество вариантов K (h = 1 K ) определяется стратегией изменения каждого уровня парамет-
ров.
Выбор оптимальной стратегии осуществляется на основе классических методов планирования экспериментов. Эксперт с помощью воздействия 05 инициирует PS.ANALEX и последующий запуск h -го варианта ИМ. Минимальное значение Wh по всему множеству вариантов с номером h0 и будет решением задачи определения оптимального варианта организации структуры сложной системы.
5. Заключение
1. В настоящей работе предложен новый подход, основанный на методе динамической имитации, для сложных технических систем при решении многокритериальных задач оптимизации их функционирования.
2. Новизна данного подхода состоит в построении оптимизированной интегральной структуры сложной системы в рамках выбранных критериев качества функционирования, что позволяет использовать разработанные имитационные модели в качестве составных элементов систем анализа функционирования сложных технических объектов.
3. Представленный подход дает основания рассчитывать на создание необходимой базы знаний [6], позволяющей работать с техническими системами любой степени сложности, вне зависимости от ее физической сущности и рамок формализации.
4. Предложенный метод анализа позволяет выделить классы сложных систем со специфическими свойствами, что дает возможность разработки методологических принципов по-
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
177
строения математических моделей, которые характеризуются единой математической терминологией и могут быть доступны специалистам различных предметных областей.
СПИСОК ЛИТЕРАТУРЫ
1. Смородин В.С. Методы и средства имитационного моделирования технологических процессов производства: монография / В.С. Смородин, И.В. Максимей. - Гомель: ГГУ им. Ф. Скорины, 2007. - 369 с.
2. Смородин В.С. Проектное моделирование управляемых производственных систем с резервированием схем управления / В.С. Смородин, А.В. Клименко // Известия Гомельского гос. ун-та им. Ф. Скорины. - 2014. - № 3 (84). - С. 150 - 156.
3. Смородин В.С. Метод динамической имитации вероятностных производственных систем /
B. С. Смородин // Математичні машини і системи. - 2012. - № 2. - С. 96 - 101.
4. Смородин В.С. Метод пошаговой реструктуризации имитационных моделей для исследования вероятностных технологических процессов / В.С. Смородин // Математичні машини і системи. -2008. - № 3. - С. 108 - 114.
5. Смородин В.С. Агрегатная система автоматизации моделирования вероятностных технологических процессов производства / В.С. Смородин // Математичні машини і системи. — 2007. — № 1. —
C. 105 - 110.
6. Интеллектуальное имитационное моделирование динамических систем / В.С. Смородин [и др.] // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2011): материалы Междунар. науч.-техн. конф., (Минск, 10-12 февраля 2011 г.) / редкол.: В.В. Голенков (отв. ред.) [и др.]. - Минск: БГУИР, 2011. - С. 247 -255.
Стаття надійшла до редакції 22.10.2014
178
ISSN 1028-9763. Математичні машини і системи, 2014, № 4
