Error, click for more details
10
Click to see notifications
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Error, click for more details
Error
Notice: Trying to get property of non-object в функции block_block_view() (строка 247 в файле /srv/www/clone_lvk/www/modules/block/block.module).
Основные научные результаты

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

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

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

Статистика

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


Выпущено 308 студентов


Подготовлен 21 кандидат физико-математических наук.


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


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



2016 - 2020

  • Госзадание "Исследование методов управления качеством сервиса в распределенных вычислительных системах и компьютерных сетях с программным управлением", 1 января 2016 - 31 декабря 2020

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/к



2005-2010

  • ОКР "Разработка ПО средств автоматизированной сборки и формирования загрузочных образов системного и прикладного ПО АПП СБИС ДЦТС", ЗАО НТЦ «Модуль», 2010
  • ФЦП "Развитие оборонно-промышленного комплекса Российской Федерации на 2007-2010 гг.", ОАО «НИИВК им. М.А.Карцева», 2008-2009
  • ОКР "Разработка системного ПО для графического процессора СБИС ДЦТС", ЗАО НТЦ «Модуль», 2009.
  • ОКР "Разработка драйвера видеоконтроллера высокого разрешения для ОС Linux", ЗАО НТЦ «Модуль», 2009.
  • ФЦП Развитие электронной компонентой базы, ЗАО НТЦ «Модуль», 2007-2009.
  • НИОКР Разработка методики применения программных средств моделирования вычислительной системы морского навигационного комплекса, ФГУП ЦНИИ «Электроприбор», 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.