Интернет конференция по проблемам теории и практики управленияНазвание: О дискретно-автоматных моделях конформного поведения
Автор: Степан Евгеньевич Кочемазов
Соавторы:
Семенов А.А.
Аннотация:
В работе для исследования феномена конформного поведения вводится дискретно-автоматная модель. Концептуально данная модель близка к дискретным моделям, используемым в компьютерной биологии для описания динамических процессов в генных сетях. Рассматриваемая модель, на наш взгляд, представляет практический интерес ввиду возможности использования для ее численного исследования символьных алгоритмов, хорошо зарекомендовавших себя в задачах верификации и криптоанализа.
Ключевые слова:
модели конформного поведения, дискретно-автоматные модели, символьные алгоритмы, SAT
Автор: Степан Евгеньевич Кочемазов
Соавторы:
Семенов А.А.
Аннотация:
В работе для исследования феномена конформного поведения вводится дискретно-автоматная модель. Концептуально данная модель близка к дискретным моделям, используемым в компьютерной биологии для описания динамических процессов в генных сетях. Рассматриваемая модель, на наш взгляд, представляет практический интерес ввиду возможности использования для ее численного исследования символьных алгоритмов, хорошо зарекомендовавших себя в задачах верификации и криптоанализа.
Ключевые слова:
модели конформного поведения, дискретно-автоматные модели, символьные алгоритмы, SAT