Научно-исследовательская 

деятельность

Руководитель: Джанкарло Суччи (h59)

Цели: создать новые и инновационные модели для оценки, улучшения и разработки программного обеспечения, которые могут переопределить понимание того, как как ПО разрабатывается, анализируется, проектируется и тестируется, и могут направлять будущее поколение менеджеров программного обеспечения, инженеров и разработчиков, с ожидаемым очень значительным глобальным влиянием как на мир исследований, так и на мир производства.

Основные направления:
●    Эмпирический анализ процессов разработки, включая гибкий подход, с открытым исходным кодом и т.д
●    Разработка программного обеспечения с использованием сравнительного анализа с творческими направлениями и биофизическими сигналами от разработчиков программного обеспечения

Руководитель: Владимир Иванов (h15)

Цели:
●    Применение практик SOTA в NLP для улучшения современных инструментов разработки программного обеспечения и открытия новых способов разработки и обслуживания программного обеспечения.
●    Анализ требований к программному обеспечению на естественном языке и описаний уязвимостей для проверки требований безопасности.
●    Семантический поиск исходного кода путем представления программного кода и текстовых описаний на основе иерархических и графических вставок.
●    Написание кода на языке C, Java, Go и Python в одном векторном пространстве, где близким векторам соответствуют близкие по смыслу фрагменты кода.

Основные направления:
●    NLP для разработки программного обеспечения.
●    Понимание требований естественного языка: извлечение требований из текста; NLP+ML для разработки надёжного программного обеспечения из ненадёжных источников.
●    NLP для формализации описаний уязвимостей безопасности.

Области применения: автомобилестроение, DevOps, бесшовная разработка.

Руководитель: Мануэль Маццара (h31)

Цель: разработка формальных методов для определения, анализа и проверки программного обеспечения в различных областях применения — операционные системы, блокчейн, разработка требований, финансовые технологии, языки программирования, киберфизические системы, разработка систем для IoT и умных городов.

Основные направления:
●    Формальное моделирование и проверка, включая свойства безопасности киберфизических систем, обучение, арифметику с плавающей запятой.
●    Тематические исследования: операционные системы (Harmony OS, в сотрудничестве с Huawei), киберфизические системы, автомобилестроение, образование, арифметика с плавающей запятой, языки программирования, экологичные вычисления.

Области применения: DevOps, EAV Крипто-биллинг, интернет роботизированных вещей.

Руководитель: Мохаммед Реза Бархами (h11).

Цель: разработка зданий с нулевым потреблением энергии для выбора подходящих вариантов конструкции систем пассивной и ресурсной энергии в различных климатических условиях. Основные направления.

Область исследований:
●    Политика в разных регионах для установки платформы с нулевым энергопотреблением.
●    Шаблоны дизайна и материалы, доступные для установки зданий с НПЭ.
●    Изучение опыта стран, где уже установлены платформы с нулевым потреблением энергии.
●    Проектирование и разработка НПЭ на местном уровне.

Цель: разработать систему для технического обслуживания с помощью облачной платформы.

Основные направления

●    Разработка динамического механизма для определения окружающей среды с использованием сенсорной технологии, включая мягкие сенсоры.
●    Создание хранилища знаний с помощью подходящих моделей машинного обучения для понимания потоков данных.
●    Разработка уровня хранения таким образом, чтобы помочь снизить затраты на ввод-вывод данных.

Цель: разработка и проектирование новых решений на основе оптимизации и теории игр для совместного использования ресурсов в сетях 5G и других сетях.
  
Проект будет сосредоточен на математическом моделировании, определении совместимости между разнородным оборудованием сетей 5G и других сетей.

Основные направления
●    Формальное моделирование сетей, включая будущие требования сетей 5G и других сетей, тематические исследования.
●    Решения, основанные на оптимизации, на теории кооперативных игр, на играх на сопоставление, теория аукционов, основанные на эвристике.

Области применения: будущие сети, сети 5G, нарезка сети, сетевая оркестрация и управление.

