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

Методы и средства отладки Cloud Sisal программ

Отладка программы является важным этапом разработки, занимающий, как правило больше времени чем написание программы. Выбор оптимального метода может существенно сократить объем работы для исправления ошибок.

Применение декомпозиция графов для решения СЛАУ

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

Циркулярная укладка атрибутированного иерархического графа с портами

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

Алгоритм замены скрытых субтитров в непрерывном потоке данных телетекста

Есть стандарт ETSI EN 300 706 «Enhanced Teletext specification» на 156 страниц, в котором описано, как передавать текстовую информацию в телевизионном сигнале. Среди множества возможностей стандарта есть возможность передачи скрытых стандартов. Именно эта возможность является обязательной для России. Для телеканала «ОТР» (и некоторых других каналов, например, «Россия») необходима замена федерального контента региональным, например, вставка местных блоков новостей (со скрытыми субтитрами). Одновременно с показом видео должны показываться скрытые субтитры.

Разработка системы обработки данных об архитектуре нервной системы C. elegans, генерирующей на их основе программный код модели биологической нейронной сети

Предполагаемая структура магистерской диссертации:
Глава 1. Обзор современных представлений о методах компьютерного моделирования активности нервных и мышечных клеток, входящих в состав живого организма, с целью изучения фундаментальных механизмов, лежащих в основе нервной деятельности и поведения. Морфологические и электрофизиологические особенности этих типов клеток в организме C. elegans – объекте исследования данной работы. Обоснование актуальности поставленных задач.

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

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

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

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

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

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

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

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

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

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

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

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

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