Comparison between the results from the design procedure based upon the value of D2L (volume of iron) and IEC standard used by manufacturers indicates that the basic design equation of electrical machines must be modified by a proper modification factor. This modification factor is evaluated for single- and three-phase induction motors and its variation with motor rating and poles number is obt...

Induction machines are one of the most important technical applications for both industrial world and private use [...]

This short paper describes a well-known and a non-standard technique for proving properties about sequential circuits. The techniques are based on transforming the circuit to an abstract state machine, and performing several ways of induction on these state machines. We conclude with an insightful correspondence between the two techniques. The proposed methods have been implemented in an experi...