• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Using Interface Patterns for Compositional Discovery of Distributed System Models
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 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
  • еще
Тематика
Новости
16 сентября 2026 г.
Пользующиеся ИИ сотрудники зарабатывают на 41% больше
Экономисты НИУ ВШЭ выяснили, что российские сотрудники, которые регулярно пользуются искусственным интеллектом в работе, зарабатывают намного больше тех, кто отказывается от новых инструментов или прибегает к ним время от времени. Среди высококвалифицированных специалистов прибавка достигает 41,8%. Статья опубликована в журнале «Вопросы экономики».
16 сентября 2026 г.
Ученые НИУ ВШЭ - Санкт-Петербург разработали новые соединения для борьбы с раком
Ученые Лаборатории био- и хемоинформатики НИУ ВШЭ — Санкт-Петербург совместно с коллегами из Университета Цзинань (Китай) и Санкт-Петербургского государственного технологического института разработали малые молекулы, преодолевающие химическую защиту раковых клеток. В отличие от классических ингибиторов, которые только блокируют активность белка, новые соединения удаляют его целиком. Работа ведется при поддержке Российского научного фонда.
14 сентября 2026 г.
Когда картинка мешает понять: ученые НИУ ВШЭ выяснили, что сложным идеям не всегда нужны иллюстрации
Иллюстрации помогают запоминать конкретные действия, но не всегда облегчают понимание абстрактных идей. Исследователи НИУ ВШЭ и Университета Гумбольдта сравнили, как люди усваивают тексты разного уровня абстрактности. Выяснилось, что участники лучше запоминали иллюстрации и выполняли задания после чтения мультимедийного текста об асанах йоги, чем после чтения абстрактного текста о равновесии Нэша. Результаты помогут эффективнее подбирать иллюстрации для учебных и информационных материалов. Исследование опубликовано в журнале Learning and Instruction.

 

Нашли опечатку?
Выделите её, нажмите 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)
Похожие публикации
Управление передвижением группы БПЛА с соблюдением геометрической структуры строя на основе альтернативной коллективной адаптации
Лебедев О. Б., Котов Д. В., Известия ЮФУ. Технические науки 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. ADVANCES IN MATHEMATICAL THEORY AND APPLICATIONS 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 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 г.
Implementing Transport Coding in OMNeT++ for Message Delay Reduction
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
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 г.
On consensus equilibria in a multilayered multiagent system
Leonidov A., Васильев С. Б., Vasilyeva E., Chaos, Solitons and Fractals 2025 Vol. 201 No. 2 Article 117242
Добавлено: 26 сентября 2025 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору