Список потенциальных тем для научных работ

Разработка алгоритмов анализа булевых регуляторных сетей, реализация их в системе Cytoscape и создание на основе этого IDE биоинформатика

Цель: Разработать серию алгоритмов анализа синхронных булевых регуляторных сетей (сетей Кауфмана).

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

Направление специализации: "Средства и конструкции в новых языках и системах программирования, ориентированных на разработку программного обеспечения мобильных устройств"

Современный этап развития ИТ характеризуется стремительным расширением областей их применения, в значительной мере обусловленным массовым производством и распространением мобильных устройств. В результате обостряется необходимость снижения трудоёмкости производства программного обеспечения таких устройств при одновременном повышении его надёжности и безопасности. Для выполнения таких требований нужен инструментарий, поддерживающий измерение характеристик программ, а также языков и систем программирования.

Разработка технологии описания жизненных циклов цифровых двойников технических устройств

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

Автоматический индуктивный синтез систем искусственного интеллекта

Автоматический программный синтез гарантирует корректность синтезированной системы ИИ.
Индуктивный синтез базируется на контрпримерах, поставляемых от оракула.

Очень сложная, но чрезвычайно важная тема на стыке ИИ и формальных методов.

Методы обратной трансляции с языков императивного программирования на язык функционального программирования

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

Это не одна, а серия (до пяти) дипломных работ для разных видов структур данных: односвязных и двусвязыных списков, очередей, деревьев разных видов и др.
Другая особенность - программы с асинхронным параллелизмом.

Разработка пользовательского интерфейса для информационно-вычислительных систем (интернет-порталов), ориентированных на атмосферные аэрозоли

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