Структурно-инвариантный анализ и синтез нелинейных моделей в аналитической форме тема диссертации и автореферата по ВАК РФ 05.13.16, доктор физико-математических наук Флегонтов, Александр Владимирович

• Флегонтов, Александр Владимирович
• доктор физико-математических наук
• 2000

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

Введение.

Глава I. Задачи симметрийного анализа и синтеза.

1.1. Основные понятия, определения и задачи современного группового анализа.

1.2. Обратные задачи.

1.3. Алгоритмы основных методов. Общее описание.

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

Глава II. Методы и математические модели структурного синтеза.

2.1. Аналитические методы. Формальные полиномы.

2.2. Формальные интегральные многообразия.

2.3. Дифференциальные комплексы.

Глава III. Структурный синтез нелинейных моделей и симметрии.

3.1. Голоморфные структуры.

3.1.1. Системы типа Брио и Буке.

3.1.2. Системы полиномиального типа.

3.2. Сингулярные структуры с дискретной симметрией.

3.3. Обратимые управляемые системы.

3.4. Экологические и эколого-экономические модели.

Глава IV. Компьютерные вычисления и алгебраические алгоритмы.

4.1. Основы алгебраических алгоритмов.

Введение диссертации (часть автореферата) на тему «Структурно-инвариантный анализ и синтез нелинейных моделей в аналитической форме»

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

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

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

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

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

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

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

Классический групповой анализ впервые был предложен Софусом Ли в XIX веке как обобщение идей Н. Абеля и групповой теории Э. Га-луа, и основывался на применении непрерывных групп преобразований дифференциальных уравнений.

Современное состояние группового анализа во многом определяется работами 60-х годов (Л. В. Овсянников и его Новосибирская школа [83-85]). Алгоритмы поиска группы Ли, развитые академиком Л. В. Овсянниковым, открыли новый этап в исследовании ряда нелинейных дифференциальных уравнений с частными производными.

Расширение области приложений групп Ли преобразований к уравнениям нелинейной математической физики произошло благодаря обобщению теории С. Ли, созданному к 1977 году Н. X. Ибрагимовым и Р. Л. Андерсоном (группы Ли-Беклунда) [63,172]. В дальнейшем стали использоваться и группы с формальными рядами (формальные симметрии) и приближенные симметрии [11,12,60].

Для обыкновенных дифференциальных уравнений (ОДУ) сфера применения метода Ли оказалась намного уже, чем для уравнений с частными производными. Как показал уже сам С. Ли, для уравнений первого порядка метод приводит к уравнению, эквивалентному по сложности исходному; а для уравнений высших порядков допускаемая группа часто тривиальна.

Поиск нового подхода к классификации, исследованию и интегрированию ОДУ лежал на пути объединения эвристического опыта таких известных математиков прошлого, как Абель, Бернулли, Клеро, Лагранж, Эйлер, Якоби, стандартных приемов понижения порядка уравнений, собранных в учебниках и справочниках [66,67,76,179,195] с регулярными методами классического группового анализа. Этот путь привел к созданию в 1976 году В. Ф. Зайцевым дискретно-группового анализа (ДГА)

36,37,39-45], а, впоследствии, к организации Санкт-Петербургской школы современного группового анализа.

Развитый новый подход к исследованию групповых свойств ОДУ оказался весьма плодотворным и позволяет как описать дискретные симметрии классов уравнений, вообще неинтегрируемых, так и найти на основе известных разрешимых уравнений ряд новых, которые, как правило, не могут быть найдены ни классическими, ни регулярными групповыми методами [38,48,52,54].

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

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

К настоящему времени накоплен большой практический опыт применения подобных методов и проанализировано около 7000 уравнений нелинейной динамики, которые ранее рассматривались как не имеющие аналитических решений и не приводились ни в одном из широко известных до 90 годов XX века справочников по дифференциальным уравнениям [66,67,179,195].

На современном этапе развития математического моделирования возросла роль компьютерного анализа сложных нелинейных многопараметрических задач. Подчас применение алгоритмов аналитических вычислений (компьютерной алгебры) на современных компьютерных системах (Mathematica, Maple, Reduce) является единственным рабочим инструментом исследователя.

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

Благодаря развитым возможностям систем аналитических вычислений, реализуются основные алгоритмы группового анализа: алгоритм Ли, алгоритм построения и частичного решения определяющих систем, алгоритмы поиска дискретных групп преобразований. Такие алгоритмы составляют ядро программных средств, которые существенно ускоряют процесс научных исследований (так, например, вычисления по дискретной группе 24-го порядка в системе Reduce занимает считанные минуты реального времени). Работая с библиотечными файлами и программами, часто приходится создавать новые разделы и пакеты программ, модернизировать старые, тем самым порождать, в конечном итоге, собственный инструмент научных исследований. С увеличением разнообразия решаемых задач обогащаются и методы достижения результатов. Здесь уже используемая система аналитических вычислений начинает играть роль базы знаний (БЗ) и служить наполнением для систем искусственного интеллекта (ИИ).

Современные компьютерные технологии предоставляют исследователям не только разнообразные системы аналитических вычислений, но и средства обработки сложной математической информации, а также обеспечивают новые возможности по организации, хранению, иллюстративности и сетевой (доступных для многих пользователей посредством Интернет) передачи такой информации. Таким образом, появление и развитие компьютерных банков моделей, основу которых составляет справочная литература, также приводит к БЗ и интеллектуальным справочным системам.

