|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lvk.cs.msu.ru/about
Дата изменения: Unknown Дата индексирования: Sat Apr 9 22:22:23 2016 Кодировка: UTF-8 |
Лаборатория Вычислительных комплексов (ЛВК)
Заведующий лабораторией д.ф-м.н, чл.-корр. РАН, профессор Смелянский Руслан Леонидович
Лаборатория вычислительных комплексов (ЛВК) входит в состав кафедры Автоматизации систем вычислительных комплексов на факультете Вычислительной математики и кибернетики МГУ им. М.В. Ломоносова. Лаборатория была образована в 1982 году. В 1992 году, в связи с расширением области деятельности, часть коллектива была выделена в аффилированную лабораторию Систем Sun в образовании и научных исследованиях, переименованную в 2005 году в лабораторию Информационных систем в образовании и научных исследованиях (ЛИС), затем в лабораторию Безопасности информационных систем (БИС).
Лаборатория была первой научно-исследовательской лабораторией в области Информационных технологий на факультете ВМК.
ЛВК ведет исследования в области распределенных вычислительных систем, в том числе бортовых систем реального времени и программно-конфигурируемых сетей.
Обучаясь в ЛВК, студенты получают опыт:
?Ведения научных исследований по выбранному направлению
?Практического внедрения результатов исследований в рамках работ с компаниями-партнерами ЛВК
ЛВК имеет собственную программу в магистратуре факультета ВМК, в рамках которой студенты ЛВК могут продолжить работы по выбранным направлениям исследований и по внедрению их результатов.
Основные направления научных исследований и разработок, ведущихся в ЛВК:
1."Планирование вычислений в вычислительных системах реального времени и структурный синтез ВС РВ"
Темы исследований:
?Планирование вычислительной нагрузки в центрах обработки данных
?Построение расписаний вычислений и обмена данными в бортовых многопроцессорных вычислительных машинах
?Построение систем виртуальных каналов в сетях передачи данных на основе коммутаторов
?Виртуализация в бортовых ВС РВ
?Применение "природных" алгоритмов для планирования вычислений: генетические алгоритмы, алгоритмы имитации отжига, алгоритмы муравьиных колоний
Партнеры ЛВК: Объединенная авиастроительная корпорация, ОКБ Сухого, EMC, РЕДЛАБ-И.
Применение результатов исследований:
?Планировщик вычислительной нагрузки в центрах обработки данных
?Программная система построения расписаний для бортовой вычислительной системы самолета-истребителя пятого поколения (Т-50)
?Программная система построения расписаний обмена данными для бортовых ВС самолетов Су-35, Т-50
?Программная система конфигурирования бортовых сетей на основе коммутаторов (стандарты Fibre Channel, AFDX)
Кому задавать вопросы: Балашов Василий Викторович, hbd@cs.msu.su, ауд. 760
2."Анализ функционирования и обеспечение отказоустойчивости вычислительных систем реального времени"
Темы исследований:
?Тестирование и полунатурное моделирование бортовых ВС РВ
?Обеспечение отказоустойчивости ВС РВ
?Автоматизация построения имитационных моделей ВС РВ по описанию архитектуры ВС
?Синхронизация времени в распределенных системах моделирования
?Применение программно-конфигурируемых сетей в ВС РВ
Партнеры ЛВК: Объединенная авиастроительная корпорация, ОКБ Сухого, РЕДЛАБ-И.
Применение результатов исследований:
?Программный комплекс тестирования и испытаний бортовых вычислительных систем современных самолетов: военных (Су-35, Т-50), гражданских (лайнер МС-21)
?Система полунатурного моделирования бортовых ВС, поддерживающая поэтапную интеграцию ВС с заменой моделей бортовых устройств на реальные устройства
?Программная система выбора оптимальных механизмов отказоустойчивости для бортовых ВС
Кому задавать вопросы: Волканов Дмитрий Юрьевич, volkanov@lvk.cs.msu.su, ауд. 764
3."Программно-конфигурируемые сети, виртуализация и облачные вычисления"
Темы исследований:
?Средства построения, анализа, моделирования, управления и обеспечения безопасности программно-конфигурируемых сетей (ПКС)
?Применение технологий ПКС (SDN) и виртуализации сервисов (NFV) в различных прикладных областях: центры обработки данных, распределенные хранилища данных, корпоративные сети
Партнеры ЛВК: Центр прикладных исследований компьютерных сетей, EMC, Ростелеком, Huawei
Применение результатов исследований:
?Первая российская операционная система (контроллер) для компьютерных сетей нового поколения
?Коммутатор для ПКС-сетей
?ПО для создания самоорганизующихся и распределенных IaaS облаков и виртуальных центров обработки данных
?Система обнаружения вредоносного кода в ПКС-сетях
Кому задавать вопросы: Антоненко Виталий Александрович, anvial@lvk.cs.msu.su
