МГУ–2015: Факультет вычислительной математики и кибернетики

Юбилеи.

7 февраля исполнилось 90 лет со дня рождения Брусенцова Николая Петровича (1925‒2014), одного из пионеров отечественной вычислительной техники, создателя первой отечественной ЭВМ на безламповых элементах и первой в мире троичной ЭВМ «Сетунь». Работал в МГУ в 1953‒2014 гг., заведовал лабораторией. Участник Великой Отечественной войны. Награждён орденами Красной Звезды (1945), Отечественной войны (II ст. – 1985), «Знак Почёта» (1962), «За заслуги перед Отечеством» (IV ст. – 1995), медалями «За отвагу» (1944), «За взятие Кёнигсберга» (1945), «За Победу над Германией в Великой Отечественной войне 1941–1945 гг.» (1945), «За доблестный труд». Лауреат премии Совета Министров СССР (1982), премии «За самоотверженное служение истине» (Фонд содействия развитию науки, культуры и образования «Новое тысячелетие», 1995). Заслуженный научный сотрудник Московского университета (1997). Заслуженный работник высшей школы РФ (2001).

8 июня исполнилось 90 лет со дня рождения академика РАН Марчука Гурия Ивановича (1925–2013), выдающегося учёного и организатора науки, известного работами в области расчёта ядерных реакторов, математического моделирования в задачах физики атмосферы и океана, окружающей среды, в иммунологии и медицине; последнего Президента АН СССР. Работал в МГУ в 2004–2013 гг., заведовал кафедрой вычислительных технологий и моделирования. Участник Великой Отечественной войны. Герой Социалистического Труда (1975). Награждён орденами Ленина (1967, 1971, 1975, 1985), «За заслуги перед Отечеством» (II ст. – 2005), командор ордена Почётного легиона (Франция, 1990), Большой золотой медалью им. М.В.Ломоносова РАН (2004), золотой медалью и премией им. М.В.Келдыша (1981), золотой медалью им. П.Л.Чебышёва (1996). Лауреат Ленинской премии (1961), Государственной премии СССР (1979), Государственной премии РФ (2000), премии им. А.А.Фридмана (1975), международной премии им. Карпинского (1988), Демидовской премии (2004).

2 декабря исполнилось 90 лет со дня рождения профессора Трифонова Николая Павловича. Работает в МГУ с 1955 г., в 1971–1993 гг. возглавлял кафедру алгоритмических языков. Специалист в области автоматизации программирования, алгоритмических языков, стандартизации языков программирования.

Участник Великой Отечественной войны. Награждён орденом Отечественной войны (II ст. – 1985), медалями «За отвагу» (1947), «За победу над Германией в Великой Отечественной войне 1941–1945 гг.» (1946), «За трудовую доблесть» (1961), «Ветеран труда» (1984). Заслуженный работник высшей школы РФ (2002).

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

 

24 июля исполнилось 80 лет со дня рождения профессора кафедры оптимального управления Васильева Фёдора Павловича. Работает в МГУ с 1963 г. Специалист в области теории экстремальных задач, оптимального управления.

Награждён медалями «За освоение целинных земель» (1957), «Ветеран труда» (1987). Лауреат премии им. М.В.Ломоносова за педагогическую деятельность (2010). Заслуженный профессор Московского университета (2000). Почётный работник высшего профессионального образования РФ (2004).

 

14 января исполнилось 80 лет со дня рождения заведующего кафедрой математических методов прогнозирования академика РАН Журавлёва Юрия Ивановича. Работает в МГУ с 1997 г. Специалист в области алгебры, математической логики, математической кибернетики, исследования операций, распознавания образов и обработки изображений.

Награждён орденами Трудового Красного Знамени (1967), Дружбы народов (1986), «За заслуги перед Отечеством» (III ст. – 2006, IV ст. – 1998), Командорским крестом ордена Почёта (Республика Польша, 2004). Лауреат Ленинской премии (1966), премии Совета Министров СССР (1986), премии Правительства РФ в области образования (2008), премии им. М.В.Ломоносова (2003). Заслуженный профессор Московского университета (1999).

 

6 мая исполнилось 80 лет со дня рождения заведующего кафедрой исследования операций академика РАН Краснощёкова Павла Сергеевича. Специалист в области динамики жидкости и газа, исследования операций, математического моделирования социальных процессов.

