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...

We present a method for calculating the envelope surface of a parametric solid object swept along a path in three-dimensional space. The boundary surface of the solid is the combination of parametric surfaces and an implicit surface where the Jacobian of the defining function has a rank-deficiency condition. Using the rank deficiency condition, we determine a set of square sub-Jacobian determin...

We present a method for calculating the envelope surface of a parametric solid object swept along a path in threedimensional space. The boundary surface of the solid is the combination of parametric surfaces and an implicit surface where the Jacobian of the defining function has a rankdeficiency condition. Using this condition, we determine a set of square sub-Jacobian determinants that must al...

We report traveling-wave quadrature squeezing at 1064 nm in a quasi-phase-matched LiNbO(3) waveguide, avoiding the gain-induced diffraction encountered in bulk squeezing experiments. The 10-mm-long singlemode waveguide parametric amplifier exhibited a gain of 1.9, averaged over the 20-ps mode-locked pulses, with only 0.5 W of peak pump power at 532 nm. Independent waveguides were employed for t...

This paper studies two stochastic bulk arrival and bulk service queueing Models (A) and (B) with k varying environments. The system has infinite storing capacity and the arrival and service sizes are finite valued random variables. Matrix partitioning method is used to study the models. In Model (A) the maximum of the arrival sizes in all environments is greater than the maximum of the service ...

k-induction is a promising technique to extend bounded model checking from falsification to verification. In software verification, k-induction works only if auxiliary invariants are used to strengthen the induction hypothesis. The problem that we address is to generate such invariants (1) automatically without user-interaction, (2) efficiently such that little verification time is spent on the...

Let X = {Xt, t ≥ 0} be a symmetric Markov process in a state space E and D an open set of E. Let S = {S t , t ≥ 0} be a subordinator with Laplace exponent φn and S = {St , t ≥ 0} a subordinator with Laplace exponent φ. Suppose that X is independent of S and S. In this paper we consider the subordinate processes Xn := {X S (n) t , t ≥ 0} and X := {XSt , t ≥ 0}, and their subprocesses Xn and X ki...

A new type of single-phase stand-alone induction generator using a three-phase induction machine and a single-phase voltage-source PWM inverter is introduced. The generator scheme is capable of producing constant load frequency with a very well regulated output voltage. A small lead acid battery and a single-phase full diode-bridge rectifier are used to feed the inverter. The inverter feeds one...

in this article our objective is to obtain steady state characteristics of shunt, series, and separately excited dc motors coupled with a centrifugal water pump supplied through a step-up, step-down, and cuk converter from photovoltaic generator. we assume that there are no storage batteries and, of course, the system must operate on maximum utilization i.e. maximum water must be pumped. it is ...