Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений

Вводятся и изучаются дискретно-автоматные модели генных сетей с весовыми функциями вершин, учитывающими различные формы регуляторного взаимодействия агентов. Исследовано дискретное отображение, описывающее функционирование фрагмента генной сети бактерии E.coli. Для этого отображения с помощью SAT-подхода находятся его неподвижные точки (стационарные состояния). Также исследованы отображения, задаваемые случайными графами сети, которые генерировались в соответствии с известными моделями Гилберта–Эрдеша–Реньи и Уоттса–Строгатца. Для этих отображений найдены неподвижные точки и циклы длины 2 и 3. Настоящую работу можно рассматривать как обзор полученных нами результатов по дискретным моделям генных сетей и численным методам анализа их функционирования. Ил. 6, табл. 2, библиогр. 27.