|
Formalization of a synthesis problem and methods for its solution
A. A. Dokukin Dorodnicyn Computing Center, Russian Academy of Sciences, ul. Vavilova 40, Moscow, 119333, Russia
Abstract:
A formal formulation is proposed for the synthesis problem of finding objects with certain properties described only by a collection of precedents. A key feature of this formalization is that it is closely related to the pattern recognition theory. A general approach to solving the synthesis problem is described, and particular solution methods are presented in two important cases. For this purpose, a new recognition method is proposed that exhibits a high speed as applied to the data of the structure under study. The performance of the methods is demonstrated on actual data.
Key words:
algebraic pattern recognition theory, logical regularities, synthesis problem.
Received: 11.06.2013
Citation:
A. A. Dokukin, “Formalization of a synthesis problem and methods for its solution”, Zh. Vychisl. Mat. Mat. Fiz., 54:6 (2014), 1023–1032; Comput. Math. Math. Phys., 54:6 (2014), 1037–1045
Linking options:
https://www.mathnet.ru/eng/zvmmf10055 https://www.mathnet.ru/eng/zvmmf/v54/i6/p1023
|
|