автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.18, диссертация на тему:Исследование периодических процессов в математических моделях динамических систем с запаздыванием, релаксацией и подкачкой
Автореферат диссертации по теме "Исследование периодических процессов в математических моделях динамических систем с запаздыванием, релаксацией и подкачкой"
На правах рукописи
Сеславин Андрей Андреевич
ИССЛЕДОВАНИЕ ПЕРИОДИЧЕСКИХ ПРОЦЕССОВ В МАТЕМАТИЧЕСКИХ МОДЕЛЯХ ДИНАМИЧЕСКИХ СИСТЕМ С ЗАПАЗДЫВАНИЕМ, РЕЛАКСАЦИЕЙ II ПОДКАЧКОЙ
Специальность: 05.13.18 — Математическое моделирование, численные методы и комплексы программ
АВТОРЕФЕРАТ
диссертация на соискание ученой степени кандидата физико-математических наук
Москва 2009
003472579
Работа выполнена в государственном учреждении высшего профессионального образования «Московский
государственный университет путей сообщения» (МИИТ) на кафедре «Прикладная математика 1»
Научный руководитель:
Официальные оппоненты:
Ведущая организация:
доктор физико-математических наук, профессор
Мышкис Анатолий Дмитриевич
доктор физико-математических наук, профессор
Власов Виктор Валентинович;
доктор физико-математических наук, профессор
Кузнецов Евгений Борисович
Факультет вычислительной математики и кибернетики Московского государственного университета им. Ломоносова
Защита состоится «13» мая 2009 г. в 15 часов на заседании диссертационного совета Д 218.005.10 в Московском государственном университете путей сообщения (МИИТ) по адресу: 127994, Москва, ул. Образцова, д.9, стр. 9, ауд. 1235.
С диссертацией можно ознакомиться в библиотеке университета.
Автореферат разослан « » апреля 2009 г.
Ученый секретарь диссертационно™ совета, кандидат технических наук, профессор у//~ур < В.П. Содовьев
Общая характеристика работы
Актуальность темы исследования.
В диссертации исследовались, представляющиеся в настоящее время важными и перспективными в плане применения, динамические системы с наличием запаздывания и подкачек. Многие динамические системы являются составными и содержат в себе несколько связанных между собой подсистем. Во многих случаях процессы в различных подсистемах сильно различаются по времени. В таких случаях целесообразно изучать предельные динамические системы, в которых быстрые процессы в некоторых подсистемах считаются мгновенно проходящими. В этих случаях результат таких процессов сказывается в медленной части системы в виде мгновенного изменения некоторых фазовых координат. Такое явление называется подкачкой. В теоретических работах и в приложениях теории колебаний изучались и использовались только простейшие динамические системы в виде обыкновенных дифференциальных уравнений первого порядка с подкачкой. Классическим примером таких разрывных колебаний являются генераторы пилообразного напряжения.
Отсутствие общих аналитических методов исследования не позволяло изучать периодические процессы в системах с подкачкой и сдерживало возможность разработки устройств, описываемых такими математическими моделями. Несмотря на то, что были известны некоторые свойства простейших систем с запаздыванием и подкачкой, а также сформулирован ряд гипотез о существовании и единственности периодических решений в них, отсутствие общих методов решения этих вопросов не позволяло накапливать опыт решения
поставленных задач. Поэтому на данный момент развития исследования этой проблематики возникла необходимость разработки специального аппарата аналитического исследования для изучения уже поставленных задач, как в случае непрерывных, так и для дискретных моделей динамических систем с подкачкой, а также доказательства и проверки высказанных гипотез.
Особый интерес представляют динамические системы с запаздыванием, как пример бесконечномерной динамической системы. Математические модели для систем с запаздыванием и подкачкой были впервые предложены А.Д. Мышкисом. Им же были осуществлены первые исследования в этой области и высказан ряд гипотез, которые изучались в настоящей работе. Разрабатываемый математический аппарат исследования должен быть приспособлен и для исследования такого рода систем. Необходимо находить при заданных значениях параметров все периодические процессы, а также выделять те из них, которые обладают свойствами, обусловленными условием подкачки. В простейших случаях такое условие является условием неотрицательности решения. Также требуется находить все множество значений параметров, при которых существуют периодические решения, а также проводить исследования устойчивости этих решений.
Цель работы. Целью работы является разработка методики исследования непрерывных и дискретных динамических систем с условием возможной подкачки, как содержащих запаздывание, так и без него. В соответствии с поставленной целью основными задачами исследования являются:
1. Нахождение максимального множества значений параметра непрерывной динамической системы первого
порядка с запаздыванием и условием подкачки для которых справедлива теорема о существовании и единственности положительных периодических решений.
2. Нахождение аналитического выражения для периодического решения непрерывной динамической системы первого порядка с запаздыванием и условием подкачки в виде ряда или конечного выражения.
3. Нахождение максимального множества значений параметра дискретной динамической системы второго порядка с условием подкачки, для которых справедлива теорема о существовании и единственности положительных периодических решений.
4. Нахождение аналитического выражения для периодического решения дискретной динамической системы второго порядка с условием подкачки. Исследовать найденные решения на устойчивость как в малом, так и «в целом».
5. Для непрерывной динамической системы второго порядка с условием подкачки требуется найти максимальную область значений параметров, при которых существует единственное периодическое решение. Исследовать это периодическое решение на устойчивость.
6. Разработать комплекс программ, позволяющий численно строить периодические решения исследуемых динамических систем и проверять точность аналитических оценок областей существования периодических решений.
Личное участие автора в получении изложенных результатов состоит в том, что им:
Разработана методика, основанная на применении интегрального преобразования Эйлера-Лапласа, позволяющая подробно изучить свойства периодических
решений динамических систем с запаздыванием и подкачкой.В частности:
Решена задача о нахождении необходимых и достаточных условий существования периодических решений в непрерывной системе с запаздыванием и подкачкой;
- Решена задача о нахождении необходимых и достаточных условий существования периодических решений в дискретной системе с запаздыванием и подкачкой;
Самостоятельно поставлена и решена задача о нахождении необходимых и достаточных условий существования периодических решений в непрерывной системе второго порядка с возможностью подкачки;
На основе, разработанного комплекса программ, проведены серии расчетов процессов в различных динамических системах с запаздыванием и подкачкой.
Методологические исследования проведены на основе
использования интегрального преобразования Эйлера-Лапласа, теории обыкновенных дифференциальных уравнений, дифференциальных уравнений с запаздывающим аргументом, теории разностных уравнений, качественной теории динамических систем, теории устойчивости, численных методов решения алгебраических и дифференциальных уравнений.
Научная новизна диссертационной работы и практическое значение.
Научная новизна исследования заключается в следующем:
- Специально для модели непрерывных динамических систем с запаздыванием и без него автором был впервые
использован метод, основанный на интегральном преобразовании Эйлера-Лапласа, который позволяет свести изучение исходной системы с возможностью подкачки к изучению особого рода бесконечномерной в случае наличия запаздывания системы разностных уравнений;
- Для непрерывной системы первого порядка с запаздыванием и подкачкой сформулирована и доказана теорема существования и единственности однофрагментных положительных периодических решений;
- При исследовании дискретной системы второго порядка с возможностью подкачки изучены все случаи, при которых существуют однофрагментные колебания. Доказано, что помимо найденных периодических решений, других не существует. Доказано, что при фиксированном значении параметра динамической системы, в ней может существовать не более двух видов однофрагментных колебаний с подкачкой. Доказаны необходимые и достаточные условия единственности периодического решения дискретной системы, исследована их устойчивость периодических решений в целом;
- Для непрерывной динамической системы второго порядка с возможностью подкачки найдены необходимые и достаточные условия существования периодических решений, доказана единственность периодических решений при каждом конкретном случае значений параметров непрерывной системы второго порядка.
Практическая ценность работы заключается в возможности применения разработанной методики для изучения для математических моделей динамических систем более общего вида, а также для изучения колебательных процессов в целом ряде электронных
устройств (например, генераторов колебаний специальной формы).
Реализация и апробация результатов исследования.
Основные результаты и выводы диссертационного исследования докладывались, обсуждались и получили положительную оценку на ряде научных семинаров и конференций:
Международная конференция «The Fifth International Conference on Differential and Functional Differential Equations», Moscow, The Peoples' Friendship University of Russia (PFUR), 2008. Научный семинар Российского университета дружбы народов (РУДН) под руководством д.ф.-м.н. профессора Скубачевского A.JI. 2008 г. Научный семинар Московского государственного университета путей сообщений (МИИТ) под руководством д.ф.-м.н. профессоров Братуся A.C. и Мышкиса А.Д. 2005-2009 г. - Научный семинар Механико-математического факультета Московского государственного университета им. Ломоносова под руководством д.ф.-м.н. профессоров Власова В.В., Мирзоева К.А., Костюченко А.Г. 2008-2009 г.
Научно-практическая конференция «Наука и техника транспорту 2005», г. Москва, МИИТ, 2005г. Научно-практическая конференция «Наука и техника транспорту 2004», г. Москва, МИИТ, 2004г.
Публикации.
Основные положения диссертации опубликованы в пяти работах автора. Работы [4, 5] опубликованы в изданиях, соответствующих списку ВАК РФ.
Структура и объем диссертации.
Диссертация состоит из введения, 4-х глав, заключения, списка использованных источников и приложения, содержит 32 рисунка и 2 таблицы. Общий объем составляет 114 страниц, библиография содержит 40 наименований.
Содержание работы
Введение содержит обоснование актуальности темы исследования, в нем сформулирована цель диссертационной работы и основы методологии исследования, отмечена также научная новизна, теоретическое и практическое значение работы.
Первая глава посвящена постановке исходной задачи. Динамической системой с подкачкой в дальнейшем будем называть систему дифференциальных или разностных уравнений с дополнительным условием подкачки. Это условие состоит в том, что в случае достижения фазовой переменной определенной конкретной величины, происходит мгновенное изменение этой фазовой переменной до другого определенного значения (происходит подкачка). Фрагментом решения описанной динамической системы будем называть сужение решения на интервал между двумя последовательными подкачками. Длительность этого фрагмента называется временем
релаксации в системе. Однофрагменгным периодическим решением динамической системы называется периодическое решение, на периоде которого решение сохраняет свойства непрерывности. Исследуемая в работе непрерывная динамическая система с запаздыванием и подкачкой, впервые изученная в работе А.Д. Мышкиса1, имеет следующий вид:
х(1)=-кх(М),0<Коо. (1)
удовлетворяющей следующему условию подкачки:
х(Ч)=0 => х(*+0)=1. Решение однозначно определяется заданием начальной функции
х(1)=ф(1), (-1<1<0).
В этой системе в качестве левого предела при скачкообразном явлении подкачки принято нулевое значение фазового переменного, правым пределом принята единица. Время запаздывания в примере принято равным единице. Такие параметры динамической системы выбраны из соображений удобства дальнейшего исследования и на самом деле не умаляют общности. Это связано с тем, что перемасштабированием фазовой переменной можно перейти от произвольной величины подкачки к единичной, а введением масштаба по времени можно перейти от произвольной величины запаздывания к единичной.
Впервые колебания динамических систем со специальными условиями толчков были рассмотрены в серии работ А.Д. Мышкиса2. Этим же автором впервые
1 Мышкис А.Д. Системы с последействием и релаксацией. Прикладная математика и механика, 1994, 58,6, 141-144.
2 Мышкис А.Д., Мильман В.Д. Об устойчивости движения при наличии толчков. Сиб. матем. ж., 1960,1,№2, с. 233-237
изучена непрерывная система с запаздыванием и подкачкой вида (I)3.
В указанных работах А.Д. Мышкиса изучались условия существования периодических колебаний в системах такого рода. В последней цитируемой работе с помощью теорем сравнения было доказано, что при 0<к < е"1 решение системы (1) при положительных начальных условиях на x(t) положительно и монотонно, а при к>е"' имеет бесконечное число подкачек. Поэтому необходимым условием существования периодических решений служит неравенство
к>е"'.
Доказательство условия отсутствия у решения разрывов было впервые предложено автором настоящей работы.
Также в этой статье отдельное внимание было уделено нахождению необходимых и достаточных условий существования однофрагментных колебаний с рациональным периодом. Использованный в работе А.Д. Мышкисом метод был использован в настоящей работе при исследовании случая, когда период колебаний х = 2, а также для случая, так называемых малых периодов. В работе А.Д. Мышкиса4 впервые была поставлена задача об исследовании периодических решений дискретной системы
Мышкис А.Д., Мильман В.Д. Случайные толчки в линейных динамических системах . П конф. по нелин. колебаниям, резюме докладов. 1962, Варшава, с. 19 - 22.
Мышкис А.Д., Паршикова П.П. Колебания в системах с переключением соавтор. VI международная конференция по нелинейным колебаниям, тезисы докладов, 1972, Варшава, с. 94 - 95.
3 Мышкис А.Д. Простейшая система с последействием и релаксацией. Прикладная математика и механика, 68:4(2004), 693-697.
4 Myshkis A.D. The simplest discrete system with relaxation. Journal of Applied Mathematics and Mechanics 68(2004), 623-627.
xn = xn., - hxn_2 (ne N -- NuO,h = const), с заданными начальными условиями х_2, х_, > 0. Условие подкачки принимается следующим: если при последовательном вычислении х0,х,,...получаем впервые
хП[ < 0, то вместо него полагаем хП[ = 0 и при п>п, строим решение по найденным х , и хП[ = 1 в качестве
начальных условий. В указанной работе были найдены достаточные условия отсутствия периодических решений. Начиная с 2005 года, автором настоящей работы были разработаны алгоритмы расчета непрерывных и дискретных систем с запаздыванием и подкачкой, на основе которых были сделаны многочисленные расчеты на ЭВМ, которые уточнили представления о процессах, происходящих в этих системах.
В первой главе также уделяется внимание рассмотрению некоторых свойств решений простейшего дифференциального уравнения с запаздыванием вида (1) и корней его характеристического уравнения. В литературе5 собраны многочисленные свойства нулей квазиполиномов. Однако, для целей исследования периодических решений в системах с возможностью подкачки и наличием запаздывания, которые будут рассмотрены во второй главе настоящей работы, требуется некоторая дополнительная информация о свойствах корней характеристического
5 Беллман Р., Кук К. Дифференциально-разностные уравнения. "Мир", М„ 1967.
Bellman R., On the computational solution of differential-difference equation. Journal of Mathematical Analysis and Applications, 1961, volume 2, № 1, p. 108-110.
Постников JI.В., Королев В.И. Сборник задач по теории колебаний. М., "Наука", 1978.
уравнения системы первого порядка с запаздыванием. Это связано с тем, что интересующие нас колебания могут происходить лишь в случаях, когда параметр характеристического уравнения удовлетворяет определенным ограничениям. В такой постановке задача о локализации корней характеристического уравнения еще не ставилась.
Полученные в данной главе свойства корней характеристического уравнения
ке"р+р=0 (2)
позволяют доказать, что в интересующем нас промежутке изменения параметров, среди корней характеристического уравнения (2) имеется пара комплексно сопряженных, обладающая наибольшими действительными частями, расположенными на интервале (-1,0). Остальные корни характеристического уравнения имеют действительные части меньшие -1. Существуют корни характеристического уравнения со сколь угодно большими по модулю и отрицательными действительными частями. Известно, что решение линейного дифференциального уравнения с запаздыванием может быть представлено в виде разложения в сумму экспонент, показателями которых являются корни характеристического уравнения. Поэтому следует ожидать возможной доминации над другими члена указанного разложения, соответствующего той паре комплексно сопряженных корней, которая имеет наибольшую действительную часть. Поскольку указанный член ряда можно найти аналитически, то в целом ряде случаев этот член с высокой степенью точности представляет все разложение решения. Расчеты на ЭВМ подтвердили этот вывод. Оценки корней в указанном выше интервале значения параметров дифференциального
уравнения с запаздыванием использованы в теоретических исследованиях главы 2 настоящей работы.
Вторая глава посвящена исследованию вопроса о существовании и единственности периодического решения динамической системы (1). В основе математического аппарата лежит применение интегрального преобразования Эйлера-Лапласа6. С его помощью исследование динамической системы сводится к изучению свойств функции
РС0=У------, (3)
&и>, + 1)(е-Д1-1) _
где р, - некий корень уравнения (2), 2" -- 2 \ {0}, р, - р_,, х - период предполагаемого решения.
Замечание. В работе доказана равномерная сходимость ряда (3) а также некоторых ему подобных, используемых для доказательств основных теорем.
Благодаря доказательству свойств функции Р(т)в настоящей работе сформулирована и доказана теорема о существовании периодическом решении х(Ч) динамической системы (1).
Теорема 1. При т > 2 функция х(0
ер<1
V- приЬт^/ХО
■с-, ер,х 1 + У-. при 0 < ^ < 1
(4)
6 Пинни Э. Обыкновенные дифференциально-разностные уравнения. ИЛ, 1961.
может быть непрерывно продолжена до такой периодической функции с периодом т, которая не имеет разрывов на интервале (0, т).
С помощью интегрального преобразования Эйлера-Лапласа получено разложение в виде ряда для сужения на отрезок [-1,0] периодического решения непрерывной динамической системы с несколькими запаздываниями и возможностью подкачки. Полученная формула обобщает результаты, найденные для единственного запаздывания и может быть использована как для изучения проблемы существования и единственности периодического решения, так и для численного построения этого решения.
Стоит заметить, что функция (3) также неявно зависит от параметра к исходной системы (1). Полученные
aF дР л
оценки на частные производные —,— <0 позволили
5т дт
сформулировать и доказать теорему единственности периодического решения системы (1).
Теорема 2. При каждом значение параметра к е (е-1, 1п(1 + л/2)] существует единственное ~, удовлетворяющее уравнению F(t) = 0, при котором периодическое решение х(1) системы (1) положительно на интервале (0, т) и х(+0) = 1,х(т) = 0.
Теорема полностью решает поставленную задачу для случая, когда период решения х > 2. Отдельно исследован случай так называемых «малых периодов» т < 2.
Из анализа, проведенного для возможных периодов колебаний длительностью меньшей 2, доказано, что существует счетное число значений параметра к, задаваемое следующей формулой:
к = п п >3,пе 2,
при которых имеются однофрагментные периодические
2
решения системы (1) с длинами периодов т = —. Доказано,
п
что не существует иных, кроме перечисленных параметров к, при которых существовали бы неотрицательные периодические решения системы.
В этой главе рассмотрены также некоторые общие принципы нахождения условий существования колебаний в динамических системах с подкачкой.
Теорема 3. Пусть непрерывная функция обладает односторонним преобразованием Лапласа Р(р). Причем, Р(р) является непрерывной функцией действительного р, имеющей равные пределы на +=о и -со. Тогда принимает как положительные, так и
отрицательные значения.
На основе теоремы 3 и необходимых условий знакопеременности функций, следуюндах из свойств ее изображения по Лапласу и Эйлеру-Лапласу, создается возможность получить эффективные необходимые критерии существования периодических решений в более сложных динамических системах с подкачкой.
С помощью интегрального преобразования Эйлера-Лапласа получено разложение в виде ряда для сужения на отрезок [-1,0] периодического решения непрерывной динамической системы с несколькими запаздываниями и возможностью подкачки. Полученная формула обобщает результаты, найденные для единственного запаздывания и может быть использована как для изучения проблемы существования и единственности периодического решения, так и для численного построения этого решения.
В третьей главе данной работы изучаются дискретные динамические системы, а также системы, описываемые обыкновенным дифференциальными уравнениями второго порядка, но с условием возможного возникновения подкачки.
Задача состоит в нахождении периодических решений в нелинейной дискретной динамической системе второго порядка следующего вида:
с начальными условиями х0,х, >0. Номер к, на котором
хк = 1, называете;! к-ым моментом подкачки. Процесс,
описываемый положительным фрагментом решения основного уравнения, заключенный между двумя соседними подкачками будем называть релаксацией.
Целью данного исследования является определение условий существования периодического решения у такой системы в зависимости от параметра Ь и начальных значений решения. Если периодические решения существуют, то необходимо найти их аналитически и исследовать на устойчивость по Ляпунову.
Сформулированы и доказаны следующие теоремы:
Теорема 4. В исследуемой системе при Ь>1 существует единственное положительное периодическое и неустойчивое решение.
1
Теорема 5. В случае — < к < 1 любое, не
тождественно нулевое решение первого уравнения динамической системы (5) (без требования подкачки) является знакопеременной последовательностью.
(5)
Теорема 6. В случае — < И < 1 существует не более
двух однофрагментных периодических положительных решений в системе (5).
Теорема 7. В исходной динамической системе невозможны многофрагментные положительные периодические решения. Если периодическое решение единственно, при фиксированном Ь, то оно устойчиво в целом. Если периодических решений два, то каждое из них устойчиво по Ляпунову и объединение их областей устойчивости совпадает со всеми возможными значениями начального условия г > О.
Проведенный анализ системы (5) позволяет: изучить все случаи, при которых существуют однофрагментные периодические решения;
- доказать, что помимо найденных решений дискретной динамической системы второго порядка с возможностью подкачки, других периодических не существует;
доказать гипотезу А.Д. Мышкиса о том, что условие
О < /г < — является необходимым и достаточным 4
условием отсутствия периодических решений у дискретной динамической системы второго порядка;
- доказать, что при фиксированном значении параметра дискретной динамической системы второго порядка, в ней может существовать не более двух видов однофрагментных колебаний с подкачкой;
найти необходимые и достаточные условия того, что периодическое решение в дискретной системе единственно;
исследовать устойчивость периодических решений дискретной динамической системы «в целом».
Также в третьей главе изучапась конечномерная непрерывная динамическая система, определяемая следующим линейным однородным дифференциальным уравнением второго порядка:
<12 Х т ^^ Л
—г- + Ь — + ах = 0 (6)
Л2 Л
и условием подкачки:
если х(1>0)=(), то х<Ч+0)= 1, = ^
& о & ;+0
Требуется найти все периодические решения динамической системы. Из ее определения следует, что периодические решения неотрицательны.
Для непрерывной динамической системы второго порядка с возможностью подкачки найдены необходимые и достаточные условия существования периодических решений.
Доказана единственность периодических решений при каждом конкретном случае значений параметров непрерывной системы второго порядка.
Доказано, что уравнения, позволяющие получать периодические решения, могут быть найдены как с помощью классических методов теории
дифференциальных уравнений, так и с помощью интегрального преобразования Эйлера-Лапласа. Последний метод, являясь более гибким, позволяет получать
некоторые существенные качественные свойства периодических решений.
Доказано, что если корни характеристического уравнения непрерывной динамической системы второго порядка действительны и различны, то, либо вообще не существует периодических решений, либо такое решение единственно и неустойчиво. В случае кратных ненулевых корней периодические решения отсутствуют. В случае же, когда корни комплексные, и характеристическое уравнение устойчиво, то существует и единственно устойчивое в целом периодическое решение динамической системы. Если же характеристическое уравнение неустойчиво и имеет комплексные корни, то периодические решения в динамической системе отсутствуют.
Четвертая глава диссертации посвящена разработке комплекса программ для численных расчетов периодических процессов в динамических системах с запаздыванием, подкачкой и релаксацией и проверке данных, полученных аналитически, численными экспериментами.
На основе доказанных в первой главе свойств корней характеристического уравнения (2) непрерывной динамической системы с запаздыванием первого порядка оказалось возможным предложить численный метод расчета действительных и мнимых частей этих корней. На основе алгоритма составлена программа, реализованная в среде МАРЬЕ 9. Численные расчеты по указанной программе подтвердили правильность остальных свойств корней, при значениях параметра.
На основе найденной в главе второй формулы для функции (3), нули которой соответствуют длинам периодов колебаний в непрерывной системе с подкачкой и
запаздыванием, а также с использованием разработанного алгоритма нахождения корней характеристического уравнения (2) был предложен алгоритм численного нахождения длин периодов периодических решений исследуемой системы. На основе алгоритма составлена программа, реализованная в среде МАРЬЕ 9.
Был предложен алгоритм численного нахождения периодического решения непрерывной динамической системы с запаздыванием и подкачкой в виде найденного в главе 2 экспоненциального разложения. На основе алгоритма составлена программа, реализованная в среде МАРЬЕ 9.
Для проверки правильности расчетов, предложенных алгоритмов, был реализован алгоритм прямого решения исходного дифференциального уравнения с запаздыванием и подкачкой. Расчеты показали совпадение с результатами, полученными на основе экспоненциального разложения, с точностью до погрешности используемого численного метода.
Заключение.
Результатом проведенного исследования является методика исследования непрерывных и дискретных динамических систем с условием возможной подкачки, как содержащих запаздывание, так и без него, позволяющая решить следующие задачи:
1. Сформулирована и доказана теорема существования и единственности неотрицательного однофрагментного периодического решения динамической системы (1) для каждого значения параметра к в интервале ке(е~\\ п(1 + л/2)].
2. Найдено уравнение для длин периодов решений системы (2) при параметре к из указанного интервала.
Найден общий вид периодического решения в указанном интервале изменения параметра к.
3. Из анализа, проведенного для возможных периодов колебаний длительностью меньшей 2, доказано, что существует лишь счетное число значений параметра к, при которых имеются однофрагментные периодические решения системы (1).
5. При исследовании дискретной системы второго порядка с возможностью подкачки изучены все случаи, при которых существуют однофрагментные периодические решения. Исследована устойчивость периодических решений дискретной динамической системы «в целом».
6. Для непрерывной динамической системы второго порядка с возможностью подкачки найдены необходимые и достаточные условия существования периодических решений. Исследована устойчивость периодических решений этой непрерывной системы «в целом».
7. Разработанный комплекс программ позволяет численно получать следующие результаты:
- Рассчитывать действительные и мнимые части корней уравнения (2).
Находить длины периодов колебаний в непрерывной системе с подкачкой и запаздыванием.
Строить периодическое решение непрерывной динамической системы с запаздыванием и подкачкой в виде экспоненциального разложения (4).
Для проверки правильности расчетов, реализован алгоритм прямого решения исходного уравнения с запаздыванием и подкачкой.
Основные результаты диссертации опубликованы в работах:
1. Сеславин A.A. Локализация корней характеристического уравнения замкнутой системы с интегратором и запаздыванием. Труды научно-практической конференции «Неделя Науки 2004. Наука - транспорту», М., 2005.
2. Сеславин A.A. Применение интегрального преобразования Эйлера-Лапласа для исследования колебаний замкнутой системы с запаздыванием и релаксацией. Труды научно-практической конференции «Неделя Науки 2005. Наука -транспорту», М., 2006.
3. Сеславин A.A. Исследование периодических решений линейной непрерывной системы первого порядка с запаздыванием и релаксацией. Труды научно-практической конференции «Неделя Науки 2005. Наука - транспорту», М., 2006.
4. Сеславин A.A. Исследование периодических решений непрерывной динамической системы с запаздыванием и подкачкой. Журнал «Дифференциальные уравнения», 2009, т.45, №2, с. 162-168.
5. Сеславин A.A. Положительные периодические решения непрерывной динамической системы с запаздыванием и подкачкой. Журнал «Дифференциальные уравнения», 2009, т45, №3, с. 354-362.
СЕСЛАВИН АНДРЕЙ АНДРЕЕВИЧ
ИССЛЕДОВАНИЕ ПЕРИОДИЧЕСКИХ ПРОЦЕССОВ
В МАТЕМАТИЧЕСКИХ МОДЕЛЯХ ДИНАМИЧЕСКИХ СИСТЕМ С ЗАПАЗДЫВАНИЕМ, РЕЛАКСАЦИЕЙ И ПОДКАЧКОЙ
Специальность: 05.13.18 - Математическое моделирование, численные методы и комплексы программ
Подписано в печать^. 03. Ш Печать офсетная. Бумага для множит, апп. Тираж 80 экз._
Усл.-печ.л.-1,5
Формат 60x84 1/16 Заказ №
Типография МИИТ, 127994, Москва, ул. Образцова, д.9, стр. 9
Оглавление автор диссертации — кандидата физико-математических наук Сеславин, Андрей Андреевич
Введение
1 Постановка задачи о периодических решениях динамической системы с запаздыванием и подкачкой
1.1 Постановка задачи.
1.2 Исторический очерк работ, посвященных исследованию динамических систем с запаздыванием и возможностью подкачки.
1.3 Технические и экономические приложения исследуемой в работе математической модели динамической системы.
1.4 Некоторые свойства решений простейшего дифференциального уравнения с запаздыванием и корней его характеристического уравнения
1.5 Выводы по Главе 1.
2 Исследование периодических процессов в непрерывной динамической системе с запаздыванием и возможностью подкачки
2.1 Предварительные замечания.
2.2 Необходимые условия существования колебаний в системе (2.1).
2.3 Использование интегрального преобразования Эйлера-Лапласа для нахождения периодических решений исследуемой динамической системы с длинами периодами большими 2.
2.4 Свойства функции F(r).
2.5 Периодичность решения, полученного в виде экспоненциального разложения
2.6 Случай т = 2.
2.7 Доказательство существования и единственности положительного периодического решения непрерывной динамической системы.
2.8 Исследование возможности существования периодических решений динамической системы с запаздыванием и подкачкой с периодами г <
2.8.1 Случай | < т <
2.8.2 Случай г = \.
2.8.3 Случай 1 < т <
§.
2.8.4 Частный случай г = |.
2.8.5 Случай т = 1.
2.8.6 Случай т < 1.
2.8.7 Вариант т0 > \.
2.8.8 Вариант т0 < \.
2.8.9 Случай т0 = \.
2.9 Условие существования колебаний в системах с подкачкой.
2.10 Исследование периодических решений в динамической системе с несколькими запаздываниями и возможностью подкачки.
2.11 Выводы по главе 2.
3 Исследование периодических решений в конечномерных динамических системах с возможностью подкачки
3.1 Исследование дискретной системы
3.2 Случай 0 <h<\
3.3 Случай h>l.
3.4 Случай \<h<
3.5 Задача о границах параметра h при которых в системе существует периодические решения с периодом п > 1.
3.6 Исследование устойчивости периодического решения дискретной динамической системы (3.1) "в целом".
3.7 Исследование периодических решений в непрерывной динамической системе второго порядка с подкачкой.
3.7.1 Постановка задачи.
3.7.2 Характеристическое уравнение и план дальнейшего исследования
3.7.3 Случай действительных некратных корней характеристического уравнения.
3.7.4 Случай действительных кратных корней характеристического уравнения.
3.7.5 Случай комплексных корней характеристического уравнения
3.7.6 Исследование возможности существования периодических колебаний в динамической системе второго порядка с использованием преобразования Эйлера-Лапласа. Сравнение возможностей методов исследования.
3.8 Исследование динамики "в целом"для линейной непрерывной системы второго порядка с возможностью подкачки
3.8.1 Случай различных действительных корней
3.8.2 Случай кратных действительных корней.
3.8.3 Случай комплексных корней.
3.9 Выводы по Главе 3.
4 Алгоритмы численных расчетов процессов в динамических системах с запаздыванием, релаксацией и подкачкой
4.1 Алгоритм численного нахождения корней трансцендетного характеристического уравнения.
4.2 Алгоритм численного нахождения нулей функции F(t).
4.3 Алгоритм численного нахождения периодического решения непрерывной динамической системы в виде экспоненциального разложения
4.4 Алгоритм прямого численного решения исходной системы.
4.5 Выводы по главе 4.
Введение 2009 год, диссертация по информатике, вычислительной технике и управлению, Сеславин, Андрей Андреевич
Актуальность темы исследования. В диссертации исследовались, представляющиеся в настоящее время важными и перспективными в плане применения, динамические системы с наличием запаздывания и подкачек. Многие динамические системы являются составными и содержат в ссбе несколько связанных между собой подсистем. Во многих случаях процессы в различных подсистемах сильно различаются по времени. В таких случаях целесообразно изучать предельные динамические системы, в которых быстрые процессы в некоторых подсистемах считаются мгновенно проходящими. В этих случаях результат таких процессов сказывается в медленной части системы в виде мгновенного изменения некоторых фазовых координат. Такое явление называется подкачкой. В теоретических работах и в приложениях теории колебаний изучались и использовались только простейшие динамические системы в виде обыкновенных дифференциальных уравнений первого порядка с подкачкой. Классическим примером таких разрывных колебаний являются генераторы пилообразного напряжения.
Отсутствие общих аналитических методов исследования не позволяло изучать периодические процессы в системах с подкачкой и сдерживало возможность разработки устройств, описываемых такими математическими моделями. Несмотря на то, что были известны некоторые свойства простейших систем с запаздыванием и подкачкой, а также сформулирован ряд гипотез о существовании и единственности периодических решений в них, отсутствие общих методов решения этих вопросов не позволяло накапливать опыт решения поставленных задач. Поэтому на данный момент развития исследования этой проблематики возникла необходимость разработки специального аппарата аналитического исследования для изучения уже поставленных задач, как в случае непрерывных, так и для дискретных моделей динамических систем с подкачкой, а также доказательства и проверки высказанных гипотез.
Особый интерес представляют динамические системы с запаздыванием, как пример бесконечномерной динамической системы. Математические модели для систем с запаздыванием и подкачкой были впервые предложены А.Д. Мышкисом. Им же были осуществлены первые исследования в этой области и высказан ряд гипотез, которые изучались в настоящей работе. Разрабатываемый математический аппарат исследования должен быть приспособлен и для исследования такого рода систем. Необходимо находить при заданных значениях параметров все периодические процессы, а также выделять те из них, которые обладают свойствами, обусловленными условием подкачки. В простейших случаях такое условие является условием неотрицательности решения. Также требуется находить все множество значений параметров, при которых существуют периодические решения, а также проводить исследования устойчивости этих решений.
Цель работы. Целью работы является разработка новой методики исследования непрерывных и дискретных динамических систем с условием возможной подкачки, как содержащих запаздывание, так и без него. В соответствии с поставленной целью основными задачами исследования являются:
1. Найти максимальное множество значений параметра непрерывной динамической системы первого порядка с запаздыванием и условием подкачки для которых справедлива теорема о существовании положительных периодических решений.
2. Для каждого значения параметра в найденной области проверить наличие единственности положительного периодического решения, сформулировав и доказав теорему единственности этого решения.
3. Найти аналитическое выражения для периодического решения непрерывной динамической системы первого порядка с запаздыванием и условием подкачки в виде ряда или конечного выражения.
4. Найти максимальное множество значений параметра дискретной динамической системы второго порядка с условием подкачки, для которых справедлива теорема о существовании положительных периодических решений.
5. Для каждого значения параметра в найденной области проверить наличие единственности положительного периодического решения дискретной динамической системы второго порядка с условием подкачки, сформулировав и доказав теорему единственности этого решения.
6. Найти аналитическое выражения для периодического решения дискретной динамической системы второго порядка с условием подкачки. Исследовать найденные решения на устойчивость в малом. Исследовать периодические решения на устойчивость в целом.
7. Для непрерывной динамической системы второго порядка с условием подкачки найти максимальную область значений параметров, при которых существует единственное периодическое решение. Исследовать это периодическое решение на устойчивость.
Методика исследования. Методологические исследования проведены на основе использования интегрального преобразования Эйлера-Лапласа, теории обыкновенных дифференциальных уравнений, дифференциальных уравнений с запаздывающим аргументом, теории разностных уравнений, качественной теории динамических систем, теории устойчивости.
Научная новизна. Научная новизна исследования заключается в следующем:
1 Специально для модели непрерывных динамических систем с запаздыванием и без него автором был впервые использован метод, основанный на интегральном преобразовании Эйлера-Лапласа, который позволяет свести изучение исходной системы с возможностью подкачки к изучению специального рода бесконечномерной, в случае наличия запаздывания, системы разностных уравнений. Исследование полученной системы разностных уравнений позволило получить аналитическое выражение для периодического решения непрерывной динамической системы первого порядка с запаздыванием и условием подкачки в виде экспоненциального ряда.
2. С помощью преобразования Эйлера-Лапласа найдены интегральные оценки полученного экспоненциального решения в виде однократных и двукратных интегралов специального вида, позволившие для системы первого порядка с запаздыванием и подкачкой сформулировать и доказать теорему существования и единственности однофрагментных положительных периодических решений для параметра системы к, принадлежащего интервалу (е1,1п(1 + \/2)].
3. При исследовании дискретной системы второго порядка с возможностью подкачки изучены все случаи, при которых существуют однофрагментные периодические решения. Найден аналитический вид периодического решения и длина периода. Доказано, что помимо найденных аналитически периодических решений, других не существует. Доказано, что при фиксированном значении параметра дискретной динамической системы, в ней может существовать не более двух однофрагментных положительных периодических решений. Исследована устойчивость найденных периодических решений в целом.
4. Для непрерывной динамической системы второго порядка с возможностью подкачки найдены необходимые и достаточные условия существования периодических решений. Доказана единственность периодических решений при каждом конкретном значении параметров непрерывной системы второго порядка. Найденное периодическое решение исследовано на устойчивость в целом.
Теоретическая и практическая ценность. Работа носит, как теоретический, так и практический характер. Теоретическая ценность исследования состоит в разработке аналитических методов нахождения периодических решений исследуемых динамических систем с подкачкой с помощью интегрального преобразования Эйлера-Лапласа. Этот гибкий аппарат создает возможность исследовать вопросы связанные с существованием и единственностью периодических решений и исследовать их на устойчивость.
Практическая значимость исследования заключается в возможности применения разработанных математических моделей и аппарата их исследования для динамических систем более общего вида, а также для изучения колебательных процессов в целом ряде электронных устройств (ключевых схем, генераторов колебаний специальной формы, преобразователей напряжения из постоянного в переменное).
Структура и объем диссертации. Диссертация состоит из введения, четырех глав, заключения, списка использованных источников. Текст изложен на 119 страницах, содержит 32 рисунка и 2 таблицы.
Заключение диссертация на тему "Исследование периодических процессов в математических моделях динамических систем с запаздыванием, релаксацией и подкачкой"
4.5 Выводы по главе 4
1. На основе доказанных в первой главе свойств корней характеристического уравнения (2.7) непрерывной динамической системы с запаздыванием первого порядка оказалось возможным предложить численный метод расчета действительных и мнимых частей этих корней. На основе алгоритма составлена программа, реализованная в среде MAPLE 9. Численные расчеты по указанной
Рис. 4.5: Графики функции y(t), построенной с помощью экспоненциального разложения на отрезке [1 —г, 0] при значении параметра к — 1, для первого корня Т\ — 1.64 и т2 = 4.35 программе подтвердили правильность остальных свойств корней, при значениях параметра к 6 (е-1,1).
Рис. 4.6: Блок-схема численного решения основной системы
2. На основе найденной в главе второй формулы для функции F(r), нули которой соответствуют длинам периодов колебаний в непрерывной системе с подкачкой и запаздыванием, а также с использованием разработанного алгоритма нахождения корней характеристического уравнения (2.7) был предложен алгоритм
Рис. 4.7: Графическое построение численного решения основного уравнения при начальном условии ф{Ь) = 1, к = 0.5, h3 = 0.005 численного нахождения длин периодов периодических решений исследуемой системы. На основе алгоритма составлена программа, реализованная в среде MAPLE 9.
3. Был предложен алгоритм численного нахождения периодического решения непрерывной динамической системы с запаздыванием и подкачкой в виде найденного в главе 2 экспоненциального разложения. На основе алгоритма составлена программа, реализованная в среде MAPLE 9.
4. Для проверки правильности расчетов, предложенных алгоритмов, был реализован алгоритм прямого решения исходного уравнения с запаздыванием и подкачкой. Расчеты показали достаточно точное совпадение с результатами, полученными на основе экспоненциального разложения (точность определяется шагом прямого метода) .
Заключение
Результатом проведенного исследования является методика исследования непрерывных и дискретных динамических систем с условием возможной подкачки, как содержащих запаздывание, так и без пего, позволяющая решить следующие задачи:
1. Сформулирована и доказана теорема существования и единственности неотрицательного однофрагментного периодического решения динамической системы (2.1) для каждого значения параметра к в интервале (е-1,1п(1 + \/2)] .
Найдено следующее уравнение для длин периодов решений системы (2.1) при параметре к из интервала (е1,1п(1 + -\/2)] : где суммирование ведется по номерам всех корней характеристического уравнения системы вида ке~р + р = 0.
Найден общий вид периодического решения в указанном интервале изменения параметра к
2. Из анализа, проведенного для возможных периодов колебаний длительностью меньшей 2 доказано, что существует счетное число значений параметра к, задаваемое следующей формулой: при которых имеются однофрагментные периодические решения системы (2.1) с длинами периодов т = ^.
Доказано, что не существует иных, кроме перечисленных параметров к, при которых существовали бы неотрицательные периодические решения системы
3. На основе теоремы 2.2. и необходимых условий знакопеременности функций, следующей из свойств ее изображения по Лапласу и Эйлеру-Лапласу, создается возможность получить эффективные необходимые критерии существования периодических решений в более сложных динамических системах с подкачкой. при 1 — т < t < 0 при 0 < t < 1. к = п 1п(1 + у/2), п > 3, n € Z,
2.1).
4. С помощью интегрального преобразования Эйлера-Лапласа получено разложение в виде ряда для сужения на отрезок [—1,0] периодического решения непрерывной динамической системы с несколькими запаздываниями и возможностью подкачки. Полученная формула обобщает результаты, найденные для единственного запаздывания и может быть использована как для изучения проблемы существования и единственности периодического решения, так и для численного построения этого решения.
5. При исследовании дискретной системы второго порядка с возможностью подкачки изучены все случаи, при которых существуют однофрагментные периодические решения.
Доказано, что помимо найденных решений дискретной динамической системы второго порядка с возможностью подкачки, других периодических не существует.
Доказана гипотеза А.Д. Мышкиса о том, что условие h £ (0, является необходимым и достаточным условием отсутствия периодических решений у дискретной динамической системы второго порядка.
Доказано, что при фиксированном значении параметра дискретной динамической системы второго порядка, в ней может существовать не более двух видов однофрагментных колебаний с подкачкой.
Найдены необходимые и достаточные условия того, что периодическое решение в дискретной системе единственно.
Исследована устойчивость периодических решений дискретной динамической системы в целом.
6. Для непрерывной динамической системы второго порядка с возможностью подкачки найдены необходимые и достаточные условия существования периодических решений.
Доказана единственность периодических решений при каждом конкретном случае значений параметров непрерывной системы второго порядка.
Доказано, что уравнения, позволяющие получать периодические решения, могут быть найдены как с помощью классических методов теории дифференциальных уравнений, так и с помощью интегрального преобразования Эйлера-Лапласа. Последний метод, являясь более гибким, позволяет получать некоторые существенные качественные свойства периодических решений.
Доказано, что если корни характеристического уравнения непрерывной динамической системы второго порядка действительны и различны, то либо вообще не существует периодических решений, либо такое решение единственно и неустойчиво. В случае кратных ненулевых корней периодические решения отсутствуют. В случае же, когда корни комплексные, и характеристическое уравнение устойчиво, то существует и единственно устойчивое в целом периодическое решение динамической системы. Если же характеристическое уравнение неустойчиво и имеет комплексные корни, то периодические решения в динамической системе отсутствуют.
7. Разработанный комплекс программ позволяет численно получать следующие результаты:
• Рассчитывать действительные и мнимые части корней уравнения (2.7).
• Находить длины периодов колебаний в непрерывной системе с подкачкой и запаздыванием.
• Строить периодическое решение непрерывной динамической системы с запаздыванием и подкачкой в виде экспоненциального разложения (2.15).
• Для проверки правильности расчетов, реализован алгоритм прямого решения исходного уравнения с запаздыванием и подкачкой.
Библиография Сеславин, Андрей Андреевич, диссертация по теме Математическое моделирование, численные методы и комплексы программ
1. Андронов А.А., Витт А.А., С.Э. Хайкин. Теория колебаний. Государственное издание физико-математической литературы. М., 1959
2. Бабаков И.М. Теория колебаний. "НаукаМ., 1968.
3. Баутин Н.Н., Леонтович Е.А. Методы и приемы качественного исследования динамических систем на плоскости. "НаукаМ., 1976.
4. Веллман Р., Кук К. Дифференциально-разностные уравнения. "МирМ., 1967.
5. Bellman R., On the computational solution of differential-difference equation. Journal of Mathematical Analysis and Applications, 1961, volume 2, №1, p. 108-110.
6. Берг А.И. Теория и расчет ламповых генераторов. Государственное энергетическое издательство. М.-Л.Д932.
7. Боголюбов Н.Н., Митропольский Ю.А. Асимптотические методы в теории нелинейных колебаний. "НаукаМ., 1974.
8. Ваксман Д.Е. Асимптотические методы в линейной радиотехнике. "Советское радио М., 1962.
9. Турецкий X. Анализ и синтез систем управления с запаздыванием. М., "Машиностроение" 1974.
10. Ден-Гартог Дж.П. Механические колебания. Государственное издательство физико-математической литературы. М.,1960.
11. Зубов В.И. Колебания в нелинейных управляемых системах. СУДПРОМГИЗ, Л.,1962.
12. Зубов В.И. Теория колебаний. "Высшая школаМ., 1979
13. Каток А.Б., Хасселблат В., Введение в современную теорию динамических систем. Издательство "Факториал М., 1999.
14. Красовский Н.Н. Некоторые задачи теории устойчивости движения. Физматгиз, 1969.
15. Левин Б.Я., Распределение корней целых функций. Государственное издательство технико-теоретической литературы. М., 1956.
16. Мельников Г.И. Динамика нелинейных механических и электромеханических систем. "Машиностроение Л., 1975.
17. Мышкис А.Д. Линейные дифференциальные уравнения с запаздывающим аргументом. Изд. 2-е, "НаукаМ., 1972.
18. Мышкис А.Д. Об устойчивости движения при наличии толчков /соавтор В.Д. Мильман. Сиб. матем. ж., 1960,1,№2, с. 233-237
19. Мышкис А.Д. Случайные толчки в линейных динамических системах /соавтор В. Д. Мильман/. П коиф. но нелин. колебаниям, резюме докладов. 1962, Варшава, с. 19 22.
20. Мышкис А.Д. Колебания в системах с переключением /соавтор II. П. Парши-кова/. VI международная конференция по нелинейным колебаниям, тезисы докладов, 1972, Варшава, с. 94 95.
21. Мышкис А.Д. Системы с последействием и релаксацией. Прикладная математика и механика, 1994, 58,6, 141-144.
22. Myshkis A.D. Autonomous differential equations with impulsive self-support and infinite delay. Functional Differential Equations, 1995, V.3. No 1-2. P. 145-154.
23. Мышкис А.Д. Простейшая система с последействием и релаксацией. Прикладная математика и механика, 68:4(2004), 693-697.
24. Myshkis A.D. The simplest discrete system with relaxation. Journal of Applied Mathematics and Mechanics 68(2004), 623-627.
25. Пинни Э. Обыкновенные дифференциально-разностные уравнения. ИЛ, 1961.
26. Полна Г. и Сеге Г. Задачи и теоремы анализа. Часть вторая. М., Государственное издательство технико-теоретической литературы, 1956.
27. Постников Л.В., Королев В.И. Сборник задач по теории колебаний. М., "Наука 1978.
28. Постников М.М. Устойчивые многочлены. "НаукаМ., 1981.
29. Резван В. Абсолютная устойчивость автоматических систем с запаздыванием. М., "Наука 1983.
30. Стокер Дж., Нелинейные колебания в механических и электрических системах. М., ИЛ, 1953.
31. Стреклов С.П. Введение в теорию колебаний. Государственное издательство технико-теоретической литературы. Л.,1950
32. Тимошенко С.П. Теория колебаний в инженерном деле. Государственное научно-техническое издательство. Л.,1931.
33. Халанай А., Векслер Д., Качественная теория импульсных систем. "МирМ., 1971.
34. Хаяси Тихиро. Вынужденные колебания в нелинейных системах. Издательство иностранной литературы. М., 1957.
35. Харкевич А.А. Автоколебания. Государственное издательство технико-теоретической литературы. М.,1953
36. Цыпкин Я.З. Теория линейных импульсных систем. Государственное издательство физико-математической литературы. М., 1963.
37. Шарковский А.Н., Майстренко Ю.Л., Романенко Е.Ю. Разностные уравнения и их приложения. Киев Наукова Думка, 1986.
38. Эльсгольц Л.Э. Введение в теорию дифференциальных уравнений с отклоняющимся аргументом. "НаукаМ.,1984.
39. Эльсгольц Л.Э., Норкин С.Б. Введение в теорию дифференциальных уравнений с отклоняющимся аргументом. Изд. 2-е, "НаукаМ., 1971.
40. Якубович В.А., Старжинский В.М. Линейные дифференциальные уравнения с периодическими коэффициентами и их приложения. "НаукаМ., 1972.
-
Похожие работы
- Математическое моделирование бифуркационных переходов и формирования мультистабильности в системах с запаздывающими связями
- Обоснование рациональных структур и параметров синтезаторов частот с фазовой автоподстройкой
- Исследование математических динамических моделей рынка вальрасовского типа
- Синтез систем автоматического управления многосвязными объектами с запаздываниями на основе технологии вложения систем
- Цифровые регуляторы для объектов с запаздыванием на основе наблюдателя полного порядка
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность