Transformer fault diagnosis and repair is a complex task that includes many possible types of faults and demands special trained personnel. In this paper, Petri Nets are used for the simulation of transformer fault diagnosis process and the definition of the actions followed to repair the transformer. An integrated safety detector relay is used for transformer fault detection. Simulation result...

According to the chronological literature survey, there exist three types of the on-chip transformer i.e the traditional on-chip passive transformer, the Distributed active transformer (DAT), and the CMOS gyrator-C active transformer (Yuan 2007). Formerly, there exist many review articles on the on-chip transformer. However, these articles focus on the on-chip passive transformer due to its ren...

A contactless power transfer system for charging electric vehicles requires a high efficiency, a large air gap, and a good tolerance to lateral misalignment and needs to be compact and lightweight. A double-sided winding 10 kW transformer based on a 1.5 kW H-shaped core transformer was developed for a rapid charger. Even though the transformer capacity was increased, the dimensions of the 10 kW...

OBJECTIVE Alpha thalassemia major (ATM) is often fatal in utero due to severe hydrops fetalis. Although in utero transfusions (IUTs) are increasingly used to allow fetal survival in ATM, prenatal and postnatal outcomes are not well described. METHODS We retrospectively reviewed cases of ATM at our institution treated with consecutive IUT. Clinical records were reviewed for transfusion history...

With the eruption of communication technology and its supportive protocols, the field of testing of timed-IUT (Implementation Under Test with time constraints) was quick to follow. New and extended test generation methods using timed automata were in the need. Many papers were written on a broad range of timed automata testing. Few papers, however, dealt with generation of state identification ...

In this paper, we propose a fault model and a method for deriving complete test suites for nondeterministic FSMs with respect to the separability relation. Two FSMs are separable if there exists an input sequence such that the sets of output responses of these FSMs to the sequence do not intersect. In contrast to the well-known reduction and equivalence relations, the separability relation can ...