• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
Анатолий Иванович Китов

МАКС Пресс, 2020.

Статья
“Statistical and Combinatorial Analysis of the TOR Routing Protocol - Structural Weaknesses Identified in the Tor Network”

Filiol E. A., Delong M., Job N.

FORSe 2018 & 2019 Special Issue, Antonella Santone Guest editor, Journal of computer Virology and Hacking Techniques. 2020. Vol. 16. No. 1. P. 3-18.

Глава в книге
Mathematical Modelling of Infrastructure as a Service

Nazarov A., Alireza Nik Aein K., Anshita D. et al.

In bk.: Collection of scientific works of International Scientific Conference "2020 SYSTEMS OF SIGNALS GENERATINGAND PROCESSING IN THE FIELD OF ON BOARD COMMUNICATIONS", (IEEE Conference #48371), Moscow Technical University of Communication and Informatics (МTUCI), Institute of Electrical and Electronics Engineers (IEEE), Media Publisher Ltd, 2020. IEEE, 2020. P. 1-6.

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

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

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

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

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

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

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

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

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

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

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

Начало в 13:00

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