МГУ–2014: Факультет вычислительной математики и кибернетики
Юбилеи. 19 февраля исполнилось 95 лет со дня рождения академика РАН Самарского Александра Андреевича (1919–2008), крупнейшего специалиста в области вычислительной математики и математической физики, одного из основоположников современной методологии математического моделирования и вычислительного эксперимента. Проведена международная научная конференция «Современные проблемы вычислительной математики и математической физики» (16–17 июня).
6 декабря исполнилось 90 лет со дня рождения члена-корреспондента РАН Яблонского Сергея Всеволодовича (1924–1998), выдающегося учёного, одного из основателей отечественной школы математической кибернетики и дискретной математики. Проведено мемориальное собрание (6 дек.).
23 марта исполнилось 85 лет со дня рождения заведующего кафедрой автоматизации научных исследований, Заслуженного профессора Московского университета, академика РАН Костомарова Дмитрия Павловича (23.03.1929 – 9.08.2014).
18 мая исполнилось 85 лет со дня рождения заведующего кафедрой нелинейных динамических систем и процессов управления, Заслуженного профессора Московского университета, академика РАН Емельянова Станислава Васильевича.
15 декабря исполнилось 85 лет со дня рождения академика РАН Прохорова Юрия Васильевича (1929–2013), крупного специалиста в области теории вероятностей и математической статистики.
26 июня исполнилось 80 лет со дня рождения главного научного сотрудника лаборатории обратных задач, Заслуженного научного сотрудника Московского университета Щедрина Бориса Михайловича.
19 октября исполнилось 75 лет со дня рождения заведующего кафедрой системного анализа, Заслуженного профессора Московского университета, академика РАН Куржанского Александра Борисовича.
13 августа исполнилось 75 лет со дня рождения профессора кафедры математической физики, Заслуженного профессора Московского университета Ильинского Анатолия Серафимовича.
Наука. В числе победителей конкурса 2014 г. по государственной поддержке ведущих научных школ, проводимого Советом по грантам Президента РФ академики РАН:
С.В. Емельянов – «Управление и анализ динамических систем в условиях неопределенности. Управление, идентификация и стабилизация систем с запаздыванием»;
В.А. Ильин – «Развитие аналитических методов решения краевых и спектральных задач теории граничного управления»;
А.Б. Куржанский – «Задачи динамики, управления и координации движений в условиях доступной информации»;
Е.И. Моисеев – «Решение спектральным методом и методом компьютерного моделирования краевых задач и задач управления, возникающих при описании волновых процессов и процессов теплообмена в технических информационных устройствах».
Победители конкурса на соискание грантов РНФ профессора:
В.Ю. Королёв – «Современные аналитические методы теории вероятностей и математической статистики, ориентированные на обработку больших массивов данных высокой размерности»;
А.С. Крылов – «Математические методы предобработки и повышения качества медицинских изображений»;
акад. РАН А.В. Кряжимский – «Задачи гарантирующего позиционного управления при неполной информации. Метод программных пакетов»;
В.А. Трофимов – «Математическое моделирование нелинейных явлений фотоники».
В рамках ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014–2016 гг.» получили поддержку работы:
– «Исследование и разработка инновационной технологии построения программных средств обеспечения компьютерной безопасности, основанных на использовании методов машинного обучения и математической статистики для анализа данных поведенческой биометрии пользователей при работе в рамках стандартного человеко-машинного интерфейса, для решения задач активной аутентификации и идентификации пользователей, обнаружения внутренних вторжений и предотвращения попыток хищения конфиденциальной информации» (рук. проф. И.В. Машечкин);
– «Исследование и разработка средств управления ИТ–инфраструктурой в проводных корпоративах и ведомственных компьютерных сетях на основе технологии программно-конфигурируемых сетей (ПКС, SDN) и виртуализации сетевых сервисов (NFV)» (рук. вед.н.с. В.А. Костенко).
Заключён крупный научный договор с Фондом перспективных исследований «Исследование уязвимости программного обеспечения Web-приложений» (рук. вед.н.с. Д.Ю.Гамаюнов).
На право получения гранта Президента РФ для государственной поддержки молодых российских учёных – кандидатов наук поддержана работа доцента кафедры общей математики В.В.Сазонова «Применение геометрических методов при построении систем автоматизированного проектирования космических аппаратов».
Завершено выполнение госбюджетной научно-исследовательской темы «Разработка математических методов и программ для суперкомпьютерного моделирования наносистем» (рук. проф. А.М. Попов). Разработаны алгоритмы и параллельные программы для эффективного использования суперкомпьютеров при моделировании и создании наносистем; созданы молекулярные модели памяти, основанной на фазовых переходах; разработаны квантово-механические модели в задачах биомедицины; проведено суперкомпьютерное моделирование структурного фазового перехода в аморфном углероде и связанное с фазовым переходом значительное изменение проводимости; разработан и реализован класс клеточных генетических алгоритмов с анизотропными генетическими операторами; осуществлено суперкомпьютерное моделирование структурного фазового перехода в кластерной системе, изучены модели частиц в ячейках, реализованные на гетерогенных вычислительных системах с графическими ускорителями; предложена трёхуровневая модель, сочетающая квантово-механическую молекулярную динамику Кара-Пирринелло (CPMD), модифицированную молекулярную динамику Эренфеста и макроскопическую модель теплопроводности.
Продолжалась работа факультета в европейском международном проекте Темпус ИНАРМ «Проектирование отраслевой квалификационной рамки в области: Менеджмент и Информатика»
Учебная работа. Студенты III (весна) и IV курсов (осень) впервые обучались по программам и стандартам 3-го поколения. В соответствии с учебными планами читались новые курсы: Байесовские методы машинного обучения; Безопасность программного обеспечения и сетей; Введение в математическую криптологию; Введение в функциональное программирование; Имитационное моделирование в исследовании и разработке информационных систем; Интегральные преобразования и специальные функции; Коды аутентификации и хэш-функции; Криптопротоколы; Математические модели генераторов случайных чисел; Методы дискретной оптимизации; Методы и средства информационного поиска; Модели вычислений; Модели рынков и аукционов; Надёжность программного обеспечения; Ньютоновские методы для задач оптимизации и вариационных задач; Основы обработки текстов; Распределенные системы; Сеточная аппроксимация дифференциальных операторов; Сложность алгоритмов в криптографии; Средства и системы параллельного программирования; Условия оптимальности высших порядков.
В феврале 2014 г. началось обучение студентов в рамках проекта «Техносфера» (совместно с компанией Майл.Ру). Новые курсы читались сотрудниками компаний АСТРА, КРОК, Лаборатория Касперского, Московская биржа, INLINE Technologies.
Открыта новая магистерская программа «Статистический анализ и прогнозирование рисков» в рамках подготовки по направлению «Прикладная математика и информатика».
Факультет и компания IBM Восточная Европа/Азия подписали меморандум о взаимопонимании в целях создания совместной магистерской программы в области современных технологий больших данных. Меморандум предполагает, в частности, что факультет получит от компании лицензии на аналитическое программное обеспечение IBM, а также поддержку компании при разработке новых учебных курсов и внедрении их в учебный процесс.
В ходе реализации соглашения о сотрудничестве факультета с Университетом штата Аризона (США) проф. Кристиан Коллберг (Christian Collberg) прочитал курс лекций, посвящённый проблемам компьютерной безопасности (20 час, англ. яз.).
Состоялись циклы лекций итальянских профессоров в рамках Римско-Московской школы по матричным методам и прикладной линейной алгебре: Кармине Ди Фиоре (Университет Тор Вергата, Рим) – «Структурированные матрицы в задачах оптимизации и решении уравнений в частных производных» (6 час); Дарио Фазино (Университет Удине) – «Спектральная теория неотрицательных матриц в приложении к анализу сетей» (16 час); Роберто Пейроне (Университет Тор Вергата, Рим) – «Самоподобные энергии фракталов» (10 час).
Конференции. Организованы и проведены:
– XXI международная конференция студентов, аспирантов и молодых учёных по фундаментальным наукам «Ломоносов–2014» (7–11 апр.);
– Ломоносовские чтения (14–23 апр.);
– международная научная конференция «Современные проблемы вычислительной математики и математической физики», посвящённая памяти акад. РАН А.А.Самарского (МГУ, 16–17 июня);
– II международная летняя суперкомпьютерная академия для студентов, аспирантов, молодых учёных и преподавателей (23 июня – 4 июля);
– молодежная научная конференция «Крупномасштабное моделирование, высокопроизводительные вычисления и обработка данных большого объёма на суперкомпьютерах» (23 июня – 4 июля);
– традиционная ежегодная Летняя школа Microsoft Research (30 июля – 6 авг.);
– международная Римско-Московская школа по матричным методам и прикладной линейной алгебре (25 авг. – 19 сент.);
– IХ фестиваль науки (10–12 окт.);
– I международная научно-техническая конференция «Современные технологии компьютерных сетей: Программируемое управление и виртуализация (SDN & NFV) – технологии Интернета нового поколения» (28–29 окт.);
– XXIV конференция–выставка «Информационные технологии в образовании» (ИТО-2014) (6–7 нояб.);
– IX международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» (14–16 нояб.).
– ежегодная научная конференция Тихоновские чтения (26–30 окт.);
– Летняя школа для учителей информатики (28–29 авг.), Летняя школа для учителей начальных классов и учителей математики (25–26 авг.), курсы повышения квалификации учителей информатики (4 семинара) и учителей математики (2 семинара).
Кандидаты наук 2014 г. Кандидатские диссертации защитили: мл.н.с. лаборатории вычислительных комплексов Антоненко Виталий Александрович («Разработка и исследование модели функционирования глобальной сети для анализа динамики распространения вредоносного программного обеспечения»); мл.н.с. лаборатории вычислительных комплексов Гайворонская Светлана Александровна («Исследование методов обнаружения шеллкодов в высокоскоростных каналах передачи данных»); ст. препод. кафедры математической физики Головина Светлана Георгиевна («Применение интегральных уравнений в численных методах определения границ неоднородных сред»); программист лаборатории вычислительных комплексов Зорин Даниил Александрович («Синтез архитектур вычислительных систем реального времени с учётом ограничений на время выполнения и требований к надёжности»; асс. кафедры математических методов прогнозирования Осокин Антон Александрович («Субмодулярная релаксация в задаче минимизации энергии марковского случайного поля»).
Персоналии. Премия Правительства РФ в области науки и техники присуждена академикам РАН Г.И.Савину и Б.Н.Четверушкину за комплекс научных, технических, технологических и организационных решений для обеспечения суперкомпьютерными технологиями и информационными ресурсами научных исследований и инновационных разработок.
Заведующий кафедрой математической статистики В.Ю.Королёв награждён медалью им. Леонарда Эйлера Пермского государственного университета «За заслуги» «за значительный вклад в развитие математического образования в нашей стране и за рубежом, а также за постоянную поддержку Пермской научной школы по теории вероятностей и математической статистике».
Медали РАН с премией для молодых учёных в области математики по итогам конкурса 2014 г. удостоена ассистент кафедры математической статистики И.Г.Шевцова за цикл работ «Оптимизация структуры моментных оценок точности нормальной аппроксимации для сумм независимых случайных величин».
Заведующий кафедрой вычислительных технологий и моделирования Е.Е.Тыртышников признан Преподавателем года МГУ.
Публикации. Опубликовано 11 монографий, 18 учебников и учебных пособий, в т.ч.:
Монографии
Гуров С.И. Булевы уравнения: теория, методы решения, применение к синтезу схем;
Гуров С.И. Исчисления высказываний и исчисления секвенций классической и интуиционистских логик;
Дмитриев В.И. Морские электромагнитные зондирования;
Емельянов С.В., Коровин С.К., Ильин А.В. и др. Математические методы теории управления. Проблемы устойчивости, управляемости и наблюдаемости;
Жуковский В.И., Салуквадзе М.Е. Гарантии и риски в конфликтах и приложения;
Смольяков Э.Р. Глобальная оптимизация возмущаемых динамических систем;
Izmailov A.F., Solodov M.V. Newton-type Methods for Optimization and Variational Problems;
Kurzhanski A.B., Varaiya P. Dynamics and Control of Trajectory Tubes;
Olshansky M.A., Tyrtyshnikov E.E. Iterative Methods for Linear Systems: Theory and Applications;
Zaitsev F.S. Mathematical Modeling of Toroidal Plasma Evolution.
Учебники, учебные пособия
Гулин А.В., Мажорова О.С., Морозова В.А. Введение в численные методы в задачах и упражнениях;
Захаров Е.В., Орлик С.И. Интегральные уравнения. Ч. 2;
Захарова Т.В. Задачи по теории вероятностей с решениями;
Крылов А.С., Насонов А.В. Регуляризирующие методы интерполяции изображений;
Кузьменкова Е.А., Махнычев В.С., Падарян В.А. Семинары по курсу «Архитектура ЭВМ и язык ассемблера. В 2-х ч.»;
Куркина Е.С. Курсовые задачи по синергетике. Методы поиска пространственно-временных структур;
Лапонина О.Р. Основы сетевой безопасности. Ч. 1. Межсетевые экраны; Ч.2. Технологии туннелирования;
Марченков С.С. Основы теории булевых функций;
Мокин А.Ю., Савенкова Н.П. Численные методы решения задач экономики;
Мокин А.Ю., Савенкова Н.П., Проворова О.Г. Численные методы в математическом моделировании;
Сенюкова О.В. Сбалансированные деревья поиска;
Сетуха А.В. Численные методы в интегральных уравнениях и их приложения;
Хорошилов А.В., Петренко А.К., Панферов А.А. и др. Практикум по дедуктивной верификации программ.
***
Памяти Владимира Александровича Ильина
26 июня 2014 г. факультет понёс тяжелую утрату. Скончался Заслуженный профессор Московского университета академик РАН Ильин Владимир Александрович (2.05.1928 – 26.06.2014). Заведующий кафедрой общей математики, крупный специалист в области математической физики, теории дифференциальных уравнений, теории граничного управления колебательными процессами, спектральной теории дифференциальных операторов и математического моделирования. Лауреат Государственной премии СССР (1980) за цикл учебников «Аналитическая геометрия», «Линейная алгебра», «Основы математического анализа». Лауреат премии им. М.В.Ломоносова (1980) за цикл работ по условиям базисности системы собственных и присоединённых функций обыкновенных дифференциальных операторов.
Награждён орденами Трудового Красного Знамени (1980), Дружбы народов (1988), Почёта (1999), «За заслуги перед Отечеством» (III ст. – 2012, IV ст. – 2004).
Лауреат премии Президента РФ в области образования (2003).