An abstract machine is a theoretical model designed to perform a rigorous study of computation. Such a model usually consists of configurations, instructions, programs, inputs and outputs for the machine. In this paper we formalize these notions as a very simple algebraic system, called a configuration machine. If an abstract machine is defined as a configuration machine consisting of primitive...

ON OPTIMAL POLICIES FOR MULTI·REPAIR·TYPE MARKOV MAINTENANCE MODELS Yukio Hatoyama Tokyo Institute of Technology (Received April 6, 1978) This paper treats an extension of an optimal machine maintenance model with Markovian deterioration introduced by Derman. The system consists of an operating machine whose deterioration is Markovian, a finite number of identical spare machines, and several ty...

architecture of a virtual machine system has speciJic advantages over that of conventional operating systems because virtual machines are well separated from one another and from the control program. This structure requires that a protected, multiuser resource manager be placed in a distinct virtual machine because the protection domain and scheduling unit are one erztity, the virtual machine. ...

this study is concerned with encouraging people to use post system in iran. in fact, it tries to find the design specifications of a post machine as an interacting system for improving post system. a machine that can provide facilities for posting parcels and selling envelops and stamps. in iran, post system is an obsolete system and cannot satisfy the users completely. in order to explore the ...

When power systems are expanded and connected together with weak tie lines, the low-frequency oscillations are increased and the stability margin of the power system decreases. Therefore, when designing the transmission system to be used, it is necessary to maintain the dynamic stability of the power system, and to make sure to have the most possible stability margin. SSSC is a FACTS device con...

Most interest ing machine tasks, e.g., v isual pattern recognit ion, requi re large complex systems. Conventional machine designs are not we l l suited to the re l iab i l i t y demands of large complex systems. Many designs, conceived and tested on a smal l scale, and theoret ical ly extendable to large scale systems, are s t i l l awkward and imprac t ica l as a large scale system because re ...

induction motor especially the squirrel cage type of this motor plays important role in industry. according to the application type, this motor place against various stresses that are caused failure in the motor. the most common failure is related to the stator winding. among these failures are turn-to-turn, coil-to-coil and phase to phase faults. flow the high current do to the induction resul...

most of the methods that have been proposed for speed estimation of induction machines require the rotor and the stator resistance to change in the normal operating range. on the other hand, estimation of the rotor resistance requires rotor speed. in this paper, after studying conditions for simultaneous estimation of rotor speed and rotor resistance, a method for simultaneous estimation of rot...

G-code, another name of ISO6983, has been a popular commanding language for operating machine tools. This Gcode, however, limits the usage of today's fast evolving high-performance hardware. For intelligent machines, the communications between machine and CAD/CAM departments become important, but the loss of information during generating G-code makes the production department isolated. The new ...