Исследование устойчивости автономных нелинейных динамических систем без функций Ляпунова и потенциальной функции тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат физико-математических наук Кузнецов, Андрей Юрьевич

• Кузнецов, Андрей Юрьевич
• кандидат физико-математических наук
• 2012

Оглавление диссертации кандидат физико-математических наук Кузнецов, Андрей Юрьевич

Оглавление

Введение

1 Анализ типовых математических моделей нелинейных автономных динамических систем. Постановка научной задачи

1.1 Математические модели нелинейных автономных динамических систем

1.1.1 Математическая модель взаимодействия конкурирующих динамических систем

1.1.2 Математическая модель движения летательного аппарата

1.1.3 Математическая модель динамики роста плотности вредителя леса

1.1.4 Математическая модель динамики загрязнения фосфатами эвтрофных озёр

1.1.5 Математическая модель движения воды в канале

1.1.6 Математическая модель процесса химического окисления

1.1.7 Математическая модель динамики изменения концентрации биомассы бактерий с учётом их возрастных изменений

1.2 Показатели устойчивости математических моделей нелинейных автономных динамических систем

1.3 Постановка научной задачи. Принцип исследования

1.4 Выводы

2 Теоремы об устойчивости нелинейных динамических систем без введения функции Ляпунова

2.1 Теоремы о необходимых и достаточных условиях устойчивости динамических систем, описываемых автономными нелинейными обыкновенными дифференциальными уравнениями

2.2 Теоремы о необходимых и достаточных условиях устойчивости динамических систем, описываемых дифференциальными уравнениями с частными производными

2.3 Теоремы о необходимых и достаточных условиях устойчивости динамических систем, описываемых интегральными уравнениями

2.4 Лемма об устойчивости динамических систем, описываемых неавтономными обыкновенными дифференциальными уравнениями

2.5 Теоремы о необходимых и достаточных условий структурной устойчивости автономных нелинейных динамических систем

2.6 Выводы

3 Группа программ исследования устойчивости автономных нелинейных динамических систем

3.1 Структура группы программ

3.1.1 Управляющая программа

3.1.2 Система управления базой данных

3.1.3 Транспортная программа

3.1.4 Программа исследования динамической устойчивости

3.1.5 Программа исследования структурной устойчивости

3.1.6 Программа построения графического пользовательского интерфейса

3.2 Организация вычислительного эксперимента

3.3 Калибровка группы программ

3.3.1 Математическая модель движения воздушных масс

в атмосфере

3.3.2 Математическая модель колебательных процессов

3.4 Выводы

4 Исследование устойчивости нелинейных автономных динамических систем

4.1 Исследование структурной и динамической устойчивости конкурирующих производителей

4.2 Исследование структурной и динамической устойчивости летательного аппарата

4.3 Исследование структурной и динамической устойчивости роста плотности вредителя

4.4 Исследование структурной и динамической устойчивости загрязнения фосфатами эвтрофных озёр

4.5 Исследование структурной и динамической устойчивости движения воды в канале

4.6 Исследование структурной и динамической устойчивости окисления СО на кластере палладия

4.7 Исследование структурной и динамической устойчивости динамики изменения концентрации биомассы бактерий с учётом старения клеток

4.8 Выводы

Заключение

Литература

Введение диссертации (часть автореферата) на тему «Исследование устойчивости автономных нелинейных динамических систем без функций Ляпунова и потенциальной функции»

Введение

В физике, технике, экономике, биологии и химии динамические процессы описывают нелинейными системами обыкновенных дифференциальных уравнений, системами уравнений в частных производных, интегральных и интегро - дифференциальных уравнений [1, 2, 3, 4, 5]. Нелинейности в таких системах могут быть гладкие и негладкие, непрерывные и разрывные [6, гл.1, §1.1].

Нелинейные динамические системы классифицируют на автономные и неавтономные. Автономными называют системы, описываемые дифференциальными уравнениями, правые части которых не зависят явно от времени, и неавтономными - все остальные.

