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

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

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

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

Том: 16

Номер: 1

Год: 2011

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

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

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

URL:

Проекты:

DOI:

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

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

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет

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