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

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