Основные результаты и достижения

За период с 2019 по 2022 гг. получены следующие основные результаты:

  • Разработана архитектура и выполнена экспериментальная реализация Мета-облачной вычислительной среды (МОВС, англ. MC2E), ориентированной на объединение ЦОД и суперкомпьютеров в единую федеративную вычислительную среду для MPI-задач
  • Разработан набор вариантов построения конвейера обработки пакетов для высокопроизводительного сетевого процессора, построены имитационные модели для этих вариантов, проведено экспериментальное исследование

За период с 2016 по 2018 гг. получены следующие основные результаты:

  • Разработана архитектура и способы междоменного взаимодействия в распределённой платформе виртуализации сетевых функций.
  • Создан точный алгоритм распределения вычислительной нагрузки по модулям и процессорным ядрам в распределенных ВСРВ с архитектурой ИМА.
  • Разработан метод применения многопоточной передачи пакетов для балансировки трафика в программно-конфигурируемой компьютерной сети

За период с 2000 по 2015 гг. получены следующие основные результаты:

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

Современные направления исследований описаны здесь.

Статистика

Выполнено в 2000-2021 гг. работ за счёт внебюджетных средств на общую сумму 310,5 млн. руб.


Выпущено 360 студентов (по состоянию на июль 2021 г.)


Подготовлены 23 кандидата физико-математических наук (по состоянию на март 2022 г.).


Отчёт о деятельности лаборатории за 2008-2015 гг. на Учёном совете факультета.


Выполняемые и завершённые проекты
2021 - 2022
2016 - 2020
2011 - 2015
2005 - 2010
2000 - 2005
до 2000 года