Награждён орденом Дружбы народов (1981). Лауреат премии Совета Министров СССР (1981). Заслуженный профессор Московского университета (1999).

 

27 февраля исполнилось 75 лет со дня рождения заведующего кафедрой системного программирования академика РАН Иванникова Виктора Петровича. Работает в МГУ с 1979 г., с 1994 г. заведует кафедрой системного программирования. Специалист в области системного программирования, операционных систем, архитектуры вычислительных машин.

Лауреат Государственной премии СССР (1980).

 

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

 

Наука. В 2015 г. завершилось выполнение 32 госбюджетных научно-исследовательских тем. Гранты Президента РФ для молодых российских учёных среди докторов наук получили работы доц. И.Г. Шевцовой «Экстремальные задачи в оценках скорости сходимости для сумм независимых случайных величин», среди кандидатов наук – асс. А.А. Кулешова «Исследование свойств функциональных пространств обобщенных решений начально-краевых задач для уравнений гиперболического типа» и доц. А.А. Никитина «Программный комплекс по численному решению интегрального уравнения, возникающего в модели популяции стационарных сообществ».

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

Кафедра автоматизации научных исследований (зав. проф. А.М. Попов) ‒ «Суперкомпьютерное моделирование в вычислительной физике плазмы и смежных естественнонаучных дисциплинах» (рук. акад. РАН Д.П. Костомаров, проф. А.М. Попов). С помощью созданного программного комплекса для решения системы трёхмерных уравнений Максвелла FDTD-методом на суперкомпьютере IBM Blue Gene/P проведено моделирование фокусирования плоской волны градиентной линзой. Проведено численное моделирование процесса перезамыкания магнитных силовых линий в трёхмерных магнитных конфигурациях с особой точкой высокого порядка. Проведено квантовое моделирование из первых принципов образования графитоподобной структуры из аморфного углерода с распределённой по пространству температурой.

Лаборатория открытых информационных технологий ‒ «Исследование и разработка открытых информационных технологий, ресурсов и услуг глобальной информационной инфраструктуры в науке, образовании, бизнесе» (рук. проф. В.А. Сухомлин). Выработана методология реализации сложных алгоритмов на базе глобальной распределённой грид-инфраструктуры. Разработаны методы и средства проектирования приложений и сервисов для мобильных устройств связи на основе использования открытого API OpenCellID. Исследованы методы автоматизированного обнаружения и визуализации дефектов проектирования программного обеспечения. Создана виртуальная кафедра для обучения ИТ-профессиям людей с инвалидностью.

 

Кафедра автоматизации систем вычислительных комплексов (зав. чл.-корр. РАН Л.Н. Королёв) ‒ «Методы и инструментальные средства анализа функционирования и разработки встроенных систем реального времени» (рук. чл.-корр. РАН Р.Л. Смелянский). Исследованы новые подходы к моделированию РВС и разработан экспериментальный образец инструментального средства, охватывающий все стадии создания и интеграции РВС РВ.

Лаборатория безопасности информационных систем ‒ «Методы анализа и выявления вредоносного программного обеспечения в современных сетях ЭВМ» (рук. чл.-корр. РАН Р.Л. Смелянский). Создана система обнаружения и фильтрации DDoS атак для высокоскоростных каналов с пропускной способностью до 10Гбит/сек. на основе алгоритмов машинного обучения и статистического анализа. Разработаны методы и алгоритмы обнаружения вредоносного программного обеспечения в сетевом трафике, созданы прототипы программных средств. Разработаны методы и алгоритмы обнаружения логических уязвимостей в веб-приложениях.

Лаборатория троичной информатики ‒ «Исследование трёхзначного обобщения дизъюнктивной нормальной формы алгебраического представления отображаемых взаимосвязей и его применение в прикладных задачах» (рук. чл.-корр. РАН Л.Н. Королёв, вед.н.с. Н.П. Брусенцов). Усовершенствованный метод индексов применён для определения оптимального набора способов выборочного изотопного мечения аминокислот в протеинах в целях отнесения пиков на двумерных спектрах ЯМР на основе троичного кодирования взаимосвязей. Реализованы модель троичного компьютера и ассемблер, кросс-компилятор языка ДССП-Т.

 

