Помощь в учёбе, очень быстро...
Работаем вместе до победы

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

Диссертация: Структурно-инвариантный анализ и синтез нелинейных моделей в аналитической форме
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

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

Содержание

  • Глава 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 наименований.

Заключение

.

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

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

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

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

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

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

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

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

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

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

Показать весь текст

Список литературы

  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 в электронной публикации. ЦНИТ НГУ, [email protected] 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. Эл.ж. Рег.н.:П23 275 от 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. Эл.ж. Рег.н.:П23 275 от 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. С. 155 176.
  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 proprietes des fonctions, defmies par des equations differentielles// 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: Набор математических формул для WWW. [email protected]
  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. 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 differentielles ordinaires qui possedent les systemes 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 differentielles. 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 gewohlnlicher 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.
Заполнить форму текущей работой

Пора сдавать?