• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Лаборатория приглашает студентов


Лаборатория приглашает студентов

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

Список тем курсовых и ВКР от сотрудников лаборатории на 2015-16 учебный год:

Руководитель  ТемаБакалаврМагистр
123ВКР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Интерпретатор языка ZETL на базе технологии ANTLR

ZETL interpreter based on ANTLR technology
      
2Транслятор для языка действий вложенных сетей Петри на базе технологии ANTLR

Nested Petri nets action language translator based on ANTLR technology
      
3Программа поиска ловушек сетей Петри логическими методами

Program for Petri nets traps searching via logical algorithms
      
4Программа поиска инвариантов сетей Петри алгебраическими методами

Program for Petri nets invariants searching via algebraical algorithms
      
5Программа анализа больших графов с помощью ZDD

Program for big graphs analysis via ZDD
      
6Реализация алгоритма проверки формул арифметики Пресбургера

Program for satisfiability checking of Presburger arithmetic formulae
      
7Программа автоматизации учебного процесса на web системе Joomla: ведомость преподавателя

Program for learning process automation based on Joomla web technology
      
8Программа поиска инвариантов сетей Петри в кольцах вычетов

Program for Petri net module invariants searching
      
9Программа поиска ловушек сетей Петри

Program for Petri net traps searching
      
         
Каленкова А.А.1Визуализатор временных характеристик исполняемых бизнес-процессов

The visualizer of temporal characteristics of executable business processes
      
Программа построения корректных моделей процессов с использованием перспективы данных

The program for construction of sound business-process models using data perspective
      
Программа извлечения взаимодействующих моделей процессов из логов событий

The program for interacting processes discovery from event logs
      
Программа анализа структур моделей процессов с использованием теории графов

The program for analysis of process models using graph theory
      
         
Шершаков С.А.1http://edu.pais.hse.ru/pub/ssh/ssh-term-projects.ru.pdf      
         
Мицюк А.А.Программа визуализации исполнения вложенных сетей Петри с помощью слоистых размещений

Software for Visualization of Nested Petri Nets Replay using Layered Layouts
      
Программа для автоматизированной подготовки комплекта документации по ГОСТ ЕСПД

Software for the Automated Preparation of GOST Documentation
      
Программа автоматизации ведения курсовых работ

Course Projects Automation Software
      
Программа Kanban-доска на Scala

Kanban-board Software in Scala
      
Игра типа «Kuikkusu» на Scala

"Kuikkusu"-type Game in Scala
      
Программа конвертации форматов XES-JSON-CSV-MXML

Software for the XES-JSON-CSV-MXML Conversion
      
Исследование возможностей извлечения моделей процессов из логов событий HTTP-сервера Apache

Investigation of the Possibilities of Process Models Extraction from the Event Logs of Apache HTTP Server
      
         

Посмотреть список проектов можно по ссылке.
Если заинтересовались нашей тематикой и хотите задать вопрос, пишите!

Приглашаем интересующихся студентов принять участие в работе научного семинара лаборатории, заседания которого проходят по понедельникам в 18:10. 

Добро пожаловать!