Кафедра алгоритмических языков (зав. проф. М.Г. Мальковский) ‒ «Алгебраические и лингвистические методы в теории и практике программирования» (рук. проф. М.Г. Мальковский). Разработаны новые эффективные алгоритмы символьного решения q-разностных уравнений и исследования особых точек линейных обыкновенных дифференциальных уравнений с полиномиальными коэффициентами. Разработаны классификация графовых представлений формальных языков, эффективные алгоритмы синтаксического анализа для ряда выделенных подклассов. Ряд сторонних вычислительных моделей языков программирования реализован в виде библиотек для С++.

 

Кафедра вычислительных методов (зав. проф. А.В. Гулин; акад. РАН Б.Н. Четверушкин) ‒ «Математическое моделирование и численные методы в естественнонаучных задачах» (рук. профессора А.В. Гулин, С.И. Мухин). Получены условия равномерной устойчивости в энергетических нормах нелокальной разностной схемы с переменными коэффициентами. Предложены и протестированы новые адаптивные консервативные методы решения задачи Коши для гамильтоновых систем, построенные на основе симметрично-симплектических методов Рунге-Кутты. Предложен метод построения консервативных разностных схем газовой динамики годуновского типа в криволинейных координатах. Проведено математическое моделирование процессов возникновения местных ветров бора в бухте Новороссийска. Разработан управляющий модуль расчётного комплекса CVSS (CardioVascularSimulationSystem), позволяющий в интерактивном режиме создавать трёхмерные модели сердечнососудистой системы, а также управлять проведением расчётов и осуществлять их трёхмерную визуализацию.

Лаборатория математического моделирования в физике

‒ «Математическое моделирование динамики нелинейных неидеальных физико-химических систем» (рук. проф. В.А. Трофимов). Разработан новый метод обнаружения и идентификации веществ по малопериодному ТГц импульсу, прошедшему через вещество или отражённому от него. Разработан новый алгоритм для скрытого обнаружения объекта с помощью компьютерной обработки пассивных ТГц изображений в режиме реального времени. Предложен новый каскадный механизм возбуждения высокоэнергетических колебательных и вращательных уровней молекул. На основе компьютерного моделирования предсказан эффект superluminarity при распространении фемтосекундного светового импульса в среде с наночастицами золота.

‒ «Математическое моделирование явлений самоорганизации в системах типа реакция-диффузия» (рук. вед.н.с. Е.С. Куркина). Разработаны новые математические модели и эффективные вычислительные алгоритмы, позволившие исследовать и объяснить ряд сложных явлений пространственно-временной самоорганизации в физико-химических и социально-экономических системах.

‒ «Математическое моделирование динамических процессов в электролизе металлов» (рук. вед.н.с. Н.П. Савенкова). Проведено математическое моделирование разных аспектов электролиза алюминия, включая процессы МГД, электрохимические реакции вблизи электродов, анодный эффект и образование настыли. Исследована зависимость МГД-стабильности электролизера от формы рабочего пространства. Выполнено трёхмерное моделирование движения жидкости в кольцевом канале и динамики тороидальных вихрей с примесями.

Лаборатория разностных методов ‒ «Развитие сеточных методов математической физики и численное моделирование прикладных задач» (рук. ведущие научные сотрудники Н.В. Арделян, Е.С. Николаев). Разработаны, исследованы и программно реализованы адаптивные варианты иерархических р- и hp-версий метода конечных элементов решения краевой задачи для сингулярно возмущённого одномерного стационарного уравнения реакции-диффузии. Получено необходимое и достаточное условие стагнации для иерархической p-версии МКЭ. Проведено исследование свойств итерационных методов для класса седловых операторных сеточных задач с вырождением, возникающих при решении уравнений Максвелла на нерегулярной треугольной сетке с узловой аппроксимацией магнитного поля и ячеечной аппроксимацией электрического поля. Выполнено плазмохимическое численное моделирование несамостоятельных разрядов в сухом и влажном воздухе на больших временах, а также электронно-пучковой плазмы воздуха в условиях, близких к нормальным.

 

