Computational approach to synthesis of the multiversion structure of distributed information decision-making support system

Abstract

Abstract The computational approach to synthesis of the multiversion structure of distributed information decision-making support system is presented. A formal model of the local information system is given. This system is intended to ensure the functioning of a complex control system based on the multiversion approach and consisting of a set of multiversion objects. The problem of distribution of objects by local information subsystems has been solved. For a set of valid queries in a distributed system, the answers for the decision maker are formed sequentially without repeating queries. To take into account certain requirements regarding the structure of a distributed system, it is necessary to formulate these requirements in formalized constraints and introduce them into the mathematical description of the problem. Note that the effectiveness of the targeted use of the system depends both on the results of synthesis (structure and parameters of the system) and on the correct organization of the subsystem for monitoring its technical condition during operation.