Formalization of structural synthesis of technical systems at the initial stage of design

The paper considers the means for conceptual design of complex technical systems. We constructed a quasi-axiomatic theory 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, operations for comparing elements of the universe are introduced. The types of connection of elementary subsystems are described. We proposed a formalization of the procedure for multilevel synthesis of a technical system using a generative grammar over fuzzy structures. An example of designing a technical device is given.