Название статьи: О дискретно-автоматных моделях конформного поведения
Библиография: Семёнов А. А., Кочемазов С. Е. О дискретно-автоматных моделях конформного поведения / Управление большими системами. Выпуск 46. М.: ИПУ РАН, 2013. С.266-292.
Дата опубликования: 30.11.2013
Ключевые слова: модели конформного поведения, дискретноавтоматные модели, символьные алгоритмы, SAT
Аннотация: В работе для исследования феномена конформного поведения вводится дискретно-автоматная модель. Концептуально данная модель близка к дискретным моделям, используемым в компьютерной биологии для описания динамических процессов в генных сетях. В рамках введенной модели исследуются мультиагентные
системы, в которых помимо агентов-конформистов, принимающих решения в зависимости от мнения их окружения, имеются агенты, которые никогда не меняют своего мнения (так называемые «агитаторы» и «лоялисты»). Исследуются задачи поиска таких начальных размещений относительно небольшого числа агитаторов (лоялистов), которые способствуют переходу системы в состояние с большинством действующих (бездействующих) агентов. Использованный в работе вычислительный аппарат, основанный на SAT-подходе, позволил с помощью обычного ПК решать соответствующие задачи для случайным образом сгенерированных систем на 100 вершинах.
Author(s): Semenov A., Kochemazov S.
Article title: Analysis of some discrete-automaton models of collective behavior
Keywords: models of collective behavior, discrete-automaton models, symbolic algorithms, SAT
Abstract: We analyze the phenomenon of collective behavior using a discrete-automaton model. This model is similar to those used in modern computational biology to explain dynamical processes in gene networks. Within the proposed framework we study a multiagent system, which contains not only conformists who make their decisions depending on other agents’ opinions but also agents with fixed decisions (the, so called, «agitators» and «loyalists»). We solve the problems of of small number of agitators (loyalists) placement, which forces the system to transit to a state where more than a half of agents is active (inactive). Our computational method based on SAT-approach made it possible to solve corresponding problems for systems with a hundred vertices with PC.
в формате PDFОбсудить статью в Интернет-конференции по проблемам управления
Просмотров: 4382; загрузок: 1612, за месяц: 17.
Назад