К таким системам предъявляется одно общее требование - система должна обладать устойчивостью Рассматривают устойчивость динамическую и структурную. Термин «устойчивость» не имеет чёткой формулировки. Так, под динамической устойчивостью понимают свойство динамической системы, описываемой обыкновенными дифференциальными уравнениями, иметь малые отклонения от траектории первоначального движения при малых возмущениях начальных условий [8, гл.1, §1]. Выделяют различные виды динамической устойчивости: устойчивость по Ляпунову [8, гл.1, §1], устойчивость в малом, большом [6, гл.5, §5.1], равномерную [9, гл.1, §2], устойчивость в целом [10, гл.1, §2], [9, гл.1, §12], абсолютную устойчивость [6, гл.5, §5.1], асимптотическую устойчивость [9, гл.1, §2], [10, гл.1, §2], экспоненциальную устойчивость [10, гл.1, §2]. [11, гл. 1], [13, гл.IV, §8], орбитальную устойчивость [15, гл.1, §1, 1.8], [13, гл.IV, §19]; условную устойчивость[16, гл.пятая, §2], [13, гл.IV, §22], [8, гл.1, §1] стохастических систем, устойчивость по мере [10, гл.1, §2].

Понятие асимптотической устойчивости охватывает устойчивость по Ляпунову; для автономных систем асимптотическая устойчивость решения влечет равномерную устойчивость [17, гл.1, §1], устойчивость в малом, в большом; асимптотическая устойчивость тривиального решения гарантирует его абсолютную устойчивость [9, гл.1, §12], а значит - устойчивость в целом [13, гл.IV, §7].

Для исследования устойчивости нелинейных динамических систем

1 Требования наблюдаемости, идентифицируемости, управляемости в настоящей работе не затрагиваются

разработаны аналитические методы Линдштета [15, гл.III, §8, 8.2], Пуанкаре [15, гл.Ш, §8, 8.3], Крылова, Боголюбова и Ван-дер-Поля [15, гл.III, §8, 8.4], Картрайта [15, гл.Ш, §9, 9.7], Важевского [15, гл.Ш, §9, 9.8], А.А.Первозванского [18], И.В.Войкова [10, 21]. Такие методы применимы для исследования систем с заданной структурой. Исследование нелинейных многомерных динамических систем качественными методами, в частности, анализ фазовых портретов [19, гл. 1], [20, гл. 3], на практике затруднительно.

Для нелинейных автономных динамических систем исследования асимптотической устойчивости проводятся согласно первому [22, гл.III-VI] и второму [23, гл. 4] подходам Ляпунова [8, гл.1, §5], [24, гл. 8].

Первый подход Ляпунова основан на линеаризации системы и исследовании линеаризованной системы с последующим переносом результатов исследования на исходную нелинейную систему. Результаты исследования на основе линеаризации системы могут не удовлетворить требованиям точности полного описания особенностей поведения исследуемой системы, так как известно [8], что линеаризованная система, или, иначе, система уравнений первого приближения [22, гл.Ш-VI], не всегда приводит к устойчивости или неустойчивости исследуемой системы. Устойчивость линеаризованного уравнения исследуется по критерию Раусса -Гурвица [13, гл.2, §9], [12, гл. 3], [25, гл. 13] или Льенара - Шипара [14, гл. 3], а также методами Михайлова [13, гл.2, §10], Найквиста [14, гл. 3], Попова [6, 7], асимптотических разложений [15, гл.IV] или построением фазовых портретов.

Второй подход основан на анализе функции Ляпунова. Однако универсального метода её построения к настоящему времени не найдено [26, гл.II, §2], [27, гл.4, предисловие]. Известны лишь частные методы: энергетический приём, метод Беллмана- Ляпунова- Якоби, метод подбора функций, задание вспомогательной функции желаемого вида.

Энергетический метод [27, гл.II, §2] основан на формировании функции полной энергии исследуемого процесса. В общем случае функцию полной энергии выявить не представляется возможным.

Метод разделения переменных [1, §6.5] основан на эвристическом построении структуры функции Ляпунова: функция Ляпунова берется в виде произведения функций, зависящих от одной из фазовых координат.

Метод Беллмана [27, гл.II, §2] основан на решении системы уравнений Беллмана- Ляпунова- Якоби, однако решить такое уравнение не представляется возможным, так как неизвестна структура искомой функции.

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

ществовать актуальная необходимость в развитии методов исследования динамической устойчивости нелинейных автономных динамических систем.