Кафедра вычислительных технологий и моделирования ‒ «Эффективные методы и технологии в задачах численного анализа и математического моделирования» (рук. чл.-корр. РАН Е.Е. Тыртышников). Разработаны новые алгоритмы сжатия многомерных массивов на основе ТТ-формата. Осуществлено приложение построенных алгоритмов к решению задач докинга, агрегационно-фрагментационной кинетики. Осуществлена реализация параллельных алгоритмов численного решения интегральных уравнений, возникающих в задачах дифракции волн, с применением алгоритмов сжатия матриц. Разработаны математические модели процессов распространения инфекции вирусами иммунодефицита человека на основе стохастического описания перемещения вирусных частиц.

 

Кафедра информационной безопасности (зав. акад. РАН И.А. Соколов) ‒ «Разработка и применение математических моделей и методов для решения задач обеспечения информационной безопасности» (рук. акад. РАН И.А. Соколов). Найдены линейные зависимости в координатных последовательностях псевдослучайных генераторов, основанных на широком классе Т-функций, что позволило разработать новый класс атак для потоковых шифраторов. Получены критерии эргодичности Т-функций на 2-адических сферах. Разработан метод быстрого вычисления значений Т-функций, основанный на применении рядов ван дер Пута. Разработан новый метод решения задачи проверки эквивалентности программ.

 

Кафедра исследования операций (зав. акад. РАН П.С. Краснощёков) ‒ «Математическое моделирование процессов принятия решений в сложных системах» (рук. акад. РАН П.С. Краснощёков). Разработана математическая модель иерархической контрольной структуры. Для этой модели найдена стратегия, обеспечивающая невыгодность правонарушений и коррупционных сделок при минимальных затратах на функционирование структуры. Построены и исследованы теоретико-игровые модели организации рынка мощности и электроэнергии. Исследована проблема поиска оптимального набора бонусов для задачи страхования жизни, поставленная как задача линейного программирования.

 

Кафедра математических методов прогнозирования (зав. акад. РАН Ю.И. Журавлёв) ‒ «Развитие комбинаторных, алгебраических и статистических алгоритмов интеллектуального анализа данных и разработка на их основе методов решения прикладных задач» (рук. акад. РАН Ю.И. Журавлёв). Разработан ряд новых алгоритмов для решения различных задач машинного обучения и обработки изображений, получены теоретические результаты относительно свойств этих алгоритмов. Предложены новые методы оптимизации для задач машинного обучения в условиях данных большого объема. На основе указанных методов решён ряд прикладных задач анализа данных.

 

Кафедра математической кибернетики (зав. проф. В.Б. Алексеев) ‒ «Дискретные функциональные системы, дискретные структуры и алгоритмы» (рук. проф. В.Б. Алексеев). Доказана полиномиальность распознавания Мёбиус-инвариантности функции алгебры логики по её полиному Жегалкина. Получен ряд результатов о длине сертификата для свойств булевых функций. Разработаны методы синтеза легкотестируемых неизбыточных двухполюсных контактных и обобщенных контактных схем.

 

Кафедра математической статистики (зав. проф. В.Ю. Королёв) ‒ «Методы вероятностно-статистического анализа сложных стохастических систем» (рук. проф. В.Ю. Королёв). Получены новые предельные теоремы теории вероятностей, исследованы оценки скорости сходимости в центральной предельной теореме. Построены асимптотически наиболее мощные критерии в задачах проверки гипотез. Предложены новые непараметрические оценки для функции риска. Доказаны теоремы об асимптотической нормальности оценок риска при пороговой обработке вейвлет-коэффициентов разложения сигналов. Разработаны новые методы стохастической томографии.

Лаборатория статистического анализа ‒ «Математические модели случайных процессов и потоков в сложных технических системах» (рук. проф. В.Г. Ушаков, ст.н.с. Л.В. Назаров). Найдено совместное распределение длин очередей в нестационарном режиме в одноканальной системе обслуживания с гиперэкспоненциальным входящим потоком и абсолютным приоритетом с потерей прерванного требования. Рассмотрена задача определения вероятностных характеристик случайных функций по распределениям интегральных преобразований, возникающих в эмиссионной томографии. Получены необходимые и достаточные условия сравнимости портфелей, ключевую роль в которых играют когерентные меры риска

 

