Pavlik A. Methods of diagnostic models formal transformation in computer-aided test system.

Object of research is process of the control and diagnostics of discrete devices. The subjects of research are methods, models and hardware-software means of the combinational devices functional control schemes development. The purpose of research: increase of the control and diagnosing efficiency by development of diagnostic models formal transformation methods in the computer-aided test systems due to a choice of optimum structure of technical diagnosis equipment. Methods of research: complex use of methods of discrete mathematics, combination theory, mathematical logic, graph theory, theory of numbers, theory of sets. Theoretical and practical results consist in development of mathematical models and methods of effective revealing of malfunctions, in improvement of means of the control of technical systems on the basis of diagnostic models. Scientific novelty consists in development of combinational devices functional control method, a way of the functional control scheme structure choice over the minimal cost. Degree of implementation: Kharkov State Aircraft Manufacturing Company (Kharkiv), PJSC "Aviacontrol" (Kharkiv), National Aerospace University named after N.E. Zhukovsky "KhAI" (Kharkiv). Field of use: electronic and radio engineering industry