Эта проблема усиливается тем, что при изменении параметров динамической системы, то есть при изменении её структуры, система может переходить из устойчивых состояний в неустойчивые - нарушается структурная устойчивость. Принято [28] считать структурно устойчивой системой ту, которая остается эквивалентной по своим топологическим свойствам исходной при малых её возмущениях.

Структурная устойчивость и неустойчивость определяется соответственно отсутствием и наличием бифуркаций [29, 30, 31]. Бифуркации определяются путём исследования потенциальной функции системы, однако такую функцию можно построить только для потенциальных систем.

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

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

Так, целями работы являются:

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

x(t) = X(x(t), к),

где х(£) = (xi(t),..., xn(t)) — вектор фазовых координат, п — размерность пространства фазовых координат, к = [к\,..., кт) — вектор параметров системы, т— размерность пространства параметров системы, X(x(t), к) = (Х\(x(t), к),... ,Xn(x(t), к))) — в общем случае нелинейная вектор- функция.

2. Теоретическое обоснование необходимых и достаточных условий

структурной устойчивости автономных нелинейных динамических систем.

3. Разработка и программирование алгоритмов формирования необходимых и достаточных условий структурной и динамической устойчивости автономных нелинейных динамических систем.

4. Создание группы программ исследования структурной и динамической устойчивости автономных нелинейных динамических систем.

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

В основу формирования необходимых и достаточных условий динамической устойчивости автономных нелинейных динамических систем в работе принимается известный факт [32]: для основной и сопряжённой систем гамильтоновых уравнений одновременно невозможны асимптотически устойчивые положения равновесия и асимптотически устойчивые предельные циклы в фазовом пространстве, и устойчивость исходной системы однозначно соответствует неустойчивости сопряжённой. Последняя является линейной однородной относительно сопряжённых фазовых координат.

Основой формирования необходимых и достаточных условий структурной устойчивости является зависимость собственных значений сопряжённой системы от управляющих параметров основной системы, а точки изменения знака собственных значений сопряжённой системы есть точки перехода основной системы из устойчивых состояний в неустойчивые.

В [33] раскрывается важность результатов об устойчивости гамильтоновых систем, а в [34] исследуется устойчивость гамильтоновых систем линейных дифференциальных уравнений с постоянными и периодическими коэффициентами, результаты исследования не перенесены на нелинейные динамические системы.

Особенностями разработанной группы программ являются: - Распределенность. Разные программы должны выполняться на разных ПЭВМ или на разных ядрах одной ПЭВМ, в том числе в облачных инфраструктурах.

- Параллельность. Вычисления в группе должны проводиться по возможности параллельно.

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

- Интерактивность. Программы должны взаимодействовать с оператором посредством графического интерфейса интерактивно.

Основой распределённости вычислений в группе программ является сетевая прозрачность, реализуемая транспортным ядром; открытость группы программ достигается путём декларирования программных интерфейсов ядра и расширяемостью нереляционной базы данных; распараллеливание вычислений основано на системе асинхронных событий.

Группа программ разработана на основе системы символьной математики Maxima с использованием высокоуровневых языков программирования lisp, С++ и библиотек Qt.

Содержание работы изложено в 4 главах.

В первой главе проведен анализ математических моделей автономных систем по типу нелинейности, по свойству потенциальности и наличия изменяющихся параметров. Цель анализа сводится к выявлению типа динамической устойчивости автономных нелинейных систем и необходимости её исследования без применения качественных методов и функции Ляпунова, а также к выявлению необходимости исследования структурной устойчивости без построения потенциальной функции, опираясь на сопряжённую гамильтонову систему. В связи с этим рассмотрены основные определения устойчивости и связи между ними. Из анализа установлена целесообразность формирования необходимых и достаточных условий асимптотической динамической устойчивости также опираясь на сопряжённую гамильтонову систему. При этом критериями асимптотической динамической устойчивости линейных систем дифференциальных уравнений являются критерии Раусса-Гурвица и Льенара-Шипара, а для нелинейных динамических систем формальных универсальных критериев асимптотической устойчивости не предложено. В первой главе поставлена научная задача.

Во второй главе дано теоретическое обоснование методов формирования необходимых и достаточных условий динамической устойчивости автономных нелинейных динамических систем. Их достоверность дополнительно подтверждена сравнением результатов, полученных в фундаментальных работах [9, 35, 36, 18, 37, 38, 39, 40, 41, 42, 43] эвристико-качественными методами, с результатами, полученными разработанными методами.

