Страница публикации

Применение символьных вычислений к исследованию дискретных моделей некоторых классов генных сетей

Авторы: Евдокимов А.А., Кочемазов С.Е., Семенов А.А.

Журнал: Вычислит. технологии

Том: 16

Номер: 1

Год: 2011

Отчётный год: 2011

Издательство:

Местоположение издательства:

URL:

Аннотация: Исследуются некоторые дискретные модели генных сетей. Решаются задачи поиска неподвижных точек автоматных отображений, определяемых регуляторными контурами рассматриваемых сетей. Для генных сетей, задающих аддитивные автоматы, решаются задачи восстановления матриц смежности функциональных графов по известным неподвижным точкам. Перечисленные проблемы сводятся к системам булевых уравнений, для решения которых используются SAT- и ROBDD-подходы.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: