Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design

This paper considers the means for conceptual design of complex technical systems. A quasi-axiomatic theory was constructed that formalizes the procedures of generating meaning for a natural language description of the process of creating a new technical solution. Semantic categories, structures of universal sets, and operations for comparing elements of the universe are introduced. The types of connection of elementary subsystems are described. A formalization of the procedure for multilevel synthesis of a technical system using a generative grammar over fuzzy structures is proposed. An example of the design of a technical device is given.