Доказаны теоремы:

- по распространению необходимых и достаточных условий устойчивости

нелинейных динамических систем, на системы, описываемые уравнениями в частных производных. В основу теоремы положена идея перевода уравнения в частных производных из временной области в частотную посредством преобразования Фурье с последующим применением теоремы Планшереля о равенстве норм пространства исходных фазовых координат и пространства частотных координат.

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

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

В третьей главе созданы и запрограммированы основные алгоритмы группы программ исследования динамической и структурной устойчивости нелинейных автономных динамических систем. Это алгоритмы:

- асинхронного управления ходом вычислений;

- работы системы управления базой данных;

- работы сетевого транспортного ядра;

- формирования необходимых и достаточных условий динамической устойчивости нелинейных автономных динамических систем;

- формирования необходимых и достаточных условий структурной устойчивости нелинейных автономных динамических систем;

- построения интерактивного графического интерфейса оператора.

Спроектирована и реализована группа программ на ПЭВМ исследования динамической и структурной устойчивости автономных нелинейных динамических систем. Разработанная группа программ удовлетворяет требованиям по распараллеливанию вычислений, по распределён-ности программ между ПЭВМ и по интерактивности режима работы.

Дано математическое обоснование выбора средств и инструментов разработки программного обеспечения.

Проведена калибровка группы программ на типовых математических моделях. В результате подтверждена достоверность формирования необходимых и достаточных условий динамической и структурной устойчивости автономных нелинейных динамических систем.

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

Так, получены необходимые и достаточные условия динамической и структурной устойчивости автономной нелинейной непотенциальной динамической системы конкурирующих систем без допущений относительно поведения её изменяющихся параметров и фазовых переменных, введённых в работе М.В.Мелик-Гайказяна, В.Ф.Тарасенко [44].

Построено бифуркационное множество для движения летательного аппарата в развитие результатов, установленных Р.Гилмором [45] для конкретного самолёта.

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

Установлены исходные данные и степень необратимого загрязнения фосфатами эвтрофных водоёмов.

Результаты охватывают данные, полученные Дж.Касти [2] при исследовании конкретного водоёма с заданными усреднёнными исходными данными.

Сформированы необходимые и достаточные условия динамической и структурной устойчивости движения воды в канале.

Получены области значений исходных данных и параметров системы, при которых проведение химического эксперимента по окислению СО на кластере палладия безопасно.

Установлены необходимые и достаточные условия динамической устойчивости и бифуркационное множество для процесса развития бактерий с учётом старения клеток.

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

Результаты работы опубликованы в изданиях, включённых в перечень ведущих российских рецензируемых научных журналов, утверждённый Высшей Аттестационной Комиссией Минобрнауки России: «Труды МАИ» №40 2010г.; «Нелинейный мир» №10, т.8, 2010г.

Разработанная группа программ зарегистрирована в Государствен-

ном реестре программ для ЭВМ, свидетельство №2011611938 от 3 марта 2011 года.

В ходе работы по теме диссертации полученные результаты были доложены на 17-ой Международной научно-технической конференции «Современное телевидение» (ФГУП МКБ «Электрон», Москва, 2009); 18-ой международной научно-технической конференции «Современное телевидение» (ФГУП МКБ «Электрон», Москва, 2010); XVI международном симпозиуме «Динамические системы и технологические проблемы механики конструкций и сплошных сред» имени А.Г.Горшкова (МАИ, Яро-полец, 2010); второй Российской школы- конференции с международным участием для молодых специалистов «Математика, информатика, их приложения и роль в образовании» (ТвГУ, Тверь, 2010); 19-ой Международной научно-технической конференции «Современное телевидение и радиоэлектроника» (ФГУП МКБ «Электрон», Москва, 2011).

Научная новизна диссертационной работы состоит в:

1. Развитии теории методов исследования динамической и структурной устойчивости автономных нелинейных динамических систем без использования функции Ляпунова, линеаризации, построения фазовых портретов и независимо от дифференциации систем на потенциальные и непотенциальные.

2. Решении проблемы Айзермана [46] для автономных нелинейных динамических систем.

Практическая значимость заключается в следующем:

