• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Crystallochemical Design of Huntite-Family Compounds

Kuz’micheva G. M., Kaurova I. A., Rybakov V. B. et al.

Crystals. 2019. Vol. 9. No. 2. P. 1-49.

Глава в книге
Structural Synthesis of the IoT System for the Fog Computing

Saksonov E., Leokhin Y., Panfilov, P.

In bk.: 24th Conference of Open Innovations Association FRUCT, FRUCT 2019. IEEE Computer Society, 2019. P. 381-387.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Предварительная защита кандидатской диссертации Шершакова Сергея Андреевича

16+
Мероприятие завершено
25 июня 2019 года  на совместном заседании департамента программной инженерии и научно-учебной лаборатории процессно-ориентированных информационных систем состоится предварительная защита кандидатской диссертации  Шершакова Сергея Андреевича.

Тема работы: «Методы и инструменты повышения эффективности алгоритмов майнинга процессов».

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

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

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

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

Научный руководитель:  доктор физико-математических наук И.А.Ломазова

Начало в 13:00

Адрес: Кочновский проезд, д.3., ауд. 400.