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

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

Тип публикации: Материал конференции

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

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

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

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

Номера страниц: 222-233

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

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

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

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

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

Адрес издателя: Челябинск

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

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

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

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

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

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

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

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