1. Созданы алгоритмы и реализованы программы исследования устойчивости автономных нелинейных динамических систем, что составляет вклад в исследовательскую базу нелинейных динамических систем.

2. Получены аналитически необходимые и достаточные условия устойчивости автономных нелинейных динамических систем, существенно развивающие известные эвристические приемы Н.П. Еругина, В.А. Плиса, H.H. Красовского, A.A. Первозванского, М.А. Айзермана и Р. Гилмора.

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

Условия получены в широком диапазоне исходных данных и без допущений, введённых в работах М.В. Мелика - Гайказяна, В.Ф. Тарасенко, Р. Гилмора, Дж. Касти и других авторов.

3. Разработанные программы по существу представляют группу программ исследования устойчивости автономных нелинейных динамических систем и используется в ФГУП «НИИИТ» при проектировании сложных динамических систем и процессов, имеется соответствующий акт о реализации от 15 ноября 2010г. Группа программ используется в учебном процессе кафедры математического моделирования ГОУ ВПО ТвГУ, выписка из протокола заседания кафедры от 28 октября 2010г.

Разработанные теоремы и группа программ могут применяться в научно - исследовательских организациях при проектировании и на других этапах создания сложных динамических систем с нелинейными элементами и в вузах при изучении теории и практики проведения исследований динамических систем и процессов.

На защиту выносятся следующие положения:

1. Теоретическое обоснование необходимых и достаточных условий динамической устойчивости автономных нелинейных динамических систем.

2. Теоретическое обоснование необходимых и достаточных условий структурной устойчивости автономных нелинейных динамических систем.

3. Группа программ исследования динамической и структурной устойчивости автономных нелинейных динамических систем, реализованный на основе системы символьной математики Maxima и высокоуровневых языков программирования lisp и С++.

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

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

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Кузнецов, Андрей Юрьевич

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

Заключение

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

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

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

Таким образом, возникает актуальная задача формирования необходимых и достаточных условий динамической и структурной устойчивости автономных нелинейных динамических систем вида (1.15) без введения функций Ляпунова, без применения качественных методов, в том числе построения фазовых портретов, без линеаризации и без введения потенциальной функции с учетом широких диапазонов изменения начальных условий и значений изменяющихся параметров исследуемой системы.

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

Теоремы свободны от введения функции Ляпунова и дифференциа

Достоверность формируемых необходимых и достаточных условий динамической и структурной устойчивости автономных нелинейных динамических систем дополнительно подтверждена сравнением их с результатами фундаментальных работ Н.П. Еругина, Е.А. Барбашина, H.H. Красовского, В.А. Плиса, A.A. Первозванского и И.В. Бойкова.

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

Разработанная группа программ удовлетворяет требованиям:

- Распределенность. Разные модули группы программ должны выполняться на разных ПЭВМ или на разных ядрах одной ПЭВМ, в том числе в облачных инфраструктурах.

- Параллельность. Вычисления в группе программ должны проводиться по возможности параллельно.

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

- Интерактивность. Модули группы программ должны взаимодействовать с оператором посредством графического интерфейса интерактивно.

Группа программ прокалибрована путём исследования типовых нелинейных динамических систем.

На основе применения разработанной группы программ были получены результаты исследования динамических систем в развитие результатов, полученных М.В. Мелик- Гайказяном, В.Ф.Тарасенко, Р. Гилмором, Дж. Касти.

Разработанная группа программ используется в ФГУП «НИИИТ» при проектировании сложных динамических систем и процессов, имеется соответствующий акт о реализации от 15 ноября 2010г. Группа программ используется в учебном процессе кафедры математического моделирования ГОУ ВПО ТвГУ, выписка из протокола заседания кафедры от 28 октября 2010г. Группа программ может применяться в научно - исследовательских организациях при проектировании и на других этапах создания сложных динамических систем с нелинейными элементами и вузах при изучении теории и практики исследования динамических си

Список литературы диссертационного исследования кандидат физико-математических наук Кузнецов, Андрей Юрьевич, 2012 год

Литература

[12 [13

Евланов Л.Г., Константинов В.М. Системы со случайными параметрами, М.: Наука, 1976.

Касти Дж. Большие системы. Связность, сложность и катастрофы. М.:Мир, 1982.

Амелькин В.В. Дифференциальные уравнения в приложениях, М.: Наука, 1987.

Вольтерра В. Математическая теория борьбы за существование. М.: Наука, 1976.

Ризниченко Г.Ю., Рубин A.B. Математические модели биологических продукционных процессов, М.: Издательство московского университета, 1993.

Попов Е.П. Теория нелинейных систем автоматического регулирования и управления, М: Наука, 1988.

Куропаткин П.В. Теория автоматического регулирования. М.: Высшая школа, 1973.

Ляпунов A.M. Общая задача об устойчивости движения, М.: Государственное издательство технико-теоретической литературы, 1950.

Барбашин Е.А. Введение в теорию устойчивости. М.: Наука, 1967.

Бойков И.В. Устойчивость решений дифференциальных уравнений. Пенза: Издательство Пензенского университета, 2008.

Фурасов В.Д. Устойчивость движения, оценки и стабилизации. М.: Наука, 1977.

Егоров А.И. Основы теории устойчивости. М.: ФИЗМАТЛИТ, 2007.

Демидович Б.П. Лекции по математической теории устойчивости, М.: Наука, 1967.

15

16

17

18

19

20 21

22

23

24

25

26

27

Ким Д.П. Теория автоматического управления. М.: ФИЗМАТЛИТ, 2004.

Чезари Л. Асимптотическое поведение и устойчивость решений обыкновенных дифференциальных уравнений, М.: Мир, 1967.

Матвеев Н.М. Методы интегрирования обыкновенных дифференциальных уравнений, М.: Высшая школа, 1967.

Барбашин Е.А. Функции Ляпунова. М.: Наука, 1970.

Первозванский A.A. Квазилогические системы и их устойчивость //АиТ. в.5, с.135-144, 1999.

Немыцкий В.В., Степанов В.В. Качественная теория дифференциальных уравнений. М.: Государственное издательство технико- теоретической литературы, 1947.

Арнольд В.И. Обыкновенные дифференциальные уравнения. М.: Наука, 1975.

Бойков И.В. К проблеме Айзермана // ПМиМ, т.58, No 3, 1994, С.52-55.

Малкин И.Г. Теория устойчивости движения. М.: Наука, 1966.

Эльсгольц Л.Э. Дифференциальные уравнения и вариационное исчисление. М.: Мир, 1979.

Кудинов А.Н., Катулев А.Н. Классические методы интегрирования дифференциальных уравнений, Тверь: Тверской государственный университет, 2006.

Беллман Р. Введение в теорию матриц. М.: Наука, 1969.

Мартынюк A.A., Като Д., Шестаков A.A. Устойчивость движения: метод предельных уравнений. Киев, Наукова думка, 1990.

Матросов В.М. Метод векторных функций Ляпунова: анализ динамических свойств нелинейных систем. М.: Наука, 2001.

Математическая энциклопедия, т.1, М.: Советская энциклопедия, 1977.

[29] Андронов A.A., Любина А.Г. Применение теории Пуанкаре «о точках бифуркаций» и «Смене уетойчивоетей» к простейшим автоколебательным системам // Ученые записки Горьковского госуниверситета. Вып.1, 1935.

[30] Андронов A.A., Понтрягин JI.C. Грубые системы // ДАН СССР №5, 1937, С.247.

[31] Арнольд В.И. Теория катастроф. М.: Эдиториал УРСС, 2004.

[32] Арнольд В.И. Дополнительные главы теории обыкновенных дифференциальных уравнений, М.: Наука, 1978.

[33] Пилюгин С.Ю. Пространства динамических систем. М.: Ижевск, НИЦ Институт компьютерных исследований, 2008.

[34] Маркеев А.П. Линейные гамильтоновы системы и некоторые задачи об устойчивости движения спутник относительно центра масс. М.:Ижевск, НИЦ Институт компьютерных исследований, 2009.

[35] Еругин Н.П. О некоторых вопросах устойчивости движения и качественной теории дифференциальных уравнений в целом//ПММ. t.XIV, 1950.

[36] Еругин Н.П. Качественные методы в теории устойчивости//ПММ. т. XIX, с.599-615, 1955.

[37] Плисс В.А. Качественная картина интегральных кривых в целом и построение с любой точностью области устойчивости одной системы двух дифференциальных уравнений//ПММ. т. XVII, в.5., С.541-554, 1953.

[38] Красовский H.H. Об устойчивости решений системы двух дифференциальных уравнений// ПММ. т. XVII, в.5, С. 651-672, 1953.

[39] Еругин Н.П. Методы А.М.Ляпунова и вопросы устойчивости в це-лом//ПММ. т. XVII, с.389-400, 1953.

[40] Еругин Н.П. Об одной задаче теории устойчивости систем автоматического регулирования//ПММ t.XVI., в.5., 1952, С.620-628.

*

[41] Барбашин Е.А. О построении функции Ляпунова для нелинейных систем, Тр. Первого Международного конгресса международной федерации по автоматиче-скому управлению, АН СССР, 1961, С.742-751.

Шиманов С.Н. Об устойчивости решения одного нелинейного уравнения третьего порядка//ПММ t.XVII, в.З, с.369-372, 1953.

Мелик- Гайказян М.В., Тарасенко В.Ф. Методология моделирования нелинейных динамики сложных систем, М.: Физматлит, 2001 г.

Гилмор Р. Прикладная теория катастроф, М.: Мир, 1984.

Айзерман М.А. Об одной проблеме, касающейся устойчивости в большом динамических систем// УМН. т.4., в.4., 1949, С.187-188.

Красовский H.H. Теоремы об устойчивости движений, определяемых системой двух уравнений//ПММ т.16, в.5, С.547-554, 1952.

Плисс В.А. Некоторые проблемы теории устойчивости движения в целом, Изд. ЛГУ, с.183, 1958.

Арманд H.A., Крапивин В.Ф., Мкртчян Ф.А. Методы обработки данных радиофизического исследования окружающей среды. М..-Наука, 1987.

Рубин A.B., Пытьева Н.Ф., Ризнеченко Г.Ю. Кинетика биологических процессов, М.: издательство московского университета, 1987.

Куретова Е.Д., Куркина Е.С. Общая математическая модель химической реакции, притекающей в слое зернистого катализатора. Журнал вычислительной математики и математической физики. М.: МГУ ВМК, 2002.

Перцев Н.В. Применение одного дифференциального уравнения с последействием в моделях динамики популяций // Фундаментальная и прикладная математика, ред. А.К. Гуц, Омск, 1994, С. 119 -129.

Моисеев H.H. Модели экологии и эволюции// Математика и кибернетика, в.10, М.: Знание, 1983.

Обен Ж.-П., Экланд И. Прикладной нелинейный анализ, jVL: Мир, 1988.

Смейл С. Дифференцируемые динамические системы// «Успехи математических наук», т. 25, №1,1970.

[56] Кудинов А.H., Катулев А.Н., Кузнецов А.Ю. Исследование устойчивости автономных нелинейных динамических систем// материалы XVI международного симпозиума «Динамические и технологические проблемы механики конструкций и сплошных сред» им. А.Г.Горшкова, т.1, М.: МАИ, 2010, С.110-112.

[57] Сокольников И.С. Тензорный анализ. М.: Наука, 1971.

[58] Смирнов В.И. Курс высшей математики, М.: Наука, т.2, 1974.

[59] Колмогоров А.Н., Фомин C.B. Элементы теории функций и функционального анализа. 4-е изд. М. Наука. 1976.

[60] Понтрягин JI.C. Обыкновенные дифференциальные уравнения. М. Наука, 1982.

[61] Алексеев В.М., Тихомиров В.М., Фомин C.B. Оптимальное управление. М.: Наука, 1979.

[62] Гантмахер Ф.Р. Лекции по аналитической механике. М.: Физматлит, 2001.

[63] Катулев А.Н., Кузнецов А.Ю. Алгоритм исследования устойчивости решений нелинейных автономных систем дифференциальных уравнений// Нелинейный мир № 10, т.8, М.: Роспечать, 2010, С.616-620.

[64] Катулев А.Н., Кузнецов А.Ю. Исследование устойчивости автономных нелинейных динамических систем. Электронный журнал Труды МАИ, т.38, 2010.

[65] Рубин А.Б. Теоретическая биофизика, т.1, М.: МГУ, 1999.

[66] http://shootout.alioth.debian.org.

[67] http://dada.perl.it/shootout/spellcheck.html.

[68] http://tatalmas.by.ru/kursovl.

)