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

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

Тип публикации: Статья в журнале

Тип материала: Текст

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

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

Язык публикации: russian

Том: 16

Номера страниц: 30–47

Количество страниц: 18

Номер: 1

Год публикации: 2011

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

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

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

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

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

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

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

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