О применении графовых моделей в системах автоматизации сложных нестационарных технологических объектов

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

О применении графовых моделей в системах автоматизации сложных нестационарных технологических объектов

Добрынин Алексей Сергеевич

старший преподаватель, кафедра автоматизации и информационных систем, Сибирский государственный индустриальный университет

Россия, Кемеровская область, г. Новокузнецк

Аннотация

Управление сложными нестационарными системами является нетривиальной задачей. Одним из условий эффективного управления является необходимость изменения и подстройки алгоритмов управления при изменяющихся условиях функционирования автоматизированных систем. В статье рассматриваются вопросы построения управляющих устройств на основе моделей теории графов. В качестве объекта исследования выступают подходы и методы управления сложными нестационарными системами. Рассматривается подход, основанный на доменной классификации факторов воздействия на объект управления. Рассматривается управление при существенных изменениях факторов внешней среды. В качестве методов исследования использовалось имитационное и компьютерное моделирование, которое позволило оценить эффективность предложенных подходов и методов управления. Также применялись методы системного анализа и современные алгоритмы на графах. Представленный подход позволяет учитывать изменяющееся поведение нестационарного объекта управления, когда известно, что определенные параметры и факторы внешней среды могут влиять на это управление. Механизм конечного автомата позволяет осуществлять автоматическое переключение алгоритмов управления в зависимости от ситуации. Исследования показали целесообразность использования предлагаемого подхода для управления сложными нестационарными системами автоматизации.

Ключевые слова: граф, модель, нестационарные объекты, автоматизация, конечные автоматы, теория автоматического управления, система управления, объект управления, управляющее устройство, алгоритм управления

Abstract

Managing complex non-stationary systems is a non-trivial task. One of the conditions for effective control is the need to change and adjust the control algorithms under the changing operating conditions of automated systems. The article deals with the construction of control devices based on models of graph theory. As an object of research, approaches and methods of managing complex non-stationary systems are used. An approach based on the domain classification of the factors affecting the control object is considered. Management is considered with significant changes in environmental factors. As simulation methods, simulation and computer modeling were used, which allowed to evaluate the effectiveness of the proposed approaches and management methods. Also, methods of system analysis and modern algorithms on graphs were applied. The presented approach allows to take into account the changing behavior of the non-stationary control object when it is known that certain parameters and factors of the environment can influence this control. The mechanism of the finite state machine allows automatic switching of control algorithms depending on the situation. Studies have shown the expediency of using the proposed approach for the management of complex non-stationary automation systems.

Keywords: control system, theory of automatic control, finite automata, automation, non-stationary objects, model, graph, control object, control device, control algorithm

Введение

Элементы теории конечных автоматов получили распространение в технических системах. В процессе эволюции систем робототехники в последние годы используется описание таких систем на множестве отдельных состояний (states) и переходов между ними (transitions). По аналогии с робототехническими комплексами, технический объект управления (и устройство управления) может изменять свои состояния. Чаще всего это происходит при существенном изменении параметров внешней среды, входов системы, смены погодных условий, климата. Общеизвестно, что достаточно сложные технические системы ограниченно функционируют в условиях резкого изменения параметров внешней среды.

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

Рассмотрим основные причины, по которым правила (алгоритмы) могут (и должны) изменяться:

1) изменение целей управления и ограничений;

2) изменение структуры и характеристик технологического объекта управления в процессе эксплуатации;

3) старение, износ и частичное разрушение технологических узлов объекта управления;

4) модернизация, реконструкция и ремонт технологического объекта управления;

5) изменения состава и качества перерабатываемых технологическим объектом материалов;

6) изменение свойств сигналов измерительной информации и данных, формируемых людьми.

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

Статья рассматривает подход к управлению нестационарными объектами, который основывается на элементах теории графов (граф конечного автомата) и эволюционном подходе. Теория графов отлично зарекомендовала себя в ИТ-индустрии в целом, является хорошим инструментом для моделирования и описания систем различной природы, в том числе, систем, состояния в которых могут изменяться ситуационно. Предложенные в статье решения могут использоваться при создании аппаратно-программных устройств управления (программируемых контроллеров, PLC) с переключением алгоритмов управления, зависящих от ситуации.

Примеры сложных нестационарных технологических объектов

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

Примеры сложных нестационарных технологических объектов (СНТО):

1) доменная печь (управление «сверху» путем изменения рудной нагрузки, схем шихтоподачи);

2) Кислородно-конвертерное производство;

3) агломерационная машина (управление скоростью движения аглоленты, температурой горна);

4) колонна синтеза аммиака;

5) летательный аппарат с изменяемой траекторией полета (например, при входе в зону радиолокации).

Формализм конечного автомата для устройств управления

Подходы к созданию изменяющихся систем управления известны. Это оригинальные разработки в области помехозащищенных систем [1], систем с переменной структурой [2], систем со структурной неопределенностью [3,4], адаптивных систем [5,6]. Тем не менее, в большинстве публикаций не уделяется достаточно внимания вопросам построения унифицированных схем управления нестационарными [7,8] автоматизированными объектами управления (коих большинство в реальном мире). Ряд публикаций рассматривает отдельные частные случаи нестационарности и прикладные решения, ограниченные узкими рамками. Совместное использование методик из смежных научных отраслей в конечном итоге позволяет создавать лучшие в своем классе системы. Одним из основных способов описания робототехнических систем в унифицированном языке моделирования (версии библиотек UML v1.0, UML v2.0) [9] является диаграмма (граф) конечного автомата (State Machine) [10]. Этот формализм доказал эффективность и качество полученных решений на многочисленных проектах последних лет. Диаграмма конечного автомата описывает управляемое программой прохождение некоторых стадий функционирования технической системы, при наступлении определенных событий (event) или срабатывании некоторых триггеров (trigger driven model). Она достаточно легко аппаратно и программно реализуется, что позволяет в итоге снизить затраты на выпуск серийной продукции.

Классическая ТАУ предполагает, что отдельные каналы управления можно описать дифференциальными уравнениями [11], при этом модель объекта неизменна в течение длительного временного периода. Этот подход не работает на сложных реальных системах. Объект постоянно изменяется, что доказывает практика. Таким образом, в большинстве систем управление ограничено и неэффективно. Авторы предлагают концепцию ситуационно изменяемого устройства управления, для нестационарных систем с использованием прикладного инструментария теории графов и известного формализма конечного автомата [12] (UML 1.0, UML 2.0). Важнейшим элементом предлагаемой концепции является возможность (и простота) ее аппаратно-программной реализации. В основу работы управляющего устройства закладывается модификация известного, широко-применяемого в области операционных систем алгоритма Round Robin [13,14], который применяется для планирования задач в операционных системах с вытесняющей многозадачностью. Предлагается модификация алгоритма Round Robin с использованием нескольких колец обхода конечного автомата, что не выделяется явно в классическом алгоритме. Конечный автомат состоит из нескольких уровней колец, где внутренние кольца описывают факторы, существенно влияющие на нестационарность (климат, качество сырья и т.д.), внешние кольца соответствуют менее существенным факторам. Следует отметить, что факторы, влияющие на стационарность, отличаются друг от друга в разных системах, для одних систем это может быть - качество сырья, для других - температура окружающей среды, для третьих - все вместе.

Рассмотрим эффективный, широко-используемый в ИТ, доменный принцип классификации. Каждый домен представляет собой отдельное кольцо конечного автомата (внутреннее, внешнее), где разделение доменов осуществляется по принципу «существенности». Большинство отдельных состояний может относиться к единственной, укрупненной группе факторов, куда входит:

1) История. Данные о функционировании системы, прецеденты и время. Вектор .

2) Материальные и информационные потоки . Целесообразно выделение укрупненных групп по качеству потоков, допустим: “плохое”, “хорошее”, “отличное”.

