|
Информация о статье
2011 г., Том 16, № 1, с.30-47
Евдокимов А.А., Кочемазов С.Е., Семенов А.А.
Применение символьных вычислений к исследованию дискретных моделей некоторых классов генных сетей
Исследуются некоторые дискретные модели генных сетей. Решаются задачи поиска неподвижных точек автоматных отображений, определяемых регуляторными контурами рассматриваемых сетей. Для генных сетей, задающих аддитивные автоматы, решаются задачи восстановления матриц смежности функциональных графов по известным неподвижным точкам. Перечисленные проблемы сводятся к системам булевых уравнений, для решения которых используются SAT- и
ROBDD-подходы.
[полный текст]
Ключевые слова: дискретные модели генных сетей, неподвижные точки автоматных отображений, функциональный граф, синтез матрицы смежности графа генной сети, пороговые функции, SAT, ROBDD
Библиографическая ссылка:
Евдокимов А.А., Кочемазов С.Е., Семенов А.А. Применение символьных вычислений к исследованию дискретных моделей некоторых классов генных сетей // Вычислительные технологии. 2011. Т. 16. № 1. С. 30-47
|
|
|
|
