Leonov S. Theory of electronic design automation based on К-valued simulation

The object of research is the process of designing modern computing devices. The subject of research are methods and models for the investigation of computing devices based on K-Value differential calculus. The aim is to promote the theory and methods of modeling computing devices based on K-Value coding signals and K-Value differential calculus, which provides increase the accuracy of modeling with the necessary speed of electronic design systems with taking into account interference. In the study the properties of the sets M and M m, as well as the metric and topological spaces on the set M and M m we use the theory of groups, rings and lattices relations theory, the theory of metric and topological spaces. In solving problems of through designing complex computational tools use the theory of modeling and diagnostics. In constructing models of computing devices using K-Value alphabet used theory of multi-valued algebras. In the development of algorithms of mathematical modeling of the system based on the K-Value differential calculus is used theory K-valued differential equations. In solving automation tasks of diagnosis computing devices use the theory of neural networks. In improving modeling system used cardinality analysis of signals and interference signals recognition theory and the theory of neural network adaptive resonance theory. Scientific novelty of the research is to solve scientific and applied problems of increasing the efficiency of automated design of electronic devices based on interference. Degree of implementation: NIPKI "Molnija" (Kharkov), PAT Kharkov Tractor Plant named be Ordzhonikidze (Kharkov), PAT "Luganskteplovoz" (Lugansk), the individual results of the thesis are introduced in the educational process of the department of computer engineering and programming NTU "KPI".