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

Параллельное вычисление циклов заданной длины для автономных двоичных динамических систем большой размерности

Авторы: Опарин Г.А., Богданова В.Г., Горский С.А.

Журнал: Тр. конф. "Параллельные вычислительные технологии" (ПАВТ'2020; Пермь, 31 марта-2 апреля 2020 г.)

Том:

Номер:

Год: 2020

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

Издательство: Издательский центр ЮУрГУ

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

URL:

Аннотация: В последние время активно развиваются исследования по разработке новых методов решения задач качественного анализа двоичных динамических систем. Особое внимание уделяется задаче поиска равновесных состояний и циклов. Мы предлагаем подход к решению этой задачи на основе авторского метода булевых ограничений. На основе этого метода задачи качественного анализа синхронных двоичных динамических систем, функционирование которых рассматривается на конечном интервале времени, сводятся к решению задачи выполнимости булевых ограничений. Разработаны булевы модели предварительного качественного анализа автономных двоичных динамических систем (поиска равновесных состояний и циклов заданной длины, анализа их изолированности). Создан новый параллельный алгоритм решения задачи булевой выполнимости для вычислительного SMP-кластера. Рассмотрен пример параллельного поиска циклов ограниченной длины для автономной нелинейной двоичной динамической системы высокой размерности. Предложенный подход позволяет за счет параллелизма по данным (путем расщепления булевой модели) существенно увеличить размерность вектора состояния двоичной динамической системы и промежуток времени ее функционирования при решении этих задач в высокопроизводительной вычислительной среде.

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

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

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

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

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