Кафедра математической физики (зав. проф. А.М. Денисов) ‒ «Обратные задачи математической физики и методы их решения» (рук. профессора А.М. Денисов, В.И. Дмитриев). Изучены обратные задачи для квазилинейных систем уравнений в частных производных с нелокальным краевым условием, содержащим запаздывающий аргумент. Исследованы обратные задачи электромагнитного зондирования и обратные задачи сейсмики, предложены численные методы их решения. Разработаны численные методы решения двумерных и трехмерных задач электроимпедансной томографии в случае кусочно-однородной среды. Исследованы обратные задачи для эволюционных уравнений математической физики, связанные с анализом процессов возбуждения в сердце, разработаны методы их решения. Разработаны новые методы решения некорректных задач обработки изображений, возникающие в медицинской диагностике.

‒ «Математическое моделирование процессов тепломассопереноса, распространения электромагнитных полей в неоднородных средах и нелинейной оптики» (рук. проф. Е.В. Захаров). Разработаны и реализованы методы расчёта характеристик электрического поля в кусочно-однородной среде и сложной трёхмерной геометрии рассматриваемой области. Предложены новые модели операторной фурье-фильтрации для квазилинейных параболических функционально-дифференциальных уравнений нелинейной оптики. Разработан регуляризованный биспектральный метод восстановления изображений для задач микроскопии, исследована его эффективность для различного типа искажений. Разработаны алгоритмы для моделирования на параллельных вычислительных системах течений несжимаемой жидкости в трёхмерных областях сложной формы.

Лаборатория математической физики ‒ «Методы математического моделирования и решения обратных задач в геофизических исследованиях» (рук. проф. В.И. Дмитриев). На основе метода объёмных интегральных уравнений электродинамики разработана система математического моделирования электромагнитных полей в неоднородных проводящих средах. Создан метод интерпретации данных, полученных в ходе многочастотных дистанционных морских электромагнитных зондирований.

Лаборатория вычислительной электродинамики

‒ «Математические модели волновых процессов в электродинамике сверхвысоких частот» (рук. проф. А.С. Ильинский). Разработана и осуществлена компьютерная реализация численных методов решения трёхмерной задачи отражения электромагнитных волн от нерегулярной границы раздела сред на основе решения эквивалентной системы гиперсингулярных интегральных уравнений. Проведено изучение скалярной и векторной математических моделей для численного исследования нестационарного электромагнитного поля в однородной изотропной среде с потерями.

‒ «Математические модели нанооптики, плазмоники и оптоэлектроники» (рук. вед.н.с. Ю.А. Ерёмин). Получено обобщение оптической теоремы для случая возбуждения локальной структуры, расположенной в присутствии проницаемого полупространства, точечным излучателем акустических или электромагнитных волн. Подобное обобщение позволяет вычислять эффективность оптических антенн или квантовый выход флюоресценции без проведения интегрирования по поверхности локальной структуры.

Лаборатория моделирования процессов тепломассопереноса ‒ «Исследование процессов ламинарных и турбулентных течений в задачах аэрогидродинамики на современных суперкомпьютерах» (рук. гл.н.с. М.Г. Лебедев). Разработана магнитогидродинамическая модель взаимодействия солнечного ветра с ионосферами комет. Выполнено моделирование указанного взаимодействия в широком диапазоне определяющих параметров. Проведено численное исследование нестационарных и циркуляционных режимов течения в сверхзвуковых струях, а также численное моделирование распространения ударных и взрывных волн в объёмах различной геометрии.

Лаборатория обратных задач ‒ «Обратные задачи исследования строения вещества и управления» (рук. ст.н.с. Б.М. Щедрин). Разработано программное обеспечение для задачи восстановления строения наноразмерных дефектов в кристаллах и для определения параметров многослойных тонких плёнок. Разработаны численные методы решения задачи управляемости при наличии фазовых ограничений для квазилинейных систем.

 

Кафедра нелинейных динамических систем и процессов управления (зав. акад. РАН С.В. Емельянов) ‒ «Анализ и управление сложными динамическими системами в условиях неопределенности» (рук. акад. РАН С.В. Емельянов). Для решения задач стабилизации по выходу и по состоянию переключаемых линейных систем при различных предположениях относительно законов переключения предложены алгоритмы на основе метода одновременной стабилизации. Предложен метод построения оценки (с наперёд заданной точностью) неизвестного входа для векторных систем с запаздыванием. Разработан стабилизирующий регулятор вертикальных движений шнура плазмы в установке токамак.

 

Кафедра общей математики ‒ «Спектральная теория линейных и нелинейных уравнений и задачи граничного управления неоднородными распределенными системами» (рук. акад. РАН В.А. Ильин, проф. И.С. Ломов). Найдены предельно точные достаточные условия на младший коэффициент параболического уравнения с лапласианом в главной части, которые гарантируют рост (дестабилизацию) к бесконечности равномерно на компактах решения задачи Коши с неотрицательной ограниченной начальной функцией. Создан новый метод построения асимптотик для дифференциальных уравнений с вырождением типа клюва – «метод повторного квантования».

 

Кафедра оптимального управления (зав. акад. РАН Ю.С. Осипов) ‒ «Методы решения динамических задач оптимизации и управления» (рук. акад. РАН Ю.С. Осипов). Для двух классов линейных и нелинейных управляемых систем с ограничением на управление рассмотрена задача терминального управления в целевую точку при принадлежности начальной точки процесса и вектора параметров системы известным множествам и отсутствии информации о том, какая точка из множества начальных состояний и какой параметр системы из множества параметров являются истинными. Предложены алгоритмы численного решения ряда задач управления на основе предложенного подхода. Рассмотрены задачи оптимального управления для математических моделей распространения эпидемии и лечения ВИЧ инфекции.

 

Кафедра системного анализа (зав. акад. РАН А.Б. Куржанский) ‒ «Методы оптимизации в задачах динамики и управления для сложных систем» (рук. акад. РАН А.Б. Куржанский). Для задачи синтеза управлений эллипсоидальными трубками траекторий в условиях неопределённости разработаны алгоритмы реконфигурации трубок при наличии препятствий, а также соответствующие численные методы, использующие аппарат эллипсоидального исчисления. Предложены оригинальные методы вычисления невыпуклых областей достижимости в нелинейных системах.

 

Кафедра системного программирования (зав. акад. РАН В.П. Иванников) ‒ «Теоретические основы и методы анализа и проектирования программ» (рук. акад. РАН В.П. Иванников). Проведено исследование методов прямой и обратной инженерии знаний для программных систем искусственного интеллекта. Разработаны методы динамической настройки DVMH-программ на кластеры с ускорителями. В рамках развития одного из подходов верификации моделей ответственных программно-аппаратных систем для авионики и разработки соответствующих инструментов поддержки впервые в этой области удалось создать новый язык спецификации в виде библиотеки функций, классов, методов и объектов языка.

 

Кафедра суперкомпьютеров и квантовой информатики (зав. чл.-корр. РАН Вл.В. Воеводин) ‒ «Моделирование динамики квантовых систем и квантовых информационных каналов» (рук. проф. Ю.И. Ожигов). Создана программа квантового моделирования абстрактной модели светособирательного комплекса FMO (Fenna-Matthews-Olson Complex). Численно получен эффект DAT (Dephasing-assisted transport). Создана кубитовая модель FMO-комплекса. Построены две новые атаки на дифференциально-фазовый протокол квантового распределения ключей и получены оценки критической ошибки протокола под действием этих атак.

 

Кафедра функционального анализа и его применений (зав. акад. РАН Е.И. Моисеев) ‒ «Уравнения смешанного типа и задачи граничного управления» (рук. акад. РАН Е.И. Моисеев). Впервые изучены задачи оптимального граничного управления колебаниями струны в случае нелокальных и нестандартных граничных условий. Рассмотрены вопросы существования и единственности специальных краевых задач, к которым сводятся задачи теории упругости с адгезионными взаимодействиями. Решены спектральные задачи с краевыми условиями разного вида, содержащими спектральный параметр, исследованы полученные системы собственных функций на вопрос полноты, минимальности, базисности.

 

Учебная работа. Открыта новая магистерская программа «Большие данные: инфраструктуры и методы решения задач» в рамках подготовки по направлению «Прикладная математика и информатика».

