Vera G. Bogdanova, Sergey A. Gorsky

Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences

The wide application of binary dynamic systems (BDS) in both scientific and applied research causes the urgency of developing new and improving existing methods for qualitative analysis of the behavior of DDS trajectories. High computational complexity of these tasks requires the development of software and tools for its solution using parallel and distributed computing technologies and service-oriented access to the resources of high-performance computing environments. In this paper, parallel software tools for implementing a logical approach to solving the problems under consideration are considered, the results of computational experiments.

binary dynamic system, Boolean model, parallel QBF solver, qualitative analysis.