Содержание к диссертации
Введение
Глава 1 Аналитический синтез устойчивых многомерных моделей колебательных процессов на единичном шаре 16
1.1. Постановка задачи синтеза нелинейной обратной связи по состоянию, стабилизирующей многомерную колебательную модель 16
1.2. Стабилизации системы на замкнутом единичном шаре в окрестности его границы 18
1.3. Предельный цикл на единичной сфере в R3 21
1.4. Возбуждение автоколебательного режима на эллипсоиде в R3 22
1.5. Математическое моделирование автоколебательного режима на эллипсоиде. Фазовые портреты процессов стабилизации 30
1.6. Выводы 34
Глава 2 Синтез инвариантных эллипсоидов и стабилизация моделей градиентного типа 35
2.1. Постановка задачи синтеза нелинейной обратной связи стабилизирующей многомерную градиентную модель
2.2. Достаточные условия инвариантности и асимптотической устойчивости эллипсоида
2.3. Фазовые портреты процессов стабилизации градиентных систем в замкнутом единичном шаре
2.4. Математическое моделирование процессов стабилизации трехмерных градиентных моделей
2.5. Выводы 50
Глава 3 Аналитическое конструирование нелинейных стабилизирующих устройств для моделей колебательных звеньев 52
3.1. Постановка задачи аналитического конструирование стабилизирующего устройства (АКСУ) для генерации автоколебательных режимов 52
3.2. Задача АКСУ для одного неустойчивого колебательного звена 53
3.3. Задача АКСУ для возбуждения автоколебательного режима при взаимодействии двух колебательных процессов 58
3.4. Алгоритм синтеза устойчивого автоколебательного режима на двух колебательных звеньях
3.5. Выводы 66
Глава 4 Аналитическое конструирование нелинейных стабилизирующих элементов на алгебрах Ли 67
4.1. Динамические модели, их векторные поля и алгебры Ли 67
4.2. Достаточные признаки существования структурной неустойчивой динамики моделей и робастность 71
4.3. Неразрешимость некоторых задач стабилизации на абелевых алгебрах Ли 76
4.4. Синтез двумерных моделей, стабилизирующихся в окрестности, заданного состояния равновесия на некоммутативной алгебре Ли квадратично-нелинейных векторных полей 78
4.5. Задача АКСУ аварийной стабилизации. Запасные точки стабилизации и формирование петлевой динамики при срывах устойчивого режима. Аварийная стабилизация на алгебре Ли 88
4.6. Образование петель в пространстве концентраций реагирующих смесей как свойство стабилизации процессов в химических технологиях 93
4.7. Выводы 95
Заключение 97
Список литературы 98
- Стабилизации системы на замкнутом единичном шаре в окрестности его границы
- Достаточные условия инвариантности и асимптотической устойчивости эллипсоида
- Задача АКСУ для одного неустойчивого колебательного звена
- Достаточные признаки существования структурной неустойчивой динамики моделей и робастность
Введение к работе
Динамика современных машин характеризуется наличием нелинейных режимов, которые вызваны как наличием нелинейных силовых взаимодействий в машинах, так и использованием различного рода управляющих связей — регуляторов. Аналитический синтез динамических режимов с заданными параметрами устойчивости — стабилизации движения, осуществляется с помощью математических моделей в виде нелинейных систем дифференциальных уравнений. С момента появления первой работы И.А. Вышнеградского по регуляторам прямого действия до формирования нелинейной динамики регулирующих устройств элементов машин прошло немногим больше века. Такое временное расстояние объясняется тем, что с одной стороны нелинейная динамика управляемых процессов оформилась в самостоятельную область сравнительно недавно и, с другой стороны, это связано с достижениями в области современного материаловедения. Все это дало принципиальную возможность для технического воплощения сложных управляемых процессов, основанных на создании машин и их элементов с нелинейными принципами функционирования.
Настоящая работа посвящена синтезу в математических моделях элементов машин заданных нелинейных режимов, обеспечивающих их устойчивость и прочность. При этом модели технических устройства рассматриваются с позиций динамических систем. Такой подход оказывается достаточно эффективным по двум основным причинам: во-первых, рассматриваемые математические модели представляют собой системы дифференциальных уравнений, определяющие динамические системы [4,5,53]; во-вторых, динамическая система обладает групповыми свойствами [33, 35, 53, 54]. Первое позволяет привлечь к исследованию не только современные аналитические, но и качественные методы теории дифференциальных уравнений [4, 5, 8, 11]. Второе позволяет синтезировать для широкого класса
моделей алгебры Ли на их векторных полях [53, 54-56] и исследовать
t процессы стабилизации с позиций алгебраической теории Ли.
Математические модели динамики современной теории машин
представляют собой взаимосвязанную совокупность подсистем различного
типа. При этом существуют связи между подсистемами, сформированные как
на стадии проекта, так и образующиеся в процессе функционирования
реального устройства [43]. Таким образом, сложность динамических моделей
определяется не только большими размерностями, но и нелинейным
; характером связей между подсистемами. Основные задачи синтеза заданных
режимов функционирования связаны со стабилизацией, поскольку синтезированный режим должен обладать достаточным запасом устойчивости. Среди исследований отечественных и зарубежных ученых, определивших современную концепцию синтеза заданной нелинейной динамики систем, можно привести работы А.М.Летова, В.И. Зубова, А.А. Андронова, В.И. Арнольда, А.Г. Александрова, Н.Н. Боголюбова, Ю.А. Митропольского, Ю.Ф. Неймарка, Е.П. Попова, В.Н. Афанасьева, П.Д. Крутько, К.С. Колесникова, В.Р. Носова, К.В. Фролова, В.Ф. Журавлева, В.Б. Колмановского, Д.М. Климова, А. ван дер Шафта, Р.У. Брокетта, Н.Н. Красовского, Е.А. Барбашина. Большое влияние на построение систем, имеющих заданные траектории, оказали работы Н.П. Еругина [28].
Началу многочисленных исследований по синтезу регуляторов (управления с обратной связью) как в России, так и за рубежом положила серия известных работ А.М. Летова [ 46-49].
Развиваемый в диссертационной работе подход к различным задачам синтеза опирается на основные положения теории устойчивости инвариантных множеств динамических систем, предложенной В.И. Зубовым [33-37]. Понятие инвариантности в качественной теории динамических систем играет важную роль при геометрическом исследовании фазовых траекторий [12, 28, 36,76].
7 Кроме того, синтезируемая математическая модель должна обладать
нелинейным трением в окрестности инвариантного множества. В своих
исследованиях И.А. Вышнеградский определил наличие трения при работе
регулирующего устройства, как основной из принципов теории регулирования:
"без трения нет регулятора" [45].
Любая проектируемая машина представляет собой сложный комплекс управляемых элементов. Основные требования, предъявляемые к современным машинам, - это управляемость, наблюдаемость и устойчивость режимов их функционирования [6, 27, 50] согласно целям и задачам, преследуемым инженером-проектировщиком.
В связи с возможностью технической реализации сложных динамических режимов, в последнее время акцент при проектировании различных устройств сместился на применение концепций нелинейного регулирования динамики машин [12, 23, 49]. Это связано как с необходимостью синтеза нелинейных режимов, так и с подавлением нелинейного поведения устройства и обеспечения устойчивости линейного характера работы исполнительных органов машины. Например, работа многих устройств основана на возбуждении автоколебательных процессов, которые по своей природе являются нелинейными [ 4, 26, 16]. Простейшим устройством, работающем на этом принципе, является часовой механизм. Обеспечение синхронизации нескольких часовых механизмов основанных на захвате частоты, реализуется через нелинейное взаимодействие [60]. Задача синтеза нелинейного компенсатора, который разрушает нежелательные контуры нелинейных обратных связей, возникающие, например, при износе, усталостных напряжениях, выработке ресурса, возникновении эффекта сухого трения и т.д. [43, 74], относится к области нелинейного регулирования.
Задачи перехода от одного устойчивого режима устройства к другому также решаются посредством синтеза нелинейного управляющего устройства. Такие машины можно описать кусочно-сшитыми моделями [4, 6, 8]. Кусочно-
8 линейные (сшитые на интервалах времени) модели являются аппроксимацией моделей с нелинейными характеристиками. В таких моделях нелинейность аппроксимируется линейными характеристиками, различными для каждого из конечных интервалов времени [21, 22].
При формировании контуров обратных связей в устройствах с целью
достижения требуемого динамического процесса могут возникать колебания с
растущей амплитудой [23], приводящие к неустойчивой работе устройства.
Поэтому возникает проблема локализации переходных процессов.
Практически любая технически интересная задача связана с локализацией процессов стабилизации заданных режимов в ограниченных областях пространства состояний динамических моделей машин. Это объясняется тем, что от работы конкретного устройства требуется выход на заложенные в проекте устойчивые динамические и статические режимы. В связи с этим можно сформулировать следующие принципы аналитического конструирования регулирующих устройств с обратной связью по состоянию модели, на основе которых формируется подход, предлагаемый в диссертации к задачам синтеза устойчивых режимов в нелинейной динамике машин:
синтез инвариантного компактного множества в пространстве состояний модели;
обеспечение асимптотической устойчивости синтезированного множества относительно динамической системы - модели, описывающей требуемую динамику устройства;
возможность регулирования размера границы области. Выполнение первого принципа для синтезируемого множества приводит
к локализации процессов, начинающихся на этом множестве, согласно теоремам об инвариантных множествах (интегральных многообразиях) [28, 33, 54], т.е. фазовые траектории пространства состояний системы при начальных условиях, заданных на этих множествах, не могут его покинуть при t -» ±оо. При выполнении первого принципа компактная односвязная область состоит из
9 объединения двух инвариантных множеств— внутренности и границы области. Требование односвязности связано в первую очередь с тем, что если нелинейная характеристика определяется некоторой потенциальной функцией, то она должна быть однозначно определенной [25,43]. Выполнение второго принципа обеспечивает выход устройства на заданный режим. Выполнение третьего принципа позволяет управлять размером области асимптотической устойчивости заданного режима при начальных условиях, заданных внутри области с инвариантной границей.
В диссертации, в частности, сформулированы и доказаны достаточные условия, при которых задача синтеза удовлетворяет всем трем принципам аналитического конструирования регулирующего устройства, и требуемые динамические режимы лежат на границе области, они являются притягивающими для траекторий динамических моделей, величины, характеризирующие требуемую динамику, являются регулируемыми (управляемыми).
Например, для автоколебательных процессов с начальными условиями, заданными внутри области, ограниченной эллипсоидом, требуемый диапазон заданных амплитуд может регулироваться через длины полуосей многомерного эллипсоида, ограничивающего область в пространстве состояний и удовлетворяющий приведенным выше принципам.
С аналитической точки зрения, синтез стабилизирующих устройств представляет собой синтез нелинейных статических, динамических характеристик модели, представляющих собой нелинейную вектор-функцию -аналитическую модель регулирующих органов машины,
В диссертации аналитический синтез регулирующих устройств рассматриваются в теории гладких моделей нелинейной динамики машин. Регулирующие устройства, синтезируемые в данной работе, относятся к классу регуляторов прямого действия [6].
10 Выбор такой области является неслучайным и связан с тем, что позволяет
получить достаточно общие результаты, так как модели гладкой нелинейной
динамики могут быть вполне удовлетворительно аппроксимированы
последовательностью кусочно-линейных и дискретных моделей [21,43, 79].
В настоящей работе рассматриваются гладкие моделей элементов машин на инвариантных компактных множествах, так как понятия динамической системы и векторного поля, заданного на инвариантном компактном множестве, эквивалентны вследствие его компактности [72 ]. Кроме того, в этом случае операторная запись векторного поля является инфинитезимальным оператором динамической системы, как группы преобразований пространства состояний модели. В конечном счете это приводит к исследованию предметной области как с позиций теории дифференциальных уравнений, так и с теоретико-групповой точки зрения.
В данной работе, в частности, предлагается решение ряда задач стабилизации движений посредством аналитического синтеза многомерных эллипсоидов в пространстве состояний динамических систем. Такой подход, следуя сформулированным выше принципам, включает в себя две основные задачи:
1) задачу синтеза эллипсоида как интегрального множества
системы. Решение этой задачи приводит к выводу условий инвариантности
эллипсоида, а также обеспечивает локализацию траекторий, начинающихся во
внутренних точках области, ограниченной эллипсоидом, при выполнении
условия существования и единственности решения задачи Копій.
2) задачу обеспечения асимптотической устойчивости эллипсоида.
Решение этой задачи гарантирует притяжение этих траекторий к границе
области.
Наконец, решение этих двух задач приводит к синтезу связей, стабилизирующих движение систем в окрестности эллипсоида и, как следствие этого, к аналитическому конструированию регулирующих устройств.
Решение этих задач для колебательных систем позволяет синтезировать колебательные процессы с выходом на стационарный режим с заданной амплитудой. При таком подходе притягивающие режимы стабилизации возникают на самом эллипсоиде. Кроме того, размеры области локализации движений систем можно регулировать через длину полуосей эллипсоида. Свойства поверхности эллипсоида, его инвариантность и устойчивость определяет характер нелинейных связей, синтезируемых в динамических системах.
Помимо этих задач в данной работе рассматриваются задачи стабилизации движений системы в окрестности заданных состояний равновесия на алгебрах Ли векторных полей [25, 75], посредством введения взаимодействия между подсистемами с квадратичным характером нелинейности. Активное применение алгебраической теории Ли в задачах синтеза заданной динамики управляемых систем за рубежом появилось сравнительно недавно - в 80-е прошлого века и восходит к программной работе Р.У. Броккета [10], где сформулированы некоторые важные направления в данном ключе. Советский Союз, а затем и Россия, в области задач синтеза заданной динамики на алгебрах Ли занимает одно из лидирующих мест в мире. Здесь уместно перечислить ряд работ, стимулирующих формирование новых направлений в данной области - это работы [29-31, 53].
Задачи синтеза устойчивых режимов, решаемые в диссертации, можно
отнести к трем основным классам динамических моделей характерных для
нелинейной динамики машин: колебательные, градиентные и
комбинированные (синтезированные посредством нелинейного
взаимодействия на апериодических и колебательных звеньях).
Актуальность и необходимость исследований проблемы стабилизации движений систем, такого вида и определило выбор темы, целей и задач данной работы.
Цель работы состоит в теоретическом исследовании многомерных
12 колебательных и градиентных динамических моделей и синтезе обратных
связей по состоянию модели, стабилизирующих движения систем в
окрестности эллипсоидов.
Задачи исследований:
— разработка методов аналитического конструирования устройств, основанных
на принципах локализации движений на ограниченных областях,
инвариантности, притяжения границами заданных областей траекторий
синтезируемых систем.
Методы исследования. Для решения поставленных задач в работе используются методы качественной теории динамических систем, теории устойчивости и математического моделирования.
На защиту выносятся:
задача синтеза многомерных колебательных систем на замкнутом единичном шаре, с инвариантной асимптотически устойчивой границей относительно синтезируемых систем и синтез автоколебательного режима на эллипсоиде bR3;
задача синтеза инвариантного асимптотически устойчивого эллипсоида для многомерных градиентных систем;
— задача синтеза нелинейной обратной связи, обеспечивающего выход
колебательных процессов на устойчивый автоколебательный режим для
моделей устройств, состоящих из двух колебательных звеньев;
— синтез некоммутативной алгебры Ли для задач стабилизации квадратично -
нелинейных моделей.
Научная новизна. На основе исследования:
предложен единый подход к аналитическому синтезу градиентных и колебательных моделей с кубической нелинейностью, основанный на локализации движений в области, ограниченной эллипсоидом;
сформулирована и решена задача стабилизации в окрестности сферы многомерных колебательных нелинейных систем с нечетными многочленами
13 третьего порядка в правых частях и синтез автоколебательного режима на
эллипсоиде в
3) сформулирована и решена задача стабилизации в окрестности
эллипсоида многомерных градиентных систем с потенциалом в виде четного
многочлена четвертого порядка;
4) осуществлен синтез систем с квадратичной нелинейностью для задач
стабилизации в окрестности заданных положений равновесия на
некоммутативной алгебре Ли, что позволяет получить алгебраические
принципы стабилизации на основе теории алгебр Ли и решить задачу
аварийной стабилизации.
Практическая ценность работы заключается в создании
теоретических основ для проектирования систем автоматического регулирования с динамикой, локализованной в замкнутых областях с границами эллипсоидального типа. Полученные результаты открывают новые перспективы в развитии качественных методов моделирования нелинейных систем.
Достоверность и обоснованность результатов и выводов диссертации определяется применением при проведении исследований обоснованных методов качественного и группового анализа нелинейных систем дифференциальных уравнений, теории устойчивости и методов математического моделирования.
Апробация работы. Основные результаты диссертации докладывались на международной конференции, посвященной 100-летию А.А. Андронова «Прогресс в нелинейной науке. Математические проблемы нелинейной динамики». (Н. Новгород, 2.07.2001-6.07.2001), на «VI международном конгрессе по математическому моделированию» (Н. Новгород, 20.09.2004-26.09.2004), на международной конференции, посвященной 75-летию со дня рождения В.И. Зубова "Устойчивость и процессы управления" (Санкт-Петербург, 29.06.2005-01.07.2005), на научных семинарах и конференциях
14 государственных технических университетов (Астрахань, Волгоград 1995-
2004).
Публикации. Основное содержание диссертационной работы изложено в 10 научных работах и материалах конференций [17-20, 64-70].
Структура и объем работы. Диссертационная работа изложена на 104 страницах и состоит из введения, четырех оригинальных глав, заключения, списка использованной литературы, включающего 82 наименования, 24 рисунка и таблицы. В конце каждой из глав приведены основные полученные результаты.
В первой главе осуществлена постановка и дано решение двух задач в классе кубических многочленов: 1) синтеза многомерной колебательной модели, асимптотически устойчивой в окрестности единичной сферы; 2) синтеза автоколебательного процесса на эллипсоиде в Полученные результаты проиллюстрированы моделированием стабилизации колебаний для трехмерных колебательных систем. Получены фазовые портреты процессов стабилизации в пакете MAPLE-8.
Во второй главе получены достаточные условия существования инвариантного асимптотически устойчивого множества эллипсоидального типа, а также исследованы локальные и глобальные свойства фазовых траекторий систем с четным потенциалом четвертого порядка. При этом данная задача рассматривается при начальных условиях, заданных внутри области, ограниченной эллипсоидом.
Такие системы характерны для моделей машин синтезированных на"*-апериодических звеньях со взаимодействием между ними, индуцированном контурами обратных связей.
Проведено математическое моделирование поведения конкретных систем, и получены фазовые портреты процессов стабилизации в пакете MAPLE-8.
В третьей главе предлагается алгоритм синтеза автоколебательного
15 режима с регулируемой амплитудой для технических систем, модели которых
представляют совокупность двух колебательных звеньев. Получены
фазовые портреты процессов стабилизации в пакете MAPLE-8.
В четвертой главе доказана неразрешимость некоторых задач синтеза
для стабилизации на коммутативных алгебрах Ли моделей конечных
размерностей. Неразрешимость на абелевых алгебрах Ли этих задач имеет
прозрачную интерпретацию в плане технической реализуемости моделей, что
связано с отсутствием свойства робастности на таких алгебрах.
Для двумерных моделей синтезирована некоммутативная алгебра Ли.
Сформулирована и решена задача стабилизации для двух связных
апериодических звеньев на данной алгебре Ли. Дана иллюстрация процессов
аварийной стабилизации в пакете MAPLE-8.
Доказано, что синтез устойчивой динамики в окрестности нового
состояния равновесия сопровождается формированием петель в пространстве
состояний стабилизируемой модели.
Данный синтез позволяет решить задачу аварийной стабилизации в
окрестности запасного режима, в случае срыва динамики процесса с основного
режима функционирования элементов машины.
В конце диссертации приведены основные результаты и выводы.
Стабилизации системы на замкнутом единичном шаре в окрестности его границы
Нелинейная характеристика формирует контуры обратных связей по состоянию стабилизируемого объекта в окрестности эллипсоидальной границы. Обратная связь по состоянию в окрестности сферы (эллипсоида) приобретает отрицательный характер. Решение каждой из этих двух задач разбивается на два этапа: формулировка и доказательство инвариантности сферы и эллипсоида относительно колебательной модели и получение достаточных условий асимптотической устойчивости этих инвариантных множеств.
Динамика современных машин характеризуется наличием нелинейных режимов, которые вызваны как наличием нелинейных силовых взаимодействий в машинах, так и использованием различного рода управляющих связей — регуляторов. Аналитический синтез динамических режимов с заданными параметрами устойчивости — стабилизации движения, осуществляется с помощью математических моделей в виде нелинейных систем дифференциальных уравнений. С момента появления первой работы И.А. Вышнеградского по регуляторам прямого действия до формирования нелинейной динамики регулирующих устройств элементов машин прошло немногим больше века. Такое временное расстояние объясняется тем, что с одной стороны нелинейная динамика управляемых процессов оформилась в самостоятельную область сравнительно недавно и, с другой стороны, это связано с достижениями в области современного материаловедения. Все это дало принципиальную возможность для технического воплощения сложных управляемых процессов, основанных на создании машин и их элементов с нелинейными принципами функционирования.
Настоящая работа посвящена синтезу в математических моделях элементов машин заданных нелинейных режимов, обеспечивающих их устойчивость и прочность. При этом модели технических устройства рассматриваются с позиций динамических систем. Такой подход оказывается достаточно эффективным по двум основным причинам: во-первых, рассматриваемые математические модели представляют собой системы дифференциальных уравнений, определяющие динамические системы [4,5,53]; во-вторых, динамическая система обладает групповыми свойствами [33, 35, 53, 54]. Первое позволяет привлечь к исследованию не только современные аналитические, но и качественные методы теории дифференциальных уравнений [4, 5, 8, 11]. Второе позволяет синтезировать для широкого класса моделей алгебры Ли на их векторных полях [53, 54-56] и исследовать процессы стабилизации с позиций алгебраической теории Ли. Математические модели динамики современной теории машин представляют собой взаимосвязанную совокупность подсистем различного типа. При этом существуют связи между подсистемами, сформированные как на стадии проекта, так и образующиеся в процессе функционирования реального устройства [43]. Таким образом, сложность динамических моделей определяется не только большими размерностями, но и нелинейным ; характером связей между подсистемами. Основные задачи синтеза заданных режимов функционирования связаны со стабилизацией, поскольку синтезированный режим должен обладать достаточным запасом устойчивости. Среди исследований отечественных и зарубежных ученых, определивших современную концепцию синтеза заданной нелинейной динамики систем, можно привести работы А.М.Летова, В.И. Зубова, А.А. Андронова, В.И. Арнольда, А.Г. Александрова, Н.Н. Боголюбова, Ю.А. Митропольского, Ю.Ф. Неймарка, Е.П. Попова, В.Н. Афанасьева, П.Д. Крутько, К.С. Колесникова, В.Р. Носова, К.В. Фролова, В.Ф. Журавлева, В.Б. Колмановского, Д.М. Климова, А. ван дер Шафта, Р.У. Брокетта, Н.Н. Красовского, Е.А. Барбашина. Большое влияние на построение систем, имеющих заданные траектории, оказали работы Н.П. Еругина [28]. Началу многочисленных исследований по синтезу регуляторов (управления с обратной связью) как в России, так и за рубежом положила серия известных работ А.М. Летова [ 46-49].
Развиваемый в диссертационной работе подход к различным задачам синтеза опирается на основные положения теории устойчивости инвариантных множеств динамических систем, предложенной В.И. Зубовым [33-37]. Понятие инвариантности в качественной теории динамических систем играет важную роль при геометрическом исследовании фазовых траекторий [12, 28, 36,76]. Кроме того, синтезируемая математическая модель должна обладать нелинейным трением в окрестности инвариантного множества. В своих исследованиях И.А. Вышнеградский определил наличие трения при работе регулирующего устройства, как основной из принципов теории регулирования: "без трения нет регулятора" [45]. Любая проектируемая машина представляет собой сложный комплекс управляемых элементов. Основные требования, предъявляемые к современным машинам, - это управляемость, наблюдаемость и устойчивость режимов их функционирования [6, 27, 50] согласно целям и задачам, преследуемым инженером-проектировщиком.
Достаточные условия инвариантности и асимптотической устойчивости эллипсоида
В связи с возможностью технической реализации сложных динамических режимов, в последнее время акцент при проектировании различных устройств сместился на применение концепций нелинейного регулирования динамики машин [12, 23, 49]. Это связано как с необходимостью синтеза нелинейных режимов, так и с подавлением нелинейного поведения устройства и обеспечения устойчивости линейного характера работы исполнительных органов машины. Например, работа многих устройств основана на возбуждении автоколебательных процессов, которые по своей природе являются нелинейными [ 4, 26, 16]. Простейшим устройством, работающем на этом принципе, является часовой механизм. Обеспечение синхронизации нескольких часовых механизмов основанных на захвате частоты, реализуется через нелинейное взаимодействие [60]. Задача синтеза нелинейного компенсатора, который разрушает нежелательные контуры нелинейных обратных связей, возникающие, например, при износе, усталостных напряжениях, выработке ресурса, возникновении эффекта сухого трения и т.д. [43, 74], относится к области нелинейного регулирования.
Задачи перехода от одного устойчивого режима устройства к другому также решаются посредством синтеза нелинейного управляющего устройства. Такие машины можно описать кусочно-сшитыми моделями [4, 6, 8]. Кусочно 8 линейные (сшитые на интервалах времени) модели являются аппроксимацией моделей с нелинейными характеристиками. В таких моделях нелинейность аппроксимируется линейными характеристиками, различными для каждого из конечных интервалов времени [21, 22].
При формировании контуров обратных связей в устройствах с целью достижения требуемого динамического процесса могут возникать колебания с растущей амплитудой [23], приводящие к неустойчивой работе устройства. Поэтому возникает проблема локализации переходных процессов. Практически любая технически интересная задача связана с локализацией процессов стабилизации заданных режимов в ограниченных областях пространства состояний динамических моделей машин. Это объясняется тем, что от работы конкретного устройства требуется выход на заложенные в проекте устойчивые динамические и статические режимы. В связи с этим можно сформулировать следующие принципы аналитического конструирования регулирующих устройств с обратной связью по состоянию модели, на основе которых формируется подход, предлагаемый в диссертации к задачам синтеза устойчивых режимов в нелинейной динамике машин: 1) синтез инвариантного компактного множества в пространстве состояний модели; 2) обеспечение асимптотической устойчивости синтезированного множества относительно динамической системы - модели, описывающей требуемую динамику устройства; 3) возможность регулирования размера границы области. Выполнение первого принципа для синтезируемого множества приводит к локализации процессов, начинающихся на этом множестве, согласно теоремам об инвариантных множествах (интегральных многообразиях) [28, 33, 54], т.е. фазовые траектории пространства состояний системы при начальных условиях, заданных на этих множествах, не могут его покинуть при t -» ±оо. При выполнении первого принципа компактная односвязная область состоит из объединения двух инвариантных множеств— внутренности и границы области. Требование односвязности связано в первую очередь с тем, что если нелинейная характеристика определяется некоторой потенциальной функцией, то она должна быть однозначно определенной [25,43]. Выполнение второго принципа обеспечивает выход устройства на заданный режим. Выполнение третьего принципа позволяет управлять размером области асимптотической устойчивости заданного режима при начальных условиях, заданных внутри области с инвариантной границей.
В диссертации, в частности, сформулированы и доказаны достаточные условия, при которых задача синтеза удовлетворяет всем трем принципам аналитического конструирования регулирующего устройства, и требуемые динамические режимы лежат на границе области, они являются притягивающими для траекторий динамических моделей, величины, характеризирующие требуемую динамику, являются регулируемыми (управляемыми).
Задача АКСУ для одного неустойчивого колебательного звена
Например, для автоколебательных процессов с начальными условиями, заданными внутри области, ограниченной эллипсоидом, требуемый диапазон заданных амплитуд может регулироваться через длины полуосей многомерного эллипсоида, ограничивающего область в пространстве состояний и удовлетворяющий приведенным выше принципам. С аналитической точки зрения, синтез стабилизирующих устройств представляет собой синтез нелинейных статических, динамических характеристик модели, представляющих собой нелинейную вектор-функцию -аналитическую модель регулирующих органов машины, В диссертации аналитический синтез регулирующих устройств рассматриваются в теории гладких моделей нелинейной динамики машин. Регулирующие устройства, синтезируемые в данной работе, относятся к классу регуляторов прямого действия [6]. Выбор такой области является неслучайным и связан с тем, что позволяет получить достаточно общие результаты, так как модели гладкой нелинейной динамики могут быть вполне удовлетворительно аппроксимированы последовательностью кусочно-линейных и дискретных моделей [21,43, 79]. В настоящей работе рассматриваются гладкие моделей элементов машин на инвариантных компактных множествах, так как понятия динамической системы и векторного поля, заданного на инвариантном компактном множестве, эквивалентны вследствие его компактности [72 ]. Кроме того, в этом случае операторная запись векторного поля является инфинитезимальным оператором динамической системы, как группы преобразований пространства состояний модели. В конечном счете это приводит к исследованию предметной области как с позиций теории дифференциальных уравнений, так и с теоретико-групповой точки зрения. В данной работе, в частности, предлагается решение ряда задач стабилизации движений посредством аналитического синтеза многомерных эллипсоидов в пространстве состояний динамических систем. Такой подход, следуя сформулированным выше принципам, включает в себя две основные задачи: 1) задачу синтеза эллипсоида как интегрального множества системы. Решение этой задачи приводит к выводу условий инвариантности эллипсоида, а также обеспечивает локализацию траекторий, начинающихся во внутренних точках области, ограниченной эллипсоидом, при выполнении условия существования и единственности решения задачи Копій. 2) задачу обеспечения асимптотической устойчивости эллипсоида. Решение этой задачи гарантирует притяжение этих траекторий к границе области.
Наконец, решение этих двух задач приводит к синтезу связей, стабилизирующих движение систем в окрестности эллипсоида и, как следствие этого, к аналитическому конструированию регулирующих устройств. Решение этих задач для колебательных систем позволяет синтезировать колебательные процессы с выходом на стационарный режим с заданной амплитудой. При таком подходе притягивающие режимы стабилизации возникают на самом эллипсоиде. Кроме того, размеры области локализации движений систем можно регулировать через длину полуосей эллипсоида. Свойства поверхности эллипсоида, его инвариантность и устойчивость определяет характер нелинейных связей, синтезируемых в динамических системах.
Помимо этих задач в данной работе рассматриваются задачи стабилизации движений системы в окрестности заданных состояний равновесия на алгебрах Ли векторных полей [25, 75], посредством введения взаимодействия между подсистемами с квадратичным характером нелинейности. Активное применение алгебраической теории Ли в задачах синтеза заданной динамики управляемых систем за рубежом появилось сравнительно недавно - в 80-е прошлого века и восходит к программной работе Р.У. Броккета [10], где сформулированы некоторые важные направления в данном ключе. Советский Союз, а затем и Россия, в области задач синтеза заданной динамики на алгебрах Ли занимает одно из лидирующих мест в мире. Здесь уместно перечислить ряд работ, стимулирующих формирование новых направлений в данной области - это работы [29-31, 53].
Достаточные признаки существования структурной неустойчивой динамики моделей и робастность
Задачи синтеза устойчивых режимов, решаемые в диссертации, можно отнести к трем основным классам динамических моделей характерных для нелинейной динамики машин: колебательные, градиентные и комбинированные (синтезированные посредством нелинейного взаимодействия на апериодических и колебательных звеньях). Актуальность и необходимость исследований проблемы стабилизации движений систем, такого вида и определило выбор темы, целей и задач данной работы. Цель работы состоит в теоретическом исследовании многомерных колебательных и градиентных динамических моделей и синтезе обратных связей по состоянию модели, стабилизирующих движения систем в окрестности эллипсоидов. Задачи исследований: — разработка методов аналитического конструирования устройств, основанных на принципах локализации движений на ограниченных областях, инвариантности, притяжения границами заданных областей траекторий синтезируемых систем. Методы исследования. Для решения поставленных задач в работе используются методы качественной теории динамических систем, теории устойчивости и математического моделирования. На защиту выносятся: — задача синтеза многомерных колебательных систем на замкнутом единичном шаре, с инвариантной асимптотически устойчивой границей относительно синтезируемых систем и синтез автоколебательного режима на эллипсоиде BR3; — задача синтеза инвариантного асимптотически устойчивого эллипсоида для многомерных градиентных систем; — задача синтеза нелинейной обратной связи, обеспечивающего выход колебательных процессов на устойчивый автоколебательный режим для моделей устройств, состоящих из двух колебательных звеньев; — синтез некоммутативной алгебры Ли для задач стабилизации квадратично нелинейных моделей. Научная новизна. На основе исследования: 1) предложен единый подход к аналитическому синтезу градиентных и колебательных моделей с кубической нелинейностью, основанный на локализации движений в области, ограниченной эллипсоидом; 2) сформулирована и решена задача стабилизации в окрестности сферы многомерных колебательных нелинейных систем с нечетными многочленами третьего порядка в правых частях и синтез автоколебательного режима на эллипсоиде в 3) сформулирована и решена задача стабилизации в окрестности эллипсоида многомерных градиентных систем с потенциалом в виде четного многочлена четвертого порядка; 4) осуществлен синтез систем с квадратичной нелинейностью для задач стабилизации в окрестности заданных положений равновесия на некоммутативной алгебре Ли, что позволяет получить алгебраические принципы стабилизации на основе теории алгебр Ли и решить задачу аварийной стабилизации. Практическая ценность работы заключается в создании теоретических основ для проектирования систем автоматического регулирования с динамикой, локализованной в замкнутых областях с границами эллипсоидального типа. Полученные результаты открывают новые перспективы в развитии качественных методов моделирования нелинейных систем. Достоверность и обоснованность результатов и выводов диссертации определяется применением при проведении исследований обоснованных методов качественного и группового анализа нелинейных систем дифференциальных уравнений, теории устойчивости и методов математического моделирования. Апробация работы. Основные результаты диссертации докладывались на международной конференции, посвященной 100-летию А.А. Андронова «Прогресс в нелинейной науке. Математические проблемы нелинейной динамики». (Н. Новгород, 2.07.2001-6.07.2001), на «VI международном конгрессе по математическому моделированию» (Н. Новгород, 20.09.2004-26.09.2004), на международной конференции, посвященной 75-летию со дня рождения В.И. Зубова "Устойчивость и процессы управления" (Санкт-Петербург, 29.06.2005-01.07.2005), на научных семинарах и конференциях государственных технических университетов (Астрахань, Волгоград 1995 2004).
Публикации. Основное содержание диссертационной работы изложено в 10 научных работах и материалах конференций [17-20, 64-70]. Структура и объем работы. Диссертационная работа изложена на 104 страницах и состоит из введения, четырех оригинальных глав, заключения, списка использованной литературы, включающего 82 наименования, 24 рисунка и таблицы. В конце каждой из глав приведены основные полученные результаты. В первой главе осуществлена постановка и дано решение двух задач в классе кубических многочленов: 1) синтеза многомерной колебательной модели, асимптотически устойчивой в окрестности единичной сферы; 2) синтеза автоколебательного процесса на эллипсоиде в Полученные результаты проиллюстрированы моделированием стабилизации колебаний для трехмерных колебательных систем. Получены фазовые портреты процессов стабилизации в пакете MAPLE-8. Во второй главе получены достаточные условия существования инвариантного асимптотически устойчивого множества эллипсоидального типа, а также исследованы локальные и глобальные свойства фазовых траекторий систем с четным потенциалом четвертого порядка. При этом данная задача рассматривается при начальных условиях, заданных внутри области, ограниченной эллипсоидом.
Такие системы характерны для моделей машин синтезированных на" -апериодических звеньях со взаимодействием между ними, индуцированном контурами обратных связей. Проведено математическое моделирование поведения конкретных систем, и получены фазовые портреты процессов стабилизации в пакете MAPLE-8. В третьей главе предлагается алгоритм синтеза автоколебательного режима с регулируемой амплитудой для технических систем, модели которых представляют совокупность двух колебательных звеньев. Получены фазовые портреты процессов стабилизации в пакете MAPLE-8. В четвертой главе доказана неразрешимость некоторых задач синтеза для стабилизации на коммутативных алгебрах Ли моделей конечных размерностей. Неразрешимость на абелевых алгебрах Ли этих задач имеет прозрачную интерпретацию в плане технической реализуемости моделей, что связано с отсутствием свойства робастности на таких алгебрах. Для двумерных моделей синтезирована некоммутативная алгебра Ли. Сформулирована и решена задача стабилизации для двух связных апериодических звеньев на данной алгебре Ли. Дана иллюстрация процессов аварийной стабилизации в пакете MAPLE-8. Доказано, что синтез устойчивой динамики в окрестности нового состояния равновесия сопровождается формированием петель в пространстве состояний стабилизируемой модели. Данный синтез позволяет решить задачу аварийной стабилизации в окрестности запасного режима, в случае срыва динамики процесса с основного режима функционирования элементов машины.