3) Внешние воздействия, контролируемые и неконтролируемые . Целесообразно здесь также иметь в виду климатические и природные условия, изменяющиеся времена года.

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

Рассмотрим конечный автомат устройства управления для сценария, когда существенное влияние на нестационарность объекта управления оказывает климат. Другие факторы при этом отсутствуют. Такое предположение может быть логичным и справедливым для многих физических систем, характеристики которых существенно изменяются при изменении климатических условий (ветер, влажность, дождь, землетрясение). Необходимо отметить, что на большинство реальных систем кроме климатических также воздействует комплекс других факторов.

Допустим, необходимо использовать различающееся управление, для разных времен года (зима, лето, осень, весна), пример конечного автомата (внутреннее кольцо) показано на рисунке 1.

Рисунок 1 - Простейший конечный автомат одного фактора нестационарности

граф формализм конечный автомат

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

Простой пример конечного автомата для двухфакторного сценария представлен на рисунке 2.

Рисунок 2 - Простой конечный автомат для двух факторов нестационарности

На рисунке 2 представлен граф состояний (конечный автомат) устройства управления, где используются буквенные идентификаторы описания состояний. Идентификаторы (Sm, Ou, Wn, Sp) описывают времена года (лето, осень, зима, весна), идентификаторы внешнего круга описывают качество входящих материальных потоков (G-Good, B-Best, L-Low). С каждым узлом (состоянием) ассоциируется дополнительная информация, возможно несколько путей реализации:

1) Алгоритм управления, его параметры привязываются к конкретным вершинам графа.

2) Вершины графа ассоциируются с таблицами нечеткой логики «правило-действие» при выборе конкретного управления.

Система управления нестационарным объектом

Предлагаемая авторами система управления нестационарным объектом отличается от известных разработок подходом к управлению, когда алгоритм управления выбирается в зависимости от ситуации. Ситуация описывается подмножеством типовых состояний многомерного вектора , …} или вектором {}, который, в свою очередь, может быть реализован в виде многофакторного конечного автомата непосредственно в управляющем устройстве. Это позволяет менять алгоритм (закон) управления в соответствии с гибко-изменяемым сценарием, который может быть сколь достаточно сложным для построения «ограниченно-интеллектуальных» систем управления технологическими объектами. Таким образом, появляется возможность описания «цифрового портрета» определенной ситуации для нестационарной системы, т.н. информационного сечения (“портрета”) группы схожих ситуативных признаков, с выбором соответствующего алгоритма управления.

Далее представлена модифицированная структура системы управления с управляющим устройством, реализованным в соответствии с концепцией конечного автомата. Ключевым отличием предлагаемой схемы от уже известных в ТАУ является учет ряда факторов, влияющих на нестационарность непосредственно в управляющем устройстве и в соответствии с условием, переключение на требуемое управление по алгоритму Round Robin [13,14]. Переключение управления осуществляется в блоке ситуационного переключения алгоритмов. Этот блок может быть реализован в соответствии с описанной в статье концепцией конечного автомата. Общий вид системы управления, представлен на рисунке 3.

Рисунок 3 - Общая схема системы с переменной структурой при ситуационном переключении альтернативных алгоритмов управления

На схеме представлены стандартные обозначения: -неконтролируемые и контролируемые внешние воздействия; - управление натурное и оператора технолога; - выход действительный и натурный; - состояние технологического объекта; -консолидирующий вектор .

Корректно говорить о системах с переменной структурой (СПС), структура которых изменяется и переключается в зависимости от ситуации. Блок ситуационного переключения алгоритмов может быть реализован на основе формализма конечного автомата, который отражает граничные условия функционирования нестационарного объекта, при которых необходимо изменять управление. Таким образом, работа предлагаемой системы основывается на эволюционном подходе, когда первоначальная модель объекта управления, полученная известными методами идентификации на этапе ввода в эксплуатацию, может быть скорректирована в дальнейшем, с выбором соответствующего управления. Предлагаемый подход имеет перспективы практического применения в условиях сложных нестационарных технологических систем. В дополнение к предлагаемой системе могут реализовываться подсистемы идентификации, для уточнения модели объекта управления для пограничных условий функционирования объекта.

