• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Using Interface Patterns for Compositional Discovery of Distributed System Models
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
21 октября 2026 г.
Ученые НИУ ВШЭ систематизировали методы защиты изображений
Исследователи МИЭМ ВШЭ проанализировали схемы полухрупких цифровых водяных знаков для изображений, опубликованные за последние десять лет. Такие водяные знаки сохраняются при обычном сжатии или изменении яркости, но выдают подделку, если в снимок добавили объект или заменили лицо. Авторы предложили классификацию этих схем и выделили главные нерешенные проблемы. Результаты опубликованы в журнале Computer Science Review.
20 октября 2026 г.
«Наши работы можно назвать исследованиями на переднем крае науки»
Международная лаборатория кластерной геометрии, действующая на факультете математики НИУ ВШЭ, занимается формированием новой научной дисциплины, соединяющей в себе знания из различных областей математики. Выполненные в ней работы вызывают большой интерес, в том числе у зарубежных коллег. Лаборатория изучает семейства кривых и разрабатывает методы, применяемые в исследованиях физического микромира. Новостная служба «Вышка.Главное» побеседовала с заведующим лабораторией профессором Сергеем Ландо.
20 октября 2026 г.
За гранью возможного: в Вышке прошел финал IX сезона «Научных боев»
В конце сентября в Центре культур НИУ ВШЭ прошел финал IX сезона «Научных боев» с заглавной темой «За гранью возможного». Исследователи представили четыре работы. На каждое выступление отводилось по десять минут, после чего участники отвечали на вопросы жюри и зрителей. Спикеры искали границы между человеком и искусственным интеллектом, цифровой платформой и ее пользователями, государством и социальной инфраструктурой, а также между тем, как общество определяет человека, и тем, как он определяет себя сам.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Using Interface Patterns for Compositional Discovery of Distributed System Models

Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 4. P. 21–38.
R.A. Nesterov, I.A. Lomazova

Средства и методы process mining позволяют исследовать различные аспекты процессно-ориентированных информационных систем. Как правило, в рамках таких систем несколько исполнителей (агентов) взаимодействуют друг с другом. Поведение агентов, а также механизмы их взаимодействия описываются с помощью моделей процессов. Для моделирования процессов мы применяем обыкновенные сети Петри. Алгоритмы process discovery позволяют восстановить модели реального поведения агентов из журнала событий системы. Однако в случае масштабных систем анализ взаимодействия как поведения отдельных агентов, так и всей системы в целом затруднителен, так как получаемые модели крупномасштабных систем в большинстве случаев крайне громоздкие и плохо читаемые. Для решения этой проблемы мы предлагаем использовать так называемые паттерны интерфейсов, которые описывают, как агенты взаимодействуют друг с другом. С их помощью полная модель мультиагентной системы может быть получена путем композиции отдельных моделей агентов. Кроме того, модели мультиагентных систем, построенные с применением паттернов интерфейсов, позволяет легко идентифицировать поведение каждого отдельного агента. В целях обеспечения корректности применения паттернов интерфейсов мы применяем специальные конструкции на сетях Петри – морфизмы. Результаты эксперимента по применению паттерна для композиционального синтеза модели мультиагентной системы, представленные в работе, показали прирост основных метрик качества по сравнению с моделями, получаемыми с помощью стандартного подхода process discovery.

