Лаборатория приглашает студентов
Лаборатория приглашает студентов
Лаборатория предлагает темы для курсовых и выпускных квалификационных работ (ВКР) студентам бакалавриата и магистратуры. В рамках наших исследовательских проектов появляется много интересных задач. Мы предлагаем принять участие в их решении под руководством научных сотрудников лаборатории и получить опыт реальной научной деятельности, разработки программного обеспечения, а также защитить хорошую, интересную работу в конце учебного года.
Список тем курсовых и ВКР от сотрудников лаборатории на 2019-20 учебный год:
| Руководитель | Тема | Бакалавр | Магистр | |||||
| 1 | 2 | 3 | ВКР | 1 | ВКР | |||
| Ломазова И.А. | 1 | Реализация и анализ применимости алгоритма развертки для вложенных сетей Петри Implementation and analysis of the applicability of the unfolding algorithm for nested Petri nets | ||||||
| 2 | Программа для расстановки приоритетов на переходах в сети Петри для обеспечения бездефектности системы The program for setting priorities for transitions in the Petri net to ensure soundness of the system | |||||||
| 3 | Обнаружение и визуализация различий в логах событий Discovery and visualization of differences in event logs | |||||||
| 4 | Выявление причинно-следственных связей между событиями в логах событий Identifying causal relations between events in the event logs | |||||||
| 5 | Определение пересечения вложенных сетей Петри и гиперсетей Петри и построение симулятора для их общего подкласса The definition of the intersection of nested Petri nets and Petri Hypernets and implementing a simulator for their common subclass | |||||||
| 6 | Сравнительная характеристика вложенных сетей Петри и гиперсетей. Расширение вложенных сетей за счет вщзможности перехода агентов с одного уровня на другой Comparative characteristics of nested Petri nets and Petri Hypernets. The extencion of nested Petri nets by еру ability of moving agents from one level to another | |||||||
| 7 | Морфизмы на сетях Петри. Построение коммутативной диаграммы для сетей Петри с пересекающимся множеством событий The morphisms on Petri nets. Construction of commutative diagrams to Petri nets with intersecting sets of events | |||||||
| 8 | По личному собеседованию (задачи по темам лаборатории ПОИС) | |||||||
| Шершаков С.А. | 1 | http://edu.pais.hse.ru/pub/ssh/ssh-term-projects.ru.pdf | ||||||
| Мицюк А.А. | 1 | Программа визуализации исполнения вложенных сетей Петри с помощью слоистых размещений Software for Visualization of Nested Petri Nets Replay using Layered Layouts | ||||||
| 2 | Программа для автоматизированной подготовки комплекта документации по ГОСТ ЕСПД Software for the Automated Preparation of GOST Documentation | |||||||
| 3 | Программа автоматизации ведения курсовых работ Course Projects Automation Software | |||||||
| 4 | Программа Kanban-доска на Scala Kanban-board Software in Scala | |||||||
| 5 | Игра типа «Kuikkusu» на Scala "Kuikkusu"-type Game in Scala | |||||||
| 6 | Программа конвертации форматов XES-JSON-CSV-MXML Software for the XES-JSON-CSV-MXML Conversion | |||||||
| 7 | Исследование возможностей извлечения моделей процессов из логов событий HTTP-сервера Apache Investigation of the Possibilities of Process Models Extraction from the Event Logs of Apache HTTP Server | |||||||
Посмотреть список проектов можно по ссылке.
Если заинтересовались нашей тематикой и хотите задать вопрос, пишите!
Приглашаем интересующихся студентов принять участие в работе научного семинара лаборатории. Добро пожаловать!
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.