Цель: проектирование и внедрение различных ИТ-систем с точки зрения безопасности.

Основные направления

●    Проектирование и разработка защищённых систем и сетей.
●    Критический аудит систем и сетей на предмет недостатков безопасности и уязвимостей.
●    Разработка средств мониторинга и анализа безопасности.
●    Разработка новых техник и методов реагирования на инциденты и происшествия.

Проект финансируется Германским исследовательским фондом.

Руководитель: Кирилл Полёткин (h14)

Цель: разработка микроактуаторной системы, которая будет решать ряд комплексных задач, требующих позиционирования микрообъектов различной формы с высокой точностью, и при этом обеспечивать их перемещение с высокой скоростью на неограниченную дистанцию.

Руководитель: Сергей Савин (h22)

Цель: создать методы проектирования и управления роботами на основе тенсегрити-структур.

Основные направления:
●    Прямые и обратные задачи для положения и жесткости.
●    Использование машинного обучения в конвейере управления структурами тенсегрити.
●    Идентификация моделей тенсегрити-роботов.

Руководитель: Александр Климчик (h23)

Цель: разработать подходы, которые в полной мере используют новые динамические возможности, представленные приводами с переменной жесткостью.

Основные направления:
●    Генерация траекторий для VSA на основе сокращенных моделей.
●    Стабилизирующее управление приводами переменной жесткости с использованием их динамических свойств.
●    Определение стратегий использования VSA: энергоэффективность, устойчивость к столкновениям, безопасность в сценариях совместной работы.

Руководитель: Александр Климчик (h23)

Цель: создать набор методов для роботов на ногах, передвигающихся по неровной местности.

Основные направления:
●    Совершенствование методов построения траектории центра масс на основе ZMP.
●    Создание системы управления с нулевой динамикой для систем с недостаточным приводом.
●    Разработка методов для ходьбы.

Руководитель: Игорь Гапонов (h12)

Научные исследования в рамках двух международных грантов РФФИ с университетом КАИСТ из Южной Кореи и QMUL из Великобритании.

Результаты:
●    Предложили и исследовали расширенную математическую модель ПСТ, учитывающую эффекты упругой деформации тросов и влияние сил трения на поведение рабочего органа.
●    Разработали систему управления ПСТ с прогнозирующими моделями.
●    Провели численное моделирование конструкции экзоскелета для помощи поясничному отделу позвоночника, активные звенья которого приводятся в движение с помощью ПСТ.

Руководитель: Александр Климчик (h23)

Основные направления:

●    Разработка методов МSА для широкого круга практических задач, их обобщение.
●    Повышение точности манипулятивных задач за счёт использования лучших моделей и лучших методов идентификации моделей.
●    Расширение использования коллаборативных роботов за счёт внедрения искробезопасных роботизированных структур и коллаборативных алгоритмов для управления этими роботами.

Руководитель: Адил Хан (h28)

Основные направления

●    Использование надёжных методов оптимизации для разработки надежной и унифицированной системы классификации, учитывающей неопределённость данных.
●    Методы теории игр будут оценены для решения минимальной /максимальной задачи.
●    После нахождения универсального решения проблемы мы оценим его в системах классификации вредоносных программ на основе глубокого анализа.

Области применения: камера распознавания личности, программное обеспечение для обнаружения вредоносных программ, беспилотные автомобили, банковское дело и т. д.

Руководитель: Адил Хан (h28)

Основные направления:

●    Внедрение новых и усовершенствованных методов оценки и количественного определения пробелов в предметной области между учебными и целевыми областями.
●    Внедрение новых и улучшенных методов присвоения псевдомаркировок во время адаптации домена.
●    Обработка случаев обобщения из нескольких исходных доменов в неизвестный и наоборот.
●    Реализация методов адаптации домена и обобщения домена для видеоданных.

Области применения: классификация изображений, классификация видео, классификация текстов, машинный перевод, видеонаблюдение и т. д.