Приоритетные направления: компьютерно-математическое
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: распределенные системыкомпозициямультиагентные системысети ПетриPetri netsmulti-agent systemscompositionсинхронизацияprocess discoverySynchronization distributed systemsизвлечение процессовinterface patternsmorphismsпаттерны интерфейсовморфизмы
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Синтез и анализ моделей процессов (2017)
Похожие публикации
A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Discovering object-centric Petri nets with parametric arcs
I.I. Sergeev, I.A. Lomazova, Modeling and Analysis of Information Systems 2026 Vol. 33 No. 3 P. 394–419
Объектно-ориентированный process mining сформировался как эффективная парадигма анализа событийных данных, включающих несколько взаимодействующих бизнес-объектов. Существующие методы обнаружения моделей часто опираются на объектно-ориентированные сети Петри с фиксированными кратностями дуг, что ограничивает их способность представлять параметрические закономерности потребления и производства ресурсов, а также отражать количественные зависимости между взаимодействующими типами объектов. В данной работе предлагается метод обнаружения объектно-ориентированных ...
Добавлено: 24 сентября 2026 г.
An LLM-Based Approach for Creating Multi-agent Systems
Резуник Л., Александров Д. В., Mikhail Prozorskiy, , in: Intelligent Decision Technologies. Proceedings of the 17th KES-IDT 2025 ConferenceVol. 450.: Cham: Springer, 2026. P. 81–91.
Мультиагентные системы (МАС) могут использовать преимущества больших языковых моделей (БЯМ), но «галлюцинации» могут представлять опасность для процесса принятия решений.  В этой статье представлен подход к созданию МАС на основе БЯМ и предложена обобщенная архитектура таких систем.  Мы обеспечиваем проведение рассуждений с помощью предикатной логики для минимизации ошибок, а БЯМ используются исключительно для перевода естественного языка ...
Добавлено: 14 сентября 2026 г.
Управление передвижением группы БПЛА с соблюдением геометрической структуры строя на основе альтернативной коллективной адаптации
Лебедев О. Б., Котов Д. В., Известия ЮФУ. Технические науки 2024 № 1(237) С. 155–167
Основным способом решения задач планирования и управления движением является использование интеллектуальных технологий. При этом интеллектуальные технологии применяются для решения задач постановки и корректировки целей управления и программы действий по реализации этих целей, а также для формирования алгоритма управления в условиях неопределенности, обусловленной различными факторами, в исполнительных элементах, подсистеме управления движением, подсистеме планирования и поведения. Данная ...
Добавлено: 13 сентября 2026 г.
Dynamic Formation of Robot Movement Route in Nondeterministic Environment with Bypassing Stationary and Nonstationary Obstacles
Лебедев О. Б., Beskhmelnov M. I., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 543–548
В работе описан гибридный алгоритм динамического формирования траектории движения робота в недетерминированных средах с обходом стационарных и нестационарных препятствий в двумерном пространстве, основанный на интеграции волнового и муравьиного алгоритмов, что позволяет строить траектории минимальной длины в реальном времени с одновременной оптимизацией ряда критериев качества построенного пути. Ограничения, препятствующие построению траектории из текущей позиции, выявляются в ...
Добавлено: 10 сентября 2026 г.
Методы сбора данных средствами БПЛА при мониторинге труднодоступной местности
Лебедев О. Б., Лебедев Б. К., Известия ЮФУ. Технические науки 2026 № 2(250) С. 151–173
Предложены методика и метод построения модели исследуемой территории в виде конечной совокупности покрывающих ее зон (участков), отличающиеся тем, что все участки имеют форму прямоугольников. В работе рассматривается методы формирования на поле большой площади минимального набора участков, полностью покрывающих доступную территорию, исследуемую датчиками беспилотных летательных аппаратов. Размеры, ориентация и взаимное расположение участков направлены на минимизацию времени ...
Добавлено: 10 сентября 2026 г.
On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.
Добавлено: 30 июля 2026 г.
Growth in noncommutative algebras and entropy in derived categories
Пионтковский Д. И., / Series arXiv "math". 2026.
Добавлено: 23 июня 2026 г.
Multilinear nilalgebras and the Jacobian theorem
Пионтковский Д. И., / Series arXiv "math". 2025.
Добавлено: 23 июня 2026 г.
ML-based Fast Simulation of FARICH Responses
Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.
Добавлено: 19 мая 2026 г.
A High-Level Framework for Distributed Systems with Simulation-Based Testing Support
Yakovlev S., Oleg S., , in: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891)Vol. 2891.: Springer, 2026. P. 80–97.
Добавлено: 19 мая 2026 г.
Natural hazard database from Internet publications: text mining with a large language model
Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.
Добавлено: 28 апреля 2026 г.
Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena
Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.
Добавлено: 20 апреля 2026 г.
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
A control strategy for monitoring unknown flood regions by multiple UAVs
Song J., Bai Y., Svinin M. и др., Artificial Life and Robotics 2026 Vol. 31 No. 2 P. 365–377
Добавлено: 17 марта 2026 г.
Enhancing the Effectiveness of Management Decisions in Public Transport through Multi-Agent Technologies
Трофимов С. И., Ymer (https://ymerdigital.eu/) 2025 Vol. 24 No. 11 P. 1–18
Добавлено: 24 января 2026 г.
Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Система синхронизации для устройств квантового распределения ключей
Рудавин Н. В., Ящук В. Ю., Феимов А. А. и др., Журнал технической физики 2026 Т. 96 № 2 С. 341–356
В коммерческих устройствах квантового распределения ключей (КРК) высокая точность синхронизации между генераторами опорных частот передатчика и приемника играет ключевую роль для обеспечения их функционирования. Предложена реализация системы коррекции разницы частот генераторов для устройства КРК. Подробно описаны оптическая схема системы синхронизации, двухступенчатый метод коррекции частот и помехоустойчивый метод автоматического определения момента старта приема и передачи квантовых ...
Добавлено: 12 января 2026 г.
Optimal Control for Stochastic Multi-agent Systems With the Use of Parallel Hybrid Genetic Algorithm
Akopov A. S., Бекларян А. Л., , in: Numerical Computations: Theory and Algorithms. 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14–20, 2023, Revised Selected Papers, Part IVol. 14476.: Springer Publishing Company, 2025. P. 273–280.
Добавлено: 23 ноября 2025 г.
MADD: Multi-Agent Drug Discovery Orchestra
Solovev G. V., Zhidkovskaya A. B., Orlova A. и др., , in: Findings of the Association for Computational Linguistics: EMNLP 2025.: Association for Computational Linguistics, 2025. Ch. 367 P. 6956–6998.
Добавлено: 16 ноября 2025 г.
Интегрированный алгоритм балансировки нагрузки в распределенных информационных системах на основе методов теории принятия решений
Вишнеков А. В., Иванова Е. М., Ладовир А. А. и др., Информационные технологии 2025 Т. 31 № 11 С. 587–595
Рассматривается вопрос возможности применения методов теории принятия решений для решения задачи балансировки нагрузки в распределенных информационных системах. Выполнены обзор и анализ методов оценки и сравнения многокритериальных альтернатив, показаны их достоинства и недостатки в контексте решаемой задачи. Выбраны наиболее эффективные методы. Предложена методика решения задачи балансировки на основе интеграции методов принятия решений и методов машинного обучения. ...
Добавлено: 11 ноября 2025 г.
2025 2nd International Conference on Intelligent Computing and Robotics (ICICR)
Dalian: IEEE, 2025.
Добавлено: 3 ноября 2025 г.
Combining Logical Reasoning and LLMs Toward Creating Multi-Agent Smart Home Systems
L. Rezunik, M.A. Prozorskiy, D.V. Alexandrov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 219–234
Стремительное развитие технологий искусственного интеллекта, в частности больших языковых моделей (LLM), вызвало интерес к их интеграции в мультиагентные системы (МАС). Это открывает широкие перспективы в том числе для приложений умного дома, где они могут значительно улучшить пользовательский опыт за счет комфорта, энергоэффективности и безопасности. Несмотря на потенциальные преимущества, реализация МАС на основе LLM сталкивается с ...
Добавлено: 27 сентября 2025 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору