The intelligent energy management system is operated automatically to ON and OFF the generating sources as per the load demand. The renewable energy sources used in this energy management system are solar, wind, fuel cell and energy storage element battery as an input source. These renewable energy sources are integrated into the main dc bus through dc-ac converter. Microgrid is basically a gro...

This paper describes the simulation model and the harmonics analysis of multi level inverters fed RL load and induction motor load. The SEIG fed Hbridge multi level inverter (MLI) for variable speed wind energy conversion systems are considered for various stand alone applications. In this paper, the SEIG fed cascaded five levels inverter for induction motor load systems are clearly explained w...

This paper presents application of parametric techniques (Estimation of signal parameter by rotational invariance techniques (ESPRIT), Root multiple signal classification (Root MUSIC)) for the estimation of harmonics/inter harmonics produced by wind generator under constant, variable rotor speed, load imbalance. Accuracy of estimation by parametric techniques is checked on synthetic signal as w...

Medium-and-long-term load forecasting plays an important role in energy policy implementation and electric department investment decision. Aiming to improve the robustness and accuracy of annual electric load forecasting, a robust weighted combination load forecasting method based on forecast model filtering and adaptive variable weight determination is proposed. Similar years of selection is c...

The present investigation is concerned with the deformation of thermoporoelastic half space with incompressible fluid as a result of inclined load of arbitrary orientation. The inclined load is assumed to be linear combination of normal load and tangential load. The Laplace and Fourier transform technique are used to solve the problem. The concentrated force, uniformly distributed force and a m...

aim : this study aims to employ random effect model to evaluate prognostic factors of hepatitis c. background : in recent years, hepatitis c virus (hcv) infection has been a major cause of liver diseases worldwide and represents a major public health problem. evaluation of risk factors and a community intervention in order to decrease the problem is one of the solutions which help protect peopl...

A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · l1 + . . . + am · lm ≥ d, where each li is a literal (it assumes the value 1 or 0 depending on whether a propositional variable xi is true or false) and a1, . . . , am, d are natural numbers. An LPB is a generalisation of a propositional clause, on the other hand it is a restriction of integer linear programming. LPBs ca...

Abstract machines for the strong evaluation of λ-terms (that is, under abstractions) are a mostly neglected topic, despite their use in the implementation of proof assistants and higher-order logic programming languages. This paper introduces a machine for the simplest form of strong evaluation, leftmost-outermost (call-by-name) evaluation to normal form, proving it correct, complete, and bound...

Quantified Boolean formulas generalize propositional formulas by admitting quantifications over propositional variables. We compare proof systems with different quantifier handling paradigms for quantified Boolean formulas (QBFs) with respect to their ability to allow succinct proofs. We analyze cut-free sequent systems extended by different quantifier rules and show that some rules are better ...