автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Продукционный метод анализа и синтеза автоматических регуляторов в непрерывно-дискретных системах управления
Автореферат диссертации по теме "Продукционный метод анализа и синтеза автоматических регуляторов в непрерывно-дискретных системах управления"
На правах рукописи
Рогачев Геннадий Николаевич
ПРОДУКЦИОННЫЙ МЕТОД АНАЛИЗА И СИНТЕЗА АВТОМАТИЧЕСКИХ РЕГУЛЯТОРОВ В НЕПРЕРЬШНО-ДИСЖРЕТНЫХ СИСТЕМАХ УПРАВЛЕНИЯ
Специальность 05.13.01 - Системный анализ, управление и обработка информации
(промышленность)
Автореферат
диссертации на соискание ученой степени доктора технических наук
1 4 НОЯ 2013
Самара - 2013
005537734
Работа выполнена на кафедре «Автоматика и управление в технических системах» федерального государственного бюджетного образовательного учреждения высшего профессионального образования «Самарский государственный технический университет».
Научный консультант: заслуженный деятель науки и техники РФ, доктор технических наук, профессор Рапопорт Эдгар Яковлевич.
Официальные оппоненты:
Ел суков Владимир Сергеевич, доктор технических наук, профессор, ФГБОУ ВПО «Южно-Российский государственный политехнический университет (НПИ) имени МИ. Платова», профессор кафедры «Автоматика и телемеханика»;
Кузнецов Павел Константинович, доктор технических наук, профессор, ФГБОУ ВПО «Самарский государственный технический университет», заведующий кафедрой «Электропривод и промышленная автоматика»;
Певзнер Леонид Давидович, доктор технических наук, профессор, ФГБОУ ВПО «Московский государственный горный университет», заведующий кафедрой «Автоматика и управление в технических системах».
Ведущая организация:
Учреждение Российской академии наук Институт проблем точной механики и управления РАН, г. Саратов.
Защита диссертации состоится 19 декабря 2013 г. в 9й часов на заседании диссертационного совета Д 212.217.03 ФГБОУ ВПО «Самарский государственный технический университет» по адресу: 443010, г. Самара, ул. Гапактионовская, 141, ауд. 33.
Отзывы по данной работе в двух экземплярах, заверенные печатью, просим направлять по адресу: Россия, 443100, г. Самара, ул. Молодогвардейская, 244, Главный корпус, на имя ученого секретаря диссертационного совета Д 212.217.03; факс: (846) 278-44-00.
С диссертацией можно ознакомиться в библиотеке Самарского государственного технического университета по адресу: Россия, г. Самара, ул. Первомайская, 18, СамГТУ, корпус 1.
2013 г.
Ученый секретарь диссертационного совета Д 212.217.03, дт.н., доцент
В.Е. Зотеев
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Д иссертационная работа посвящена разработке продукционного метода описания автоматических регуляторов и способов его применения в задачах анализа и ошимального синтеза непрерывно-дискрешых систем управления широким кругом технических объектов.
Актуальность проблемы
Одним из важных направлений современного развития теории управления является исследование гибридных непрерьшно-дискрешых систем управления (ГНДСУ). В таких системах компоненты с непрерывными сигналами отражают физические законы, технологические или технические принципы, которым подчинено функционирование объектов управления, а дискретные элементы моделируют работу цифровых управляющих устройств. К гибридным относится широкий круг управляемых объектов, охватывающий как традиционные, так и новейшие технологии в самых различных областях техники. Практическая реализация таких технологий с требуемыми качественными показателями невозможна без построения соответствующих алгоритмов автоматического управления, что и явилось главным стимулом к созданию теории и методов управления ГНДСУ.
Различные классы гибридных систем изучались в работах Емельянова СБ., Уткина В.И. (системы с переменной структурой), Васильева С.Н., Федосова ЕА., Бортаковского А. С. (логико-динамические системы), Куржанского AJS., Цыпкина ЯЗ., Li Z., Silva G.N., Soh Y., Vinter R.V., Wen С. (импульсные системы), АграчеваА-А., Савкина АБ., Antsaklis Р.J., Brockelt R.W., Evans R.J, Hedlund S., Liberron D., Rantzer A., Rischel H. (переключательные системы), Hespanha J.P., Johansson K.H., Lygeros J., Sasüy S.S., Tomlin C.J. (автономные и неавтономные гибридные системы), Осипова Г.С. (динамические интеллектуальные системы).
Задачи управления применительно к гибридным системам оказываются качественно более сложными по сравнению с аналогичными задачами управления непрерывными или дискретными системами ввиду целого ряда принципиальных особенностей этих систем, связанных с наличием в них существенным образом взаимодействующих непрерывных и дискретных подсистем, сочетанием непрерывной данамики управляемых процессов с дискретными процедурами получения информации о параметрах объекта, вычисления по этим данным управляющих воздействий и передачи их на исполнительные устройства К такого рода особенностям прежде всего относятся:
• влияние определяющего характера эффекта квантования сигналов по времени и по уровню на качественные показатели ГНДСУ;
• влияние и возможности использования в качестве управляющих воздействий целого комплекса сильнодействующих специфических возмущающих факторов, таких, в частности, как случайные временные задержки и частичные потери информации при передаче управляющих воздействий;
• необходимость учета комплекса шумовых составляющих сигналов в замкнутом контуре системы;
• существенное (часто определяющее) влияние характеристик и свойств информационных каналов и сетевых связей на формирование управляющих алгоритмов;
• возможности автоматического формирования и видоизменения в режиме реального времени алгоритмов управления на основе получаемой в процессе функционирования ГНДСУ рабочей информации о поведении системы и вытекающих отсюда требований к разработке вычислительных процедур, обеспечивающих реализацию этих алгоритмов с требуемой динамикой;
• необходимость учета ограничений со стороны аппаратных средств.
3
Указанные задачи непосредственно относятся к сформулированной в Программе фундаментальных научных исследований Российской академии наук центральной проблеме создания единой теории управления, вычислений и сетевых связей, разработки методов автоматического синтеза алгоритмов управления с одновременными их верификацией и валидацией на базе технических устройств, самостоятельно генерирующих свое программное обеспечение.
Решение этого круга задач традиционными методами, базирующимися на аналитическом конструировании автоматических регуляторов, связано с серьезными затруднениями в виду отмеченной выше необходимости одновременного учета целого ряда разнообразных факторов определяющего характера для базовых технических приложений, практически не позволяющих сформулировать в замкнутой аналитической форме ачгоритмы функционирования ГНДСУ с требуемыми показателями эффективности.
Многие из указанных проблем могут быть в основном решены путем разработки новых эффективных методов анализа и синтеза цифровых регуляторов ГНДСУ, базирующихся на специальных численных способах автоматической организации требуемых, априори не фиксируемых и переменных во времени алгоритмов управления. Подобные методы должны обеспечивать построение в темпе с управляемым процессом непосредственно на цифровом регуляторе реализующих эти алгоритмы вычислительных процедур, формируемых по сигналам обратных связей, с учетом особенностей, обусловленных цифровым характером устройств управления и сетевым способом обмена информацией между ними.
На этом пути возникает рад представляющих самостоятельный теоретический и практический интерес задач по разработке новых способов синтеза оптимальных по принятым критериям эффективности алгоритмов и программ работы цифровых устройств управления для ГНДСУ в условиях учета целого комплекса разнообразных возмущающих воздействий и ресурсных ограничений, характерных для цифровых и сетевых систем управления.
В настоящей диссертационной работе предлагается один из возможных конструктивных подходов к указанному кругу задач построения регуляторов в ГНДСУ специальными численными методами.
Диссертация посвящена разработке, теоретическому обоснованию и практическому применению продукционного метода описания регуляторов в задачах анализа и оптимального синтеза систем управления гибридными системами, базирующегося на предлагаемой математической модели системы цифрового управления непрерывным объектом, динамическая часть которой, моделирующая функционирование объекта управления, описывается дифференциальными уравнениями, а дискретная часть, моделирующая работу устройства управления, - специальным численным алгоритмом его работы в виде системы продукций (набора правил вида «условие-действие»), структура и содержание которой автоматически формируются в процессе поиска оптимальных решений.
Целью диссертационной работы является разработка основ теории и техники применения продукционного метода описания регуляторов в задачах анализа и синтеза систем управления. Для достижения указанной цели в диссертации поставлены следующие основные научные задачи:
• разработка имитационной модели гибридной непрерывно-дискретной системы управления (ГНДСУ) с продукционной формой представления алгоритма функционирования цифрового регулятора;
• разработка и исследование методов, вычислительных алгоритмов и программных средств анализа влияния на качество работы ГНДСУ возмущающих факторов и эффектов квантования сигналов по времени и по уровню;
• разработка численно-аналитического метода отимального синтеза продукционной формы описания регулятора, базирующегося на совместном использовании достаточных условий оптимальности и процедуры конечномерной оптимизации;
• разработка эволюционного метода решения задач оптимального синтеза системы продукций регулятора ГНДСУ для широкого класса объектов в постановке, адекватной реальным требованиям промышленных технологий;
• разработка метода оптимального сшггеза системы продукций регулятора ГНДСУ для задач управления с нечеткими целями и ограничениями;
• апробирование продукционного метода построения регуляторов в ГНДСУ на примерах исследования широкого круга технических систем управления.
Научная значимость работы определяется тем, что она
• предлагает новые эффективные численные методы построения самостоятельно генерирующих свое прикладное программное обеспечение цифровых регуляторов в ГНДСУ, которые автоматически формируют и при необходимости видоизменяют по сигналам обратных связей управляющие алгоритмы в процессе миска огаимальных решений;
• устанавливает новые, отличающиеся от известных схем аналитического конструирования способы качественного и количественного описания, исследования и синтеза алгоритмов отпимизации ГНДСУ;
• предлагает конструктивные методы детализации выявленных закономерностей общего характера применительно к целому ряду прикладных задач, представляющих самостоятельный интерес.
Научная новизна работы определяется следующими основными научными результатами, полученными в указанном направлении:
• созданы основы теории и техники применения продукционного метода синтеза алгоритмов функционирования регуляторов цифровых систем управления в форме совокупности правил вида «условие-действие», не требующего аналитического описания законов регулирования и отличающегося от известных автоматическим формированием правил в процессе поиска оптимальных решений и совместным моделированием процессов управления, вычислений и сетевых связей, чем обеспечивается решение важной проблемы унификации моделей ГНДСУ, гибкости моделирования за счет выбора степени детализации и совместного исследования комплексной задачи ошимального построения системы управления, вычислительных процедур и информационных каналов;
• разработана имитационная модель гибридной системы цифрового управления непрерывным объектом, отличающаяся от известных продукционным алгоритмом функционирования ре1улягора, представленным в явной форме шло магически формируемых специализированных вычислительных операций, за счет чего обеспечивается учет принципиальных особенностей, обусловленных цифровым характером устройств управления и сетевым способом обмена информацией между ними;
• на згой базе предложены не имеющие известных аналогов методы решения нового класса актуальных задач струюурного и параметрического синтеза систем управления, отличающиеся существенным расширением ресурсов алгоритма управления путем
формирования структуры и содержания продукционных правил функционирования регулятора в процессе поиска огпиматьных решений;
• разработана не имеющая аналогов численно-аналитическая процедура синтеза алгоритма работы регулятора, основанная на совместном использовании методов конечномерной оптимизации для определения структуры продукционных правил и аналитических условий оптимальности процесса управления с полной обратной связыо для определения содержания системы продукций;
• разработан эволюционный метод прямого синтеза совокупности правил вида «условие-действие» работы регуляторов непрерывно-дискретных систем, который, в отличие от известных, гарантирует реализуемость синтезированных законов управления на заданной цифровой платформе;
•разработан метод синтеза совокупности правил работы регуляторов вида «условие-действие», обеспечивающий, в отличие от известных, максимальную по заданному критерию эффективности степень удовлетворения нечетко сформулированным целям и ограничениям;
• предложен метод анализа работы ГНДСУ, позволяющий обеспечить в задачах анализа учет ресурсных ограничений, характерных для цифровых и сетевых систем управления, производить верификацию и валидацию алгоритма и программы работа цифрового регулятора.
Достоверность утверждений, представленных в диссертационной работе, подтверждена корректным применением современного аппарата математического анализа и теории управления. Справедливость выводов относительно адекватности используемых математических моделей, достоверности, работоспособности и эффективности предложенных алгоритмов управления подтверждена результатами математического моделирования и промышленными экспериментами. Диссертация содержит примеры, подтверждающие представленные теоретические результаты, а также численное решение ряда задач, полностью отвечающее физическим представлениям об исследуемых процессах.
Практическая ценность работы состоит в том, что ее теоретические результаты могут служить основой для разработки численных методов и программно-алгоритмического обеспечения для решения прикладных задач синтеза гибридных систем автоматического управления ответственными техническими объектами.
Предложенные в диссертации инженерные методики и способы организации вычислительных процедур распространяют предлагаемый метод решения задач оптимизации ГНДСУ на ряд актуальных задач оптимального управления процессами технологической теплофизики и робототехники, представляющих самостоятельный интерес. Разработанное специальное математическое, алгоритмическое и программное обеспечение, на базе которого созданы пакеты прикладных программ для подсистемы автоматизированного расчета оптимальных алгоритмов управления, может бьпъ непосредственно использовано для решения конкретных задач оптимизации технологических объектов.
Применение разработанных методов и алгоритмов оптимального управления к решению практических задач обеспечивает существенные технико-экономические преимущества перед типовыми технологиями и известными методами оптимизации ГНДСУ по всем основным качественным показателям оптимизируемых процессов. При этом по сравнению с существующими типовыми алгоритмами управления достигается выигрыш по времени, и, как следствие, увеличение производительности труда до 15-25%; повышение в 1.5-2 раза точности достижения требуемых ковдиций конечной продукции; снижение брака и материальных потерь на 5-15%.
Основные положения, выносимые на защиту:
1) продукционный метод формирования алгоритмов функционирования цифровых регуляторов гибридных непрерьшно-дискреткых систем управления;
2) имитационная модель гибридной непрерывно-дискретной системы управления с продукционным алгоритмом функционирования цифрового регулятора;
3) методы решения задач структурно-параметрического синтеза ГНДСУ с определением структуры и содержания продукционных правил функционирования цифрового регулятора в процессе поиска ошимальных решений;
4) методы, вычислительные алгоритмы и программные средства анализа влияния на качество работы ГНДСУ возмущающих факторов и эффектов квантования сигналов по времени и по уровню;
5) эволюционный метод решения задач оптимального синтеза системы продукций регулятора ГНДСУ и вычислительные алгоритмы его реализации для широкого класса объектов в постановке, адекватной реальным требованиям промышленных технологий;
6) метод ошимальнош синтеза продукционной формы описания регулятора, базирующийся на совместном использовании аналитических условий оптимальности и процедуры конечномерной оптимизации;
7) метод оптимального синтеза системы продукций регулятора ГНДСУ для задач управления с нечеткими целями и ограничениями;
8) результаты анализа и реализации алгоритмов управления.
Методы исследования. В диссертационной работе использовались методы, основанные на системном подходе к решаемой проблеме, в том числе методы теории автоматического управления, математического анализа, математического моделирования, теории оптимального управления, нечеткой логики и эволюционных вычислений. Реализация и внедрение результатов работы.
Теоретические и прикладные результаты диссертационной работы использованы:
• при разработке и внедрении системы пространственно-временного управления процессом индукционного нагрева под пайку;
• при разработке и внедрении системы автоматического контроля систем пассивной безопасности в автомобилях;
• при разработке и внедрении системы автоматического управления технологическим процессом производства кабелей связи;
• при выполнении работы «Теория, вычислительные алгоритмы и технические приложения точных методов решения краевых задач оптимального управления системами с распределенными параметрами в условиях чебышевских оценок целевых множеств» в рамках аналитической ведомственной целевой программы «Развитие научного потенциала высшей школы», проект № 2.12/4236,2009-2010 г.г.;
• при выполнении работы «Создание энергосберегающих систем потребления электроэнергии мощными промышленными установками для индукционного нагрева металлов перед обработкой давлением» в рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России», госконтракг № П321,2009-2011 г.г.;
• в фундаментальных НИР, выпошгяемых в СамГТУ по заказу Минобрнауки: «Теория и приложения точных методов синтеза алгоритмов оптимизации объектов с распределенными параметрами, гарантирующих заданные показатели качества», 2009-2010 г.г., «Теория и приложения аналитических методов синтеза агрегированных систем управления техническими объектами с распределенными параметрами», 2011 г., «Теория построения и
7
методы реализации стратегии программного и позиционного управления техническими объектами с распределенными параметрами», 2012-2014 г.г.;
• при выполнении НИР по грантам РФФИ 08-08-00383-а «Разработка основ теории и методов реализации систем оптимального управления объектами с распределенными параметрами в многооперационных технологических процессах производства электрических кабелей связи», 08-08-01040-а «Разработка теоретических основ и вычислительных методов поиска стратегии аритмического (непериодического) управления в компьютерных системах управления», 11 -08-01171-а «Разработка основ теории и методов реализации энергосберегающих систем оптимального управления технологическими процессами изолирования проводных кабелей связи» и 13-08-00676-а «Разработка теоретических основ и вычислительных методов императивного способа представления регуляторов в задачах анализа и синтеза цифровых систем управления».
Теоретические положения, модели и методы анализа и синтеза продукционной формы задания регуляторов и устройств управления на их основе используются в учебно-научной деятельности ФГБОУ ВПО «Самарский государственный технический университет» при чтении лекций, проведении практических и лабораторных занятий по дисциплинам учебного плана подготовки бакалавров по направлениям 220100 «Системный анализ и управлению) и 220400 «Управление в технических системах» и подготовки магистров техники и технологии по направлению 220400 «Управление в технических системах», при выполнении курсовых и дипломных проектов, при подготовке аспирантов.
Апробация результатов работы.
Основные положения и результаты диссертационной работы докладывались и обсуждались на многих научно-технических семинарах и конференциях, в том числе V Всесоюзной научно-технической конференции «Автоматизация новейших электротехнологических процессов в машиностроении на основе применения полупроводниковых преобразователей частоты с целью экономии материальных, трудовых и энергетических ресурсов», г. Уфа (1984); Всесоюзной научно-технической конференции «Применение преобразовательной техники в электроэнергетике, электроприводах и электротехнологических установках», г. Тольятти (1984); VII Всесоюзном научно-техническом совещании по электротермии и электротермическому оборудованию, г. Чебоксары (1985); VII, VIII и XII межвузовских научных конференциях «Математическое моделирование и краевые задачи», г. Самара (1997, 1998, 2002); П, Ш и IV Всероссийских научных конференциях «Проектирование инженерных и научных приложений в среде МАНАВ», г. Москва (2004), г. Санкт-Петербург (2007), г. Астрахань (2009); VII и IX Международных симпозиумах "Интеллектуальные системы", г. Саратов (2004,2006); V Международной научно-технической конференции «Физика и техника приложений волновых процессов», г. Самара (2006); X и XI Международных конференцях «Проблемы управления и моделирования в сложных системах», г. Самара (2008,2009); Международной конференции ММТТ-21, г. Саратов (2008); Международной научной конференции «Проблемы управления, обработки и передачи информации (АТМ-ТКИ-50)», г. Саратов (2009); Международной научно-технической конференции «Информационные, измерительные и управляющие системы (ИИУС-2010)» г. Самара, (2010); II Международной научно-практической конференции «Робототехника как образовательная технология», г. Железногорск (2010); X Международной Четаевской конференции «Аналитическая механика, устойчивость и управление», г. Казань (2012). Полностью работа была представлена на пленарном заседании V Международной
конференции «Проектирование инженерных и научных приложений в среде MATLAB», г. Харьков, Украина (2011).
Публикации. Основное содержание диссертационной работы полностью отражено в 47 научных и научно-технической работах автора, в том числе в 2 монографиях, 20 статьях в научных изданиях, рекомендуемых ВАК Министерства образования и науки РФ, 13 авторских свидетельствах, 1 патенте, 11 работах в прочих журналах, сборниках научных трудов, материалах Всероссийских и Международных конференций.
Структура и объем работы. Диссертационная работа оостоит из введения, 6 глав, заключения, списка использованной литературы. Работа содержит 156 рисунков, 3 таблицы. Список использованной литературы включает 97 наименований. Объем работы составляет 246 страниц.
СОДЕРЖАНИЕ РАБОТЫ
Введение содержит обоснование актуальности проблемы, описываются объект и предметы исследования, формулируются цель и задачи диссертационной работы, определены методы исследования, дается краткое содержание диссертации по главам, приведены основные положения диссертационной работы, выносимые на защиту.
В первой главе дается краткая характеристика объекта исследования и его основных особенностей, проводится системный анализ общих принципов организации и функционирования систем управления, существующих конструктивных вариантов регуляторов и систем управления на их основе. Подчеркнуто поведенческое единство этих технических устройств.
В теории управления традиционно используется один из «декларативных» способов представления знания об управляющем устройстве путем его непосредственного аналитического описания. Имеющееся разнообразие способов декларативного описания регуляторов порождает множество различных методов их анализа и синтеза Единый подход к решению этого круга задач в совокупности с проблемами вычислительных технологий и сетевой передачи информации отсутствует. Другой возможный продукционный (императивный, ачгоритмический) метод описания регулятора базируется на выявленных общих принципах организации и функционирования систем управления, их поведенческом единстве и заключается в задании для регулятора системы продукций как набора правил вида «условие-действие». Под условием понимается логическое высказывание. Оно определяет правило перехода регулятора от фазы ожидания, характеризующейся отсутствием сигналов на изменение управляющих воздействий, к фазе реагирования, соответствующей реакции системы на появление таких сигналов. В свою очередь под «действием» понимается правило (алгоритм) вычисления реакции системы управления на стимул и применения (видоизменения) этой реакции в течение следующей фазы ожидания. Условная (ЕСЛИ, IF) часть каждого правила - шггецедент (antecedens) - определяет, когда регулятор должен использовать данное правило. Вторая часть (ТО, THEN) - консеквенг (consequens) - описывает соответствующее действие.
Вычислительный потенциал такой модели ретулягора достаточно велик. Известно, что по своим возможностям система продукций эквивалентна машине Тьюринга, т.е. в ней можно реализовать любую вычислимую функцию. Следовательно, системы продукции представляют собой мощное средство описания достаточно сложных вариантов поведения, что можно использовать при моделировании гибридных, антропоморфных и интеллектуальных систем управления. Приведенные в работе примеры подтверждают, что предлагаемый продукционный метод позволяет, в отличие от традиционных способов,
описывать все разнообразие известных законов управления (программных и позиционных, с дискретным временем и с дискретными событиями, с сосредоточенным и распределенными управляющими воздействиями) с учетом особенностей используемых процедур вычисления и передачи информации по каналам связи.
Предложены принципы и на их основе разработана классификация регуляторов, представленных своей продукционной моделью (рисунок 1). В качестве классификационных предложено использовать как признаки, применяемые в стандартом декларативном подходе (характер и количество переменных, используемых при расчете управляющего воздействия, вид функциональной зависимости управляющего воздействия от используемых переменных), так и признаки, характерные лишь для продукционного метода и определяемые его особенностями (количество правил системы продукций, характер переменных, используемых в антецедентах и консеквентах).
Рисунок 1 - Классификация систем управления с продукционной моделью регулятора Во второй главе рассмотрена обобщенная гибридно-автоматная модель системы автоматического управления. Удобным способом представления системы управления с продукционным регулятором является гибридный автомат Н как кортеж вида Н = (2,Х,/,1пИ,1т,Е,С?,Л), где 0 = {<- конечное множество дискретных состояний (режимов); X = Л" - множество непрерывных состояний; f-.Qy.X->Х -векторное поле; /»¡¡^(УхХ — множество начальных состояний; /да : (2 —>/'(-Ю — инварианты, условия, выполняющиеся в дискретных состояниях; £' с: <2 х <2 — множество переходов из одного дискретного состояния в другое; й : Е —> Р(Х), Р(Х) = 2х - условия перехода; Я : Е —> Р{Х х X) - отношения сброса
В работе выявлены достоинства гибридного автомата при использовании его в качестве модели ПНДСУ. Рассмотрен ряд примеров, раскрывающих особенности гибридно-автоматного метода моделирования систем автоматического управления. Приведенные примеры показывают, что для описания системы управления как объекта моделирования
может использоваться гибридный автомат одного из представленных на рисунке 2 вариантов (а - «одноконтурная» ГНДСУ с единственным описывающим регулятор правилом, в — «многоконтурная» ГНДСУ с набором правил работы регулятора). Единственная вершина графа гибридного автомата отображает динамику объекта управления. С вершиной сопоставляется модель объекта управления (набор начальных состояний и дифференциальных уравнений д ля непрерывного динамического объекта, векторное поле /). Совокупность дуг (т.е. набор продукционных правил вида «если - то») является моделью регулятора.
Рассмотренный подход позволяет строить модели систем управления как гибридных систем, однако анализ их поведения является достаточно сложной в вычислительном плане процедурой. В еще большей степени это относится к задачам синтеза систем с требуемым поведением. Решение всего комплекса задач анализа и синтеза требует использования специальных методов и программных средств.
В работе обосновано использование для моделирования динамики гибридных систем предложенного Д. Харелом визуального формализма - ЭТаТесИагТ (диаграммы состояний и переходов). Обосновано построение моделей гибридных систем с использованием продуктов 81а1ейои'® и 8тш1тк®, входящих в состав пакета МАТЪАВ®. Показано, что комбинация МАТЪАВ-8шш1тк-8МеАо\у является мощным универсальным инструментом моделирования гибридных систем. Рассмотрены синтаксические и семантические особенности языка 81а1ейо\у как среды реализации рассматриваемых в работе гибридно-автоматных моделей систем управления.
Рассмотрена продукционная модель регулятора цифровой системы автоматического управления (ЦСАУ) и порождаемая таким способом описания гибридно-автоматная модель. Типичная структура ЦСАУ с использованием аналого-цифровых (АЦП) и цифро-аналоговых (ЦАП) преобразователей показана на рисунке 3.
объект управления .
"555Г упртвзяеап!
ОУ |
УУ
ЦАП вычыслктсльго; устройстве ЛЦП «-
+ .
а-«однокотурная» б-«мнопжотурная» ЦСАУ Рисунок 2 - Гибридный автомат ЦСАУ
Рисунок 3 - Структурная схема ЦСАУ
Традиционный подход к исследованию ЦСАУ в упрощенном ее представлении с постоянным шагом квантования А и моментами Тк =кк, к= 1,2,... срабатывания цифрового регулятора не учитывает действительных условий его работы. В контроллерах систем реального времени вычислительные задачи накладываются друг на друга и блокируются в ожидании общих ресурсов. Время выполнения самих задач может изменяться. В пространственно разнесенных системах управления передача данных по сети происходит с задержками, величина и стабильность которых зависит как от протокола связи, так и от загруженности каналов. Нестабильность периода квантования в цифровых системах является одной из основных проблем при проектировании цифровых устройств, поскольку может ухудшить характеристики системы и даже привести к ее неустойчивости. Кроме того, упрощенный подход не позволяет учитывать поведение системы в промежутки времени
между тактами (межтактовое поведение), что неприемлемо, когда технические требования строги и требуется обеспечить максимально возможное качество.
На рисунке 4 приведена схема цифровой системы управления с неоднородной структурой и нестабильностью периода квантования Тк =кк + 8к, где - случайная величина Описать на требуемом уровне детализации поведение такой системы управления аналитическими методами затруднительно, наиболее естественным представляется путь имитационного моделирования. На рисунке 5 представлена эта же система в виде гибридного автомата, органично объединяющего непрерывную и дискретную части системы. Колебания периода квантования заданы в антецеденте продукционной модели регулятора выражением 11>кк + 8К].
а
1И- г—* ■Г ^ \е <>У X т
Р—
-Ту = 1Л + 8Д
.-КЬгЫ'.Ы'.-) [■-'» Д.
Я'»-,)
гон
2-'Е
объект управления х-/(г,х(П,у((к))
[/> кк+8к]/
регулятор
Рисунок 4 - Схема ЦСАУ с нестабильным шагом Р^0"5 " ™брвдного автомата ЦСАУ при Кваюотшя нестабильном шаге квантования
В третьей главе рассматриваются вопросы анализа и синтеза регуляторов ЦСАУ с продукционными алгоритмами функционирования.
В разделе 3.1 дана общая характеристика предлагаемых методов синтеза регуляторов на базе разработанной математической модели системы цифрового управления непрерывным объектом.
Известные методы формирования и использования продукционных вариантов описания регулятора (в частности, на основе четкой и нечеткой логики) не предполагают формирования алгоритма управления с учетом всего комплекса взаимосвязанных принципиальных особенностей, обусловленных цифровым характером управляющих устройств, сетевым способом обмена информацией между ними и необходимостью построения вычислительной технологии с учетом указанных факторов. Кроме того, известные алгоритмы с фиксированной логикой не обеспечивают автоматического формирования алгоритма управления в темпе с управляемым процессом на основе рабочей информации о поведении объекта, получаемой по сигналам обратных связей.
Предложена не имеющая известных аналогов постановка нового класса актуальных задач структурного и параметрического синтеза систем управления, отличающаяся тем, что алгоритм функционирования регулятора представлен в явной продукционной форме автоматически формируемых специализированных вычислительных операций, за счет чего обеспечивается учет принципиальных особенностей, обусловленных цифровым характером устройств управления и сетевым способом обмена информацией между ними, а наполнение
правил вида «условие-действие» работы регулятора и, возможно, их количество, подлежат определению в процессе синтеза
Продукционная форма описания регуляторов позволяет унифицировать задачу их синтеза, сделал» ее единообразной: вне зависимости от конкрешой задачи определению подлежит количество элементов системы продукций (пар типа «условие»-«действие») и ее наполнение (рисунок 6). При этом вместо классической ^огоступенчатой процедуры синтеза системы продукций регулятора (рисунок 7), включающей последовательность операций по выбору структуры регулятора, определению его параметров, разработке реализующих этот регулятор алгоритма и программного кода, используется прямой синтез (рисунок 8) программы действий регулятора - системы правил, т. е. алгоритма его работы в виде псевдокода
Элементами продукционной модели регулятора, изменяющимися в процессе поиска оптимальных решений и, возможно, изменяющимися в процессе работы регулятора, являются: количество п правил; антецедент А, каждого / -того правила и консеквент С, каждого г -того правила.
обьект управления
датчики исполнительные устройства
О 1 Г
сеть передачи данных
J L 4>
управление +
сетевые связи
определение у пряв
>являюших воздействий
'леелн то C'i>> «ейли Аъ то С3»
«если Д, то С >;
определение алгоритма работы
вычисления
ре£улятор
квберфизическая система
Рисунок 6 - Структурная схема системы управления с продукционной моделью регулятора Существенной особенностью предлагаемого метода является допущение вариативности не только консеквентной части системы правил, но и антецедентной их части, условий срабатывания регулятора Благодаря этому в число потенциальных решений наряду с непрерьтно-дискрегнь1ми системами с переключениями в заранее заданные тактовые моменты времени (time-based control) включаются также логико-динамические системы с переключениями в произвольные (обусловленные наступлением некоторых событий) моменты времени (event-based control). А для непрерывно-дискретных систем допустимой становится аритмия, колебания шага квантования регулятора по времени вследствие изменений условий работы системы. Причем такие колебания могут быть следствием изменения времени вычисления и передачи информации по каналам связи и иметь негативные последствия, либо обусловливаться алгоритмом управления, носить детерминированный характер и повышать качество работы системы управления. Классическая схема требует к - т - п циклов итерационного процесса синтеза регулятора, в предлагаемом варианте необходимо лишь к ■ т циклов, исключается выделенный серым цветом на рисунке 9 цикл выбора структуры регулятора
|к - 1;ш - Цп = 1; ['постановка задачи!
нет/ш = ш +1;
анализ поведения САУ во временной (частотной) области
Рисунок 7 - Схема традиционного варианта синтеза системы продукций регулятора
Рисунок 8 - Схема предлагаемого варианта синтеза системы продукций регулятора Универсальная форма описания обеспечивает полную свободу выбора структуры регулятора и закона управления. Любой иной подход предполагает, что мы заранее определяем вид регулятора Как правило, решающим фактором при этом является то, какой метод решения задачи синтеза планируется использовать. Применение продукционного метода синтеза такое ограничение снимает. Выбор структуры регулятора и законов управления осуществляется в зависимости от поставленной задачи, а не от метода ее решения. Более того, в ходе синтеза структура регулятора и законы управления могут многократно меняться. При определении в процессе синтеза системы продукций можно заранее задать разрешенный набор составляющих ее компонентов (допустимый тезаурус элементов-«условий» и элементов-«действий»). Не исключено привнесение неформального творческого элемента в практику проектирования систем управления. Процесс синтеза можно организовать с использованием знаний эксперта В качестве системы продукций могут использоваться правила, полученные эмпирически или аналитически. Кроме того, классическая многоступенчатая схема предполагает использование на разных этапах синтеза профессиональных знаний специалистов разного профиля, в предлагаемом варианте этого нет.
В работе рассматриваются методы решения задачи прямого синтеза регуляторов в продукционной форме, базирующиеся на оптимизационных подходах к синтезу системы продукций (т.е. определению количества пар типа «условие»-«дейспше» и конкретного содержания каждого элемента-условия и каждого элемента-действия). Необходимость обеспечил, достижение предельно возможных технико-экономических показателей работы промышленного оборудования требует разработай методов усовершенствования его конструкционных характеристик и соответствующей организации режимов функционирования, оптимальных по тем или иным критериям эффективности.
В разделе 32 рассматривается первый из предлагаемых подходов - процедура прямого синтеза системы продукций с использованием необходимых (и/или достаточных) условий ошимальности. Для реализации этого подхода разработана численно-аналитическая процедура синтеза совокупности правил работы регулятора, основанная на совместном использовании методов конечномерной оптимизации для определения количества правил и поиска условной части каждого из них как логического выражения темпоральной лопжи и базирующейся на достаточных условиях отимальности известной аналитической процедуры поиска на каждом из временных интервалов закона управления с полной обратной связью (части «действие» каждого из правил).
Поведение объекта управления описывается совокупностью линейных дифференциальных и разностных уравнений
Ж*1> = +А+= 0.1.....ЛГ-1
где хе Я",уе Ят— векторы состояния непрерывной и дискретной частей объекта управления; иеЦ ^ V с К'- векторы управления непрерывной и дискретной
частями; (еТ = [уя) — время, Т— промежуток времени функционирования системы, на котором выделены момешы 1к ,к = 0,1,...ЛГ-1, разбивающие множество Т на непересекающиесяподишервалы Тк = = 0,1,—Ж — 1 -
Начальное состояние системы (1) задается выражением
х((0) = х0еЯ" ,у(1 о) = (2)
Конечное состояние (*(<„), у(1К )) системы произвольно. Предполагается, что при управлении используется информация о текущем времени и о векторе состояния (х,у). Множество допустимых управлений с полной обратной связью £/„ образуют функции иО,х,у):ТхЯ"хЯт ->и и у(?,х,у) :(11,...,1Г1)хЯ"хЯя -> V, которые на траекториях системы (1) для различных начальных состояний (2) порождают допустимые процессы ¿ = (х*(-),у*(-),и*(-),у*(-))в В(10,ха,у0). На множестве В{1а,ха,уа) задан функционал
качества управления:
АГ-1 Г 1 1 -г
1=| -хтт)х(о+^итт(')и(о+х'г(/)Ф(ож)
ыо ,, \Л 2
где S(i),Rk&,,Ai+1 —неотрицательно определенные симметрические матрицы; Q{t),PM — положительно определенные матрицы.
В соответствии со сформулированным в разделе 3.1 допущением для регуляторов непрерывно-дискретных систем аритмии (как колебаний шага квантования регулятора по времени), определению подлежат моменты tk, к = 0,1,...JV -1 разбиения промежутка времени функционирования системы Т на непересекающиеся подинтервалы и действующий в пределах каждого подинтервала Тк локальный вариант закона оптимального управления (щ (/, х, у), v'k (/, х, у)) с полной обратной связью, доставляющие минимум функционалу (3). В результате будет сформирована система продукций вцда «если te Тк то и = ик, v = vk», к - ОД,...// —1, определяющая порядок изменения алгоритма работы регулятора, последовательность смены и время действия каждого локального вариант управления.
Поставленная задача естественным образом разбивается на две подзадачи (рисунок 9). Для определения параметров режима работы регулятора (моментов tk,k = 0,1,...jV — 1) используется один из численных методов оптимизации. Эта процедура (рисунок 9 а) является внешней по отношению к процессу вычисления предельно возможного значения критерия качества оптимального управления с полной обратной связью, который должен выполняться на каждом шаге внешней процедуры при фиксированных значениях параметров регулятора Внутренняя аналитическая процедура известна и состоит в решении на каждом из временных подинтервалов задачи Коши для уравнения с частными производными первого порядка относительно функции Беллмана ç(t,x,y), которая задается выражением
4it.x,y) = \xTK(t)x + xTL(t)y + ~yTM(i)y, (4)
где K(t),L{t),M(t) -неизвестные матрицы размера (пхп), (пхт), (тхт) соответственно. Для нахождения функции Беллмана используется алгоритм, представленный на рисунке 9 б. Минимальное значение функционала (3) находится по формуле
min / (d) =-^0,x0,ya) = ~xlK(ta)xQ-xlL{t0)ya-\yTaM{t0)ya. (5)
</€О(;0,10,л) 2 l
Оптимальное управление на каждом интервале tk<t<tM, определяется согласно процедуре метода динамического программирования:
и * (',*.Ж)) = Q~\t)BT(t)[K(t)x + L(t)y(tk)l
+ M(tkH)Gk+l ]x(tM) + M(tM )Сшу(1к)}, к = 0,1,..., N -1. Используемый численный метод оптимизации позволяет выявлять глобально-оптимальные настройки и режим работы регулятора. С помощью предлагаемого алгоритма на каждом шаге внешней процедуры определяется точное решение задачи оптимального управления с полной обратной связью, решение не зависит от начачьных условий. Значение критерия качества может бьпь рассчитано по (5) без определения оптимального управления, что позволяет снизить объем вычислений на промежуточных этапах поиска оптимальных настроек и режимов работы регулятора Предлагаемый подход позволяет поставить и решить ряд новых задач, а уже известные рассматривать с единых вычислительных позиций.
В разделе 33 рассмотрена процедура оптимального синтеза продукционой модели регулятора псевдоспекгральньгм методом Гаусса Рассмотренная в разделе 3.2 численно-аналитическая процедура оптимального синтеза продукционой модели регулятора позволяет
16
решать задачи синтеза оптимального по квадратичному критерию качества закона управления линейными объектами. Однако попытка использовать эту процедуру для решения более широкого круга задач сопряжена с радом трудноразрешимых проблем, связанных, в частности, с отсутствием аналитического выражения для функции Беллмана в нелинейном случае и необходимостью учета ограничений на фазовые переменные и управляющие воздействия.
[Задание х„ у0)
(Задание моментов гк = 0,1,-.^V-1}
Определение min I(d)
¿e DO,
НЕТ
^Оппмальный набор моментов tkIk = 0,1,..А'-1 опредеден| ДА
Вычисление локальных вариантов закона оптимального управления (г,^ (г, х. у)) с полной обратной связью
Формирование системы продукций вида «если /е7"ь то н = у= к = 0Х—Н-1> определяющей порядок изменения алгоритма работы регулятора, последовательность смены и время действия каждого локального варианта _управления__
Определение шш 1(с1)
1 е - Решение задачи Коши
к+лт к+кл+квд~'втк - 5=0
¿+ЛГ1.+ХР + КВ()''ВГ1 - ф = о
м+гт1.+1.тг+1.твдг'вг1.=о
* См - 0) = к+ю+ате * агмо-л+[г+в*мщр - от,\юу'[/1ь7+л/с?]
Дг„,-0) = 1С + 0ГА/С-Ч' +[Л+ОгАГИ^-Х/МОГ'А'Л/С Л/(г„, - 0) = с'мс - Л + СТМЦР - 01МВ1>1?МС
г*—oiT
ад/йлл) 2 2
6)
Рисунок 9 - Численно-аналитичсский алгоритм оптимального синтеза продукционной модели регулятора
Для решения достаточно широкого круга оптимизационных задач в исследуемой постановке в работе используется псевдоспекгральный метод Гаусса Применяя в рамках этого подхода дискретизацию непрерывной задачи посредством аппроксимации переменных состояния и управляющих переменных интерполяционными полиномами, сводят ее к задаче нелинейного программирования, которая далее решается известными методами.
Этим способом может бьпь решена задача достаточно общего вида Пусть управляемый процесс состоит из Р этапов с номерами р = (1,...,?). Требуется минимизировать функционал
J = f1Jw ][!р)(хм(1),и(рЧ0,1,Я<р))Л] (7)
р-1 />=> /¡'' с учетом динамических ограничений х(р> = /(р)(х(р),и<р>,/,д(р)), граничных условий Фтт ^ ф<р) ('о , ' <7(/>))" ' ограничен™ в виДе неравенств
С1р){х{р)(1),и{р)(!\ич{р)) < О и условий непрерывности фазовых переменных в точках «сочленения»этапов Рм(х1р!\1/)//,\д(р!\х(р'-,((0)4Р''),д{"-)) = 0, (р^.р/ е [1...Ц.
В (7) х{р)(()е Я"', 1)(,1(()£й"', Я'' и /ей - соответственно состояние,
управление, параметры и время на этапе р е [1,..., Р], X - количество «сочленений» этапов, р'е [1,...,£] и р[ - номер «левого» и «правого» «сочлененных» этапов
соответственно. Эта «многоэтапная» задача разбивается на Р связанных граничными условиями для непрерывных переменных подзадач. Каждая подзадача описывает условия общей задачи на одном из этапов и является непрерывной задачей Больца Любой прямой подход к решению непрерывной задачи Больца предполагает сведение ее к задаче нелинейного программирования посредством дискретизации. Так, псевдоспекгральный метод Гаусса основан на аппроксимации траектории состояний и управления интерполяционными полиномами. В результате решения задачи нелинейного программирования определяется
набор оптимальных программных управлений и(р)(1)е Я™', р = (1 ,—,Р). Сгрукгура этого управления определяет количество правят продукционой модели регулятора как число интервалов постоянства закона изменения оптимального управления.
В разделах 3.4 - 3.6 рассмотрены варианты применения интеллектуальных методов (эволюционных вычислений и нечеткой логики) в задачах синтеза регуляторов систем управления.
С помощью эволюционных вычислений появляется возможность создания технических устройств, самостоятельно генерирующих прикладное программное обеспечение своих систем управления и при необходимости модернизирующих его. На базе этого подхода разработан эволюционный метод решения задач оптимального синтеза системы продукций регулятора ГНДСУ для широкого класса объектов в постановке, адекватной реальным требованиям промышленных технологий.
В разделе 3.4 рассмотрен генетический алгоритм (ГА) как средство автоматизированного синтеза системы продукций регулятора ГА (стохастический метод глобатьной параметрической оптимизации) позволяет определять гшп./(х) в условия действия
ограничений &(х)<0, / = 1,2,...,/л; ^(д:) = 0; г =/я + 1,/я + 2,...,л; Аы-х<а„\ ВЕ-х = ЬЕ; хь<х<хц. Особенно эффективен этот подход в условиях неединственности
экстремума целевой функции J(x). В соответствии со сформулированным в разделе 3.1 допущением для регуляторов непрерывно-дискретных систем аритмии, вычислению подлежат моменты tk,k=\,...N разбиения промежутка Г времени функционирования системы на непересекающиеся подинтервалы и действующий в пределах каждого подинтервала Тк определеннный с точностью до набора параметров pik,p2k,...,pjk локальный вариант закона
управления и'к, доставляющие минимум функции J(x). Тогда алгоритм работы регулятора задается вектором параметров х = .....,pn,...,pw„...,p.NJ, формирующим
систему продукций вида «если I е Тк то и = и'к», k = \,...N и, таким образом, задающим порядок изменения алгоритма работъг регулятора, последовательность смены и время действия каждого локального вариант управления. Однако, поскольку в ГА требуется производить анализ большого числа альтернативных вариантов решения, время расчетов велико. Для преодоления этого недостатка предложено процедуру вычисления управляющих воздействий совместить с процессом управления. Разработан эволюционный метод ускоренного решения задач оптимального синтеза системы продукций регулятора ГНДСУ как алгоритма с отсечением по времени. Алгоритм с отсечением по времени (anytime algorithm) -итерационный вычислительный алгоритм, который способен в любое время вьвдать наилучшее на данный момент решение. При совместном применении алгоритма с отсечением по времени и эволюционного метода следует, не дожидаясь окончания вычислений, раз в несколько эпох выбирать наилучшее решение. Это решение используется некоторое время как текущее управляющее воздействие. Создано программное средство, автоматизирующее весь процесс проектирования систем управления, включая моделирование их работы и проверку программного обеспечения.
В разделе 3.5 рассмотрен способ синтеза продукционных правил работы регуляторов с помощью генетического программирования (ГП), гарантирующего в силу своих функциональных возможностей реализуемость синтезированных законов управления на заданной цифровой платформе. Пространством поиска ГП является, в отличие от ГА не пространство параметров, а множество R(M) всех возможных композиций функций множества М = FkjT, где F = {Fl,F2,...,F„} -функциональный базис-набордопустимых функций, Т = {Т1,Т2,...,Т„} - терминальное множество. Функциональное множество могут составлять арифметические, математические, булевы и другие функции. В терминальное множество могут войти время, фазовые переменные, константы или директивные команды. Определяя композицию и' е R(M), обеспечивающую J (и') = minJ(u), получим
оптимальную систему продукций вида «если /е [0,/rav] то и = и'». Последовательность шагов ГП в общих чертах совпадает с той, что реализована в ГА. Программным средством, реализующим генетическое программирование, служит GPLAB (Genetic Programming Toolbox для MATLAB). Основной его недостаток - скалярный характер искомого решения. Это не позволяет применять его в задачах с векторным решением, к которым относится задача продукционного синтеза регуляторов в общем случае. При участии автора была проведена переработка GPLAB с целью расширения его возможностей по одновременному поиску вектора решений. В таком варианте метод синтеза продукционой формы регулятора с использованием ГП может бьпъ распространен на новый класс актуальных задач управления шагом срабатывания аритмического регулятора В отличие от типичной задачи проектирования регулятора дискретного действия с постоянной скоростью срабатывания,
19
которая сводится к выбору закона регулирования, обеспечивающего заданные показатели качества работы системы в условиях принятых ограничений, в ходе решения задачи синтеза арктического регулятора определялись вместе с искомым законом регулирования и сами ограничения в форме оптимальных условия срабатывания регулятора В этом случае дополнительно вычисляется функция ие Я(М), обеспечивающая J(ts) = тnmJ(ts) и
формирующая оптимальную систему продукций вида «если / = 4 то и = и'».
В разделе 3.6 рассматривается метод синтеза совокупности правил вида «условие-действие» работы регуляторов с использованием аппарата нечеткой логики, обеспечивающий, в отличие от известных, максимальную степень удовлетворения нечетко сформулированным целям и ограничениям.
Методы нечеткой логики используются как для построения систем управления с нечеткими правилами работы регулятора, так и в целях синтеза систем управления с нечеткими целями и ограничениями. Основное внимание в работе уделено вопросам построения систем управления с нечеткими целями и ограничениями. Путем построения таких систем решается неразрешимая иным способом задача выполнения ими требований, описываемых вербально, представленных на естественном языке. Осуществляется выбор такой альтернативы, которая удовлетворяет в максимальной степени и нечетким целям, и нечетким ограничениям. Цели и ограничения являются симметричными относительно решения, что стирает различия между ними и позволяет сформировать задачу при заданных в одинаковой форме нечетких целях и ограничениях как задачу математического программирования вида
т1П/(г)> (8) (г) > 0,/ = 1,2,...,/я,
где г£ - искомое решение; /(г) - целевая функция, минимизируемый критерий качества; gl{z) - уравнения связи или ограничения, волнистая черта«~» - символ нечепсой операции.
Решение оптимизационной задачи (8) должно удовлетворять, насколько возможно, и цели и ограничениям, т.е. максимизировать минимальное из значений )!,(.), / = 0,1,..., /я. В нечеткой интерпретации задача математического программирования (8) преобразуется к виду
тахтш(у,),/ = 0,1,...,от, (9)
где у0=ц0(/(2)),у, =ц, (&■(*)), / = 1,2,. а функции принадлежности ц0(.),
ц.(.), / =1, 2,..., т представляют соответственно степени выполнения цели и ограничений. Далее задача (9) решается известными численными методами.
В разделе 3.7 рассматриваются вопросы анализа ГНДСУ в условиях ограничений со стороны аппаратных средств и нестабильности работы канала связи. Продукционная форма позволяет ввести в модель широкий спектр возмущающих факторов с целью последующего анализа их влияния на качество работы ГНДСУ. Среди этих факторов можно назвать такие трудно поддающиеся анализу в рамках традиционных подходов, как нестабильность работы аппаратных средств (например, канала связи), нескоординированность внешних воздействий и реакций на них системы.
При стабильном шаге квантования условием перехода будет выражение [/ = КИ\, / -текущее время, И — шаг квантования по времени, Юг — момент выдачи /Г-того управляющего сигнала Если же шаг квантования подвержен случайным колебаниям, условие перехода
приобретет следующий вид: [г = К(И + 5^)], дк - случайная вариация ЛТ-того шага квантования. В случае, когда имеет место потеря Л% информации, условие перехода должно выглядеть следующим образом: [(/ = К/г) АN0 {гк > N /100)], Тк —значение равномерно распределенной в диапазоне [0,3] случайной величины. Если оба эффекта накладываются друг на фуга, условием перехода будет выражение [(/= К{И + Ьк))АИО{гк > N/100)]. Аналогичным образом можно учесть ошибку еф сигнала с датчика обратной связи, имеющего случайную составляющую еф. Например, для П-регулятора действие перехода будет иметь вид: и(К) = ае{с(К) + е(А')). Системам управления присущи физические ограничения, определяемые составляющими их элементами. Если управляющее воздействие ограничено по амплитуде, и(К)е это можно учесть при вычислении сигнала управления,
используя в качестве действия перехода выражение и(К) = тах(ыт[п,гпт(итах,а,,е(АГ))) в случае П-регулятора или аналогичное при ином типе регулятора Влияние эффекта квантования по уровню на точность воспроизведения управляющего сигнала также может быть учтено в продукционной модели регулятора, например, соответствующим выбором типа упоминаемых в условии и действии переменных. Альтернативный способ учета квантования сигнала по уровню состоит в использовании процедуры округления. Пусть формат представления чисел в регуляторе - с фиксированной точкой, причем К — длина дробной части числа Тогда для П-регулятора действие перехода будет иметь вид и{К) = (ар (е(К) + г(К)} ■ 2* ) ■ 2'", где (х) нцелая часп, числа л:.
Глава 4 посвящена примерам использования продукционного метода анализа и синтеза автоматических регуляторов в технических системах управления.
В разделе 4.1 показано, что метод описания систем управления, основанный на представлении цифровой системы автоматического управления в виде гибридного автомата, позволяет учесть поведение системы в непрерывном времени и, используя минимум изобразительных средств, смоделировать реальные процессы, происходящие как в непрерывной, так и в дискретной части системы. В работе приведены результаты численных экспериментов с габрцдно-автоматной моделью ПД-регулятора в условиях нестабильного шага квантования. В условиях, когда система работает преимущественно в переходных режимах, качество ее работы может оцениваться по критерию интегральной квадратичной
ошибки (критерий ИКО) У = |о™е2(^)Л. Другим важным показателем качества является время регулирования гкт. Выборка из 1000 модельных экспериментов, результаты которых в виде гистограммы представлены на рисунках 10,11, позволяет сделать вывод о преобладании экспериментов, в которых качество работы системы оказывается близким к показателям 3= 0.0098, /точ=0.1200 работы ЦСАУ со стабильным шагом квантования. Однако существенная часть экспериментов (правая часть графиков на рисунках 10,11) указывает на значительное (на 15%) ухудшение качества работы системы. При этом имеет место весьма сильная взаимосвязь между показателям качества J и гго„, коэффициент корреляции равен 0.8576.
Анализ временных диаграмм работы регулятора позволил установить, что при синхронизации работы регулятора с моментами значительного изменения сигнала задания можно избежать появления худших вариантов. Другая закономерность, выявленная в результате проведенных расчетов - наличие значительного числа экспериментов, в которых качество работы системы при нестабильном шаге квантования превосходило качество, демонстрируемое системой с постоянным
шагом. Наличие этого свойства систем с изменяющимся шагом квантования позволяет сделать вывод о правомочности постановки задачи оптимального выбора последовательности моментов срабатывания регулятора при аритмичности его работы.
0.0125 0013
0ЖК""Ш1 критерий качества J
Рисунок 10 - Качество работы регулятора с нестабильным шагом квантования (критерий ИКО) В разделе 4.2 демонстрируются
крятерпй качества
Рисунок 11 - Качество работы регулятора с нестабильным шагом квантования (критерий ) возможности распространения результатов на
регуляторы более сложной структуры. В частности, протестирован с целью осуществления верификации набор алгоритмов оптимального по быстродействию управления двойным интегратором. Методом имитационного моделирования определены условия применимости формата с фиксированной точкой представления чисел в регуляторе.
В разделе 43 рассматриваются варианты применения предложенной в разделе 3.2 процедуры прямого синтеза системы продукций с использованием необходимых (и/или достаточных) условий оптимальности для синтеза регуляторов в линейных непрерывно-дискретных системах. Рассматривалась типичная задача оптимального управления системой линейных дифференциального и разностного уравнений первого порядка х(0 = Ж) + «(0>'е Тк, х(0) = х0, Ж+1) = х('м) + v(4+1) МО) = У 0 Л = 0,1, хе R\ue R\y<= R'ive R\te T = [0,2)
с критерием качества /
{t)dt + v\tM)
+ ^[x2(2) + /(2)]^min.
Известное решение этой задачи с равномерным шагом Тк = 1, к = 0,1 приводит к следующей системе продукций регулятора (вариант № 1):
«если t е Т0 = [0,1) то и =
Зх - 3yt + Зу 3t—5
, v = —0.75х »,
«если Г б Т, = [1,2) то и = ——^ + б у _ ^ 1 1 ' 3/-8
Найдено решение этой же задачи с неравномерным и определяемым в процессе поиска шагом срабатывания «аритмического» регулятора в форме следующих двух вариантов: вариант № 2: /е Т = [0,2),Го = [0,1.5),7] =[1.5,2),N = 2,г0 =0,*, =1.5,/2 =2 с системой продукций регулятора
, Т п£лл„„ 0.85х/ -1.8*- 0.85л;/2 + 3.1 у1- 2.7 у
«если / е Т0 то и = 260000--г?-¿Ц-у = -0.529х»,
(560г-1200)(400/-840)
, 3* - 3.уГ + ву . , «если г е то и =---—, у = -0.5х»;
1 Зг-8
вариант № 3: !еТ = [0,2),Т0 = [0,0.5),7] = [0.5,2),ТУ = 2,г0 = 0,/, = 0.5,12 = 2 с системой продукций регулятора
, V о л пап — 0.38x1 + ОЛбх — 0.3 8х/2 + 0.65 V/ — 0.23 у
«если Г б Т0 то и = 84000--^-£--, V =-0.85х»,
(220Г-270)(140г-170)
, „ Зх- 3 у/ + 6 у «если I е Т, то и = ----—, у = -0.5.x ».
! 3/-8
Установлено, что «аритмия» с неравномфным во времени срабатыванием регулятора приводит к повышению качества работы ГНДСУ, оцениваемого по выбранному критерию оптимальности в широком диапазоне начальных условий.
Результаты анализа качества работы регуляторов с полученными системами продукций представлены на рисунке 12. На этих графиках темные участки отображают область изменения начальных условий, при которых указанный вариант алгоритма является наилучшим по величине функционала качества. Как видно из приведенных результатов, наименьшую область предпочтительности имеет известный вариант №1, характфизующийся равномерным режимом срабатываний регулятора, наибольшую - вариант №3.
вариант №1 вариант №2 вариант ЛгаЗ
Рисунок 12- Область предпочтительности вариантов Аналогичное исследование задачи оптимального синтеза ГНДСУ линейным непрерывным объектом второго порядка
х1 = —х] + х2
*2 = -*2 +Ж)
Ж-и) = Ч^+1)
гдех,е Я\х2е Я\х1(0) = х10,х2(0) = х20,уе 0) = 0у<е Л',/е Г = [0,6), Г, =[/-1,г),/ = 1,2, ...6
с критерием качества
(10)
приводит при равномерном и неравномерном, определяемом в процессе поиска шаге срабатывания цифрового программного регулятора, к оптимальным значениям функционала(¡0) 1от = (1.45х,20 + 7.07х10х20 + 8.91х220)/ЮООО и
10ПТг = (о.772х,20 +3.44х10х20 + 4.11х20)/ЮООО соответственно, а 1ОПТ1 < 1опп /1.878 при одинаковых начальных условиях. Кроме того, был выявлен эффект уменьшения необходимого количества правил работы регулятора при его аритмической работе.
В разделе 4.4 рассмотрены варианты использования процедуры оптимального синтеза продукционой модели регулятора САУ с нелинейным объектом управления псевдоспектральным методом Гаусса Указанным способом был решен ряд задач синтеза оптимальной системы продукций регулятора ЦСАУ нелинейным объектом типа «колесный робот». Модель робота (неголономный интегратор) имеет следующий вид:
х = и, соз(ф)
У = Щ 8!П(<р) (11)
ф = «2>
где переменные состояния х, у, ф - координаты положения объекта на плоскости и угол направления вектора скорости; и, - величина вектора линейной скорости; управление и2 определяет мгновенную скорость поворота вектора скорости щ. На управляющее воздействие и2 наложено ограничение вида м2 6 [— 1» 1]- Управляющее воздействие и, также ограничено, щ £ {0,1} (машина Дубинса) или и, е {-1,1} (машина Ридса-Шеппа).
Псевдоспекгральным методом Гаусса бьи решен ряд нетривиальных задач по синтезу алгоритмов работы цифрового регулятора ЦСАУ колесным роботом. Усложнения, не позволяющие использовать известные результаты в области оптимального управления неголономными интеграторами, касались учета как ограничений на траекторию движения робота (введения так называемых «запретных зон»), так и дополнительных требований к ее форме в виде задания точек, обязательных для посещения (непрерывный аналог задачи коммивояжера).
Определены системы продукций опгиматьного по быстродействию программного регулятора для задачи перемещения машины Ридса-Шеппа из точки (0,0,0) в точку (1,1,0) в
отсутствии и при наличии ограничения вида {X -0.5)10 + {У —О.б)10 > 0.5'° на траекторию движения. В отсутствии ограничений на траекторию значение критерия качества У = 2.23. В этом случае система продукции содержит четыре правила «условие - действие», которые имеют следующий вид: «если [/е [0, 0.19] то и, =-1 ,иг =1», «если [/е (0.19,1.08] то м,=1,м2=0», «если [/е (1.08,2.00] то и,=1,и2=-1», «если [Ге (2.00,2.23] то и, = -1,и2 = -1». При наличии ограничения значение критерия качества У = 3.08. Для этой задачи система продукции содержит также четыре правила, их вид: «если [/ е [0, 0.23] то щ = \,и2 = —1», «если [/е (0.23,1.68] то м, = 1,ы2 = 1», «если [/е [1.68, 2.34] то м,=1,и2=-1», «если [Г е (2.34,3.08] то щ =-1,и2 =-1». Траектории движения представлены на рисунке 13.
Этим методом определены также системы продукций огпимального по быстродействию программного регулятора для машины Дубинса и машины Ридса-Шсппа при наличии требования ее прохождения через заданную точку.
В главе 5 рассмотрены варианты процедуры синтеза системы продукций методами искусственного интеллекта: посредством эволюционных вычислений и с использованием аппарата нечеткой логики.
В разделе 5.1 рассмотрены примеры синтеза продукционен формы регулятора с использованием генетического алгоритма (ГА). Полученные результаты свидетельствуют о возможности использования ГА в задачах синтеза систем управления.
Решена задача оптимального по быстродействию перевода машины Дубинса (11) в малую окрестность начала координат. В такой постановке, когда третья координата (угол <р) в конечной точке не задана, сформулирована и решена задача с подвижным концом траектории. В расчетах учитыватось не только время Тдтж, необходимое объекту управления на перемещение из начальной точки в конечную, но и время Твьн, в течение которого осуществляется вычисление закона управления.
при наличии ограничений
Установлена возможность повышения качества решения задачи управления с одновременным существенным сокращением общего времени ТВЬ1Ч + Тдвиж путем
осуществления необходимых вычислительных процедур определения закона управления по ходу его реализации и уменьшения вычислительной сложности задачи за счет использования последовательных операций поочередного поиска каждого из параметров системы продукций вместо алгоритмов многомерного поиска Таким образом, может быть преодолен главный недостаток эволюционных вычислений, заключающийся в чрезмерном времени расчетов из-за необходимости анализа большого числа альтернативных вариантов. Некоторые результаты, полученные указанным путем в серии го 15 вычислительных экспериментов, представлены на рисунке 14.
Твыч = 40с, затем Т№вк = 8с anytime algorithm, Твыч + Тдаиж = 9с
Рисунок 14 - Траектории движения машины Дубинса из точки (4, - 3,0) в матую окрестность начала координат
В разделе 5.2 рассмотрены примеры синтеза продукционных правил работы регуляторов с помощью генетического программирования (I 'll).
С использованием генетического программирования была решена задача синтеза минимизирующего количество отклоненных заявок контроллера системы массового обслуживания (системы организации очереди). Схема системы изображена на рисунке 15.
М
Рисунок 15 - Схема системы массового обслуживания Поток заявок имеет заданную интенсивность. Поступившее задание помещается в накопитель 51, где ожидает обработку. Задания обрабатываются системой в две стадии. Чтобы задание прошло через систему, машина М должна последовательно осуществить стадию 1 и стадию 2 обработки задания. Посте стадии 1 задание помещается в накопитель В 2, где ожидает стадию 2. По завершении стадии 2 обработка задания закончена, и оно покидает систему. Предполагается, что накопители 51 и В2 могут хранить максимум по 2 задания. Предполагается, что на каждом временном шаге £ происходят следующие собьпия: с вероятностью X задание приходит в систему, принятое задание помещается в накопитель 51; машина М выполняет единственную стадию обработки одного задания, выбирая между накопителями 51 и 52.
Для этой системы с использованием ГП найдена дисциплина обслуживания, которая минимизирует количество отклоненных заявок - зависимость ию(К) = гшпиз(агк1(Л1 )Д2). Синтезированный регулятор может бьпь описан парой «условие»ч<дейсгвие» вида: «если г , , , ч . [\, если гшпиз(апс!(Х1,Х1),Х2) > О
№)-л1(лг-1)>о]ТОИм1(/о=^ иначе
или, что аналогично, двумя правилами
«если [Х\{К)-Х\[К-\)>0\АММ1Х\АтХ\)-Хгъй]таияа(.К) = и, «если [Х1(А-)-Х\{К-1)>0]ЛМ)[(Х1 АШЗХ\)-Х2<0]-ю иеьа(К) = 2».
Анализ полученного решения позволил сделать вывод, что найденная дисциплина обслуживания эквивалентна правилу: всегда обрабатывать задания из накопителя 51, и только тогда обрабатывать задания из накопителя 52, когда накопитель 52 полон или накопитель 51 пуст. Численные эксперименты показали, что этот закон дает тридцатипроцешное улучшение качества работы системы по сравнению с правилом строго поочередной обработки заданий, т.е. с регулятором, описываемым парой «условие»-«дейс1вие» вида
г , . , . , \\, если 1.5 - 0.5!)*>()
«если иад-Х1(/:-1)>0]то^(^) = ] »
I ИНЭ-ЧС
и более чем двукратное по сравнению со случайным выбором номера обрабатываемого задания для регулятора, т.е. с регулятором, описываемым правилом
г , , , . , [1. если 1 + гоипс1(гапс1) > 0
«если[;п(л:)-л(л:-1)>о]том.„,(л:) = |2 иначе »•
Результатом решения сформулированной в разделе 3.5 задачи синтеза аритмического регулятора является запатентованный автором способ автоматического пропорционального регулирования с адаптивным шагом квантования. Способ отличается от известных тем, что моменты выработки управляющего сигнала отстоят друг от друга на неравные промежутки времени Д,, пропорциональные модулю сигнала ошибки, но не меньшие, чем минимально возможные по условиям работы системы шаг Дт!п, то есть величину г - того промежутка времени выбирают из выражения Д, = тах(к •|е,|,Дти1), где Д, - величина / - того шага квантования; к - весовой коэффициент; г, - величина ошибки управления в начале г - того шага квантования; Дтк1 - минимальное значение шага квантования.
Полученные результаты подтверждают возможность использования ГП при синтезе системы правил регуляторов. В отличие от ГА, ГП позволяет решал, задачу непосредственного наполнения системы продукционных правил, не прибегая к их параметризации, расширяя тем самым круг решаемых задач управления.
В разделе 53 рассмотрен синтез системы правил работы регулятора в задаче управления с нечеткими целями и ограничениями.
В качестве характерного примера в работе решена задача синтеза системы продукций регулятора при управлении линейным одномерным объектом второго порядка с нечепсо сформулированными требованиями к конечному состоянию объект и нечеткими ограничениями на энергетические затраты и амплитуду управляющего воздействия с образггьгми (<" = 0,1) и треугольными (г = 2,3) функциями принадлежности ц,. Алгоритм работы цифрового регулятора определялся в виде системы правил «если /е +1) то "(') = "/», / = 1, 2,..., к. Параметр к, определяющий сложность системы продукций, варьировался в пределах от 2 до 8, при том имело место возрастание степени принадлежности от 0.48 до 0.57. Это существенно выше, чем у решающего аналогичную задачу апериодического регулятора, для которого тт(у() = 0.2, / = 0,1,...,3.
В диссертации рассмотрена также проблема синтеза системы продукций программного регулятора, оптимизирующего маневры подвижного объекта типа машины Дубинса (11) при нечетко сформулированных требованиях к конечному состоянию объекта Известно, что кратчайший путь машины Дубинса для любых начальной и конечной точки является комбинацией не более чем трех примитивов: прямолинейного движения (и = 0 ), поворота налево (и = 1) по дуге окружности минимально возможного радиуса и поворота направо (и = -1) по такой же дуге. Для задания оптимального режима работы регулятора должны был. определены последовательность и продолжительность каждого из входящих в оптимальную траекторию примитивов. Если необходимые длительности интервалов управления не могут быть обеспечены из-за ограниченной частоты срабатываний регулятора, траектория движения машины Дубинса будет существенно отличаться от оптимальной. В этом случае целесообразно перейти к задаче управления с нечеткой целью, задавая антецедентами периодичность смены управляющих воздействий и определяя консеквенты путем решения задачи (9). Система правил работы цифрового программного регулятора имеет вид «если (е11/>(м) то "(') = ",»> ' = 1> 2, = (/ —1). Степень принадлежности найденного
решения равна 0.9293, т.е. цель управления обеспечена практически полностью.
В качестве примера распространения предлагаемого метода на представляющие самостоятельный интерес задачи интегрированного проектирования технологических комплексов в шестой главе предлагаемый метод используется дня решения комплексной
27
проблемы оптимального проектирования объектов технологического нагрева с пространственно-временными управляющими воздействиями и последующей оптимальной организации режимов их функционирования. Предложена методика синтеза системы продукций, позволяющая оценивать степень близости качества каждого варианта решения к предельному качеству. Рассмотрена задача оптимального управления и проектирования технологического комплекса, предназначенного для индукционной пайки ответственных изделий в виде составных тонких металлических оболочек.
Для объекта управления, описывемого одномерным неоднородным уравнением теплопроводности, найдены варианты продукционной формы описания оптимального по быстродействию пространственно-временного управляющего воздействия (мощности внутреннего тепловыделения) релейной формы, обеспечивающего заданную в равномерной метрике точность приближения к требуемому конечному температурному состоянию при ^точно-постоянной аппроксимации линии переключения на пространственно-временной плоскости для частных случаев трехинтервальных управлений, изменяющихся только во времени (рисунок 16 а), только по координате (рисунок 16 б) и общего случая пространственно-временного управления (рисунок 16 в).
• созданы основы теории и техники применения продукционного метода формирования алгоритмов функционирования регуляторов цифровых систем управления в виде сою^тшости правил вида «условие-действие», отличающегося от известных совместным моделированием процессов управления, вычислений и сетевых связей, чем обеспечивается решение важной проблемы унификации моделей ГНДСУ, гибкости моделирования за счет выбора степени детализации и совместного решения комплексной задачи оптимального построения системы управления, вычислительных процедур и информационных каналов;
• разработана имитационная модель гибридной системы цифрового управления непрерывным объектом, отличающаяся от известных представлением в явной форме специализированных вычислительных операций продукционным алгоритмом функционирования регулятора, за счет чего обеспечивается учет принципиальных особенностей, обусловленных цифровым характером устройств управления и сетевым способом обмена информацией между ними;
• на этой базе предложены не имеющие известных аналогов методы решения нового класса актуальных задач структурного и параметрического синтеза систем управления, отличающиеся существенным расширением ресурсов алгоритма управления путем формирования структуры и содержания продукционных правил функционирования регулятора в процессе поиска оптимальных решений;
О/тм
ОСНОВНЫЕ РЕЗУЛЬТАТЫ
• разработана не имеющая аналогов численно-аналитическая процедура синтеза алгоритма работы регулятора, основанная на совместном использовании методов конечномерной ошимизации для определения структуры продукционных правил и аналитических условиях оптимальности процесса управления с полной обратной связью для определения содержания системы продукций;
• разработан эволюционный метод прямого синтеза совокупности правил ввда «условие-действие» работы регуляторов непрерывно-дискретных систем, который, в отличие от известных, гараширует реализуемость синтезированных законов управления на заданной цифровой платформе;
• разработан метод синтеза совокупности правил работы регуляторов вида «условие-действие», обеспечивающий, в отличие от известных, максимальную степень удовлетворения нечетко сформулированным целям и ограничениям;
• предложен метод анализа работы ГНДСУ, позволяющий обеспечить в задачах анализа учет ресурсных ограничений, характерных для цифровых и сетевых систем управления, производить верификацию и валцдацию алгоритма и программы работы цифрового регулятора.
ОСНОВНОЕ СОДЕРЖАНИЕ ДИССЕРТАЦИИ ОПУБЛИКОВАНО В следующих РАБОТАХ
Монографии
1. Морозов, В.К Моделирование информационных и динамических систем/ BJC Морозов, Г.Н. Рогачев,- М.: Издательский центр «Академия», 20П.- 384 с.
2. Рогачев, Г.Н. Императивные модели регуляторов систем управления. Применение в задачах анализа и синтеза/ Г.Н. Рогачев,- LAP LAMBERT Academic Publishing GmbH and Co KG, 2011,-164 c.
Работы в изданиях, рекомендованных ВАК
3. Рогачев, ГЛ. Имитационное моделирование реактивных систем/ Г.Н. Рогачев// Вестник Самарского государственного технического университета. Сер.: Физико-математические науки,- 2004,- № 27.- С 70-73.
4. Рогачев, Г.Н. Генетические алгоритмы в задачах параметрического синтеза оптимальных систем управления/ Г.Н. Рогачей'/ Вестник Самарского государственного технического университета. Сер.: Технические науки,- 2005.- № 33.- С. 67-72.
5. Рогачев, Г.Н. Эволюционный алгоритм настройки обобщенного ПИД-регулятора/ ГЛ. Рогачев // Вестник Самарского государственного технического университета. Сер.: Технические науки,- 2005,- № 39,- С. 17-21.
6. Рогачев, ГЛ Генетическое программирование в задачах поиска системотехнических решений/ ГЛ. Рогачев// Вестник Самарского государственного технического университета Сер.: Технические науки,- 2006.- № 40,- С. 37-42.
7. Рогачев, Г.Н. Гибридно-автоматный метод анализа и синтеза систем автоматического управления/ Г.Н. Рогачев// Вестник Самарского государственного технического университета. Сер.: Технические науки.- 2006.- №41- С. 43-47.
8. Рогачев, Г.Н. Гибридно-автоматная модель мехатронной системы/ Г.Н. Рогачев// Известия Тульского государственного университета Сер.: Вычислительная техника Информационные технологии. Системы управления.- 2006.- вып. 3, том 2,- С. 139-142.
9. Рогачев, Г.Н. Гибридно-автоматная модель системы автоматического управления процессом индукционного нагрева/ Г.Н. Рогачев// Вестник Самарского государственного
29
технического университета. Сер.: Технические науки,- 2007.- № 1 (19).- С. 59-63.
10. Рогачев, Г.Н. Прогнозирование верхней границы критерия качества в задаче оптимального по быстродействию управления процессом индукционного нагрева/ Г.Н. Рогачев// Вестник Самарского государственного технического университета. Сер.: Технические науки.- 2008.- № 1(21).-С. 38-12.
11. Рогачев, Г.Н. Гибридно-автоматный подход к синтезу цифровых систем арктического управления/ Г.Н. Рогачев// Вестник Самарского государственного технического университета. Сер.: Технические науки- 2009.- № 1 (23).- С. 65 -73.
12. Рогачев, Г Л Использование гибридно-автоматного метода для описания систем автоматизации и управления/ Г.Н. Рогачев// Мехатроника, автоматизация, управление.- 2009,-№12 (105).-С. 14-19.
13. Рогачев, Г.Н. Алгоритмический метод описания регуляторов встроенных систем реального времени/ ГЛ. Рогачев// Известия высших учебных заведений. Северо-Кавказский регион. Сер.: Технические науки..- 2009.- № 5.- С. 3 8-41.
14. Рогачев, ГЛ. Гибридно-автоматный метод анализа качества работы систем управления/ ГЛ. Рогачев// Известия высших учебных заведений. Северо-Кавказский регион. Сер.: Технические науки,- 2009.- № 6.- С. 12-14.
15. Рогачев, Г.Н. Численно-аналтическая процедура оптимального синтеза гибридных систем/ Г.Н. Рогачев, В А. Егоров // Вестник Самарского государственного технического университета Сер.: Технические науки.- 2010,- № 7 (28).- С. 32-36.
16. Егоров, В А Особенности построения операторов мутации и кроссовера в векторном варианте генетического программирования/ ВА. Егоров, Г.Н. Рогачев// Веегаик Самарского государственного технического университета Сер.: Технические науки. - 2011- № 1 (29).- С. 19-27.
17. Рогачев, Г.Н. Синтез оптимальных правил работы регулятора в системе автоматического управления неголономным интегратором/ ГЛ. Рогачев// Вестник Самарского государственного технического университета. Сер.: Технические науки.- 2011.- № 2 (30).- С. 37-45.
18. Рогачев ГЛ. Использование генетического алгоритма с отсечением по времени в задаче синтеза программного регулятора для машины Дубинса/ ГЛ. Рогачев// Весшик Самарского государственного технического университета. Сер.: Технические науки.- 2011.- № 3 (31).- С. 27-33.
19. Рогачев, Г.Н. Синтез системы правил работы регулятора в задаче управления с нечеткими целями и ограничениями/ ГЛ. Рогачев// Весшик Самарского государственного технического университета. Сер.: Технические науки. - 2011. - № 4 (32). - С. 34-42.
20. Рогачев, Г.Н. Система позиционного управления движением колесного механизма/ Г.Н. Рогачев, Е.С. Учаеа'/ Веегаик Самарского государственного технического университета. Сер.: Технические науки.- 2012,-№ 2 (34).- С. 27-32.
21. Рогачев, ГЛ Синтез пространственного управления в задаче стабилизации температурного поля при индукционном нагреве/ Г.Н. Рогачев, Д. Н. Тимченко// Весшик Самарского государственного технического университета Сер.: Технические науки.- 2012 - № 3 (35).- С. 26-31.
22. Рогачев, ГЛ. Продукционный метод синтеза регуляторов систем управления непрерывно-дискретными объектами/ ГЛ. Рогачев// Веегаик Самарского государственного технического университета Сер.: Технические науки-2013 -№ 1 (37).-С.22-27.
23. Система управления процессом нагрева с использованием моделирующего устройства: ас.
868708 СССР/ Ю.Н. Бойков, Н.В. Дилигенский, М.Ю. Лившиц, ЭЛ. Рапопорт, ГЛ. Рогачев,-№868708; заявл. 30.11.1979; опубл. 30.09.1981, Бюл. № 36.
24. Индукционный нагреватель заготовок: ас. 1245604 СССР / Ю.Н. Бойков, Н.В. Дилигенский, Г.Н Рогачев, М.Б. Ромасловский, О Л Турпак.- № 3829964; заявл. 16.11.1984; опубл. 23.07.1986, Бюл. № 27.
25. Индукционная установка непрерывного дейсвия для нагрева ферромагнитных заготовок: ас. 1270909 СССР / IO.H. Бойков, КВ. Дилигенский, В.И. Казанцев, ОЛ.Турпак, ГЛ. Рогачев,-№3675409; заявл. 15.12.1983; опубл. 15.11.1986, Бюл. №42.
26. Индукционная нагревательная установка: ас. 1290570 СССР / ЮЛ. Бойков, MJO. Лившиц, Н.П. Михайлов, Г.Н. Рогачев, М.Б. Ромасловский, AJL Сквирчак. - № 3725558; заявл. 25.01.1984; опубл. 15.02.1987, Бюл. № 6.
27. Индукционное нагревательное устройство: ас. 1300662 СССР / Ю.Н. Бойков, С.Е. Бродерзон, ВВ. Емельянов, ВМ Курчаткин, M.IO. Лившиц, Г.Н. Рогачев, М.Б. Ромасловский,-№3963180; заявл. 11.10.85; опубл. 30.03.87, Бюл. № 12.
28. Устройство для кошроля заданного положения изделия в ицлукционном нагревателе: ас. 1308636 СССР / Г.Н. Рогачев, Ю.Н. Бойков, С.Е. Бродерзон, М.Ю. Лившиц,- № 3984906; заявл. 02.12.1985; опубл. 07.05.1987, Бюл. № 17.
29. Устройство ицлукционнош нагрева: ас. 1315497 СССР / Ю.Н. Бойков, С.Е. Бродерзон, ВВ. Емельянов, MJO. Лившиц, Г.Н. Рогачев, ОЛ.Турпак,- №¡3966060; заявл. 18. 10. 85; опубл. 07.06.87, Бюл. №21.
30. Индукционная нагревательная установка периодического действия: ас. 1343565 СССР / Ю.Н. Бойков, С.Е. Бродерзон, МЮ. Лившиц, Г.Н Рогачев, C.B. Щекугин.- № 3935632; заявл. 01.08.1985; опубл. 07.10.1987, Бюл. № 37.
31. Автоматическая линия горячей штамповки: ас. 1488093 СССР / Ю.Н.Бойков, ГЛРогачев, ДБ.Шестаков, АЛ.Сквирчак,- № 4158752; заявл. 10.12.1986; опубл. 23.06.1989, Бюл. № 23.
32. Линия горячей деформации: ас. 1588478 СССР / Ю.Н. Бойков, А.Г. Масталерж, ГЛ. Рогачев, В.В. Каплин,- № 4436861; заявл. 08.06.1988; опубл. 30.08.1990, Бюл. № 32.
33. Индукиионное нагревательное устройство: ас. 1629994 СССР / ЮЛ. Бойков, ГЛ. Рогачев, Ю.В. Михелькевич, С.Е. Бродерзон, В.В. Пронин, C.B. Щекутин,- № 4407264; заявл. 08.04.1988; опубл. 23.02.1991, Бюл. № 7.
34. Автоматизированная линия горячего деформирования: ас. 1683852 СССР / Ю.Н.Бойков, А. Г. Масталерж, Ю. М. Останков, Г.Н. Рогачев,- № 4642929; заявл. 27.01.1989; опубл. 15.10.1991, Бюл. №38.
35. Ас. 1791965 СССР Индукционная нагревательная установка периодического действия/ ГЛ. Рогачев,- № 4909970; заявл. 12.02.1991; опубл. 30.01.1993, Бюл. №4.
36. Патент 2475796 РФ Способ автоматического пропорционального регулирования с адаптивным шагом квантования и устройство для его реализации/ ГЛ Рогачев, Д.Н. Тимченко,- № 2011111964; заявл. 29.032011; опубл. 10.10.2012, Бюл. № 5.
Работы в других журналах и материалах научных конференций
37. Рогачев, Г.Н Совместная оптимизация конструктивных и режимных характеристик индукционно-тиристорного комплекса/ Г.Н. Рогачев // Управление и оптимизация процессов технологического нагрева- Куйбышев: Изд-во Куйбышев, авиац. ин-та, 1986,- С. 144-149.
38. Рогачев, ГЛ. Моделирование в Simulink-Stateflow цифровых систем управления/ Г.Н. Рогачев // Проектирование инженерных и научных приложений в среде MATLAB. Материалы II Всероссийской научной конференции,- М.: ИПУ РАН, 2004,- С. 1603-1607.
39. Рогачев, Г.Н. MATLAB/Staîeflow/ Г.Н. Рогачев // Exponenta Pro. Математика в
приложениях-2004.-№ 2(6).-С. 91-93.
40. Егоров, ВЛ. Использование эволюционных алгоритмов в интеллектуальной системе синтеза САУ/ В А. Егоров, Г.Н. Рогачев // Труды седьмого Международного симпозиума «Интеллектуальные системы» (ЮТЫЖОМ).- М: РУСАКИ, 2004,- С. 98-100.
41. Егоров, В А Генетическое программирование в задачах поиска системотехнических решений/ В А. Егоров, ГЛ. Рогачев // Труды девятого Международного симпозиума «Интеллектуальные системы» (1МТЕЬ8'2006).- М: РУСАКИ, 2006.- С. 69-72.
42. Рогачев, Г.Н. Эволюционный метод синтеза систем управления/ Г.Н. Рогачев // Проблемы управления и моделирования в сложных системах. Труды X Международной конференции,-Самара: Самарский научный ценгр РАН, 2008.- С. 122-127.
43. Рогачев, ГЛ. Гибридно-автоматный метод анализа и синтеза систем управления/ ГЛ. Рогачев // Проектирование инженерных и научных приложений в среде МАТЬАВ. Труды IV Всероссийской научной конференции.- Астрахань: Издательский дом «Астраханский университет», 2009,- С. 61-70.
44. Егоров, В А Методика и программное средство синтеза гибридно-автоматных систем управления техническими объектами/ В А. Егоров, ГЛ. Рогачев // Проектирование инженерных и научных приложений в среде МАНАВ. Труды IV Всероссийской научной конференции,- Астрахань: Изд. дом «Астраханский университет», 2009 - С. 457-463.
45. Рогачев, ГЛ. Методы синтеза гибридных регуляторов апериодического действия/ ГЛ. Рогачев // Проблемы управления и моделирования в сложных системах. Труды XI Международной конференции.- Самара: Самарский научный центр РАН, 2009.- С. 96-102.
46. Рогачев, Г.Н. Императивные модели регуляторов компьютерных систем управления и их ЗШеАоуу-реализация/ ГЛ. Рогачев // Проектирование инженерных и научных приложений в среде МАНАВ. Труды V Международной научной конференции.- Харьков: ФЛП Шейнина Е. В., 2011.- С. 51-67.
47. Рогачев, Г.Н. Эволюционные вычисления в регуляторе реального времени для машины Дубинса/ ГЛРогачев, НГ. Рогачев // Аналитическая механика, устойчивость и управление. Труды X Международной Чегаевской конференции.- Казань: Идд-во Казан. Гос. техн. ун-та, 2012.-С. 273-281.
В большинстве работ, опубликованных в соавторстве, соискателю принадлежит основная роль при постановке и решении задач и обобщении полученных результатов.
Автореферат отпечатан с разрешения диссертационного совета Д 212.217.03 ФГБОУ ВПО «Самарский государственный технический университет» (протокол № 8 от 9 сентября 2013 г.)
Огпечагано на ризографе. Усл. печ. л. 2,0 Тираж 100 экз. Заказ № 854
ФГБОУ ВПО «СамГТУ»
Отдел типографии и оперативной печати 443100, Самара, уд Молодогвардейская, 244
Текст работы Рогачев, Геннадий Николаевич, диссертация по теме Системный анализ, управление и обработка информации (по отраслям)
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ «САМАРСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ»
ПРОДУКЦИОННЫЙ МЕТОД АНАЛИЗА И СИНТЕЗА АВТОМАТИЧЕСКИХ РЕГУЛЯТОРОВ В НЕПРЕРЫВНО-ДИСКРЕТНЫХ
СИСТЕМАХ УПРАВЛЕНИЯ
Специальность 05.13.01 - Системный анализ, управление и обработка информации (промышленность)
ДИССЕРТАЦИЯ на соискание ученой степени доктора технических наук
Научный консультант: Заслуженный деятель науки и техники РФ, доктор технических наук, профессор Рапопорт Эдгар Яковлевич
Самара-2013
05201450335
РОГАЧЕВ Геннадий Николаевич
/
Введение...........................................................................................................................5
Глава 1. Продукционная модель регулятора в задаче описания цифровой системы автоматического управления........................................................................................16
1.1. Принципы организации и функционирования систем управления.... 16
1.2. Продукционный метод описания регуляторов систем автоматического управления..............................................................................................................20
1.3. Примеры использования продукционного метода в задачах моделирования регуляторов систем автоматического управления.............................................22
1.4. Особенности и преимущества продукционного метода моделирования регуляторов............................................................................................................27
1.5. Продукционная модель регулятора как основа классификации систем автоматического управления................................................................................35
1.6. Выводы............................................................................................................37
Глава 2. Обобщенная гибридно-автоматная модель системы автоматического управления......................................................................................................................39
2.1. Гибридный автомат как модель системы автоматического управления с продукционной формой регулятора....................................................................39
2.2. Диаграммы состояний и переходов 81а1есЬаП как средство моделирования динамики гибридных систем................................................................................61
2.3. МАТЬАВ-81пшНпк-81л1еАо\у - среда разработки моделей гибридных систем .................................................................................................................................64
2.4. Описание средствами Stateflow цифровой системы автоматического управления..............................................................................................................71
2.5. 81а1еАо\у-модель системы автоматического управления с нечетким регулятором............................................................................................................83
2.6. Выводы............................................................................................................99
Глава 3. Синтез регуляторов ЦСАУ с продукционными алгоритмами функционирования......................................................................................................100
3.1 Общая характеристика предлагаемых методов синтеза регуляторов с продукционными алгоритмами функционирования........................................100
3.2. Численно-аналитическая процедура оптимального синтеза продукционной модели регулятора...............................................................................................106
3.3. Процедура оптимального синтеза продукционной модели регулятора прямым методом — псевдоспектральным методом Гаусса............................................112
3.4. Синтез продукционной формы регулятора с использованием генетического алгоритма..............................................................................................................114
3.5. Синтез продукционной формы регулятора с использованием генетического программирования...............................................................................................116
3.6. Синтез продукционной формы регулятора в задачах управления с нечеткими целями и ограничениями....................................................................................118
3.7. Анализ ЦСАУ в условиях ограничений со стороны аппаратных средств и нестабильности работы канала связи................................................................122
3.8. Выводы..........................................................................................................132
Глава 4. Использование продукционного метода в задачах анализа и синтеза автоматических регуляторов технических систем управления..............................133
4.1. Анализ работы ГНДСУ в условиях нестабильного шага квантования.. 133
4.2. Анализ и верификация алгоритма работы цифрового оптимального по быстродействию регулятора...............................................................................142
4.3. Численно-аналитическая процедура оптимального синтеза продукционной модели регулятора в линейных непрерывно-дискретных системах..............150
4.4. Использование процедуры оптимального синтеза продукционой модели регулятора САУ с нелинейным объектом управления псевдоспектральным методом Гаусса....................................................................................................167
4.5. Выводы..........................................................................................................177
Глава 5. Анализ и синтез систем продукций регуляторов в интеллектуальных
ГНДСУ..........................................................................................................................178
5.1. Синтез продукционой формы регулятора с использованием генетического алгоритма..............................................................................................................178
5.2. Синтез продукционных правил работы регулятора с помощью генетического программирования...............................................................................................190
5.3. Синтез системы правил работы регулятора в задачах управления с нечеткими целями и ограничениями....................................................................................195
5.4. Анализ ЦСАУ с нечетким регулятором при нестабильности работы канала связи......................................................................................................................206
5.5. Выводы..........................................................................................................209
Глава 6. Синтез регулятора системы пространственно-временного управления объектом технологического нагрева.........................................................................211
6.1. Постановка задачи оптимального проектирования установки технологического нагрева с пространственно-временным управляющим воздействием и оптимальной организации режимов ее функционирования 211
6.2. Анализ качества системы пространственно-временного управления процессом индукционного нагрева с использованием теоремы сравнения..218
6.3. Выводы..........................................................................................................222
Заключение...................................................................................................................223
Список литературы......................................................................................................229
Список иллюстративного материала.........................................................................238
Приложение. Акты внедрения результатов работы.................................................247
ВВЕДЕНИЕ
Диссертационная работа посвящена разработке продукционного метода описания автоматических регуляторов и способов его применения в задачах анализа и оптимального синтеза непрерывно-дискретных систем управления широким кругом технических объектов.
Актуальность проблемы.
Одним из важных направлений современного развития теории управления является исследование гибридных непрерывно-дискретных систем управления (ГНДСУ). В таких системах компоненты с непрерывными сигналами отражают физические законы, технологические или технические принципы, которым подчинено функционирование объектов управления, а дискретные элементы моделируют работу цифровых управляющих устройств. К гибридным относится широкий круг управляемых объектов, охватывающий как традиционные, так и новейшие технологии в самых различных областях техники. Практическая реализация таких технологий с требуемыми качественными показателями невозможна без построения соответствующих алгоритмов автоматического управления, что и явилось главным стимулом к созданию теории и методов управления ГНДСУ.
Различные классы гибридных систем изучались в работах Емельянова C.B., Уткина В.И. (системы с переменной структурой), Васильева С.Н., Федосова Е.А., Бортаковского А. С. (логико-динамические системы), Куржанского А.Б., Цыпкина Я.З., Li Z., Silva G.N., Soh Y., Vinter R.V., Wen С. (импульсные системы), Аграчева A.A., Савкина A.B., Antsaklis P.J., Brockett R.W., Evans R.J, Hedlund S., Liberzon D., Rantzer A., Rischel H. (переключательные системы), Hespanha J.P., Johansson K.H., Lygeros J., Sastry S.S., Tomlin C.J. (автономные и неавтономные гибридные системы), Осипова Г.С. (динамические интеллектуальные системы).
Задачи управления применительно к гибридным системам оказываются качественно более сложными по сравнению с аналогичными задачами управления непрерывными или дискретными системами ввиду целого ряда принципиальных особенностей этих систем, связанных с наличием в них существенным образом взаимодействующих непрерывных и дискретных подсистем, сочетанием непрерывной динамики управляемых процессов с дискретными процедурами получения информации о параметрах объекта, вычисления по этим данным управляющих воздействий и передачи их на исполнительные устройства. К такого рода особенностям прежде всего относятся:
влияние определяющего характера эффекта квантования сигналов по времени и по уровню на качественные показатели ГНДСУ;
влияние и возможности использования в качестве управляющих воздействий целого комплекса сильнодействующих специфических возмущающих факторов, таких, в частности, как случайные временные задержки и частичные потери информации при передаче управляющих воздействий;
необходимость учета комплекса шумовых составляющих сигналов' в замкнутом контуре системы;
существенное (часто определяющее) влияние характеристик и свойств информационных каналов и сетевых связей на формирование управляющих алгоритмов;
возможности автоматического формирования и видоизменения в режиме реального времени алгоритмов управления на основе получаемой в процессе функционирования ГНДСУ рабочей информации о поведении системы и вытекающих отсюда требований к разработке вычислительных процедур, обеспечивающих реализацию этих алгоритмов с требуемой динамикой; необходимость учета ограничений со стороны аппаратных средств. Указанные задачи непосредственно относятся к сформулированной в Программе фундаментальных научных исследований Российской академии наук центральной проблеме создания единой теории управления, вычислений и сетевых связей, разработки методов автоматического синтеза алгоритмов
управления с одновременными их верификацией и валидацией на базе технических устройств, самостоятельно генерирующих свое программное обеспечение.
Решение этого круга задач традиционными методами, базирующимися на аналитическом конструировании автоматических регуляторов, связано с серьезными затруднениями ввиду отмеченной выше необходимости одновременного учета целого ряда разнообразных факторов определяющего характера для базовых технических приложений, практически не позволяющих сформулировать в замкнутой аналитической форме алгоритмы функционирования ГНДСУ с требуемыми показателями эффективности.
Многие из указанных проблем могут быть в основном решены путем разработки новых эффективных методов анализа и синтеза цифровых регуляторов ГНДСУ, базирующихся на специальных численных способах автоматической организации требуемых, априори не фиксируемых и переменных во времени алгоритмов управления. Подобные методы должны обеспечивать построение в темпе с управляемым процессом непосредственно на цифровом регуляторе реализующих эти алгоритмы вычислительных процедур, формируемых по сигналам обратных связей, с учетом особенностей, обусловленных цифровым характером устройств управления и сетевым способом обмена информацией между ними.
На этом пути возникает ряд представляющих самостоятельный теоретический и практический интерес задач по разработке новых способов синтеза оптимальных по принятым критериям эффективности алгоритмов и программ работы цифровых устройств управления для ГНДСУ в условиях учета целого комплекса разнообразных возмущающих воздействий и ресурсных ограничений, характерных для цифровых и сетевых систем управления.
В настоящей диссертационной работе предлагается один из возможных конструктивных подходов к указанному кругу задач построения регуляторов в ГНДСУ специальными численными методами.
Диссертация посвящена разработке, теоретическому обоснованию и практическому применению продукционного метода описания регуляторов в задачах анализа и оптимального синтеза систем управления гибридными системами, базирующегося на предлагаемой математической модели системы цифрового управления непрерывным объектом, динамическая часть которой, моделирующая функционирование объекта управления, описывается дифференциальными уравнениями, а дискретная часть, моделирующая работу устройства управления, - специальным численным алгоритмом его работы в виде системы продукций (набора правил вида «условие-действие»), структура и содержание которой автоматически формируются в процессе поиска оптимальных решений.
Целью диссертационной работы является разработка основ теории и техники применения продукционного метода описания регуляторов в задачах анализа и синтеза систем управления. Для достижения указанной цели в диссертации поставлены следующие основные научные задачи:
разработка имитационной модели гибридной непрерывно-дискретной системы управления (ГНДСУ) с продукционной формой представления алгоритма функционирования цифрового регулятора;
разработка и исследование методов, вычислительных алгоритмов и программных средств анализа влияния на качество работы ГНДСУ возмущающих факторов и эффектов квантования сигналов по времени и по уровню;
разработка численно-аналитического метода оптимального синтеза продукционной формы описания регулятора, базирующегося на совместном использовании достаточных условий оптимальности и процедуры конечномерной оптимизации;
разработка эволюционного метода решения задач оптимального синтеза системы продукций регулятора ГНДСУ для широкого класса объектов в постановке, адекватной реальным требованиям промышленных технологий;
разработка метода оптимального синтеза системы продукций регулятора ГНДСУ для задач управления с нечеткими целями и ограничениями;
апробирование продукционного метода построения регуляторов в ГНДСУ на примерах исследования широкого круга технических систем управления. Научная значимость работы определяется тем, что она предлагает новые эффективные численные методы построения самостоятельно генерирующих свое прикладное программное обеспечение цифровых регуляторов в ГНДСУ, которые автоматически формируют и при необходимости видоизменяют по сигналам обратных связей управляющие алгоритмы в процессе поиска оптимальных решений;
устанавливает новые, отличающиеся от известных схем аналитического конструирования способы качественного и количественного описания, исследования и синтеза алгоритмов оптимизации ГНДСУ;
предлагает конструктивные методы детализации выявленных закономерностей общего характера применительно к целому ряду прикладных задач, представляющих самостоятельный интерес.
Научная новизна работы определяется следующими основными научными результатами, полученными в указанном направлении:
• созданы основы теории и техники применения продукционного метода синтеза алгоритмов функционирования регуляторов цифровых систем управления в форме совокупности правил вида «условие-действие», не требующего аналитического описания законов регулирования и отличающегося от известных автоматическим формированием правил в процессе поиска оптимальных решений и совместным моделированием процессов управления, вычислений и сетевых связей, чем обеспечивается решение важной проблемы унификации моделей ГНДСУ, гибкости моделирования за счет выбора степени детализации и совместного исследования комплексной задачи оптимального построения системы управления, вычислительных процедур и информационных каналов;
• разработана имитационная модель гибридной системы цифрового управления непрерывным объектом, отличающаяся от известных продукционным алгоритмом функционирования регулятора, представленным в явной форме
автоматически формируемых специализированных вычислительных операций, за счет чего обеспечивается учет принципиальных особенностей, обусловленных цифровым характером устройств управления и сетевым способом обмена информацией между ними;
• на этой базе предложены не имеющие известных аналогов методы решения нового класса актуальных задач структурного и параметрического синтеза систем управления, отличающиеся существенным расширением ресурсов алгоритма управления путем формирования структуры и содержания продукционных правил функционирования регулятора в процессе поиска оптимальных решений;
• разработана не имеющая аналогов численно-аналитическая процедура синтеза алгоритма работы регулятора, основанная на совместном использовании методов конечномерной оптимизации для определения структуры продукционных правил и аналитических условий оптимальности процесса упра
-
Похожие работы
- Дискретно-логические регуляторы с минимизацией продолжительности отработки системы продукционных правил и повышенной точностью
- Синергетический синтез нелинейных дискретных регуляторов
- Аналитическое конструирование регуляторов на основе условий качественной экспоненциальной устойчивости
- Вопросы среднеквадратичной оптимизации для дискретно-непрерывных систем
- Интеллектуальные системы управления технологическими процессами на основе многомерных чётких логических регуляторов
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность