Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами | Прикладная дискретная математика. Приложение. 2013. № 6.

Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами

Приведены результаты вычислительного анализа задач поиска неподвижных точек и циклических режимов (циклов) для ряда дискретных отображений, используемых при моделировании поведения систем со множеством взаимодействующих агентов. Рассматривались отображения, задаваемые случайными графами, сгенерированными в соответствии с известными моделями (С пр-графы, модель Уотт-са — Строгатца).

Dynamical properties of some discrete automaton mappings defined by random graphs.pdf В последние несколько лет набирают популярность задачи исследования различных свойств мультиагентных систем, взаимодействие компонентов которых определяется сетями [1,2]. Такие системы используются в биоинформатике [3], в исследовании информационных и социальных сетей [2], а также в экономическом моделировании [4]. Авторами в течение ряда лет рассматривались задачи исследования динамических свойств дискретных отображений, естественным образом связанных с сетями. Так, в [5] введены и исследованы дискретные модели, описывающие процессы в генных сетях, получены теоретические результаты (в форме теорем), дающие условия возникновения неподвижных точек и циклов для отображений, заданных сетью регулярной структуры (использовались циркулянтные графы). В работе [6] весовые функции из [5] использовались в сетях случайной структуры. Рассматривались задачи поиска неподвижных точек и циклов для соответствующих дискретно-автоматных отображений. Для численного решения этих задач применён SAT-подход [7]. Удалось успешно решить задачи поиска неподвижных точек для отображений, заданных сетями с несколькими сотнями вершин. В работе [8] предложена общая дискретная модель генных сетей с учетом различных регуляторных факторов агентов, таких, как активация, ингибирование и авторегуляция. В настоящей работе представлены новые результаты по исследованию динамических свойств дискретно-автоматных отображений, задаваемых сетями, сгенерированными в соответствии с известными моделями случайных графов (G^-модель, модель Уоттса — Строгатца [2]). В рассматриваемых сетях использованы весовые функции узлов, предложенные в [8]. Для поиска стационарных состояний (неподвижных точек) и циклических режимов (циклов) применен SAT-подход [7]. Для сетей с десятками вершин за разумное время удалось найти большое число неподвижных точек. Экспериментально показано, что наличие циклов малой длины для рассматриваемых отображений находится в обратной зависимости от разреженности графа сети (чем разреженнее граф, тем меньше шансов существования циклов).

Ключевые слова

случайные графы, генные сети, дискретно-автоматные отображения, SAT, random graphs, gene networks, discrete automaton mappings, SAT

Авторы

ФИООрганизацияДополнительноE-mail
Евдокимов Александр АндреевичИнститут динамики систем и теории управления Сибирского отделения Российской академии наук (г. Иркутск)профессор, заведующий лабораториейevdok@math.nsc.ru
Кочемазов Степан ЕвгеньевичИнститут динамики систем и теории управления Сибирского отделения Российской академии наук (г. Иркутск)программистveinamond@gmail.com
Отпущенников Илья ВладимировичИнститут динамики систем и теории управления Сибирского отделения Российской академии наук (г. Иркутск)otilya@yandex.ru
Семенов Александр АнатольевичИнститут динамики систем и теории управления Сибирского отделения Российской академии наук (г. Иркутск)кандидат технических наук, заведующий лабораториейbiclop.rambler@yandex.ru
Всего: 4

Ссылки

Newman M. E. J. The structure and function of complex networks // SIAM Review. 2003. V.45. P. 167-256.
Dorogovtsev S. N., GoltsevA.V., and Mendes J. F. F. Critical phenomena in complex networks // Rev. Mod. Phys. 2008. V.80. P. 1275-1335.
Системная компьютерная биология / под ред. Н. А. Колчанова, В.А.Гончарова, В. А. Лихошвая, В. А. Иванисенко. Новосибирск: Изд-во СО РАН, 2008.
Vitali S., Glattfelder J., and Battiston S. The network of global corporate control // PLoS ONE 6(10): e25995.doi: 10.1371/journal.pone.0025995.
Григоренко Е. Д., Евдокимов А. А., Лихошвай В. А., Лобарева И. А. Неподвижные точки и циклы автоматных отображений, моделирующих функционирование генных сетей // Вестник Томского государственного университета. Приложение. 2005. №14. С. 206-212.
Евдокимов А. А., Кочемазов С. Е., Семенов А. А. Применение символьных вычислений к исследованию дискретных моделей некоторых классов генных сетей // Вычислительные технологии. 2011. T. 16. №1. С. 30-47.
Biere A., Heule V., van Maaren H., and Walsh T. Handbook of Satisfiability. IOS Press, 2009.
Евдокимов А. А., Кочемазов С. Е., Отпущенников И. В., Семенов А. А. Символьные алгоритмы решения булевых уравнений в применении к исследованию дискретных моделей генных сетей // Материалы XVI Междунар. конф. «Проблемы теоретической кибернетики». Н. Новгород, 2011. С. 151-154.
 Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами | Прикладная дискретная математика. Приложение. 2013. № 6.

Исследование динамических свойств некоторых дискретно-автоматных отображений, заданных случайными графами | Прикладная дискретная математика. Приложение. 2013. № 6.