В 2015 г. начато обучение по 20-ти магистерским программам направления «Прикладная математика и информатика» по образовательным стандартам МГУ интегрированной формы подготовки магистра: Вычислительные технологии и моделирование; Дискретные структуры и алгоритмы; Дискретные управляющие системы и их приложения; Интеллектуальные системы; Интеллектуальный анализ больших данных; Информационная безопасность компьютерных систем; Исследование операций и актуарная математика; Компиляторные технологии; Компьютерные методы в математической физике, обратных задачах и обработке изображений; Логические и комбинаторные методы анализа данных; Математические методы моделирования и методы оптимизации управляемых процессов; Математические методы системного анализа, динамики и управления; Распределённые системы и компьютерные сети; Современные методы математического моделирования; Спектральная теория дифференциальных операторов и управление распределенными системами; Статистический анализ и прогнозирование рисков; Суперкомпьютерные системы и приложения; Теория нелинейных динамических систем: анализ, синтез и управление; Технологии программирования; Численные методы и математическое моделирование;

В учебные планы магистратуры вошли 52 новые дисциплины.

 

Силами специалистов компаний «Mail.ru Group», «НТЦ Вулкан», «КРОК» были поставлены новые практико-ориентированные специальные курсы. В их числе: Анализ социальных сетей: прикладные аспекты применения; Информационный поиск; Методы и средства информационного поиска»; Методы обработки больших объёмов данных; Методы разработки высокопроизводительных баз данных на Microsoft SQL; Методы распределённой обработки больших объёмов данных в Hadoop; Многопоточное программирование на языке программирования С/С++.

 

В учебном процессе приняли участие иностранные специалисты: Кристиан Коллберг (Университет штата Аризона, США) – «Software Protection: How to Crack Programs and Defend Against Cracking», проф. Мацухиса Такаши (Национальный технологический колледж Ибараки, Япония) – «Game, Knowledge and Cooperation Management» (68 час.).

В рамках «Летней академии по оптимальному управлению ресурсами и экологически безопасному экономическому росту – MSA 2015» были организованы курсы в формате 4 час. лекций + 4 час. семинаров): Штефан Берингер (Университет Дуйсбург-Эссена, Германия) – «Управление общественным капиталом: теоретико-игровые подходы»; Майкл Гил (Университет Калифорнии, США, Эколь Нормаль, Франция) – «Бифуркации и критические точки: от климатических к климат-экономическим моделям»; Итзир Лацкано (Университет Висконсин-Милуоки, США) – «Современный экономический рост и окружающая среда»; Томас Вебер (Эколь Политекник, Лозанна, Швейцария) – «Динамическое управление природными ресурсами: регулирование, справедливость и стимулы»; Андреа Мантовани (Университет Болоньи, Италия) – «Международная политика в области охраны окружающей среды, “зеленое” потребительство и природные ресурсы: статическое и динамическое моделирование».

Студенческая команда (тренер асс. М.Шуплецов) – Г.Антюфеев, В.Жуков, Е.Зенин – победила на международном соревновании «2015 CAD Contest at ICCAD» по решению прикладных математических задач в области автоматизации проектирования интегральных схем.

 

Конференции. Организованы и проведены:

– Ломоносовские чтения. Секция вычислительной математики и кибернетики (20–21 янв.);

– XXII международная конференция студентов, аспирантов и молодых учёных по фундаментальным наукам «Ломоносов–2015» (13–17 апр.);

– IX международная конференция «Дискретные модели в теории управляющих систем» (20–22 мая);

– XXV конференция–выставка «Информационные технологии в образовании» (ИТО-2015) (6–7 нояб.);

‒ X юбилейная международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» (20–22 нояб.);

– международная Летняя суперкомпьютерная академия (22 июня – 3 июля);

– международная школа для студентов, аспирантов и молодых учёных «Летняя академия по оптимальному управлению ресурсами и экологически безопасному экономическому росту» – MSA 2015 (17 июля – 3 авг.);

‒ научные ИТ-семинары в рамках сотрудничества с Университетом Тохоку (Япония, март, сент.):

– научная конференция «Актуальные вопросы программирования», посвящённая 90-летию проф. Н.П. Трифонова (2 дек.);

– международная научная конференция «Теория вероятностей и её применения», посвящённая памяти акад. РАН Ю.В. Прохорова (12–14 февр.);

– научная конференция Тихоновские чтения (26 окт. – 2 нояб.);

– Х фестиваль науки (9–11 окт.).

 

