Богданова Вера Геннадьевна, Горский Сергей Алексеевич

Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук (ИДСТУ СО РАН)

Широкое применение двоичных динамических систем (ДДС) как в научных, так и прикладных исследованиях обуславливает актуальность разработки новых и совершенствования существующих методов качественного анализа поведения траекторий ДДС. Высокая вычислительная сложность этих задач требует разработки программных и инструментальных средств ее решения с использованием технологий параллельных и распределенных вычислений и обеспечением прозрачного доступа конечного пользователя к ресурсам высокопроизводительных вычислительных сред на основе сервис-ориентированного подхода. В настоящей работе рассматриваются параллельные программные средства реализации логического подхода к решению рассматриваемых задач, приводятся результаты вычислительных экспериментов.

двоичная динамическая система, булева модель, параллельный QBF решатель, качественный анализ