2021 - 2022

  • Госзадание "Методы управления пропускной способностью при взаимодействии в компьютерных сетях", 2021-2025 гг.
  • Договор № YBN2020045055, Huawei Software Technologies Co., Ltd., 2020-2021 гг.
  • Договор № ТС 20220208493, Huawei Software Technologies Co., Ltd,, 2022-2023 гг.

    • 2016 - 2020

    • Госзадание "Исследование методов управления качеством сервиса в распределенных вычислительных системах и компьютерных сетях с программным управлением", 1 января 2016 - 31 декабря 2020
    • Грант Минобрнауки РФ "Исследование и разработка метаоблачной вычислительной среды", 2018-2020 гг, соглашение о предоставлении субсидии 05.613.21.0088.
    • Проект РФФИ "Моделирование и анализ перспективных архитектур отечественных сетевых процессоров", 19-07-01076а, 2019-2021 гг.
    • Проект РФФИ "Разработка методов и средств повышения эффективности использования ресурсов в вычислительных системах с жесткими требованиями к качеству обслуживания", 19-07-00614а, 2019-2021 гг.
    • Проект РФФИ "Исследование методов планирования и распределения сетевых ресурсов в виртуальных пластах программно-конфигурируемой сети", 19-07-01112а, 2019-2021 гг.
    • Проект РФФИ "Исследование принципов междоменного взаимодействия в распределенной платформе виртуализации сетевых функций", 18-07-01245а, 2018-2020 гг.
    • Проект РФФИ "Исследование методов повышения пропускной способности транспортных соединений с помощью сегментирования сети", 18-07-01255а, 2018-2020 гг.
    • Проект РФФИ "Разработка теоретических основ, методов и средств построения систем реального времени, сочетающих федеративную и интегрированную модульную архитектуру", 17-07-01566а, 2017-2019 гг.
    • Госконтракт Арктика-2030-МГУ, 4 мая 2018 г. - 25 октября 2018 г.
    • Договор № YBN2016100092, Huawei Software Technologies Co, 01 декабря 2016 г.-01 апреля 2018 г.
    • Договор № YBN2016050040, Huawei Software Technologies Co, 01 июля 2016 г.-30 сентября 2017 г.

    2011 - 2015

    • Госзадание, "Методы и инструментальные средства анализа функционирования и разработки встроенных систем реального времени", 1 января 2011 - 31 декабря 2015,
    • Госзадание "Методы анализа и выявления вредоносного программного обеспечения в современных сетях ЭВМ", 1 января 2011 - 31 января 2015,
    • Минобрнауки, "Исследование и разработка средств управления ИТ-инфраструктурой в проводных корпоративных и ведомственных компьютерных сетях на основе технологии программно-конфигурируемых сетей (ПКС, SDN) и виртуализации сетевых сервисов (NFV)" 23 сентября 2014 - 31 декабря 2016, рук. Костенко В.А., ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014—2020 годы», № соглашения 14.607.21.0070
    • Минобрнауки, "Создание прототипа отечественной ПКС платформы управления сетевыми ресурсами и потоками с помощью сетевой операционной системы (СОС) на основе анализа и оценки существующих сетевых операционных систем для ПКС сетей и выбора одной из них для последующего развития", 1 марта 2013 - 28 августа 2013, рук. Смелянский Р.Л., контракт №14.514.11.4047
    • Минобрнауки, "Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени", ФЦП "Научные и научно-педагогические кадры инновационной России", 20 сентября 2010 - 15 ноября 2012, рук. Смелянский Р.Л., №14.740.11.0399
    • РФФИ, "Модели, методы и алгоритмы верификации и управления качеством сервиса в телекоммуникационных сетях нового поколения" (4 февраля 2014 - 31 декабря 2016, рук. Смелянский Р.Л., №14-07-00625-а)
    • РФФИ, "Разработка высокоэффективного гибридного алгоритма синхронизации времени для распределённого дискретно-событийного имитационного моделирования" (14 марта 2013 - 31 декабря 2015, рук. Бахмуров А.Г., №13-07-00751-а)
    • РФФИ, "Средства автоматической проверки темпоральных свойств асинхронных систем взаимодействующих процессов" (1 января 2013 - 31 декабря 2015, рук. Чистолинов М.В., №13-07-00669-а)
    • РФФИ, "Исследование новых подходов к анализу функционирования компьютерных сетей нового поколения масштаба WAN" (5 февраля 2014 - 31 января 2016, рук. Балашов В.В., №14-07-00743-а)
    • РФФИ, "Создание методов автоматического анализа поведения приложений, созданных с помощью скриптовых языков" (1 марта 2011 - 31 декабря 2013, рук. Смелянский Р.Л., №11-07-00609)
    • РФФИ, "Моделирование распространения вредоносного программного обеспечения в глобальных компьютерных сетях для оценки наносимого им ущерба", (2010-2012, № 10-01-00581a, рук. Костенко В.А.)
    • ЗАО НТЦ «Модуль», "Разработка программного обеспечения макета мультимедийной подсистемы СБИС ЦОТС", 2012-2013
    • ЗАО НТЦ «Модуль», "Разработка программного обеспечения декодирования и совместного отображения аудио и видео для комплекта унифицированного электронного модуля декодера, 2011-2012
    • ЗАО НТЦ «Модуль», "Разработка программного обеспечения декодирования и отображения видео для комплекта унифицированного электронного модуля декодера; ЗАО НТЦ «Модуль», 2011-2012
    • ОКР Разработка программных средств СО_NM для процессора 1879ВМ4", ЗАО НТЦ «Модуль», 2010-2011.
    • ОКР "Разработка базовых технологий моделирования, проектирования, диагностики и испытаний вычислительных комплексов высокой производительности, радиоэлектронных систем различного назначения" шифр "Аппарат-М", ОАО «НИИВК им. М.А.Карцева»26.07.2011-17.09.2013, №96/11/к
    • Госконтракт Зимородок 08/660, 04.2009 – 09.2011
    • Госконтракт Звонок-КВ 08/658, 04.2009 – 09.2011
    • Госконтракт Занзибар 10/73, 04.2010 – 03.2012
    • Госконтракт Зимородок-New 12/415, 08.2012-11.2013



    2005-2010

    • ОКР "Разработка ПО средств автоматизированной сборки и формирования загрузочных образов системного и прикладного ПО АПП СБИС ДЦТС", ЗАО НТЦ «Модуль», 2010
    • Госконтракт 62/119 Марево-М, 08.2008 – 03.2010
    • Госконтракт Мотель-К 62/118, 06.2008 – 02.2010
    • Госконтракт Зона Web 08/54, 04.2008 – 03.2010
    • Госконтракт 08/53 Заряд-А, 04.2008-03.2010
    • ФЦП "Развитие оборонно-промышленного комплекса Российской Федерации на 2007-2010 гг.", ОАО «НИИВК им. М.А.Карцева», 2008-2009
    • ОКР "Разработка системного ПО для графического процессора СБИС ДЦТС", ЗАО НТЦ «Модуль», 2009.
    • ОКР "Разработка драйвера видеоконтроллера высокого разрешения для ОС Linux", ЗАО НТЦ «Модуль», 2009.
    • ФЦП Развитие электронной компонентой базы, ЗАО НТЦ «Модуль», 2007-2009.
    • Госконтракт 06/222 Сервис-А, 07.2006-03.2008
    • Госконтракт 6/1 Метеорит, 03.2006-04.2008
    • НИОКР Разработка методики применения программных средств моделирования вычислительной системы морского навигационного комплекса, ФГУП ЦНИИ «Электроприбор», 2008-2009.
    • ОКР "Разработка программных средств для моделирования вычислительной системы морского навигационного комплекса", ФГУП ЦНИИ «Электроприбор», 2006-2007.
    • ОКР "Совершенствование средств моделирования и разработки программ для спецвычислителей на основе процессоров NeuroMatrix", ЗАО НТЦ «Модуль», 2005-2006.
    • ОКР "Информационная безопасность для транспортных средств", Daimler AG, 2006, 2007-2008.
    • ОКР "Разработка и внедрение пакета алгоритмов однокритериальной и многокритериальной оптимизации. Разработка и внедрение специальной методики и средств для решения крупномасштабных многокритериальных задач проектирования при использовании высокоэффективных распределённых компьютерных систем". ST Microelectronics, 2003-2006.
    • РФФИ 07-01-00237" Создание новых методов и средств анализа функционирования распределенных вычислительных систем за счет интеграции методов и средств имитационного моделирования с методами и средствами планирования и оптимизации", 2007-2009.
    • РФФИ 04-01-00556 "Разработка методов и средств поддержки проектирования вычислительных систем реального времени на основе метода имитационного моделирования", 2004-2006.



    2000-2005

    • НИР "Квантор", обнаружение компьютерных атак на информационно-телекоммуникационные системы, построенные с использованием оборудования Cisco Systems.
    • НИР "Мониторинг-ЛВС", исследование возможностей обнаружения компьютерных атак в локальных вычислительных сетях. 2001-2002.
    • НИР "Невод", Исследование возможности использования интеллектуальных методов для обнаружения компьютерных атак.
    • ОКР "Сервис-КП", исследование возможности обнаружений уязвимостей веб-приложений по их исходному коду на интерпретируемых языках. 2003-2004.
    • ОКР "3-МСВС-Х", cоздание Х-сервера для среды с мандатным разграничением доступа. 2001-2002.
    • ОКР "Интервал", создание стенда полунатурного моделирования бортового комплекса летательного аппарата. 2001-2002.
    • ОКР "Модель NM", создание модели векторного вычислителя NeuroMatrix и среды разработки ПО для многопроцессорной системы на основе данного процессора. 2001.
    • ОКР "Мониторинг-РВС", ОКР "Мониторинг-РВС-И" разработка системы обнаружения атак для сетей органов государственной власти РФ, создание интеллектуальных методов обнаружения атак 2003-2005.
    • ОКР 11-ФЦ, разработка подсистемы составления расписания для ф-та ВМиК и разработка системы дистанционного обучения. 2001-2002.
    • ЗАО НТЦ «Модуль», ОКР СОАИЗ, разработка компилятора и интерпретатора байт-кода для встроенной системы. 2005.
    • ОКР УМ-01-04-03, разработка учебных дистанционных курсов для Sun Microsystems. 2003.



    до 2000 года

    • EC INCO-COPERNICUS, проект 977020 - DR TESY, сравнительное исследование методов и инструментальных средств моделирования и логического анализа программного и аппаратного обеспечения встроенных систем реального времени. В проекте участвовали: эксперты в предметной области - Военный авиационно-технический университет им. Н.Е. Жуковского (ВАТУ), ГосНИИАС; разработчики инструментальных средств - факультет ВМиК МГУ, научно-исследовательские институты GMD FIRST (Германия), CWI (Нидерланды). 1998-2000.
    • НИИСИ РАН, "Багет", моделирование вычислительного комплекса "Багет". 1997-2000.
    • НИЦ «Контур», NetEdit, анализ производительности телекоммуникационных сетей. 1995-1999.
    • ЦНИИРЭС, НИР "Пальмира", НИР "Штора", отработка структуры интегрированного бортового вычислительного комплекса. 1990-1993, 1995-1996.
    • ЦНИИ машиностроения, НИР "Салют-У", НИР "Совершенствование-У", прототипирование средств разработки архитектуры бортовой вычислительной системы космического аппарата. 1991-1994.
    • НПО "Взлёт", поддержка процесса сертификации ПО беспилотного летательного аппарата. 1989.

    Раздел в разработке