Snapback breakdown is the second order effect of avalanche breakdown in a device. Snapback occur when the excess supply voltage and high currents created flow through the device and become unstable. These two breakdowns are used to explain the concept of Vertical Impact Ionization MOSFET (IMOS) in its Equivalent Circuit Model. The equivalent circuit model design consists of MOS transistors that...

in this paper, the operation of helix traveling wave tube in interaction region is investigated by using a three dimensional large signal lagrangian model in frequency domain. the complete simulation of these tubes is essential for optimum design and minimum manufacturing cost. this 3d code can compute interception current (or current losses ), beam radius changes in interaction region and the ...

As the signal frequency increases, the accurate and fast modeling for vias structure in multi-layer substrate is very important to performance analysis of high speed circuit. According to the skin effect and RL ladder circuit model, the equivalent circuit of via base on structural segmentation is presented in this paper. Vias structure is decomposed into some segmented sub-structure based on th...

Multiple coupled circuit modeling (MCCM) of squirrel-cage induction motors (SCIMs), or winding function approach is the most detailed and complete analytical model used to analyze the performance of faulty SCIMs. Already, in variate papers this approach was used to 3phases SCIMs, but this paper extends the above-mentioned model to 6phases SCIMs. Various simulations of variative faults are carri...

-’ “Matrices de Hankel,” J. Math. Pures Apple, vol. 53, pp. 197-222 1974. %ies formelles non commutatives et automatique non h&ire,” in Cours de D.E.A., U.E.R de Mathbnatiques, Univ. of Bordeaux I, 1976. S. Eilenbera Automata, Lunwges, and Machines. New York: Academic fiess, vol. A 1974: N. Bourbaki, “Algebre,” Hennann, 1970. B. D. 0. Anderson and S. Vongpanitlerd, Network Anabsis and Synthesis...

Assuming that: (1) the Quantum Mechanics is true, (2) the Copenhagen Interpretation of QM is right, and (3) that God (Mind) exists, we prove formally the possibility of miracles through God affecting the results of quantum measurements. Quantum Measurement clearly separates the domain of physics as a formal material system and the possible God’s intervention in it. We use the formalism of quant...

The temporal logic model checking algorithm of Clarke, Emerson, and Sistla [17] is modified to represent state graphs using binary decision diagrams (BDD’s) [7] and partitioned trunsirion relations [lo], 1111. Because this representation captures some of the regularity in the state space of circuits with data path logic, we are able to verify circuits with an extremely large number of states. W...

Theoretical and practical aspects of model order reduction techniques for use in the context of circuit simulation are investigated, with particular attention to problems involving clocked analog circuitry and to interconnect and packaging applications. First, an algorithm for the efficient simulation of clocked analog circuits is described and simulation results are presented. Traditional simu...

Turn to turn fault is one of the major internal failures in the power transformers that if it is not quickly detected, can be extended and led to a complete transformer breakdown. So, the diagnosis and location of the turn to turn fault of the power transformer, as one of the most important equipment in the power system, is the main objective of this paper. For this purpose, a detailed model of...