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

Наука

Семинар лаборатории ПОИС: Системы функциональных уравнений счетнозначной логики // И.С. Калинина

На очередном заседании нашего семинара выступила аспирантка научного руководителя профессора Марченкова Сергея Серафимовича с ВМК МГУ, кафедра МК, Калинина Инна Сергеевна. Тема её доклада: Системы функциональных уравнений счетнозначной логики.

Научный проект Лаборатории ПОИС выиграл конкурс РФФИ

Проект "Синтез высокоуровневых моделей бизнес-процессов", в котором участвуют студенты и сотрудники Лаборатории ПОИС,  был поддержан Российским Фондом Фундаментальных Исследований (РФФИ).В этом году проект "Синтез высокоуровневых моделей бизнес-процессов", выполняемый молодыми исследователями под руководством старшего научного сотрудника Лаборатории ПОИС Каленковой А.А., выиграл конкурс проектов и получил поддержку РФФИ.

Семинар лаборатории ПОИС: On place invariants of nested Petri nets. Часть 2 // Л. Дворянский

На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС, старший преподаватель департамента программной инженерии Леонид Дворянский. Тема его доклада: On place invariants of nested Petri nets. Часть 2.

Семинар лаборатории ПОИС: On place invariants of nested Petri nets. Часть 1 // Л. Дворянский

На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС, старший преподаватель департамента программной инженерии Леонид Дворянский. Тема его доклада: On place invariants of nested Petri nets. Часть 1.

Семинар лаборатории ПОИС: Методология создания исполняемой модели и системы управления бизнес-процессами // И.Г. Фёдоров

На очередном заседании нашего семинара выступил кандидат технических наук, профессор МЭСИ Игорь Григорьевич Фёдоров. Он рассказал о своей работе: «Методология создания исполняемой модели и системы управления бизнес-процессами» и уделил максимальное внимание 2-м вопросам:

1.       Онтологии Бунге-Ванда-Вебера. Она позволяет определить, что есть полная модель процесса.
2.       Методу проверки бездефектной завершаемости процесса.

Семинар лаборатории ПОИС: Comparing business models using graph-edit distance // С. Иванов

На очередном заседании нашего семинара выступил стажер-исследователь лаборатории ПОИС, студент 4-го курса Сергей Иванов. Тема его доклада: Comparing business models using graph-edit distance.

Сергей рассказал о различных подходах к сравнению моделей бизнес-процессов, а также показал новый композиционный подход, разрабатываемый им в данный момент.

Семинар лаборатории ПОИС: стажеры Евгений Мистюков и Иван Шугуров

На очередном заседании научного семинара нашей лаборатории еще два стажера представили свои работы.
Тема доклада Евгения Мистюкова: Log-based transition system recovery. Иван Шугуров представил доклад по теме: GENA: Generator of artificial event logs. Current state of work.

Семинар лаборатории ПОИС: стажеры Антонина Бегичева и Наталья Никитина

В рамках научного семинара лаборатории ПОИС состоялись выступления стажеров-исследователей лаборатории.
Антонина Бегичева: Алгоритмы проверки соответствия между моделью и журналом событий на примере сетей Петри. Наталья Никитина: Алгоритмы размещения сетей Петри на плоскости.