This paper proposes a model checking method for microcomputer programs. To deal with the state explosion problem, we adopt a compositional verification approach. Based on the proposed method, a microcomputer program for a reallife air-conditioner is verified. The program is large enough to cause state explosion. Among fourteen typical properties of the program, five properties are successfully ...

A heat pump is an electrically-ponered refrigerationcycle device which is capable ofproviding both heating and cooling to a residence. In the sumrrcr, it operates like an air conditioner by "moving" heat from inside the house to the outside. In the winter, the refrigerant flow is reversed, "moving" heat into the house by further chilling the already cold outside air and transferring the heat ga...

This paper analyses the influence of the prescribed DC-link voltage on the filtering efficiency, in terms of current harmonic distortion after compensation, in a three-phase three-wire shunt active power line conditioner. The AC voltage controller as nonlinear load and two configurations of the coupling filter are taken into consideration. It is pointed out that, for each rms current to be comp...

The unified power quality conditioner (UPQC) is being used as a universal active power conditioning device to mitigate both current and voltage harmonics at a distribution side of power system network. This paper emphasis enhancement of power quality by using UPQC with fuzzy logic controller (FLC) and proportional-integral (PI) controller. The main purpose of the proposed (FLC) is capable of pr...

A new method of integrating arduino with relay and transistor for home energy management system is proposed. The arduino is developed as a controller to manage the lamp, fan and airconditioner. It correspond the relay, lamp and fan via PIR sensor, and air conditioner via temperature sensor. The energy consumed by the electrical appliances can be saved by at least 1.5% with the implementation of...

The widespread use of Power Electronics based equipment has produced a significant impact on quality of electric power supply. Conventional power quality mitigation equipment is providing to be inadequate for an increasing number of applications. One modern and very promising solution that deals with both load current and supply voltage imperfections is the Unified Power Quality Conditioner (UP...

ac railway traction loads are usually huge single phase loads. as a result, a significant amount of negative sequence current (nsc) is injected into utility grid. moreover, harmonics and consumption ofreactive power are further power quality problems that the supply network is encountering. in this paper, acompensation strategy with the aid of railway power conditioner (rpc) is proposed to over...