Кандидаты наук 2015 г. Кандидатские диссертации защитили: вед. математик кафедры общей математики Аристов Анатолий Игоревич(«Исследование качественных свойств решений некоторых нелинейных уравнений соболевского типа»; асс. кафедры системного анализаМинаева Юлия Юрьевна («Синтез быстрых управлений в линейных системах»); математик кафедры математической физики Насонова Александра Андреевна («Методы повышения качества размытых изображений с помощью деформации пиксельной сетки окрестностей границ»); асс. кафедры математической физики Павельева Елена Александровна («Анализ и восстановление изображений проекционными методами, использующими функции Эрмита»); мл.н.с. кафедры математической кибернетики Подымов Владислав Васильевич («Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой»); асс. кафедры математической физики Романенко Татьяна Евгеньевна («Исследование математических моделей нелинейных оптических систем с запаздыванием»); математик лаборатории моделирования процессов тепломассопереноса Соловьёв Алексей Игоревич («Декомпозиция некоторых оптимизационных задач на дискретных финансовых рынках»); мл.н.с. лаборатории вычислительных комплексов Чемерицкий Евгений Викторович («Исследование методов контроля функционирования программно-конфигурируемых сетей»); мл.н.с. кафедры математической статистики Черток Андрей Викторович(«Моделирование потоков заявок на финансовых рынках с помощью обобщённых процессов риска»).

 

Персоналии. Акад. РАН С.В. Емельянов награждён орденом «За заслуги перед Отечеством» II степени «за большой вклад в развитие науки, образования, подготовку квалифицированных специалистов и многолетнюю плодотворную деятельность».

Декан факультета Е.И. Моисеев награждён орденом Почёта «за большой вклад в развитие науки, образования, подготовку квалифицированных специалистов и многолетнюю плодотворную деятельность».

Асс. кафедры математической статистики А.А. Наумов получил I премию 39 конкурса работ молодых учёных МГУ, а также диплом III степени Всероссийского конкурса «Отмеченная работа молодого исследователя в области прикладной и промышленной математики».

Медали с премией РАН для студентов вузов в области математики удостоен С.А. Матвеев (V курс) за работу «Быстрые методы решения уравнений агрегации и фрагментации типа уравнений Смолуховского».

 

Публикации.

 

 

Архангельский В.Н., Локосов В.В., Красинец Е.С., и др. Народонаселение современной России: воспроизводство и развитие;

Петрунин Ю.Ю., Рязанов М.А. Как выиграть мировой чемпионат: Методы математической статистики в управлении национальным футболом;

Пискажова Т.В., Савенкова Н.П., Анпилов С.В. и др. Трёхмерное математическое моделирование динамики границы раздела сред алюминия, электролита и зоны обратного окисления металла в зависимости от распределения потенциала;

Тихомиров В.В., Вольпян Н.С., Разгулин А.В. и др. Методика разработки секторальных рамок квалификаций по направлениям подготовки «Менеджмент» и «Информатика»;

Шишкин А.Г. Математическое моделирование физических процессов в термоядерной и газоразрядной плазме;

Dnestrovskij Yu N. Self-Organization of Hot Plasmas. The Canonical Profile Transport Model.

 

 

Беликова Е.К., Илютина А.Ю., Круглова М.А. и др. Computer science: the English language perspective;

Боресков А.В., Шикин Е.В. Компьютерная графика;

Владимирова Ю.С. Введение в троичную информатику;

Головин И.Г., Баева Н.В. Языки управления приложениями;

Григорьев Е.А. Введение в комплексный анализ. Теория и практика;

Гуров С.И. Логика высказываний;

Захаров Е.В., Орлик С.И. Интегральные уравнения. Ч. 3;

Климов Г.П., Матвеев В.Ф. Метризация топологических пространств;

Кудрявцев А.А. Учебное пособие по теории вероятностей;

Кудрявцев А.А., Шоргин С.Я. Байесовские модели в теории массового обслуживания и надёжности;

Куркина Е.С. Курсовые задачи по синергетике. Методы поиска пространственно-временных структур;

Мельников Н.Б., Артемьева Л.А. Прикладной функциональный анализ: задачи с решениями;

Никитин А.А., Фомичёв В.В. Математический анализ. Углублённый курс;

Садовничая И.В., Фоменко Т.Н., Хорошилова Е.В. Математический анализ. Дифференцирование функций одной переменной: теория и задачи;

Laponina О. Network Security Volume I: Firewall and IPS.