Разработка простых и эффективных электронных справочников, основанных на новых принципах организации БД и БЗ, является важной проблемой на пути совершенствования современных информационных систем (ИС), АСНИ, экспертных систем и САПР, широко используемых для автоматизации научного поиска, организации вычислительных экспериментов, идентификации неизвестных моделей и закономерностей, нелинейного анализа сложных процессов и явлений. На сегодняшний день известно более 6000 дифференциальных уравнений, допускающих аналитическое решение (см., например, справочники Э.Камке (1976), М.Мерфи (1960), Д.Цвиллингера (1989), В.Ф.Зайцева, А.Д.Полянина (1993, 1994, 1995, 1997)), а также около 3000 уравнений в частных производных 1-го порядка (см., например, справочники Э.Камке (1966), В.Ф.Зайцева, А.Д.Полянина (1996)). Однако их анализ «вручную» сложен и нуждается в автоматизации с помощью современных средств компьютерной алгебры и методов организации, выборки и хранения для БЗ.

Разработанная для этих целей на начальном этапе (3 -версия системы БЮКЛЫ (БЬ^е-ОКоир АЫа^э) [109,114,129,147,148,150] сочетала в себе простые возможности представления текста на экране и достоинства программируемого знакогенератора для отображения математических формул с ограниченными средствами ввода текста и графики. Информационная структура системы ОЮКАКг послужила основой для новой версии ИС «Дифференциальные уравнения» КБИТ 1.0, которая является составной частью общей ИС «Дифференциальные уравнения и динамические системы» [88]. Система предназначена в первую очередь для конечного пользователя-математика, использующего современные средства телекоммуникации и, работающего с динамическими моделями. Структура ИС полностью согласована с принятой и отработанной структурой современной справочной литературы и групповой классификацией дифференциальных уравнений [49-51,173,183-185,194].

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

В соответствии с поставленной целью в диссертационной работе формулируются и решаются следующие задачи:

• исследование методов структурного синтеза нелинейных моделей, обладающих априорной симметрией заданного вида;

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

• структурная классификация уравнений типа Брио и Буке;

• структурная классификация уравнений полиномиального типа;

• инвариантный анализ и синтез сингулярных структур и дискретных орбит некоторых классов ОДУ;

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

• симметрийный анализ и синтез экологических и эколого-экономических систем минимального типа;

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

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

Диссертационная работа состоит из введения, пяти глав, заключения, списка литературы и приложений. В приложении вынесены тексты программ и распечатки результатов по некоторым из них. Общий объем работы составляет 254 страницы, включая 25 рисунков и 7 таблиц. Библиография насчитывает 195 наименований.

Заключение диссертации по теме «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», Флегонтов, Александр Владимирович

Заключение

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

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

• Проведена структурная классификация уравнений типа Брио-. Буке и полиномиального типа;

• Синтезированы новые математические модели с априорной симметрийной структурой. Выявлены связи этих моделей на разных уровнях с инвариантными моделями, полученными ранее;

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

• Разработана интеллектуальная справочная система поиска и хранения динамических моделей в аналитической форме с возможным распределенным доступом по сети Интернет;

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

205

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

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

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

Список литературы диссертационного исследования доктор физико-математических наук Флегонтов, Александр Владимирович, 2000 год

1. Абловиц М., Сигур X. Солитоны и метод обратной задачи. М.: Мир, 1987.-479 с.

2. Абрамовиц М., Стиган И. Справочник по специальным функциям. М.: Наука, 1979. 832с.

3. Аврашков П.П., Зайцев В.Ф. Лиевские симметрии и первые интегралы одного класса дифференциальных уравнений// Сб. научных трудов ОГТУ, Т.8.-Орел: Орел ГТУ, 1996. С. 44-49.

4. Акритас А. Основы компьютерной алгебры с приложениями. М.: Мир, 1994. 544с.

5. Аладьев В.З., Шишаков М.Л. Введение в среду пакета Mathematica 2.2. М.: Инф.-изд. дом «Филинъ», 1997. 368с.

6. Аладьев В.З., Тупало В.Г. Алгебраические вычисления на компьютере. М.: Минтопэнерго, 1993. 251 с.

7. Алексеева Т.А. Уравнения Абеля второго рода, обладающие полуфундаментальной системой решений// Сб. научных трудов ОГТУ, т. 8.-Орел: Орел ГТУ, 1996. С. 54-63.

8. Аналитические вычисления на ЭВМ и их применение в теоретической физике// Труды Международного совещания. Дубна: ОИЯИ, 1980. -187с.; 1983. 260с.; 1985. - 420с.

9. Ю.Арайс Е.А., Шапеев В.П., Яненко H.H. Реализация метода внешних форм Картана на ЭВМ// ДАН СССР, т. 214, N4, 1974. С. 296-298.

10. П.Ахатов И.Ш, Газизов Р.К., Ибрагимов Н.Х. Нелокальные симметрии. Эвристический подход Современные проблемы математики. Новейшие достижения. Т.34 (Итоги науки и техники. ВИНИТИ АН СССР). ML, 1989.-C.3-83.

11. Байков В.А., Газизов Р.К., Ибрагимов Н.Х. Методы возмущений в групповом анализе// Современные проблемы математики. Новейшие достижения. Т.34 (Итоги науки и техники. ВИНИТИ АН СССР). М., 1989 С.85-147.

12. Берман B.C., Климов Д.М. Система muMATH muSIMP для символьных вычислений на персональном компьютере. Препринт N298. М.: ИПМАН СССР, 1987.-31с.

13. Боголюбская A.A., Жидкова И.Е., Ростовцев В.А. Система программирования REDUCE-2. Дубна: ОИЯИ, Б1-11-83-512, 1983. 35с.

14. Галактионов В.А., Посашков С.А., Свирщевский С.Р. Обобщенное разделение переменных для дифференциальных уравнений с полиномиальными правыми частями. Дифференциальные уравнения, 1995, т.31, N2, с. 253-261.

15. Ганжа В.Г., Мелешко C.B., Мурзин Ф.А., Шапеев В.П., Яненко H.H. Реализация на ЭВМ алгоритма исследования на совместность систем уравнений в частных производных. ДАН СССР, т.261, N5, 1981. -С. 1044-1046.

16. Геометрический центр университета Миннесоты (Center for the Computation and Visualization of Geometric Structures, a National Science Foundation Science and Technology Center at the University of Minnesota) http://www.geom.umn.edu/

17. Герд В.П., Тарасов O.B., Ширков Д.В. Аналитические вычисления на ЭВМ в приложении к физике и математике. УФН, т. 130, вып.1, 1980. -С.113-147.

18. Говорухин В.Н., Цибулин В.Г. Введение в Maple. Математический пакет для всех. М.: Мир, 1997. 208 с.

19. Городецкий O.A., Климов Д.М., Корлюков A.B., Проворов JI.B. Программирование компонент систем аналитических выкладок на РЕФА-Ле. Препринт N295. М.: ИПМ АН СССР, 1987. 65с.

20. Грошева М.В., Ефимов Г.Б., Брумберг В.А. и др. Системы аналитических вычислений на ЭВМ: Информатор N1. М.: ИПМ им. М.В. Келдыша АН СССР, 1983. 65с.

21. Грошева М.В., Климов Д.М. Опыт использования аналитических преобразований на ЭВМ в задачах механики. Препринт N296. М.: ИПМ им. М.В. Келдыша АН СССР, 1987. 40с.

22. Турин Н.И., Скоморохов А.Г. Аналитические вычисления в системе REDUCE: Справочное пособие. Минск: Наука и техника, 1989. 119с.

23. Гутник С.А. и др. Основы применения прикладных программных систем: Учебное пособие. М.: МФТИ, 1993. 128с.

24. Дородницын В. А. Групповые свойства и инвариантные решения уравнений нелинейной теплопроводности с источником или стоком. М.: Препринт N 57, ИПМ АН СССР, 1979. 32 с.

25. Дородницын В. А. Об инвариантных решениях уравнения нелинейной теплопроводности с источником.// Журн. вычисл. матем. и матем. физики, 1982, т.22, N 6, с. 1393-1400.

26. Дородницын В. А., Свирщевский С. Р. О группах Ли Беклунда, допускаемых уравнением теплопроводности с источником. М.: Препринт N 101, ИПМ АН СССР, 1983. - 28 с.

27. Дэвенпорт Дж., Сирэ И., Турнье Э. Компьютерная алгебра. М.: Мир, 1991.352с.

28. Дьяконов В.П. Справочник по применению системы PC MatLab. М.: Наука, 1993.-112с.

29. Елисеев В.П., Корняк В.В., Федорова Р.Н. REDUCE программа для определения симметрий Ли дифференциальных уравнений : Препринт 11-84-238, Дубна: ОИЯИ, 1984. - 10с.

30. Ефимов С.Б. О существовании решения системы двух уравнений Брио и Буке// Методы и модели управления. Рига. РПИ, вып.8, 1974.-С.98-102.

31. Журавлев В.Ф., Климов Д.М. Прикладные методы в теории колебаний. М.: Наука, 1988.-328с.

32. Журов А.И., Карпов И.И., Шингарева И.К. Основы Maple. Применение в механике. Препринт №536, М.: ИПМ РАН, 1995. 76с.

33. Зайцев В.Ф. К вопросу о конечных группах преобразований нелинейных дифференциальных уравнений 2-го порядка// Дифференциальные уравне-ния. Сборник трудов математических кафедр пединститутов РСФСР. Вып.7, Рязань, 1976. С.57-62.

34. Зайцев В.Ф. Дискретно-групповые методы теории дифференциальных уравнений. ч.1. Деп. ВИНИТИN5739, Л.: ЛГУ, 1982. 130с.

35. Зайцев В.Ф. Интегрирование уравнения Эмдена-Фаулера методом дискретных групп нелокальных преобразований// Дифференциальные уравнения с частными производными. Л.: ЛГПИ, 1988. С.81-85.

36. Зайцев В.Ф. О дискретно-групповом анализе обыкновенных дифференциальных уравнений// ДАН СССР, т.299, N3, 1988. С.542-545

37. Зайцев В.Ф. Дискретно-групповой анализ обыкновенных дифференциальных уравнений// Дифференциальные уравнения, т.25, N3,1989. -С.379-387.

38. Зайцев В.Ф. Дискретно-групповой анализ обыкновенных дифференциальных уравнений. Л.: ЛГПИ, 1989. 80с.

39. Зайцев В.Ф. Построение точной модели, обладающей некоторой точечной симметрией// Математическое моделирование, т.7, №5, 1995. -С.12-14.

40. Зайцев В.Ф. Введение в современный групповой анализ. Учебное пособие. СПб.: РГПУ,ч.1, 1996-40с.; ч.2, 1996-40с.

41. Зайцев В.Ф. О современном групповом анализе обыкновенных дифференциальных уравнений// Труды 2 Международной Конференции "Дифференциальные уравнения и их применения". СПбГТУ, Санкт-Петербург, 1998 с. 137-151.

42. Зайцев В.Ф., Кормилицына Т.В. Дискретно-групповые методы теории дифференциальных уравнений. ч.2. Деп. ВИНИТИ N3720, Л.: ЛГПИ, 1985.- 150с.

43. Зайцев В.Ф., Кормилицына Т.В. Дискретно-групповой подход к спектральным и обратным задачам для обыкновенных дифференциальных уравнений. Деп. ВИНИТИ N3529-686, Л.: ЛГПИ, 1986. 31с.

44. Зайцев В.Ф., Полянин А.Д. Дискретно-групповой метод интегрирования уравнений нелинейной механики: Препринт N339. М.: ИПМ АН СССР, 1988. -44с.

45. Зайцев В. Ф., Полянин А. Д. Справочник по нелинейным дифференциальным уравнениям: Приложения в механике, точные решения. М.: Наука, 1993. 464 с.

46. Зайцев В.Ф., Полянин А.Д. Справочник по обыкновенным дифференциальным уравнениям: Точные решения. М.: Физматлит, 1995. 560с.

47. Зайцев В. Ф., Полянин А. Д. Справочник по нелинейным обыкновенным дифференциальным уравнениям. М.: Факториал, 1997. 430 с.

48. Зайцев В.Ф., Флегонтов A.B. Дискретно-групповой анализ дифференциальных уравнений. Методы и алгоритмы: Препринт N84. Л.: ЛИИАН, 1988. -66с.

49. Зайцев В.Ф., Флегонтов A.B. Дискретно-групповые методы интегрирования обыкновенных дифференциальных уравнений. J1.: ЛИИАН, 1991.-240с.

50. Зайцев В.Ф., Флегонтов A.B., Хакимова З.Н. Дискретно-групповой анализ дифференциальных уравнений. Точные решения уравнений: Препринт N 105. Л.: ЛИИАН, 1989. 61с.

51. Зайцев В.Ф., Флегонтов A.B. Конечные системы полиномиальных функций, замкнутые на некотором классе преобразований обобщенного уравнения Эмдена-Фаулера// Методы и средства информационной технологии в науке и производстве. СПб.: Наука, 1992. с.67-73.

52. Зайцев В.Ф., Флегонтов A.B. Дискретно-групповой анализ и автоматизация научного поиска// Вопросы прикладной информатики. С.-Петербург : СПИИРАН, 1993. с.88-98.

53. Захаров В. Е., Манаков С. В., Новиков С. П., Питаевский JL П. Теория солитонов: Метод обратной задачи. М.: Наука, 1980. 320 с.

54. Зотов Ю.К., Тимофеев A.B. Управляемость и стабилизация программных движений обратимых механических и электромеханических систем//ПММ. 1992. Т.56, вып.6. С.968-975.

55. Зубов В.И. Устойчивость движения. М.: Высшая школа, 1973.

56. Ибрагимов Н.Х. Группы преобразований в математической физике. М.: Наука, 1983. -280с.

57. Ибрагимов Н.Х. Азбука группового анализа. М.: Знание, 8, 1989. 48с.

58. Ибрагимов Н.Х. Опыт группового анализа обыкновенных дифференциальных уравнений. М.: Знание, 7,1991.-48с.

59. Ибрагимов Н.Х., Андерсон P.JI. Группы касательных преобразований Ли-Беклунда// ДАН СССР, т.227, N3, 1976. С.539-542.

60. Иванищев В.В., Михайлов В.В., Флегонтов A.B. и др. Имитационное моделирование природной системы «озеро-водосбор». Л.: ЛИИАН, 1987.-230с.

61. Иртегов Д.В. Опыт использования конвертора LaTeX2HTML в электронной публикации. ЦНИТ НГУ, [e-mail] Institute of Computation Technologies SB RAS, Novosibirsk 1996

62. Камке Э. Справочник по дифференциальным уравнениям в частных производных первого порядка. М.: Наука, 1966. 260 с.

63. Камке Э. Справочник по обыкновенным дифференциальным уравнениям // Пер. с нем. Под ред. Н.Х. Розова: Изд.5-е. М.: Наука, 1976. -576с.

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

65. Климов Д.М., Руденко В.М. Методы компьютерной алгебры в задачах механики. М.: Наука, 1989. 215с.

66. Компьютерная алгебра// Ред. Б.Бухбергер, Дж.Коллинз, P.JIooc /Пер. с англ. Под ред. H.H. Говоруна. М.: Мир, 1986. 392с.

67. Комягин В.Б. 3D Studio: Трехмерная компьютерная мультипликация или 3D Studio от версии 2 к версии 4. Практическое пособ. -М.: ЭКОМ.,1995. 416с.

68. Легенький В.И. Симметрии и проблема редукции в синтезе оптимальных систем// Кибернетика и вычислительная техника. Вып. 95, 1992. С. 12-18.

69. Легенький В.И. Приложение групп Ли к решению задач управления летательными аппаратами// Современный групповой анализ. Меж. сб., М., МФТИ, 1993.-С. 69-74.

70. Лопатин А.К. О разрешимости дифференциальных уравнений в классе алгебраических функций// Труды семинара по дифференциальным и интегральным уравнениям. Вып.1, Киев : ИМАН УССР, 1969 -с.273-280.

71. Марков С.Н. О формальном построении голоморфных решений системы двух уравнений типа Брио и Буке// Методы и модели управления. Рига. РПИ, вып.8, 1974. С. 103-104.

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

73. Матвеев Н.М. Аналитическая теория дифференциальных уравнений. Л.: ЛГПИ, 1988.- 101с.

74. Матвеев Н.М. Лекции по аналитической теории дифференциальных уравнений: Учеб. Пособие. СПб.: Изд. СПбГУ, 1995. - 314с.

75. Математические методы в теории систем. М., Мир, 1979. 328с.

76. Мешков А.Г. Введение в Maple. Основы программирования: Учебное пособие. Орел: ОГУ, 1998. 134с.

77. Мячин В.Ф. О системе двух уравнений Брио и Буке// Вестник ЛГУ, вып.2,№7, 1958.-С. 36-43.

78. Нелепин P.A. и др. Алгоритмический синтез нелинейных систем управления. Л.: ЛГУ, 1990. 240с.

79. Овсянников Л.В. Группы и инвариантно-групповые решения дифференциальных уравнений// ДАН СССР, т. 118, N 3, 1958. С.439-442.

80. Овсянников Л.В. Групповые свойства дифференциальных уравнений. Новосибирск.: Изд. СО АН СССР, 1962. 240с.

81. Овсянников Л.В. Групповой анализ дифференциальных уравнений. М.: Наука, 1978.-399с.86.0лвер П. Приложения групп Ли к дифференциальным уравнениям. М.: Мир, 1989.-637с.

82. Осипенко Г.С., Зайцев В.Ф., Флегонтов A.B. Структура информационной системы "Дифференциальные уравнения"//Сборник тез.докл. 2 Международной Конференции "Дифференциальные уравнения и их применения". СПбГТУ, Санкт-Петербург, 1998 с.136-138

83. Осипенко Г.С., Зайцев В.Ф., Флегонтов A.B. Информационная система "Дифференциальные уравнения"//Труды 2 Международной Конференции "Дифференциальные уравнения и их применения". СПбГТУ, Санкт-Петербург, 1998 с. 162-173

84. Павловский Ю.Н., Яковенко Г.Н. Группы, допускаемые динамическими системами// Методы оптимизации и их приложения. Новосибирск, Наука, 1982, с.155-189.

85. Петровский И. Г. Лекции по теории обыкновенных дифференциальных уравнений. М.: Наука, 1970. 279 с.

86. Полянин А.Д., Журов А.И. Алгебраический метод интегрирования дифференциальных уравнений нелинейной механики// ДАН, т.339 , N2, 1994. С.22-25

87. Попов М.Д. Автоматизация вычисления определяющих уравнений группы Ли// Изв. АН БССР, Физико-математические науки, N2, 1985. -С.33-37.

88. Руденко В.М. Символьные вычисления на языке REDUCE для задач механики: Препринт N297. М.: ИПМ АН СССР, 1987. 25с.

89. Свирщевский С.Р. Высшие симметрии линейных обыкновенных дифференциальных уравнений и линейные пространства, инвариантные относительно нелинейных операторов: Препринт №14, М.: ИММ РАН, 1993.-24с.

90. Свирщевский С.Р. Симметрии Ли-Беклунда линейных ОДУ и инвариантные линейные пространства// Современный групповой анализ. М.: МФТИ, 1993.-С.75-83.

91. Сидоров А.Ф., Шапеев В.П., Яненко H.H. Метод дифференциальных связей и его приложения в газовой динамики. Новосибирск: Наука, 1984.-272с.

92. Современный групповой анализ: методы и приложения. Некоторые задачи современной физики// Под ред. Флегонтова A.B. : Препринт № 116, Л.: ЛИИАН, 1990. 70с.

93. Тимофеев A.B. Методы синтеза диофантовых нейросетей минимальной сложности// ДАН, 1995, т.345, N 1, с.32-35.

94. Тимофеев A.B. Мультиагентное и интеллектуальное управление сложными робототехническими системами// Теоретические основы и прикладные задачи интеллектуальных информационных технологий. Санкт-Петербург, СПИИРАН, 1998,-С. 71-81.

95. ЮО.Тимофеев A.B., Юсупов P.M. Интеллектуализация систем автоматического управления// Изв.АН. Техническая кибернетика, 1994, N5.

96. Флегонтов A.B. О существовании исчезающих решений системы типа Врио и Буке// Методы и модели управления. Рига. РПИ, вып.8, 1974. -с.105-110.

97. Ю2.Флегонтов A.B. О машинной реализации алгоритмов дискретно-группового анализа// Современный групповой анализ/ Методы и приложения. Баку: ЭЛМ, 1989. 8с.

98. ЮЗ.Флегонтов A.B. и др. Современный групповой анализ: методы и приложения. Дискретно-групповой анализ: Препринт № 107. Л.: ЛИИАН, 1989. -58с.

99. Ю4.Флегонтов A.B. и др. Укрупненная алгоритмическая модель природной системы "озеро-водосбор"// Проблемы информационной технологии и интегральной автоматизации производства. -Л.: Наука. Лен.отд., 1989.-С.137-144.

100. Ю5.Флегонтов A.B. и др. Современный групповой анализ: методы и приложения. Симметрии обыкновенных дифференциальных уравнений: Препринт № 130, Л.: ЛИИАН, 1990. 39с.

101. Юб.Флегонтов A.B. и др. Симметрии обыкновенных дифференциальных уравнений. Препринт N137. Л.: ЛИИАН, 1991. -41с.

102. Флегонтов A.B. Автоматизация методов дискретного симметрийного анализа с помощью систем аналитических вычислений: Автореферат дисс. на соиск. уч. степ. канд. ф.-м. н. Ленинград, 1991. 16 с.

103. Ю8.Флегонтов A.B. О базисах сингулярных орбит класса ОУЭФ// Современный групповой анализ. Методы и приложения, IX Росс, коллоквиум. Нижний Новгород.: НИРФ, 1992. с.50.

104. Ю.Флегонтов A.B. Некоторые оценки приближенных дискретно-инвариантных решений // Современный групповой анализ и задачи математического моделирования, XI Росс, коллоквиум. Самара.: Самарский университет, 1993. с.128-129.

105. П.Флегонтов A.B. Компьютерный справочник нелинейных дифференциальных уравнений. Система ДИГРАН и ее расширения.// Региональная информатика'94. СПб., СПИИРАН. 1994 2с.

106. Флегонтов A.B. ДИГРАН компьютерный справочник по точным решениям дифференциальных уравнений.// Дифференциальные уравнения и их приложения. Саранск.: МГУ, 1994. - С. 133

107. Флегонтов A.B. Применение компьютерного справочника DIGRAN и системы Reduce для симметрийного анализа дифференциальных уравнений// Моделирование процессов управления и обработки информации. М.: МФТИ, 1994. С. 200-216.

108. Флегонтов A.B. Компьютерный справочник поиска аналитических решений о.д.у. (система ДИГРАН и ее расширения)// Компьютерные технологии в высшем образовании. СПб. ИТМО. 1994 2с.

109. Флегонтов A.B. MAPLE-реализации одного алгебраического алгоритма// Сб. научных трудов ОГТУ, т.8.-Орел: Орел ГТУ, 1996. С. 93-98.

110. Пб.Флегонтов A.B. Основы символьных и, алгебраических вычислений на персональном компьютере. Орел: ОГПУ, 1996. 30 с.

111. П.Флегонтов A.B. Инвариантный синтез модельных уравнений// Алгебраические и аналитические методы в теории дифференциальных уравнений. Труды Межд. конф. Орел: ОГУ, 1996. С. 64-66.

112. Флегонтов A.B. Инвариантный синтез некоторых дифференциальных уравнений// Аналитическая механика, устойчивость и управление движением. VII Четаевская конф. Тез. докл. Казань: Изд. Казан, гос. техн. ун-та, 1997.- С. 120

113. Флегонтов A.B. Синтез дифферениальных уравнений и их групп на многообразиях// Дифференциальные уравнения и процессы управления. N2, 1998. Эл.ж. Рег.н.:П23275 от 07.03.1997. http://www.neva.ru/journal 10с.

114. Флегонтов A.B. О кодировке и структуре математических информационных систем// Региональная информатика 98. Тезисы РИ'98. - 1с.

115. Флегонтов A.B. Индуцируемые симметрии синтезируемых уравнений// Сборник тез.докл. 2 Международной Конференции "Дифференциальные уравнения и их применения". СПбГТУ, Санкт-Петербург, 1998 с. 166-167

116. Флегонтов A.B. Полиномиальные системы в задачах инвариантного анализа и синтеза на многообразиях// Теоретические основы и прикладные задачи интеллектуальных информационных технологий. Санкт-Петербург, СПИИРАН, 1998,- С. 261-267

117. Флегонтов A.B. Дифференциальные уравнения: симметрийный синтез, базы знаний// Математические методы в технике и технологиях. ММТТ-12. Тез. докл. 12 Международной научн. конф. 1-4.06. Новгород, НовГУ, 1999 2 с.

118. Флегонтов A.B. О сингулярных структурах интегральных многообразий с дискретной симметрией// Труды IX Международного симпозиума «Методы дискретных особенностей в задачах математической физики (МДОЗМФ 2000)». Орёл, ОГУ, 2000 - с.448-451.

119. Флегонтов A.B. О симметрийном и структурном анализе управляемых систем// Сб. Трудов 1-ой Международная конференция по мехатронике и робототехнике (МиР'2000), т.2, Санкт-Петербург, НПО Омега БФ Омега, 2000. с.349-354.

120. Флегонтов A.B. Инвариантный анализ и структурный синтез сложных математических систем// Дифференциальные уравнения и процессы управления. N1, 2000. Эл.ж. Рег.н.:П23275 от 07.03.1997. http://www.neva.ru/journal 30с.

121. Флегонтов A.B., Жердев H.JI. Применение пакета Autodesk 3D Studio в дискретно-групповом анализе и теории графов// Сб. научных трудов ученых Орловск. обл. Вып.2 Орел: ОрелГТУ, 1996. С. 247-250.

122. Флегонтов A.B., Жердев H.JI. Компьютерные методы анимационной графики для группового анализа// Алгебраические и аналитические методы в теории дифференциальных уравнений. Труды Межд. конф. Орел: ОГУ, 1996. С. 103-104.

123. Флегонтов A.B., Зайцев В.Ф. Система ДИГРАН компьютерный справочник поиска аналитических решений обыкновенных дифференциальных уравнений// Новые информационные технологии в образовании. Ижевск, Удмуртский государственный университет, 1993. -Зс.

124. Флегонтов A.B., Зайцев В.Ф. Обратные задачи математического моделирования// Экологическое моделирование и оптимизация в условиях техногенеза. Тез. I Межд. конференции ЭМО-96. Беларусь, Минск, БГПА, 1996. 1 с.

125. Флегонтов A.B., Ноздрунов Н.В. Язык описания формул и гипертекстовая обработка для текстово-графической базы данных// Сб. научных трудов ученых Орловск. обл. Вып.2 Орел: ОрелГТУ, 1996. С. 227-230.

126. Флегонтов A.B., Ноздрунов Н.В. Информационная структура интеллектуальных справочных систем// Алгебраические и аналитическиеметоды в теории дифференциальных уравнений. Труды Межд. конф. Орел: ОГУ, 1996. С. 105-107.

127. Флегонтов А.В., Осипенко Г.С. Распределенные математические базы данных// Tools for Mathematical Modelling. Book of abstracts. The Second International Conference June 14-19, 1999. SPb. STGU, 1999 -c.217-218.

128. Четверкин С.A. 3D Studio: справочник. Казань: ГАРМОНИЯ Комь-юникейшнз, 1995. - 160с.

129. Яковенко Г.Н. Симметрии по состоянию в системах с управлением// В кн. Прикладная механика и математика. М.: МФТИ, 1992. С. 155176.

130. Янке Е., Эмде Ф., Леш Ф. Специальные функции (Формулы, графики, таблицы). М.: Наука, 1968. 344с.

131. Autodesk Animator Pro: Создадим анимацию сами. Мн.; ООО "Поли-Биг", 1995. -176с.

132. Baumann G. Lie Symmetries of Differential Equations: Preprint. Univ. Of Ulm, Germany, 1992.

133. Baumann G. Lie Symmetries of Differential Equations. A Mathematica program to determine Lie symmetries. Wolfram Research Inc. Champaign, Math-Source 0202-622, 1997.

134. Baumann G. Symmetry Analysis of Differential Equations using MathLie. Univ. Of Ulm, Germany, 1998.

135. Bluman G. W., Cole J. D. Similarity Methods for Differential Equations. New York, Springer Verlag, 1974. 332 p.

136. Brio J.C., Bouquet C.A.A. Recherches sur les propriétés des fonctions, defmies par des equations différentielles// J.Ecole Polytechn., 21, cahier 36, 1856.

137. Denk W. FORMAC 84. User's Manual. Friedrich-Schiller-Universitat, Jena. DDR, 1986,- 75p.

138. Engelman S. MATHLAB-68. Proc. IFIP 68. Amsterdam: North-Holland, 1969. -P.462-467.

139. Fedotov A., Oleinik O. WebEQ: Набор математических формул для [e-mail]

140. Flegontov A. The information approach to problems of modeling of nonlinear systems with a priory symmetry// CSAM'93 St.Petersburg, July 1923, 1993. Abstracts. 74-75 p.

141. Flegontov A. DIGRAN 1.0 Computer look-up systems new generation// CSAM'93 St.Petersburg, July 19-23, 1993. Abstracts. - p.75

142. Flegontov A.V. DIGRAN-computerized reference book// New computer technologies in control systems. July 11-15, 1994. Abstracts. Pereslavl-Zalessky, PSI RAS, 1994. 2p.

143. Flegontov A. Exact solutions of nonlinear equations and organization of computerized reference book// Эволюция инфосферы. Информатика'95. Тез. междун. конф. Москва, 21-23.11.95. -2 с.

144. Flegontov A. Invariant synthesis of some differential equations// Modern Group Analysis VII. Lie Groups and Contemporary Symmetry Analysis.

145. Abstracts of the Int. Conference. Nordfjordeid in Norway, NTNU, 1997. 1 P

146. Flegontov A. Invariant controlled convertible systems// Symmetry in nonlinear mathematical physics. Abstracts of the Second International Conference. IM NASU, Kiev, Ukraina, 1997. 1 p.

147. Flegontov A. Invariant polynomials of representation and information structure of mathematical models// Informatics and Control. Proceedings of the International Conference ICI&C97. V.2. St.Petersburg, Russia.: SPIIRAS, 1997. 572-579 c.

148. Flegontov A.V. Information system "Differetial equations"// Intern. Conf. of Mathtools'97. Abstracts. St.- Peterburg, GTU, 1997. C. 24.

149. Flegontov A.V. Synthesis of differential equations and their groups on manifolds// Computer Algebra in Scientific Computing. Extended abstracts of the Int.Conf.CASC-98. St.Petersburg: Euler IMI, 1998. c.42-47

150. Flegontov A.V. About Syntesis of Differential Equations and their Groups//C6opHHK тез. докл. 2 Международной Конференции "Дифференциальные уравнения и их применения". СПбГТУ, Санкт-Петербург, 1998 с.ЗЗ

151. Flegontov A. Invariant Controlled Convertible Systems// Abstract of the 6th SPb. Symposium on adaptive systems theory (SPAS'99). 1999 Saint-Petersburg, Russia, St-Petersburg State University 2p.

152. Flegontov A. About Synthesis of Differential Equations and Their Groups// IMS'99 International Mathematica Symposium. August 26-29, 1999 Hagenberg,Austria.-lp, http://south.rotol.ramk.fi/~keranen/IMS99/ims99papers/ims99papers.html

153. Gerdt V.P., Shvachka A.V., Zharkov A.Y. Computer Algebra Applications for Classification of Integrable Non-Linear Evolution Equations// J.Symbolic Сотр., 1, 1985.-P.101-107.

154. Head A.K. LIE, a PC program for Lie analysis of differential equations// Computer Physics Communications, v.71, 1993. P.241-248.

155. Hearn A.C. REDUCE. User's Manual (version 2.0). Utah: Univ. of Utah, 1973.

156. Hearn A.C. REDUCE. User's Manual (version 3.0). Santa Monica, 1983.

157. Hearn A.C. REDUCE. User's Manual (version 3.2). Santa Monica: The Rand Corporation, 1985.

158. Hereman W. Review of Symbolic Software for the Computation of Lie Symmetries of Differential Equations. Euromath Bulletin 2, n.l, MCS-93-01, Summer 1993.-32p.

159. Horn J. Gewohnliche Differentialgleichungen beliebiger Ordnung. Berlin, 1905.

160. Horn J. Gewohnliche Differentialgleichungen. Berlin, 1948.

161. Ibragimov N.H., Anderson R.L. Lie-Backlund tangent Transformations// J.

162. Mathem. Analysis & Appl. V.59, N 1, 1977.-P.145-162.

163. Ibragimov N. H. (editor). CRC Handbook of Lie Group to Differential Equations, vol.1. Boca Raton, CRC Press, 1993.

164. Ito M. and Kako F. A REDUCE program for finding Conserved Densities of Partial Differential Equations with Uniform Rank// Comput. Physics Comm., 38, 1985. P.415-419.

165. Kovacic J.J. An Algorithm for Solving Second Order Linear Homogeneous Differential Equations// J.Symbolic Comp., 2, 1986. P.3-43.

166. Lie S. Sur les equations différentielles ordinaires qui possèdent les systèmes fondamentaux d'integrales// Comptes rendues de l'Academie des Sciences de Paris. CXVI, 1893.-P.1233-1235.

167. MATLAB. High-Performance Numeric Computation and Visualization Software. Math Works Inc. Reference Guide, 1992. -548p.; - User's Guide, 1993.-184p.

168. Moussiaux A. CONVODE. Un programme REDUCE pour la resolution des equations différentielles. Editeur:Didier Hatier: Bruxelles, 1993. -286p.

169. Moscow, Russia, MEPhI Publishing, 1999, ISBN 5-7262-0263-5, http://msu.jurinfor.ru/CSIT99 5p.

170. Pohle H.J., Wolf T. Automatic Determination of Dynamical Symmetries of Ordinary Differential Equations: Preprint N/87/15. FSU, Jena, DDR, 1987.-16p.

171. Polyanin A. D., Dilman V. V. Methods of Modeling Equations and Analogies in Chemical Engineering. Boca Raton, CRC Press, 1994. 364 p.

172. Polyanin A. D., Zaitsev V. F. Handbook of Exact Solutions for Ordinary Differential Equations. Boca Raton New York: CRC Press, 1995. - 720 p.

173. Polyanin A. D., Zaitsev V. F. Handbuch der linearen Differentialgleichungen. Heidelberg Berlin: Spectrum Akad. Verlag, 1996.-460p.

174. Poljanin A. D., Sajzew V. F. Summlung gewöhlnlicher Differentialgleichungen. Frankfurt am Main, Verlag Harri Deuisch, 1996. -212 p.

175. Rayna G. REDUCE. Software for Algebraic Computation. New York: Springer-Verlag, 1987.-330p.

176. Rich A., Stoutemyer D.R. Capabilities of the muMATH-79 Computer Algebra System for the INTEL-8080 Microprocessor. EUROSAM, 1979. -P.241-248.

177. Schmidt P. Substitution Methods for the Automatic Solution of Differential Equations of the 1st Order and 1st Degree. EUROSAM, 1979. - P.164-176.

178. Schwarz F. A REDUCE Package for Determining Lie Symmetries of Ordinary and Partial Differential Equations// Computer Physics Communications, 27, N2, 1982. P. 179-186.

179. Schwarz F. Automatically Determining Symmetries of Partial Differential Equations// Computing, 34, 1985. -P.91-106.