Automatic Detection of Malfunctions in Electronic Digital Machines (Avtomaticheskoe Obnaruzhenie Neispravnostei V Elektronnykh Tsifrovykh Mashinakh)

摘要

The article makes a theoretical investigation of the design principles of devices for the automatic detection of failures in digital program automatons. The description and analysis of the operation of real elements, in which failures lead to a disruption of the operation of units of the digital program automaton, are given in terms of a formal description of ideal elements. The following units of a digital program automaton are analyzed in detail: Memory device (subject G1), arithmetic unit (subset G2), control unit (subset G3), information input and output units (subsets G4 and G5), and the unit for coupling with the controlled plant (G6). The basic principles for the design of logic circuits are examined. In checking the working order of a logic circuit of any complexity by means of the control automaton A', the problem of constructing the control program may be reduced to the execution of the following operations: (1) the construction of an abstract automaton Ac which describes the logic circuit G; (2) an analysis of Ac equivalent to the prescribed logic circuit G; and (3) a check of the proper operation of Ac by means of universal control operations. (Author)