автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.18, диссертация на тему:Некоторые обратные коэффициентные задачи для моделей популяционной динамики
Автореферат диссертации по теме "Некоторые обратные коэффициентные задачи для моделей популяционной динамики"
Московский государственный университет имени М.В. Ломоносова Факультет вычислительной математики и кибернетики
На правах рукописи
Чурбанов Дмитрий Владимирович
НЕКОТОРЫЕ ОБРАТНЫЕ КОЭФФИЦИЕНТНЫЕ ЗАДАЧИ ДЛЯ МОДЕЛЕЙ ПОПУЛЯЦИОННОЙ ДИНАМИКИ
Специальность 05.13.18 — математическое моделирование, численные методы и комплексы программ
АВТОРЕФЕРАТ диссертации на соискание учёной степени кандидата физико-математических наук
1 7 ОКТ 2813
Москва 2013
005535355
Работа выполнена на кафедре математической физики
факультета вычислительной математики и кибернетики Московскою тсударственно-го университета имени М В Ломоносова.
Научный руководитель: кандидат физико-математических наук,
доцент кафедрьг математической физики факультета B.V1K МГУ им. М.В. Ломоносова Щеглов Алексей Юрьевич
Официальные оппоненты: доктор физико-математических наук.
профессор кафедры системного анализа факультета ВМК МГУ им. М.В. Ломоносова Братусь Александр Сергеевич;
доктор физико-математических наук, профессор кафедры высшей математики МИФИ Орловский Дмитрий Германович.
Ведущая организация: Институт вычислительной математики РАН.
Защита состоится «30¿ октября 2013 г. в на заседании диссертационного совета Д 501.001.43 при Московском государственном университете имени М. В. Ломоносова по адресу: 1199'Jl, ГСП-1, Москва, Ленинские горы, МГУ, второй учебный корпус, факультет вычислительной математики и кибернетики, аудитория (¡85. Желающие присутствовать на заседании диссертационного совета должны сообщить об этом за два дня по тел.
t 7 (495) 939-40-10 (для оформления заявки на пропуск). С диссертацией можно ознакомиться в библиотеке факультета ВМК МГУ имени М.В. Ломоносова по адресу: 119192, Москва, Ломоносовский проспект, д. 27
Автореферат разослан «30» сентября 2013 г. Учёный секретарь
диссертационного совета Д 501.001.43 д. ф.-м. и., профессор
Ф,
/ / Захаров Е. В.
Актуальность темы. Математическое моделирование применяется во всех областях науки и техники. Без преувеличения можно сказать, что одними из наиболее важных и сложных задач математики, встречающихся при моделировании, являются обратные задачи.
Большая часть диссертационной работы посвящена исследованию обратных задач для нелинейных моделей популяционной динамики. Как известно, нелинейные задачи изучены не столь подробно как линейные. Исследованию нелинейных постановок уделяется в настоящий момент больше внимания в сил\' их сложности п важности для приложений. В диссертации рассматривается класс задач но определению коэффициентов в уравнениях в частных производных первого порядка. Такие постановки являются типичными при описании процессов динамики структурированных популяций. Похожие на них математические задачи встречаются в моделях эволюции капитальных ресурсов в экономике, а также некоторых дисперсных системах химии, метеорологии, астрофизики.
Популяционныс модели, описываемые обыкновенными дифференциальными уравнениями, не включающие в себя пространственную структуру, часто не могут воспроизвести некоторые явления, связанные с распределением но возрасту или но другим параметрам, характеризующим уровень зрелости особей. Одним из первых, кто рассмотрел биологическую модель с распределением по возрастам был Л. Эйлер, когда он еще в 17С0 году затронул тему "смертности и умножения человеческого рода"[1]. Некоторые его результаты были повторены А. Лотки [2]. Похожий на этот подход был развит также А. Мак-Кендриком [3]. когда он впервые вывел следующее уравнение + = —a)n(t,a), где функция n(t,a) описывает плотность популяции особей возраста а в момент времени t, a n{t,a) - коэффициент смертности. В исследование данной модели также внес вклад фон Ферстер [4|, так что данное уравнение называют уравнением Мак-Кендрика-фон Фер-
стера. Структурированные популяционные модели и сегодня представляют большой интерес. Данной тематике посвящено немало работ как зарубежных исследователей [5,0], так и отечественных |7,8|. Однако обратные постановки и в особенности для нелинейных моделей, связанные с данной тематикой, еще недостаточ но исследованы.
Цель диссертационной работы. Целью работы является исследование обратных задач для некоторых моделей структурированной популяции и разработка численных методов их решения, построение программного комплекса реализующего данные методы, проведение численных экспериментов, подтверждающих возможность применения данных методов для восстановления характеристик популяционных процессов.
Научная новизна и практическая ценность. Исследован ряд обратных задач по восстановлению характеристик моделей структурированной популяции, разработаны численные методы их решения, произведен анализ и обоснование указанных методов. Практическая ценность результатов определяется возможностью уточнения параметров процессов при моделировании популяционной динамики.
Апробация. Основные результаты работы излагались на следующих конференциях и семинарах.
1. Международная конференция "Ломоносов 2012"в г. Москве, 9-13 апреля 2012г.
2. Международная конференция, посвященная 80-летию со дня рождения академика М.М. Лаврентьева "Обратные и некорректные задачи математической физики"в г. Новосибирске, 5-12 августа 2012 г.
3. Научная конференция "Тихоновские чтения "в г. Москве, 29.10.2012 -02.11.2012.
4. Научно-исследовательский семинар кафедры математической физики факультета ВМК МГУ им. М.В. Ломоносова.
5. Научный семинар "Методы решения задач вариационной ассимиляции данных наблюдений и управление сложными системами"в Институте вычислительной математики РАН.
Публикации. Основные результаты опубликованы в работах (1)-(о). Объем и структура работы. Диссертация состоит из введения, 2 глав. Список использованной литературы содержит 89 наименований. Текст диссертации содержит 97 страниц, 14 рисунков.
Содержание работы
Первая глава состоит из четырех параграфов.
В первом параграфе рассмотрена следующая модель популяции с по-
стоянной скоростью роста объектов
щ + их = /х(и), 0 < х < 1, 0 < < < 1, (1)
и{0,$ = ч>(г), 0<t<l.. (2)
и(х, 0) = (р(х), 0 < х < 1, (3)
где функция и(х, £) - плотность объектов размера х в момент времени Ь, (х,£) 6 <5 = (0,1) х (0,1), р(х) - начальное распределение плотности объектов, - плотность объектов минимального размера в момент времени £, правая часть, функция ^(в) описывает миграцию объектов. В данной модели функция [¿(з) предполагается положительной на всей своей области определения. В прямой задаче ищется функция плотности объектов и(х, Ь) по исходным данным <р(х), гр^), ¿¿(з) при условиях
ф) в С(Е), 0 < < цм, 8ёК, (4)
ф), ¿-(ОбСМОД], <4(0) = ¥>(0). (5)
Обратная задача состоит в определении функции /¿(з), описывающей миграцию объектов и удовлетворяющей условиям
ц(а) 6 С(£>), /*(в) > 0, 5 € А (6)
где область П представляет собой все возможные значения плотности и(х, £)
за исключением значений исходных данных 1у(£), либо все значения
плотности объектов без исключения Б = [гши и(х. ¿), тахи(:г. £)]. В качестве
<? Я
дополнительного условия в обратной постановке берется плотность объектов наибольшего размера в моменты времени от 0 до 1:
И(М) = с(0> г е [о, 1], сМесЧол], с(о) = ?(1). (7)
Нужно отметить, что обратная задача, где ищется отрицательная функция /¿(в), решается аналогично.
Решение прямой задачи не представляет особой сложности. Пусть введена функция
в
M(s) =
где <ро = min <р(х). Формулы для определения решения прямой задачи даны те[0,1]
в следующей теореме.
Теорема 1. Единственное решение u(x,t) б C(Q) П \ {х = i}) задачи (1)~(3) с условиями (4), (о) в области Q существует и представимо в виде:
и{х, t) = M~l(t + М(<р(х - i))) при 0 < t < х < 1, и{х, t) = M~l(x + М(ip(t - х))) при 0 < х < t < 1.
Подставляя в формулу для решения прямой задачи из теоремы 1 для области 0 < t < х < 1 дополнительную информацию (7), можно получить функциональное уравнение
с'(0 у/(1 -0 _
Обратная задача но определению неизвестной функции fJ.{s), таким образом, сводится к уравнению (8), которое становится основным объектом исследования.
В первом варианте обратной задачи дополнительная информация c(t) пусть предполагается монотонно возрастающей. При этом правая часть /¿(.s)
считается известной на начальных данных ¡i\{x) = /i(tp{x)), х 6 [0,1]. Тогда p(s) остается определить на отрезке (с(0), с(1)]. Это можно сделать используя полученное функциональное уравнение (8):
Другой случай, когда дополнительная информация c(t) .монотонно убывает, представляет больший интерес. Пусть
<¿>'(:r) >0, <р(х)<с( 1-х), х€ [0,1), (10)
c'(í)<0, t. 6 [0,1], <р(1) = с(0), -с'(0)<<р'(1). (11)
Тогда функциональное уравнение (8) можно представить в виде
£(а) = a(s)fi(7(s)) + /?(s), s е Ш, у>(1)], (12)
где A(.s) = 1//4.S), a(s) = <i{\ - р»)/^"^)), 0(s) = 1M^1 (■")), f(.s) = c(l — i/3_1(s)).
Так как а(</?(1)) < 1, то можно выбрать 5 такое, что при s £ [<г(1) -6, ^(1)] выполнено неравенство q(s) < 1. Значит на данном отрезке возможно определить p(s) с использованием метода сжимающих отображений. Поскольку уравнение (12) является уравнением с запаздыванием (7(5) > s), возможно распространить значения из окрестности точки </?(1) на весь отрезок [^(0),у>(1)]. Таким образом, справедлива глобальная теорема о существовании и единственности решения обратной задачи.
Теорема 2. При выполнении уыовий (5)-(7), (10), (11) существует единственная непрерывная положительная функция p(s), s € [^(0),<р(1)]> удовлетворяющая функциональному уравнению (8).
На основе вышеизложенного построен численный метод, состоящий из двух этапов. На первом используется сжимаемость отображения и строится
некоторое приближение /¿(з) такое, что — (/-»(я))-1! < £о "а отрезке
[^(1) — ¿,1,5(1)]. Затем, на втором этане для некоторого х\ можно построить рекуррентную последовательность
хп+1 = ^(Ф - я»)). И е [о, 1), п = 1,2,.., (13)
так, что с некоторого номера По^), не большего одинакового для всевозможных х1 номера Л'та1, значения ^(хПо(11)) попадут в указанную окрестность [^(1)—¿, . Далее, в противоположном направлении по рекуррентной формуле
1/ц((р{хп)) = 1 /у'(х„) - с'( 1 -хп)/(¥?'(1„)^(у>(1„+1))), где п = по(аг1) —1,.., 1 вычисляются значения ц(<р(х1)) для любого а^: -р{х]) €
И0))¥>(1)-<5].
Таким образом, определяется приближение к правой части для любых х е [0,1], в виде функции ¡1{<р(:г)). В том числе в данном параграфе получены оценки скорости сходимости и точности данного вычислительного алгоритма. Оценка числа, шагов, после которых последовательность (13) попадет в указанную окрестность, имеет следующий вид.
Лемма 1. При выполнении уыовий (5), (7), (10), (11) при любом хх € [0,1) найдется натуральное число АТтах такое, что для всех п > Дгта1 значения 1р(хп) на элементах {х,,} последовательности (13) попадут в отрезок [?(1) - ¿,^(1)], где Мтах <-+ 2.
Точность, с которой надо определить правую часть па отрезке [<^(1) — ¿, <¿(1)] Для достижения желаемой точности на всем отрезке [<¿(0), ¡р(1)] установлена в следующей теореме. Пусть </?' = шах <р(х).
■ге[о,1|
Теорема 3. Пусть //.(.ч) ■ точное неизвестное заранее решение обратной задачи (1)-(Я), (7) при выполнененых условиях (о), (10), (11). Тогда для лю-
бого £ > 0 по представленному выше, алгоритму можно определить значения приближенного решения р($) такие, что справедлива оценка ||Д(5) — /х(5)Нс[уз(0),уз(1)] < £> причем, для этого на первом этапе решения задачи на отрезке [^(1) — ¿,<¿>(1)] потребуется найти (/¿(я))-1 с точностью £"о <
I» ,} дм В = max ^ В < 1, то есть так, чтобы |)—1 — (/í(s))-1| < £q, s £ [cq — 6, Cq}.
, }для B = - 1 или £o - ¿fc для
Данный вычислительный метод был применен для различных значений исходных данных.
Во втором параграфе рассмотрена модель, аналогичная предыдущей (1)-(3). В ней граничное условие (2) заменено интегральным условием, бо-. лее характерным для ноиуляционных моделей. Прямая задача относительно функции и(х, I) принимает вид
щ + их = ц{и), 0 < х < 1, 0 < г < 1, (14)
u(0, <)
q(s)u(s, t)ds, 0 < í < 1, (15)
w(x,0) = ф), 0 < х < 1, (16)
где функция и(х, t) - плотность объектов размера х в момент времени t, <р(х) - начальное распределение плотности объектов, q(s) - относительный коэ<|ь фнцпент скорости рождения объектов, функция fi(s) отвечает за миграцию. Она предполагаетя положительной и, соответственно, описывает приток объектов извне:
/í(.s) € С'(К), 0 < цт < //(.s) < цм, s S М, (17)
q(x) е С[0,1], q{x) >0, х€ [0,1], (18)
V»(x) € СМО, 1], v(0) =
<?(fM£№- (19J
Доказана однозначная разрешимость прямой задачи.
В обратной постановке дополнительно известна функция, задающая значения плотности объектов максимального размера для времени от 0 до 1,
«(1,0 = с(0, t е [ОД], c(t) € СЧОД], с(0) = ^(1), (20)
и известны значения fi(s) на начальных данных, то есть задана функция ßi(x) = ц((р(х)), при этом справедливы условия
ip'{x) > 0, х € [0,1], c'(t) >0, te [0,1], (21)
щ(х) € С[0,1], щ{х) > ¿(х), х € [0,1]. (22)
Требуется на множестве [minw(x, í),тахи(х, t)] \ , <р(1)] найти коэффн-
Q Q
циент /x(s). На отрезке (с(0),с(1)] функция /í(s) выражается но формуле (9). Таким образом, коэффициент /í(.s) определяется для всех значений и(х, t.) из нижнего треугольника Qfl{í<i},a именно на отрезке [<¿>(0), с(1)]. Для разрешимости обратной задачи осталось показать, что в верхнем треугольнике Q П {< > х} значения м(х. t) не выходят из отрезка [^з(О), с(1)].
Пусть q0 = max q(x), Ат = min [fii{x) - ^м = max[//i(x) -
xe[0,l] J"t[0.1j *€[0,1]
min c'(i) min |i(s) ilc'l![oil max l'(s)
v/(x)], m = ^--, M =--, „ справедливо соотношение
<7о—Дл/ exp iqo— \ < т, (23)
m I ш J
тогда имеет место следующая теорема.
Теорема 4. При выполнении условий (17)^(19), (21), (22) вместе с уааови-ем (23) решение об]мтной задачи (Ц) (16), (20) существует и единственно.
В третьем параграфе рассматривается та же прямая задача ( 14)—(16), что и в предыдущем параграфе с теми же условиями (17)-(19) на исходные
данные, но теперь в случае, когда плотность объектов максимального размера убывает со временем с'(4) < 0.
В обратной постановке решается вопрос об однозначном восстановлении пары функций: плотности популяции и характера миграционного процесса, {и(х, ¿), Для этого в качестве дополнительной информации помимо
функции с(£) задается распределение плотности объектов в конечный момент времени, функция /¡(х), таким образом известны функции
и(М) = ф), £€ [0,1], (24)
м(х: 1) = Л(х), X е [0,1], (25)
для которых справедливы ограничения
ф) € с1{о, 1], с'(г) < о, г б [о, 1], (26)
¡р'{х) >0, ф)<с(1-х), хе [0,1), -с'(0)<У(1), (27)
/|(х)еС1[о, 1]: л'(х)>о, хе[о,1], к{о) =
(28)
вместе с условиями согласования с(0) = <р(1), Л(1) - с(1).
Определение 1. Пара функций {и(х, £), /х(в)} называется решением обратной задачи (Ц)-(16), (24), (25), cc.au и(х,1) € \ {х = *}), (¿{в) € ^[/1(0)^(0)] П С[Л(0),9(1)], /ф) > 0 для в е [/1(0),95(1)], при этом выполнены условия (П)-(19), (26)-(28).
Используя результат первого параграфа, можно сделать заключение об однозначной разрешимости обратной задачи в области < .т}, а именно
о существовании пары функций {и(х, уи(в)}, в которой и(х,1) - решение уравнения (14) в области <2 П {< < х}, функция р(в) определяется па отрезке
в € [_гшп и(х, /),_тах и(х, <)]. Доказательство единственности и области <?п{(<1} <Эг-{«<х>
<3 П {£ > х} сводится к исследованию системы
г)'а) 1г'{ 1 - О
+ -7171-ттт = 1 > «6 [0,1]:
т =
д{з)и(.з,1;гр(т), [1(£))(1з +
ф)«^,;)^, < е [0,1],
где й(з, ~ решение уравнения (14) в области С} П {£ > х} с за-
данным граничным условием и(0Л) — -ф(£) и правой частью /¿(в), а и(в, £) - известная функция. Основным результатом данного параграфа является следующая теорема единственности.
Теорема 5. Обратная задача (Ц)-(16), (24), (25) при выполненных условиях (17) ~(19), (26)-(28) иметь не более одного решения.
В четвертом параграфе приведены результаты численных экспериментов определения нелинейного коэффициента в задаче (1)-(3) с применением метода, описанного выше.
Вторая глава состои т из четырех параграфов.
В первом параграфе рассмотрена следующая модель популяции биологических объектов с переменной скоростью роста
щ + (д{х)и)х = -ф)/{и), 0 < I < 1, Ь > 0: (29)
и(0,«) = ^'(г), « > 0, (30)
и(х,0) = 1р(х). 0 < г < 1, (31)
где функция и(х, ¿) - плотность объектов размера х в момент времени д(х)~ коэффициент скорости роста объектов, <р(х) - начальное распределение плотности объектов, ^"(0 ~ плотность объектов минимального размера в момент
времени t. Коэффициенты /t(.r), /(s), стоящие в правой части уравнения, отвечают за процессы оттока объектов и таковы что
Д») g ClW), 0<fm< fis) < hi: |/'(*)| < fu, S g R, (32)
Ф) g с![о, i], ф) > о. x g [o, î], (33)
V'(0 e C'[0. oo), 0 < vit) < фм, \ф'(1.)\ < v*M. t. G [0, oo), (34)
fi{x) G C[0,1], ф) > 0, x G [0,1], (35)
g(x) G C^O, 1], g(x) > 0, x G [0,1]. (36)
При этом справедливо условие согласования ф(0) = ^(0). Разрешимость задачи типа (29)-(31) для более общего случая исследовалась ранте [9]. Где предполагалось, что правая часть и начальные данные были дважды непрерывно-дифференцируемыми. В рассматриваемой задаче (29)—(31) подобные условия являются избыточными. Специальный вид правой части (29) позволяет не требовать от коэффициентов у(х). ц(х), f(s) дополнительной гладкости. Таким образом, при условиях (32)-(36) была доказана однозначная разрешимость прямой задачи (29)—(31).
При постановке обратной задачи дополнительно задаются значения решения уравнения (29) на границе, плотности особей максимального размера для всех возможных моментов времени
и(1, í) = c(í), £ G [0, oo), (37)
причем для c(í) вместе с условием согласования с(0) = ¡¿>(1) имеют место ограничения
c(í) g С[0,оо), Ic(t2) - Ф01 < Lc\t2 - ill, Víj. t2 g [0,oo). (38)
Тогда функция д(х) удовлетворяет интегральному уравнению
5(1) + ^т-т /ЫЧ, t(rh x)))n(r,)dr,, х е [0,1]. (39)
Г
Введем функцию
х
G{x)= X € [0,1].
о
Пусть определено множество 6 = {g(x) € С1 [0,1], 0 < дт < д(х), х G
Определение 2. Пара функций {д(х), u(x,t)} называется решением обратной задачи (29) (31), (37), если ¡известные функции ^р(х), y>(t). fi(x), f(s), и искомые функции и(х, t) £ C(Q) П Cl{Q \{t = G(x)}), g(x) € б удовлетворяют соотношениям (29)-(31), (37) при выполнении условий (32)-(35), (38) и известной постоянной гд из определения множества ©.
В силу нелинейности задачи для доказательства единственности возникает необходимость ввести условие малости для отношения, связывающего мажоранты и миноранты исходных функций. Пусть <рт = inin <Рд/ =
max 9?(х), рм = max р(х). Справедлива следующая теорема. 1б[0,1] х€|0,1|
Теорема 6. Пусть выполнены условия (32)-(35), (38) и существует постоянная дт такая, что справедливо неравенство
тогда решение обратной задачи (29)-(31), (37), пре.дставимое парой функций {д(х), и(х, ()}. единственно.
Во втором параграфе также рассматривается задача (29)—(31) вместе с условиями (32)-(36). Как и прежде, в качестве дополнительной информации берутся значения плотности объектов максимального размера и(\Л) =
[0,1], g(l) = gi}.
тб[0.1]
c(t), t € [0,эо). Здесь от функции c(t) требуется непрерывная дифференци-румость
с(0 € C^O.oo), с(0) = ¥>(1). ('Ю)
Обратная задача состоит в определении коэффициента д(.г) в правой части, зависящего от пространственной переменной. Получено интегральное уравнение, которое может быть использовано для определения коэффициента ¡л(х): i
Ф)ЛФ))+ [/'(«(?■ G(0-G(i)))Uí(^G(0-G(x))^|rf4c = -с'(х), (41)
X
где с{х) = д(х)ф) - S(l)c(G(l) - G(x)).
Пусть ÍH = {fi(x) € С[0.1], 0 < ц(х) < цм, х е [0.1]}.
Определение 3. Пара, функций {ц(х), u(x,t)} называется решением обратной задачи (29)-(31). (37), если известные функции '¿(х), i¡>(t). g(x), f(s) и искомые функции u(x,t) £ C(Q) C\Cl{Q \ {t = G(x)}), fi(x) € ОН удовлетворяют соотношениям (29)-(31), (40) при выполнении уоювий (32)-(Ц), (36).
Единственность решения данной обратной задачи имеет место при малости некоторого соотношения, представленного в следующей теореме.
Теорема 7. При выполнении условий (32)-(36) пусть постоянная /хД/ удовлетворяет неравенству
ехр <->--—5-< 1,
1 9т ) Jmgfn
тогда решение обратной задачи (29) (31), (40), представимое парой функций {ц(х), u(x,t)}, единственно.
Третий параграф посвящен модели популяции биологических объектов с постоянной скоростью роста:
ut + их = ii(x)f(t), 0<х<1, 0 < í < 1, (42)
14
и(0,0 = ф)«^,^, о < г < 1,
(43)
о
и(х,0) = 0 < х < 1,
(44)
где функция и(х, <) - плотность объектов размера .г в момент времени г/?(х) - начальное распределение плотности объектов, (¡(.ч) - относительный коэффициент скорости рождения объектов, функция /х(х)/(£) в правой части, описывающая миграцию, представляет собой произведение двух функций, зависящих от размера особей и от времени. Положим С} = (0,1) х (0,1). Пусть справедливы условия:
Как доказывается в указанном параграфе, прямая задача (42) (44) с условиями (45)-(48) имеет единственное решение.
Для обратной задачи задается переопределение в виде функции плотности объектов фиксированного размера хц 6 (0,1) для моментов времени от 0 до 1:
Сначала рассматривается задача об определении коэффициента, зависящего от времени.
Определение 4. Пару функций {/(*•), и(х, £)} назовем решением обратной задачи А, сыи /(¿) 6 С{0,1], и(х, ¿) € С1((^\{х = £}), причем искомые функции }{1), и(хЛ) удовлетворяют соотнощениям (42)-(44), (49) при заданных функциях ^(х), q{s), ¡р(х), с(€}, удовлетворяющих условиям (45)-(47), (50).
р{х) € С2[0,1], р{х) > 0, х е [0,1], ф)еС[0,1], Ф) >0, яе [0,1], Ф) е с1 [о, 1], ф) > о, х е [о, 1], Я*)ес[ о, 1].
(46)
(47)
(48)
(45)
и(х0>е) = с(«), *е [0,1], ф) € С[0,1]ПС1([0,хо)и(хо,1]).
(49)
(50)
Приведенные условия (45)—(47), (50) позволяют сделать вывод о единственном решении обратной задачи:
Теорема 8. При выполнении условий (45)- (47), (50) решение обратной задачи А единственно.
В другой обратной задаче об определении коэффициента /¿(х), зависящего от пространственной переменной, вместо условий (46), (47), (48), (50) берутся условия
Определение 5. Пара функций {/¿(х), и(х, £)} называется решением обратной задачи В, если /¿(х) € С[0,1), и(х,1) е С*(<2\ {х = /,}), причем искомые функции ц{х), и(хЛ) удовлетворяют соотношениям (42)-(44), (49) при заданных функциях /(£), <р(х), с(£), удовлетворяющих условиям (51) (54).
Обратная задача В сводится к уравнению Фредгольма второго рода. Для его решения единственным образом достаточно ввести условие малости ядра уравнения. Данное условие представлено в следующей теореме.
Пусть норма || * || обозначает норму в пространстве непрерывных функций I! * I!с[ол]■
Теорема 9. При умовиях (51)-(54) и при выполнении неравенства
ф)€С1[0,1], 9(5) > 0, 8 6 [0,1],
■ф) £ С2[0; 1]. <р{х) >0, 1С [0,1].
/(г) е с2[о,1], /(0 >о, ¿6(0,1], /(о) >о,
с(4) еС[0,1] П С2 ([0, Хо) и (хо, 1]),
(51)
(52)
(53)
(54)
(Д0)1к'|| + |/'(0)||Ы|)<1, (55)
решение обратной задачи В единственно.
В четвертом параграфе приведены результаты численных расчетов по решению задачи (29)—(31), (37), в которой отыскивался коэффициент ¿¿(.г) и правой части уравнения (29). Данная задача представляет большую трудность по сравнению с задачей, в которой отыскивается коэффициент д(х) уравнения (29) в силу более сложного интегрального уравнения (41) по сравнению с (39). Однако расчет д{х) легко проводится аналогичными методами.
При этом функция ¡г{х) определялась двумя способами. В нервом способе функция ц{х) была представима в виде конечной функциональной суммы и предполагалось, что она принадлежит некоторому компакту. Параметры, определяющие ц(х), вычислялись с помощью минимизации невязки градиентным методом. Во втором способе функция ¡1{х) вычислялась через итерированную последовательность
^х) - ~1ШГ 1
" -ею-'^шмшо -С(х):(1л(х))^сщ.
X
построенную на основе интегрального уравнения (41). Проведено сравнение указанных двух методов. Также опробовало совместное последовательное использование данных методов. При таком подходе зафиксирован выигрыш по времени.
Основные результаты работы
1. Предложены итерационные методы решения обратных задач восстановления коэффициентов смертности и миграционной плотности, входящих в правые части уравнений, моделирующих популяционную динамику. Для ряда алгоритмов, реализующих численное решение таких задач, построены оценки точности и числа шагов.
2. Получены условия однозначного определения коэффициента скорости роста популяции. Предложен итерационный метод решения обратной задачи для уравнения популяционной динамики с непостоянной скоростью роста, а также модификация такого алгоритма с использованием минимизации невязки на компакте.
3. Разработанные методы реализованы в виде программного комплекса. На их основе проведен ряд вычислительных экспериментов, показавших до статочно хорошую восстанавливаемость решений для большого числа исходных данных.
Работы автора по теме диссертации
(1) Чурбанов Д. В. Единственность определения коэффициента при производной в нелинейном уравнении первого порядка // Вести. Моск. Ун-та. Сер. 15. Выч. матем. и киберн. 2013. №1. С. 9-14.
(2) Чурбанов Д.В., Щеглов А.Ю. Итерационный метод решения обратной задачи для нелинейного уравнения первого порядка в частных производных с оценками гарантированной точности и числа шагов // ЖВМиМФ. 2013. 53. №2. С. 105-110.
(3) Чурбанов Д.В. Метод восстановления нелинейного коэффициента в задаче популяционной динамики, оценки его точности и вычислительной сложности// Сборник тезисов XIX Международной научной конференции студентов, аспирантов и молодых ученых "Ломоносов 2012 секция
"Вычислительная математика и кибернетика". Москва, МГУ. М.: МАКС Пресс, 2012. С. 88.
(4) Чурбанов Д.В. Метод восстановления нелинейного коэффициента в задаче популяционной динамики и некоторые его свойства // Обратные и некорректные задачи математической физики, Новосибирск, Россия, 5-12 августа 2012г. Новосибирск: Сибирское научное издательство, 2012. С. 111.
[0] Чурбанов Д.В., Щеглов А.Ю. Существование и единственность определения нелинейного коэффициента в задаче популяционной динамики //' Тихоновские чтения: Научная конференция, Москва, МГУ имени М.В. Ломоносова, 29-31 октября 2012 г.: Тезисы докладов. -М.: МАКС Пресс, 2012. С.60.
Цитированная литература
[1] Eultr L. Recherches generales aur la mortalite et la multiplication du genre humain // Memoires del'Academie Royale des Sciences et Belles Lettres. 1760. V. XVI. P. 144-164.
[2] Lotka A. J. Relation between birth rates and death rates // Science. 1907. V.26. P. 21-22.
[3] McKendrick A. G. Applications of mathematics t.o medical problems 7 Proceedings of the Edinburg Mathematical Society. 1926. V. 44, .NH. P 98-130.
[4] uon Foerster H. Some remarks oil changing population / The Kinetics of Cellular Proliferation. 1959. P. 382-407.
[5] Murray •/. D. Biology. New York: Springer, 1993.
[6] Webb G. F. Theory of nonlinear age-dependent population dynamics. New York: Marcel Dekker, 1985.
[7] Братусъ А. С., Новожилов В. П., Платонов А. П. Динамические системы и модели биологии. М. ФИЗМАТЛИТ, 2010.
[8) Денисов А. М., Макеев А. С. Итерационные методы решения обратной задачи для одной модели популяции // Ж. вычисл. матем и мате.м. физ. 2001. Т.'14, №8. С. 1180-1489.
[9] Горицкий А. К)., Кружков С. Н., Чечкин Г. Уравнения с частными производными первого порядка. М. Издательство Центра прикладных исследований при механико-математическом факультете МГУ, 1999.
Подписано в печать: 28.09.2013 Тираж: 80 экз. Заказ №919 Отпечатано в типографии «Реглет» 101000, г. Москва, Пл. Мясницкие Ворота д.1, стр.3 (495) 971-22-77 www.reglet.ru
Текст работы Чурбанов, Дмитрий Владимирович, диссертация по теме Математическое моделирование, численные методы и комплексы программ
Московский государственный университет имени М.В. Ломоносова
На правах рукописи
04201363154
Чурбанов Дмитрий Владимирович
Некоторые обратные коэффициентные
задачи для моделей популяционной
динамики
Специальность 05.13.18 - математическое моделирование, численные методы и комплексы программ
Диссертационная работа на соискание ученой степени кандидата физико-математических наук
Научный руководитель: Щеглов Алексей Юрьевич
Москва - 2013г.
Оглавление
Введение 4
1 Восстановление нелинейных коэффициентов в задачах по-пуляционной динамики 23
1.1 Метод восстановления нелинейной правой части в модели структурированной популяции................. 23
1.1.1 Постановки задач..................... 23
1.1.2 Разрешимость прямой задачи.............. 25
1.1.3 Свойства решений.................... 26
1.1.4 Существование и единственность решения обратной задачи........................... 28
1.1.5 Метод численного решения обратной задачи и оценки
для него.......................... 32
1.2 Задача для уравнения первого порядка с интегральным граничным условием учета рождаемости, случай с!{Ь) >0 возрастания плотности объектов от времени........... 35
1.2.1 Постановки задач..................... 35
1.2.2 Разрешимость прямой задачи.............. 36
1.2.3 Обратная задача и ее разрешимость.......... 39
1.3 Задача для уравнения первого порядка с интегральным граничным условием учета рождаемости, случай ¿(Ь) < 0 возрастания плотности объектов от времени........... 42
К
1.3.1 Постановка задачи........................................42
1.3.2 Вспомагательные утверждения..........................43
1.3.3 Единственность решения обратной задачи..............47
1.4 Результаты вычислительных экспериментов по восстановлению характеристик моделей структурированной популяции . 51
2 Восстановление линейных коэффициентов в обратных задачах популяционной динамики 55
2.1 Задача определения нелинейного коэффициента роста популяции при производной в нелинейной модели......... 55
2.1.1 Постановки задач..................... 55
2.1.2 Решение прямой задачи................. 57
2.1.3 Условия однозначной разрешимости обратной задачи
и метод ее решения.................... 62
2.2 Восстановление коэффициента в правой части нелинейного уравнения, моделирующего развитие структурированной популяции .............................. 66
2.2.1 Постановки прямой и обратной задач......... 66
2.2.2 Разрешимость обратной задачи и метод ее решения . 67
2.3 Обратные задачи по определению коэффициента в уравнении с правой частью вида ¿¿(ж)/(£) для моделей развития структурированной популяции................. 72
2.3.1 Постановка задачи об определении зависящего от времени коэффициента в правой части.......... 72
2.3.2 Разрешимость прямой задачи.............. 73
2.3.3 Условия единственного определения зависящего от времени коэффициента в правой части.......... 74
2.3.4 Единственность определения коэффициента правой части, зависящего от пространственной переменной . . 78
2.4 Результаты вычислительных экспериментов но восстановлению характеристик моделей структурированной популяции . 84
Литература 89
Введение
Математическое моделирование применяется практически во всех областях науки и техники. Без преувеличения можно сказать, что одними из наиболее важных и сложных задач математики, используемых при моделировании, являются обратные задачи. Толчком в развитии теории обратных задачи послужила известная работа А.Н. Тихонова [1]. В дальнейшем особый вклад в развитие данной теории внесли М.М. Лаврентьев, В.Г. Романов, В.К. Иванов и другие [2, 3, 4, 5, 6].
Большая часть диссертации посвящена исследованию ряда обратных задач как для линейных, так и для нелинейных моделей популяционной динамики. Одна из причин возникновения нелинейности в структурированных моделях связана с тем, что с некоторого момента перенаселенность начинает влиять на прирост и смертность (отток) популяции. Исследованию нелинейных постановок уделяется в настоящий момент большое внимания в силу их сложности и важности для приложений. В диссертации рассматривается класс задач но определению коэффициентов в линейных, так и нелинейных уравнениях в частных производных первого порядка. Такие постановки являются типичными при описании процессов динамики структурированных популяций. Такие же математические задачи встречаются в моделях эволюции капитальных ресурсов в экономике, а также некоторых дисперсных системах химии, метеорологии, астрофизики.
Популяционные модели, описываемые обыкновенными дифференциальными уравнениями, не включающие в себя пространственную структуру, часто не могут воспроизвести некоторые явления, связанные с распределением по возрасту или по другим параметрам, характеризующим уровень
зрелости особей. Чаще всего в популяции можно выделить разные группы особей (когорты), которые в конкретный момент времени эволюционируют по-разному. Так что становится существенным учет параметров от которых зависят отношения между когортами. Особую важность получает подход структурированных популяции в перспективе его приложения к моделям развития опухолей [7].
Возраст - самый естественный параметр, присущий всем живым существам, по которому можно дифференцировать живые объекты. Знание возможных путей развития селекции и эволюции от характера зависимости смертности и рождаемости от возраста играет важную роль для ученых эволюционистов. В настоящее время учет возраста существенно используется в моделях демографии, экологии, эпидемиологии.
Одним из первых, кто рассмотрел биологическую модель с распределением ио возрастам был Л. Эйлер, когда он в работе [8] затронул тему "смертности и умножения человеческого рода". Некоторые его результаты были повторены А. Лотки [9]. Похожий на этот подход был развит в известной работе А. Мак-Кендрика [10], в которой он впервые вывел следующее уравнение
где функция п(х, ¿) - плотность популяции особей возраста х в момент времени а /¿(£,£) - коэффициент смертности. В работе [11] данное уравнение было вновь получено, причем вместе с ним было впервые представлено условие
оо
п{ 0, £) = J n(s,t)q(s)ds, о
описывающее прирост особей. Таким образом, это уравнение называют уравнением Мак-Кендрика-фон Ферстера. Обзор применения данной модели приведен в литературе [12, 13, 14].
Исследование линейных моделей структурированной популяции обычно проводится сведением задачи к уравнениям Вольтерра, а также с ириме-
нением преобразования Лапласа. Описание конкретных примеров можно найти в работах [15, 16]. Подходы, используемые при исследовании задач популяции также нашли свое применение в задачах демографии [17, 18, 19] и эпидемиологии [20, 21, 22]. В процессе работы с линейными моделями возник интерес к нелинейным постановкам. Одной из первых работ в данной области была статья Гуртина и Мак-Ками[23], в которой рассматривался нелинейный аналог уравнения Мак-Кендрика-фон Ферстера. Углубленное исследование нелинейных задач потребовало разработку новых методов. Одним из основных, с успехом применяемых в данной области, является метод полугрупп линейных и нелинейных операторов в банаховых пространствах [24, 25, 26]. Его особенность в том, что он описывает процесс развития популяции, как динамической системы. В нелинейных моделях популяционной динамики предполагается, что коэффициенты смертности
и рождаемости зависят от плотности популяции п(х, Ь) или от функциона-00
ла нлотности / п(8,Ь)с1з, обозначающего общий размер популяции в неко-о
торый момент времени £ [27, 28, 29]. Близки к указанным постановкам модели с распределением по размеру. Параметр, описывающий размер, может также характеризовать массу, объем, длину, зрелость, степень бактериальной или вирусной зараженности. В данных моделях необходимо вводится
х2
функция роста д(х), так что величина / представляет собой время,
Хх
необходимое особи, чтобы вырасти от размера хг до размера х2.
В прямых задачах популяционной динамики по известным данным о рождаемости, смертности и эволюционности предсказывается динамика популяции, а именно динамика изменения количества особей с течением времени. Эти задачи, как правило, корректно поставлены и исследуемый процесс полностью описывается входными данными. В обратных задачах по отдельным наблюдениям за развитием популяции требуется определить параметры смертности, роста или эволюционности, обусловившие данный процесс. Одна из проблем, которая возникает при решении обратных задач связана с тем, что различные параметры процесса (смертность, рождае-
мость) могут приводить к одним и тем же количественным характеристикам популяции.
Таким образом, для решения обратных задач динамики структурированной популяции требуется подходящая модель, описывающая рассматриваемый процесс, и некий набор исходных данных, при котором данная модель выдает результаты наиболее близкие к наблюдаемым. Даже при наличии точной модели, как правило присутствует неустойчивость в определении некоторых характеристик. Например, на некотором этапе высокая степень смертности может компенсироваться низкой смертностью на следующем этапе. Так что при определении коэффициента смертности неизбежна большая ощибка.
Одна из проблем заключается в том, что в большинстве случаев процессы, происходящие в природе, трудно формализуемы и модели в основном строятся на основе эмпирических соображений. Можно брать упрощенные модели, но тогда восстановленные параметры могут отличаться от реальных данных из-за неточности моделей. Другая трудность связана с тем, что нет возможности учесть степень отклонения используемой модели от точной. В случае, когда используется самая общая модель без каких-либо предположений, то приходится определять большое число параметров, что неизбежно влечет за собой большие ошибки.
Структурированные популяционные модели сегодня представляют большой интерес. Данной тематике посвящено не мало работ, в основном зарубежных исследователей Н.Т. Banks, J.С Mico, R. Rudnicki [30, 31, 32, 33]. Среди отечественных ученых следует отметить A.C. Братусь, A.M. Денисова, A.C. Макеева, Ю.А. Кузнецова и RA. Полуэктова [34, 35, 36, 37, 38].
Актуальность темы диссертации следует из сказанного выше и того, что обратные постановки, и в особенности для нелинейных моделей, связанные с данной тематикой, еще недостаточно изучены.
Цель диссертационной работы. Целью работы является исследование обратных задач для некоторых моделей структурированной популяции
и разработка численных методов их решения, построение программного комплекса реализующего данные методы, проведение численных экспериментов, подтверждающих возможность применения данных методов для восстановления характеристик популяционных процессов.
Научная новизна и практическая ценность. Исследован ряд обратных задач по восстановлению характеристик моделей структурированной популяции, разработаны численные методы их решения, произведен анализ и обоснование указанных методов. Практическая ценность результатов определяется возможностью уточнения параметров процессов при моделировании популяционной динамики.
В первом параграфе первой главы рассмотрена следующая нелинейная модель популяции с постоянной скоростью роста объектов
щ + их = ф), 0 < х < 1, 0 < £ < 1, (0.1.1)
и(0, £) =</>(£), 0 <£< 1, . (0.1.2)
и(х, 0) = <р(х), 0<х<1, (0.1.3)
где функция и(х,€) - плотность объектов размера х в момент времени ¿, (ж, ¿) € О, = (0,1) х (0,1), (р(х) - начальное распределение плотности объектов, ф(Ь) - плотность объектов минимального размера в момент времени £, а правая часть, функция //(й) , описывает миграцию объектов. В данной модели функция ф) предполагается для определенности положительной на всей своей области определения. В прямой задаче ищется функция плотности объектов -и(ж,£) ио исходным данным <р(х), ф(Ь), ¡¿(в) при условиях
ф) е С{ Е), 0 < ф) < цм, ее М, (0.1.4)
ф), е с1 [о, 1], ф(0) = ^(о). (0.1.5)
Обратная задача состоит в определении функции {¿(в), описывающей миграцию объектов и удовлетворяющей условиям
ф) е С(£>), ф) >0, веД 8
(0.1.6)
где область D представляет собой все возможные значения плотности и(х, t) за исключением значений исходных данных <р(х), ip(t), либо все значения
плотности объектов без исключения: D = [mmu(x,t),maxu(x,t)]. В ка-
Q Q
честве дополнительного условия в обратной постановке берется плотность объектов наибольшего размера в моменты времени от 0 до 1:
и( 1, t) = c(t), t £ [0,1], c(t) £ С1[0,1], с(0) - ср{ 1). (0.1.7)
Нужно отметить, что обратная задача, в которой ищется отрицательная функция fi(s) решается аналогично.
Решение прямой задачи не представляет особой сложности. Пусть введена функция
а
di
M(s) = I
КО
, s £ К,
щ
где tpQ — min (р(х). Формулы для определения решения прямой задачи же[о,1]
даны в следующей теореме.
Теорема 0.1.1. Единственное решение u(x,t) £ C(Q)nC1(Q\{x = ¿}) задачи (O.l.l)-(O.l.S) с условиями (0.1.4), (0.1.5) в области Q существует и представимо в виде:
u{x,t) = M~l{t + М((р(х — t))) npu0<t<x<l, и(х, t) = M~l{x + M(ip(t - x))) при 0 < x < t < 1.
Подставляя в формулу для решения прямой задачи из теоремы 0.1.1 для области 0 < t < х < 1 дополнительную информацию (0.1.7), можно получить функциональное уравнение
т =ме[0,1]. (0.1.8)
/1(^(1 - 0)
Обратная задача по определению неизвестной функции д(г) таким образом сведена к уравнению (0.1.8), которое становится основным объектом исследования.
В первом варианте обратной задачи количество особей популяции максимального размера, описываемое функцией с(£), возрастает. При этом правая часть, определяющая миграцию, ¡¿(в) задана, то есть считается известной на начальных данных — /л(^(х)), х £ [0,1], тогда /¿(з) остается определить на отрезке (с(0),с(1)]. Это можно сделать используя полученное функциональное уравнение (0.1.8):
. . 11\(1 — ¿гЧв^сЧс-1^)) г ...
"м = М1-<г'Ш - М1- А*)У 3 6 |с(0)'с(1)1- (0х9)
Другой случай, когда дополнительная информация (плотность особей максимального размера) с(£) монотонно убывает, представляет больший интерес. Пусть
<р'(х)>0, <р(х)<с(1-х), же[0,1), (0.1.10)
с'(£)<0, 1£ [0,1], </?(1) = с(0), -с'(0)<^(1). (0.1.11)
тогда функциональное уравнение (0.1.8) можно представить в виде
¡1(з) = а(5)А(7(в)) + №), з е (0.1.12)
где ф) = 1/ф), а(з) = ф - (р-^М^з)), 0(з) = 1/<рГ{<р-\з)), 1(з) = с(1-^~1(з)).
Так как а(<р( 1)) < 1, то можно выбрать 5 такое, что при 5 6 [<¿>(1) — 5,1р( 1)] выполнено неравенство а(й) < 1. Значит на данном отрезке возможно определить с использованием метода сжимающих отображений. Поскольку уравнение (0.1.12) является уравнением с запаздыванием (7(й) > б), возможно распространить значения из окрестности точки <р( 1) на весь отрезок [</?(0), </?(1)] • Таким образом, справедлива глобальная теорема о существовании и единственности решения обратной задачи.
Теорема 0.1.2. При выполнении условий (0.1.5)-(0.1.7), (0.1.10), (0.1.11) существует единственная непрерывная положительная функция [¿(в), 5 е И0),у>(1)], удовлетворяющая функциональному уравнению (0.1.8).
На основе вышеизложенного построен численный метод, состоящий из двух этапов. На первом используется сжимаемость отображения и строится некоторое приближение p,(s) такое, что |(/i(s))_1 — (//(s))_1| < 6q на отрезке [<¿>(1) — <¿>(1)] • Затем, на втором этапе для некоторого х\ можно построить рекуррентную последовательность
xn+1 = p-l{c(l-xn)), Х\ Е [0,1), п=1,2,.., (0.1.13)
так, что с некоторого номера щ(х\), не большего одинакового для всевозможных х\ номера Nmax, значения (р(хПо^) попадут в указанную окрестность [<£>(1) — S,<p{ 1)]. Далее в противоположном направлении но рекуррентной формуле
1 /ц(у{хп)) = 1 /<р'(хп) - с'(1 - хп)/(у'{хп)ц{у{хп+1))), где п = щ{х\) — 1,..,1 вычисляются значения ц{(р{х{)) для любого х\\
Таким образом, определяется приближение к правой части, функция ¡±{чр{х)), для любых х Е [0,1]. В том числе в данном параграфе (см 1.1.5) получены оценки скорости сходимости и точности данного вычислительного алгоритма. Оценка числа шагов, после которых последовательность (0.1.13) попадет в указанную окрестность, имеет следующий вид.
Лемма 0.1.1. При выполнении условий (0.1.5), (0.1.7), (0.1.10), (0.1.11) при любом х\ € [0,1) найдется натуральное число Nmax такое, что для всех п > Nmax значения (р{хп) на элементах {хп} последовательности (0.1.13) попадут в отрезок [<£>(1) — d,ip( 1)], где
КГ < _1И1с[0Д1_ i о
^тах Ь min {c{l—x)—íp{x))
хф,<р~1М1)-0)}
Точность, с которой надо определить правую часть на отрезке [<¿>(1) — ¿>, <¿>(1)] для достижения желаемой точности на всем отрезке [<£>(0), <£>(1)] установлена в следующей теореме. Пусть <р'тах = max <р(х).
хф,1]
Теорема 0.1.3. Пусть fj,(s) - точная неизвестная заранее функция решения {u(x,t), ф)} обратной задачи (O.l.l)-(O.l.S), (0.1.7) при выполне-неных условиях (0.1.5), (0.1.10), (0.1.11). Тогда для любого е > 0 по представленному выше алгоритму можно определить значения приближенного решения fi{s) такие, что справедлива оценка ||/i(s)— /-¿(s)||c[y>(o),¥>(i)] < £, причем для этого на первом этапе решения задачи на отрезке [</?(1) — S, </?(1)] потребуется найти (/¿(s))-1 с точностью eQ < minv^U»} для В = max > 1 или eQ <
для В < 1, то есть так, чтобы |(/i(s))-1 — (yu(s))-11 < £о, s G [со — 6, со] -
Данный вычислительный метод был применен для различных значений исходных данных.
Во втором параграфе рассмотрена модель, аналогичная предыдущей (0.1.1)—(0.1.3). В ней граничное условие (0.1.2) заменено интегральным условием, более характерным для нопуляционных моделей. Прямая задача относительно функции и(х, t) принимает вид
щ + их = ф), 0 < ж < 1, 0 < £ < 1, (0.2.14) 1
u(0,t)
-
Похожие работы
- Идентификация процессов переноса в неоднородных пористых средах
- Коэффициентные обратные задачи для уравнений параболического типа и их приложение
- Анализ и синтез робастных систем управления электроприводами постоянного тока на основе полиномиальных методов
- Моделирование систем с распределенными параметрами с помощью сетей радиальных базисных функций, обучаемых методом доверительных областей
- Определение температуропроводности слоистых сред методами градиентного спуска
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность