?
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
P. 9–14.
Дворянский Л. В., Фрумин Д. И.
Вложенные сети Петри это формализм для моделирования мультиагентных распределенных систем со сложной динамической структурой. Несмотря на ряд полезных свойств вложенных сетей Петри для моделирования упомянутых систем, отсутствие инструментальной поддержки сдерживает развитие и применение формализма. В данной работе представлен инструмент NPNtool для редактирования вложенных сетей Петри и композициональной проверки живости. Предложен алгоритм для проверки m-бисимулярности, необходимый для композициональной проверки живости. Представлены экспериментальные результаты использования инструмента на классическом примере обедающих философов.
Ключевые слова: композициональностьмультиагентные системыnested Petri netsвложенные сети Петриcompositionalitymulti-agent systemslivenessживость
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Резуник Л., Александров Д. В., 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 г.
Лебедев О. Б., 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 г.
Song J., Bai Y., Svinin M. и др., Artificial Life and Robotics 2026 Vol. 31 No. 2 P. 365–377
Добавлено: 17 марта 2026 г.
Трофимов С. И., Ymer (https://ymerdigital.eu/) 2025 Vol. 24 No. 11 P. 1–18
Добавлено: 24 января 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 г.
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 г.
Dalian: IEEE, 2025.
Добавлено: 3 ноября 2025 г.
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 г.
Leonidov A., Васильев С. Б., Vasilyeva E., Chaos, Solitons and Fractals 2025 Vol. 201 No. 2 Article 117242
Добавлено: 26 сентября 2025 г.
Е. Zemlyanoy, R. Nesterov, Proceedings of the Institute for System Programming of the RAS 2025 Vol. 37 No. 4-2 P. 47–68
Добавлено: 21 сентября 2025 г.
A. A. Sherstyugina, R. A. Nesterov, Proceedings of the Institute for System Programming of the RAS 2023 Vol. 35 No. 3 P. 11–32
Добавлено: 31 октября 2023 г.
Баулина П. В., Шаги/Steps 2023 Т. 9 № 3 С. 258–276
В статье рассматривается феномен (медиа)при- сутствия как способ проекционного воплощения объектов в теа- тре. На материале западноевропейских постановок 2000–2010-х годов описаны техники использования в спектаклях проекцион- ных поверхностей и устройств. Исследование представляет со- бой попытку критического описания и каталогизации режимов присутствия с помощью проекционных образов. Теоретико-мето- дологическая рамка, применяемая в статье, включает комплекс идей на ...
Добавлено: 13 октября 2023 г.
Представлен новый генетический алгоритм (FCGA-AM) с вещественным кодированием, использующий предложенный оператор адаптивной мутации (AM) и предназначенный для оптимизации характеристик разработанной интеллектуальной транспортной системы. С использованием различных тестовых функций и известных метрик качества фронтов Парето выполнена оценка эффективности предложенного генетического алгоритма в сравнении с другими методами многокритериальной эвристической оптимизации. Далее FCGA-AM был применен для поиска наилучших ...
Добавлено: 4 июня 2023 г.
Драгалина-Черная Е. Г., Логические исследования 2022 Т. 28 № 1 С. 27–49
Статья посвящена регрессу обоснования, описанному Кэрроллом в эссе «Что Черепаха сказала Ахиллу». Дискуссии о регрессе обоснования, начавшиеся задолго до его описания Кэрроллом и уходящие корнями в проблематику топического обоснования в античной и средневековой логике, продолжаются до сих пор. Большинство исследователей согласно, однако, с тем, что ключевой причиной бесконечного регресса является превращение правила вывода в дополнительную ...
Добавлено: 29 мая 2022 г.
Нестеров Р. А., Bernardinello L., Ломазова И. А. и др., Software and Systems Modeling 2023 Vol. 22 P. 351–375
Добавлено: 5 мая 2022 г.