ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ ЛОГИЧЕСКОГО МЕТОДА РЕШЕНИЯ ЗАДАЧ КАЧЕСТВЕННОГО АНАЛИЗА ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ

Authors:

Abstract

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