МГУ–2012: Факультет вычислительной математики и кибернетики
Исполнилось 30 лет с момента создания лаборатории вычислительных комплексов и 20 лет – лаборатории безопасности информационных систем (бывшая совместная лаборатория SUN Microsystems и МГУ). Обе лаборатории работают под руководством чл.-корр. РАН Р.Л. Смелянского в составе кафедры автоматизации систем вычислительных комплексов.
С 2000 г. коллектив этих лабораторий выполнил НИР и НИОКР на 134 млн рублей. В отечественную промышленность внедрены методы и средства разработки встроенных информационно-управляющих систем современных летательных аппаратов.
Под руководством сотрудников лабораторий прошли обучение и защитили дипломные работы более 250 студентов, 23 человека стали кандидатами наук.
22 февраля исполнилось 80 лет со дня рождения Заслуженного научного сотрудника Московского университета Маслова Сергея Петровича. Выпускник физического факультета (1955) С.П. Маслов работает в МГУ с 1956 г., в должности ведущего научного сотрудника лаборатории ЭВМ кафедры математической кибернетики с 1986 г. Участвовал в разработке запоминающих устройств и устройств ввода/вывода малой ЦВМ «Сетунь». Разработчик всех запоминающих устройств, источников питания и устройств ввода/вывода ЦВМ «Сетунь-70». Разработал нестандартную аппаратуру для всех вариантов автоматизированной системы обучения «Наставник» и участвовал в создании ее мобильных версий.
Награждён медалью «Ветеран труда».
20 октября исполнилось 80 лет со дня рождения Заслуженного профессора Московского университета Дмитриева Владимира Ивановича. Выпускник физического факультета (1955) В.И. Дмитриев работает в МГУ с 1962 г., в должности профессора кафедры математической физики с 1982 г., руководитель лаборатории математической физики, зам. декана факультета с 1986 г. Специалист в области вычислительной математики, математической геофизики, обратных задач, математического моделирования, интегральных уравнений. Лауреат Государственной премии СССР (1976) за разработку новых методов расчёта излучающих систем и использование этих методов в практике создания антенн различного назначения. Лауреат премии им. М.В. Ломоносова (1983) за цикл работ «Разработка и внедрение математических методов в электромагнитные геофизические исследования». Читает курсы «Обыкновенные дифференциальные уравнения», «Системы математического моделирования», «Обратные задачи геофизики».
Награждён орденами «Знак Почёта» (1980), Почёта (2003). Лауреат премии Совета Министров СССР (1986). Заслуженный деятель науки РФ (1993).
3 июня исполнилось 75 лет со дня рождения Заслуженного преподавателя Московского университета Власова Виктора Константинович. Выпускник механико-математического факультета (1959) В.К. Власов работает в МГУ с 1959 г., в должности доцента кафедры автоматизации систем вычислительных комплексов с 1973 г. Специалист в области задач математической физики, методов математического моделирования и вычислительного эксперимента. Читает курсы «Вычислительные машины и программирование», «Методология и история прикладной математики».
Награждён медалью «Ветеран труда». Отличник высшего образования.
3 сентября исполнилось 75 лет со дня рождения Заслуженного профессора Московского университета Захарова Евгения Владимировича. Выпускник физического факультета (1963) Е.В. Захаров работает в МГУ с 1962 г., в должности профессора кафедры вычислительной математики/математической физики с 1981 г., зам. декана по спецотделению (второе высшее образование) (1979–2007), зам. декана по магистерскому и послевузовскому образованию с 2007 г. Специалист в области краевых задач, интегральных уравнений, численных методов, математического моделирования. Лауреат премии им. М.В. Ломоносова (1983) за цикл работ «Разработка и внедрение математических методов в электромагнитные геофизические исследования». Читает курсы «Уравнения математической физики», «Теория линейных и квазилинейных дифференциальных уравнений», «Математические модели в медицине», «Интегральные уравнения в задачах дифракции волн».
Почётный работник высшего профессионального образования РФ (2000).
5 ноября исполнилось 75 лет со дня рождения доцента кафедры автоматизации систем вычислительных комплексов Баяковского Юрия Матвеевича. Выпускник Московского энергетического института (1960) Ю.М. Баяковский руководитель лаборатории компьютерной графики и мультимедиа с 2002 г. Специалист в области компьютерной графики, обработки изображений, компьютерного зрения, языков программирования, архитектуры ЭВМ, ассемблеров и оптимизирующих компиляторов, операционных систем, СУБД. Читает курсы «Компьютерная графика», «Дополнительные главы компьютерной графики», «Языки программирования для WEB-приложений».
Лауреат премии Совета Министров СССР (1986). Награждён медалями «За трудовое отличие» (1975, 1986), «Ветеран труда».
14 ноября исполнилось 75 лет со дня рождения Заслуженного профессора Московского университета Круглова Виктора Макаровича. Выпускник механико-математического факультета (1964) В.М. Круглов работает в должности профессора кафедры математической статистики с 1981 г. Специалист в области теории вероятностей, теории меры, функционального анализа, математической статистики. Читает курсы «Случайные процессы», «Асимптотическое поведение сумм независимых случайных величин со случайным числом слагаемых», «Характеризация безгранично делимых распределений их свойствами».
Почётный работник высшего профессионального образования РФ.
26 марта исполнилось 70 лет со дня рождения Заслуженного профессора Московского университета Гулина Алексея Владимировича. Выпускник механико-математического факультета (1964) А.В. Гулин работает в МГУ с 1970 г., заведует кафедрой вычислительных методов с 2008 г. Специалист в области численных методов решения задач математической физики, теории устойчивости разностных схем. Читает курсы «Численные методы математической физики», «Введение в численные методы», «Устойчивость разностных схем».
Почётный работник высшего профессионального образования РФ (2005).
Переименованы: кафедра квантовой информатики – в кафедру суперкомпьютеров и квантовой информатики (приказ №904, 11.09.2012); научно-исследовательская лаборатория электронно-вычислительных машин – в научно-исследовательскую лабораторию троичной информатики (приказ №903, 11.09.2012); лаборатория информационных систем в образовании и научных исследованиях – в лабораторию безопасности информационных систем (приказ №902, 11.09.2012).
В 2012 г. была проведена серьёзная модернизация инфраструктуры Центра обработки данных (ЦОД) факультета, в результате которой увеличен объём параллельной файловой системы с 1 Tb до 384 Tb, скорость внутренней системы коммутации возросла с 10 Гб/с до 40 Гб/с, а количество портов – с 24 до 96. Внедрена система ленточного копирования важных данных факультета. При этом площадь ЦОД увеличена в 2 раза, а мощность системы резервного питания ЦОД увеличена с 200 Квт до 500 Квт, проложено более 10 км оптических линий связи внутри ЦОД.
Это позволило улучшить прохождение задач практикума по супервычислениям и расширить их масштабируемость. В 2012 г. через суперкомпьютерный комплекс факультета прошли более 1500 пользователей.
Факультет участвует в выполнении проекта Комиссии Президента РФ по модернизации и технологическому развитию России, являясь соисполнителем госконтракта по теме «Создание системы подготовки высококвалифицированных кадров в области суперкомпьютерных технологий и специализированного программного обеспечения».
Выполнялись контракты ФЦП «Научные и научно-педагогические кадры инновационной России»: начаты работы в рамках научно-образовательного центра «Актуальные задачи теории граничного управления и решение краевых задач смешанного типа аналитическими, спектральными и численными методами» (рук. Е.И. Моисеев), продолжалась деятельность НОЦ «Разработка вычислительных методов и алгоритмов компьютерной графики и анализа изображений» (рук. Ю.М. Баяковский) и «Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределенных вычислительных систем реального времени РСВ-РВ» (рук. Р.Л. Смелянский). Были продолжены исследования в группах: «Математические методы анализа рисков в неоднородных потоках экстремальных событий» (рук. В.Ю. Королёв), «Методы динамической оптимизации и синтеза управлений в задачах прикладного системного анализа» (рук. А.Б. Куржанский), «Теория и методы анализа и синтеза дискретных управляющих систем и их приложений» (рук. Р.И. Подловченко), «Методы и программные средства визуализации и обработки изображений на суперкомпьютерах» (рук. Н.Н. Попова). Выполнялись 5 контрактов – НИР молодых учёных-кандидатов наук: «Методы и программные средства обработки, хранения и передачи информации большого объёма в суперкомпьютерном моделировании» и «Методы и программные средства визуализации научных данных на суперкомпьютерах» (рук. О.В. Корж), «Исследование методов семантического анализа изображений и данных лазерного сканирования для трехмерного моделирования и дистанционной неразрушающей диагностики» (рук. А.С. Конушин), «Создание перспективных численных алгоритмов для суперкомпьютеров и инструментов анализа производительности распределённых вычислительных систем» (рук. А.В. Позднеев, А.А. Холомеева), «Свойства дискретных функций и операций над ними» (рук. В.С. Фёдорова), «Математические методы анализа и обработки стохастических изображений» (рук. О. В.Шестаков).
В рамках ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007–2013 гг.» шли работы по теме «Исследования и разработка методов автоматического обнаружения и подавления артефакта ложного оконтуривания для современных технологий компьютерной обработки изображений» (рук. А.С. Крылов).
Для проведения перспективных поисковых работ в области архитектуры современных компьютерных сетей на базе коллектива лаборатории вычислительных комплексов образован Центр прикладных исследований компьютерных сетей, получивший статус резидента Сколково. Работы ведутся совместно с Open Network Research Center Stanford.
Ведущие специалисты лаборатории технологий программирования также получили статус резидента Сколково в ИТ-кластере по тематике компьютерной безопасности.
Сотрудники факультета ведут исследования по 39 темам научно-исследовательских работ. В 2012 г. завершались 4 из этих тем.
«Исследование, разработка и применение современных информационных технологий» (рук. проф. И.В. Машечкин)
Сотрудниками лаборатории технологий программирования разработан новый метод многотемной классификации документов, обеспечивающий: возможность дообучения; возможность динамического удаления и добавления классов; разработан метод построения и анализа моделей поведения пользователей корпоративной сети, основанный на анализе неконтентной журналируемой информации. Создана технология построения интеллектуальных систем мониторинга работы пользователей, основанная на моделировании поведения корпоративных пользователей, которая позволяет строить системы раннего обнаружения внутренних вторжений и нецелевого использования ресурсов корпоративной сети. Предложен функциональный прототип системы мониторинга содержимого электронных документов. Получены два патента и свидетельство о государственной регистрации программ.
«Разработка компьютерной системы анализа умозаключений посредством трёхзначного обобщения булевой алгебры» (рук. чл.-корр. РАН Л.Н. Королёв, вед.н.с. Н.П. Брусенцов)
В лаборатории троичной информатики установлена трёхзначность основного в логике отношения необходимого следования – для его выразимости требуются три истинностных значения: наряду с необходимостью и исключённостью должна быть также возможность.
Создана программная реализация системы рассуждений, основанной на силлогистическом выводе в виде набора ДССП-процедур, выполняющих основные операции над логическими отношениями.
Получена возможность практического применения найденного способа выражения логических отношений на примере задачи определения оптимального набора способов выборочного изотопного мечения аминокислот в протеинах в целях отнесения пиков на двумерных спектрах ЯМР на основе троичного кодирования взаимосвязей.
Осуществлено программное моделирование троичного процессора с варьируемой длиной операндов. Показана возможность потритного сравнения чисел в троичной симметричной системе. Программно реализованы стартовая модель целочисленного троичного компьютера и ассемблер, кросс-компилятор языка ДССП-Т.
«Развитие математических и компьютерных методов обработки и анализа мультимедийной информации» (рук. доц. Ю.М. Баяковский, проф. А.С. Крылов)
В лаборатории компьютерной графики и мультимедиа и лаборатории математических методов обработки изображений разработаны:
– комплекс алгоритмов для построения трёхмерных моделей зданий по одному и нескольким изображениям, позволяющий существенно снизить необходимый объём пользовательского ввода по сравнению с существующими аналогами;
– комплекс алгоритмов для сопоставления изображений и построения мозаики для таких приложений, как обработка данных аэрофотосъёмки;
– комплекс алгоритмов для сопровождения и классификации людей по полу и возрасту в видеопотоке;
– алгоритм визуализации спектральных каустиков для преломляющих сред;
– метод обнаружения и оценки эффекта Гиббса на изображениях;
– метод интерактивного инкрементного построения всюду резких изображений по набору изображений с микроскопа;
– новые алгоритмы отслеживания объектов в видео;
– новый алгоритм классификации трехмерных точек в данных, полученных с лазерного сканирования;
– новый алгоритм сегментации и маттирования объектов в видеопотоке, на основе вычисления оптического потока совместно по каналам цветов и прозрачности.
Исследованы методы построения и повышения качества многоракурсных фотографий. Создан метод быстрого суперразрешения изображений.
«Интеллектуальные и мультимедийные системы для автоматизации научных исследований и обучения» (рук. проф. М.Г. Мальковский, вед.н.с. М.В. Леонов)
В лаборатории вычислительного практикума и информационных систем получены следующие основные результаты.
В направлении исследования параллельных алгоритмов реализован переборный алгоритм с балансировкой нагрузки между вычислительными узлами на суперкомпьютере «Ломоносов». Скорость решения задач по сравнению с суперкомпьютером Blue Gene/P увеличилась в 10 раз. Благодаря этому впервые в мире удалось решить шахматную задачу нахождения оптимальной стратегии в любом 7-фигурном окончании.
В рамках проекта «Интеллектуальные обучающие системы» разработана новая версия интегрированной среды ИКМУ (интеллектуальное рабочее места учащегося).
В направлении тематики дистанционного обучения разработано прототипное Web-приложение с функциями взаимодействия обучаемых с учителями и методистами. Сервер использует технологию ASP.NET, клиент работает в Интернет-браузерах, поддерживающих технологию HTML5. В качестве пилотного подготовлен курс обучения игре в шахматы. Система обеспечивает полный цикл разработки курсов, а также рабочее место учителя, рабочее место администратора системы, рабочее место учащегося.
С использованием технологии HTML5 разработано программное средство для подготовки упражнений по аудио-поддержке при изучении иностранного языка. В частности, оно позволяет одновременно с прослушиванием аудио (просмотром видео) просматривать и редактировать соответствующий текст.
В рамках проекта создания «Имматрикуляционной базы данных студентов Московского университета» разработан метод преобразования оцифрованных списков студентов из антикварных справочников в базу данных на примере 1886–1887 уч.г.
Одним из главных направлений в области организации и содержания учебного процесса стало создание развёрнутых основных образовательных программ (ООП) магистратуры и бакалавриата. Подготовлены Учебно-методические комплексы по ряду дисциплин, входящих в ООП. В учебные планы введён Суперкомпьютерный вычислительный практикум, предусматривающий выполнение заданий на супервычислителях МГУ (проведён для всех студентов V курса в 9-м семестре 2012/13 уч. г.); гуманитарный курс «Русский язык. Деловое общение» (по выбору студента, V курс).
Прочитаны новые спецкурсы: Актуарные расчёты в страховании «не-жизни»; Алгоритмы с точки зрения физики; Булевы уравнения и проблема выполнимости; Введение в топологию; Вероятностные методы в комбинаторике; Дополнительные главы квантовой криптографии; Естественные модели параллельных вычислений; Кинетические уравнения и метод частиц; Линейный анализ пульсовых волн давления; Математические задачи EDA; Математические модели квазиодномерной гемодинамики; Матрицы, тензоры, вычисления; Методы оптимизации в машинном обучении; Модели восстановления дискретных функций; Обратные и нелокальные задачи теплопроводности; Оптимальное управление нагревом стержня; Основы робототехники; Применение технологий электронной подписи при построении автоматизированных систем в защищенном исполнении; Разработка программного обеспечения для GNU/Linux; Расширение стандартных функций безопасности ОС Windows; Системы хранения и управления информацией; Технология CUDA для высокопроизводительных вычислений на кластерах с GPU; Численные методы в интегральных уравнениях и их приложения; Язык C# в научных приложениях; Языки описания схем.
Силами известных ИТ-компаний на факультете в рамках учебного плана были прочитаны новые курсы: CRM-технологии и практики создания бизнес-решений на базе передовых платформ; Java-технологии и практики создания приложений в многоуровневой архитектуре. Мастер-класс; Автоматический синтаксический анализ текстов на естественном языке.
В обучении по магистерским и другим учебным программам в области профессиональных средств разработки бизнес-приложений принимали участие иностранные ИТ-компании: SAP University Alliance, Software AG, Cisco Network Academy. Совместные учебно-научные разработки проходили при поддержке международных грантов Microsoft Research, Intel Technology.
В качестве приглашённых лекторов выступили: И.Л. Марков (Мичиганский университет, США), Р. Щипцова (Университета штата Юта, США), Вен-Мей Хву (компания NVIDIA, США), Хей Тони (вице-президент Microsoft Research Connections), Nick McKeown (Стэнфордский университет, США).
Продолжил работу Центр современных информационных технологий, в котором прошли обучение, и состоялся выпуск 19 слушателей из различных государств-членов ОДКБ по новой программе профессиональной переподготовки «Методы и средства обеспечения безопасности автоматизированных систем» (окт. – дек.).
В рамках Национальной образовательной инициативы «Наша новая школа» были проведены Летняя школа для учителей информатики (27–28 авг.) и Летняя школа для учителей начальных классов и учителей математики (23–24 авг.).
Факультетом организованы и проведены:
– Ломоносовские чтения (апр.);
– XIХ международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов–2012». Секция «Прикладная математика и информатика» (апр.);
– Международная суперкомпьютерная академия (июнь–июль);
– международная конференция «Кросс-платформа 2012» (июнь);
– 3-я Московско-римская школа по матричным методам и прикладной линейной алгебре (сент.);
– 22-я международная конференция по компьютерной графике и машинному зрению «Графи`Кон» (окт.);
– всероссийская научно-техническая конференция «Методы и средства обработки информации-2012» (окт.);
– VII фестиваль науки (окт.);
– Тихоновские чтения (окт.–нояб.);
– ХХII международная конференция-выставка «Информационные технологии в образовании» (ИТО-2012, 7–8 нояб.);
– VII международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» (нояб.).
Доцент кафедры математической кибернетики Захаров Владимир Анатольевич защитил докторскую диссертацию «Проблема эквивалентности программ: модели, алгоритмы, сложность» (специальность 01.01.09 – дискретная математика и математическая кибернетика). Разработан принципиально новый подход к решению проблемы эквивалентности программ, в котором конструкции теории автоматов используются на всех этапах решения проблемы: для моделирования управляющей структуры программ, для описания семантики программ и для построения разрешающих алгоритмов. Предложенные методы решения проблемы эквивалентности программ значительно расширяют область применения теоретико-автоматных и алгебраических методов в теории вычислений для решения задач семантического анализа программ. Установлены необходимые и достаточные условия, при которых эквивалентность программ в одних моделях вычислений влечёт эквивалентность этих же программ в других моделях вычислений. Предложены общие методы построения алгоритмов проверки эквивалентности программ в различных моделях вычислений путём сведения этой задачи к проверке пустоты словарных отношений, распознаваемых многоленточными машинами. При помощи предложенных методов получены новые оценки сложности проблемы эквивалентности в различных моделях вычислений и построены эффективные (полиномиальные по времени) алгоритмы решения проблемы эквивалентности в многочисленных классах императивных, рекурсивных и реагирующих программ.
Доцент кафедры функционального анализа и его применений Капустин Николай Юрьевич защитил докторскую диссертацию «Задачи для параболо-гиперболических уравнений и соответствующие спектральные вопросы с параметром в граничных точках» (специальность 01.01.02 – дифференциальные уравнения, динамические системы и оптимальное управление). Рассмотрены задача Трикоми для параболо-гиперболических уравнений с волновым оператором в гиперболической части и вырожденным на линии изменения типа гиперболическим оператором, смешанная задача со смешанной производной в граничном условии для оператора теплопроводности, а также возникающие в теории уравнений смешанного типа задачи со спектральным параметром в граничных условиях. Доказаны теоремы об однозначной обобщённой разрешимости в классе L2 задачи Трикоми для параболо-гиперболических уравнений с волновым оператором в гиперболической части и вырождающимся на линии изменения типа гиперболическим оператором. В случае, допускающем спектральный подход к решению задачи Трикоми, установлена точная в классах Lp и С априорная оценка решения и, тем самым, доказана максимальная гладкость обобщённого решения. Сформулировано условие корректности постановки смешанной задачи со смешанной производной в граничном условии из теории параболо-гиперболических уравнений. Получены новые результаты по вопросам полноты, минимальности и базисности в пространствах Lp, где p>1, С, С1 систем корневых функций задач со спектральным параметром в граничных условиях, возникающих в теории уравнений смешанного типа.
Доцент кафедры нелинейных динамических систем и процессов управления Фурсов Андрей Серафимович защитил докторскую диссертацию «Одновременная стабилизация: теория построения универсального регулятора для семейства динамических объектов» (специальность 01.01.02 – дифференциальные уравнения, динамические системы и оптимальное управление). Разработана теория построения универсального стабилизатора для конечных семейств линейных динамических объектов, позволившая минимизировать ограничения на классы стабилизируемых объектов. Предложены оригинальные подходы к решению задачи одновременной стабилизации по выходу линейных скалярных стационарных и нестационарных объектов, линейных векторных объектов, а также для одновременной стабилизации по состоянию линейных стационарных объектов различных динамических порядков. Введены новые постановки задач стабилизации: по выходу для семейств линейных нестационарных объектов; по состоянию для семейств линейных стационарных объектов различных динамических порядков.
Задача одновременной стабилизации возникает при управлении техническими объектами в условиях параметрических или структурных неопределённостей. Это может быть управление в обычных условиях эксплуатации, предполагающих несколько номинальных режимов работы или при управлении в условиях возможных сбоев, каждый из которых вносит прогнозируемые изменения в математическую модель объекта. Как пример возможного применения можно указать задачу удержания над скважиной в процессе бурения плавучей буровой установки методом динамического позиционирования в условиях возможных сбоев работы винтов продольного или поперечного перемещений. Дана классификация известных методов одновременной стабилизации конечных семейств линейных динамических объектов. Разработана теория универсальных стабилизаторов для семейств динамических объектов, в рамках которой развиты новые подходы к одновременной стабилизации с помощью регулятора заданного порядка. Получены новые конструктивные условия существования универсального стабилизатора для семейств динамических объектов различных порядков, обеспечивающего устойчивость замкнутых объектов, как с произвольным спектром, так и с заданной степенью устойчивости; разработаны методы построения цифрового универсального стабилизатора. Разработана новая численно реализуемая процедура построения одновременно стабилизирующего регулятора для семейств линейных стационарных скалярных динамических объектов. Разработан новый метод исследования одновременной стабилизируемости семейств векторных объектов, основанный на топологическом подходе. Получены условия существования универсальных стабилизаторов для конечных семейств линейных векторных стационарных объектов, а также семейств линейных нестационарных объектов. Разработан алгоритм одновременной стабилизации с использованием разрывных законов управления. Разработан новый метод построения универсальных стабилизаторов для объектов различных порядков в рамках матричного подхода.
Кандидатские диссертации защитили: асс. кафедры исследования операций Вржещ Валентин Петрович («Трёхпродуктовая модель межвременного равновесия экономики России, основанная на нелинейном дезагрегировании микроэкономической статистики»); мл.н.с. кафедры нелинейных динамических систем и процессов управления Гончаров Олег Игоревич («Алгоритмы стабилизации билинейных систем»); ст.препод. кафедры общей математики Комаров Михаил Владиславович («Вопросы существования решения и их асимптотика для нелинейных эволюционных уравнений»); асс. кафедры общей математики Кулешов Александр Андреевич («Аналитический вид обобщенных решений смешанных задач для волнового уравнения в случае нелокальных граничных условий и разрывных коэффициентов»); асс. кафедры автоматизации систем вычислительных комплексов Махнычев Владимир Сергеевич («Распараллеливание алгоритмов ретроанализа для решения переборных задач в вычислительных системах без общей памяти»); математик кафедры математической физики Павельчак Иван Алексеевич («Численные методы решения обратных задач для математических моделей возбуждения сердца»); асс. кафедры автоматизации систем вычислительных комплексов Сенюкова Ольга Викторовна («Разработка алгоритмов семантической сегментации и классификации биомедицинских сигналов низкой размерности на основе машинного обучения»); доц. кафедры алгоритмических языков Столяров Андрей Викторович («Информационная свобода и информационное насилие»); асс. кафедры автоматизации научных исследований Сучков Егор Петрович («Реконструкция эволюции равновесия тороидальной плазмы»).
Акад. РАН В.А. Ильин награждён орденом «За заслуги перед Отечеством» III степени «за заслуги в области образования, науки и большой вклад в подготовку квалифицированных специалистов».
Премии Правительства РФ в области образования удостоены:
– акад. РАН С.В. Емельянов, проф. В.В. Фомичёв за работу «Разработка и внедрение научно-методического комплекса организационных и научно-практических мероприятий, обеспечивающих повышение качества математического образования студентов инженерно-технических направлений и специальностей»;
– проф. К.В. Рудаков за работу «Система анализа и оценки научного содержания учебников для средней школы».
Победителями конкурса 2012 г. по государственной поддержке ведущих научных школ стали акад. РАН А.Б. Куржанский с исследованиями по теме «Новые классы задач динамики и управления движением в условиях реально доступной информации», акад. РАН Ю.С. Осипов – «Моделирование и управление в многомерных динамических системах», акад. РАН Е.И. Моисеев и акад. РАН С.В. Емельянов – «Изучение математических вопросов, возникающих при описании волновых процессов и процессов теплопередачи в технических и информационных устройствах спектральным методом и методом компьютерного моделирования».
Гранты Президента РФ для государственной поддержки молодых российских учёных-кандидатов наук получили: н.с. А.С. Конушин («Исследование алгоритмов индексации и поиска в видеоархивах»); асс. А.А. Холомеева («Изучение задач граничного управления, возникающих при математическом моделировании процессов колебания в технических и информационных устройствах»); асс. И.Г. Шевцова («Моментные оценки точности нормальной аппроксимации для сумм независимых случайных величин с асимптотически оптимальной структурой»).
Стипендию Президента РФ для молодых учёных, осуществляющих перспективные научные исследования и разработки по приоритетным направлениям модернизации российской экономики получили сотрудники Д.П. Ветров и А.А. Осокин.
Доц. А.Г. Дьяконов переведён на должность профессора в рамках программы поощрения перспективных молодых докторов и кандидатов наук «100+100».
Акад. РАН Е.И. Моисеев и директор Центра современных информационных технологий И.В. Чижов награждены памятной медалью «20 лет Договору о коллективной безопасности» за большую работу по подготовке специалистов из стран-участниц ОДКБ.
Премия Международной академической издательской компании «Наука/Интерпериодика» за лучшую публикацию в издаваемых ею журналах (по журналу «Дифференциальные уравнения») присуждена доц. А.С. Фурсову. Премия Японского статистического общества за лучшую книгу по статистике присуждена проф. В.В. Ульянову (Fujikoshi Y., Ulyanov V.V., Shimizu R. Multivariate Statistics: High-dimensional and large-sample approximation. John Wiley & Sons, Inc., Hoboken, NJ, 2010).
Победителем международного конкурса Digital Education Achivment Award (DEAA) стал проект ChronoZoom, одним из исполнителе которого является группа сотрудников и студентов факультета (рук. доц. С.Б. Березин).
Победителем международного конкурса JRS 2012 Data Mining Competition стал алгоритм классификации биомедицинских научных статей, предложенный д.ф.-м.н. А.Г. Дьяконовым.
Опубликовано 10 монографий, около 30 учебников и учебных пособий для высшей школы, в т.ч.:
Монографии
Гуров С.И. Булевы алгебры, упорядоченные множества, решётки: определения, свойства, примеры;
Дмитриев В.И. Обратные задачи геофизики;
Жуковский В.И. Уравновешивание конфликтов и приложения;
Куркина Е.С. Автоколебания, структуры и волны в химических системах. Методы математического моделирования;
Прохоров Ю.В. Избранные труды;
Серебряков В.А. Теория и реализация языков программирования;
Смольяков Э.Р. Теория поиска точных уравнений и законов движения;
Тихонов А.Н. Собрание сочинений. Т. 1;
Izmailov A.F., Solodov M.V. Optimizacao. V.2. Metodos computacionais.
Учебники, учебные пособия
Алексеев В.Б. Лекции по дискретной математике;
Баженова И.Ю. Языки программирования;
Батузов К.А., Белеванцев А.А., Жуйков Р.А. и др. Практические задачи по вводному курсу программирования;
Белеванцев А.А., Гайсарян С.С., Иванников В.П. и др. Задачи экзаменов по вводному курсу программирования;
Белеванцев А.А., Гайсарян С.С., Корухова Л.С. и др. Семинары по курсу «Алгоритмы и алгоритмические языки»;
Бордаченкова Е.А. Модельные ЭВМ;
Волошин С.А. Лекции по численному анализу;
Грацианова Т.Ю. Программирование в примерах и задачах;
Дмитрук А.В., Смирнов А.И. Выпуклый анализ. Элементарный вводный курс;
Журавлёв Ю.И., Флеров Ю.А., Федько О.С. Комбинаторика. Алгебра логики. Дискретный анализ;
Захаров Е.В., Орлик С.И. Интегральные уравнения. Ч. 1;
Королёв Л.Н., Маков А.И. Информатика. Введение в компьютерные науки;
Крицков Л.В. Высшая математика в вопросах и ответах;
Круглов В.М. Случайные процессы;
Кузнецов С.Д. Базы данных;
Марченков С.С. Операторы замыкания логико-функционального типа;
Марченков С.С. Функциональные системы;
Пагурова В.И. Моделирование экстремальных событий и смежные вопросы;
Пильщиков В.Н., Горячая И.В., Бордаченкова Е.А. Решение задач с использованием рекурсии;
Садовничая И.В., Фоменко Т.Н. Математический анализ. Предел и непрерывность функции одной переменной: теория и задачи;
Уфимцев М.В. Методы одномерного и многомерного статистического анализа. Ч. 1. Одномерные методы;
Чижов И.В., Борисов М.А., Заводцев И.В. Основы программно-аппаратной защиты информации.