Заключение

Выполнен анализ проблемы управления сложными нестационарными технологическими объектами. Предложен подход к синтезу автоматизированных нестационарных систем управления на основе доменной классификации внешних воздействий и конечного автомата, который предполагает, что характеристики объекта управления в определенных «пограничных» состояниях могут сильно изменяться. Зная эти состояния (исходя из физических и других характеристик системы), можно выбирать соответствующее управление. Конечный автомат отображает состояния объекта в моменты перехода в другие состояния. Таким образом реализуется изменяющееся управление для нестационарной системы при изменении факторов внешней среды.

Библиография

1. Николаев П. А. Вопросы помехоустойчивости микропроцессорной системы управления автомобильного двигателя // Вестник ВУиТ. 2009. №12;

2. Маркин В. Е. Синтез алгоритмов и систем управления с переменной структурой для объектов высокого порядка // НиКа. 2006.

3. Пургина М. В. Системы организационного управления ИТ-сервисами со структурной неопределенностью / М. В. Пургина, Р. С. Койнов, А. С. Добрынин // Вестник Астраханского государственного технического университета. Серия. Управление, вычислительная техника и информатика : научный журнал. - 2016. - № 1. - С. 32-40.

4. Пургина М. В. Развитие сервисов информационных комплексов в условиях неопределенности / М. В. Пургина // Моделирование и наукоемкие информационные технологии в технических и социально-экономических системах : труды IV Всероссийской научно-практической конференции с международным участием, 12-15 апреля 2016 г. - Новокузнецк, 2016. - Ч. 2.-С. 130-134. - Библиогр.: с. 134 (10 назв.).

5. Игнатьев В.В. Адаптивные гибридные системы управления / В.В. Игнатьев // Информационное общество: идеи, технологии, системы: труды Международной научной конференции, Часть 3. - Таганрог: Изд-во ТТИ ЮФУ, 2009. С. 31-32. - Библиогр.: с. 32.;

6. Скороспешкин В.Н. Адаптивная система автоматического регулирования Интернет-журнал Науковедение. 2014. №2 (21).

7. Бобцов А.А., Наговицына А.Г. Адаптивное управление по выходу линейными нестационарными объектами // Автоматика и телемеханика.-2006.-№12.-С. 163-174;

8. Фуртат Игорь Борисович, Цыкунов Александр Михайлович. Робастное управление нестационарными объектами с неизвестной переменной относительной степенью // УБС. 2011. №33;

9. UML. Проектирование систем реального времени, параллельных и распределенных приложений: Пер. с англ.-М.: ДМК Пресс, 2011.-704 с.: ил. (Серия «Объектно-ориентированные технологии в программировании»);

10. Волкова Е. Д., Страбыкин А. Д. Анализ и трансформации исполняемых uml моделей // Труды ИСП РАН. 2006.

11. Ротач В.Я. Теория автоматического управления. Учебник для вузов. -- 2-е изд., перераб и доп. -- М.: Издательство МЭИ, 2004. -- 400 с.;

12. Марченков С.С. Конечные автоматы. -- М.: Физматлит, 2008. -- 56 с.

13. Таненбаум Эндрю С, Бос Херберт. Современные операционные системы. 5-е изд. -- СПБ.: Питер, 2017. -- 1120 с. ил. -- (серия "Классика Computer Science").

14. Егоров В.Ю. Новые подходы к диспетчеризации задач в операционных системах / В.Ю. Егоров // Известия высших учебных заведений. Поволжский регион. Технические науки. -- 2008. - №2. - с. 56-63.

Размещено на Allbest.ru