Masyuk A. Dialog means of parallel simulation environment focused on network dynamic objects

In the thesis a problem-oriented simulation environment (POSE) is considered as a subject of dialogue between users and designers of models (domain experts) from one side and diverse resources of the simulation environment from the other. Defined and theoretically justified a set of means targeted to efficiently support the human-computer dialogue on all the stages of design and application of the models of dynamic systems. Modern dialog means of the systems intended for managing of the complex objects were analyzed. The common problem of such systems in the coal mining domain is significant lacking of dialog means for management and simulation of the mine airing networks (MANs). The dialog subsystem (DS) of POSE is considered as a composite of means which brings a domain expert into the contour of the model and the managing system. The structure and the functional set of DS means as a part of POSE were developed. The dialog algorithms for all the stages of model creation, debugging, visualizing, preparing for simulation and simulating were designed. An universal input network object model description format was proposed, which encapsulates parameters of all the elements representing certain network submodels, based on a hierarchical attribute model. For the first time an universal Diff method for implementation of the undo/redo stack was proposed. The method is based on the automatic generation of the commands which modify serialized data model states. As for now, the software code which implements given functionality is used successfully in several applications. The hybrid MIMD+SIMD structure of the equation solver for the air distribution task in MANs was proposed. A parallel algorithm for simulation of the air distribution in the separate MAN branches by the direct method was improved and implemented, based on integrated SIMD extensions of the modern processors. Multi-platform DS software for visual design and parameterizing of MAN graphs was implemented, using undo/redo stack functionality based on Diff method. Standalone simulation modules were integrated into POSE and their output was visualized via DS means. The dialog algorithms have been tested by creating, parameterizing and simulating of several MAN models with different complexity. The efficiency of the proposed Diff method and the parallel equations solver for the air distribution task has been proved, based on experiments with various real models.