ABOUT THE POSSIBILITIES OF SYNTHESIS OF MULTILEVEL MODELS OF OBJECTS
A new method for synthesis models of objects that have multilevel structure is considered. The proposed method develops existing approaches to inductive and deductive synthesis of formal structures. A multilevel structure of object models is defined, a description of the proposed method for inductive-deductive synthesis is given. The method assumes processing of data received from objects, construction of a deductive synthesis machine on their basis, and application of the machine for building models of objects. When constructing the machine, inductive synthesis of multilevel structures in the space of elements of the source data is performed. Based on the constructed structures, the parameters of the deductive synthesis machine are determined. Deductive synthesis of object models using the constructed machine involves formulation of a theorem on the existence of a model and its proof. The method allows build new structures to describe the objects, it has low computational complexity. An example of synthesis of a model of an object with a four-level structure is given.
Authors: N. A. Zhukova
Direction: Informatics, Computer Technologies And Control
Keywords: Multilevel synthesis, state machine model, objects modeling
View full article