Dynamics of drive systems for wind energy conversion

Calculations are performed to determine the dynamic effects of mechanical power transmission from the nacelle of a horizontal axis wind machine to the ground or to an intermediate level. It is found that resonances are likely at 2 or 4/REV, but they occur at low power only, and seem easily correctable. Large reductions are found in the harmonic torque inputs to the generator at powers near rated

Anisotropic hydrodynamics

The recently formulated framework of anisotropic hydrodynamics is used in 3+1 dimensions to study behavior of matter created in relativistic heavy-ion collisions. The model predictions for various hadronic observables show that the effects of the initial anisotropy of pressure may be compensated by appropriate adjustment of the initial energy density. In this way, the final hadronic observables become insensitive to the early stage dynamics and the early thermalization/isotropization puzzle may be circumvented.Comment: Quark Matter 2012 proceeding

CSL model checking of Deterministic and Stochastic Petri Nets

Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time. The underlying process dened by DSPNs, under certain restrictions, corresponds to a class of Markov Regenerative Stochastic Processes (MRGP). In this paper, we investigate the use of CSL (Continuous Stochastic Logic) to express probabilistic properties, such a time-bounded until and time-bounded next, at the DSPN level. The verication of such properties requires the solution of the steady-state and transient probabilities of the underlying MRGP. We also address a number of semantic issues regarding the application of CSL on MRGP and provide numerical model checking algorithms for this logic. A prototype model checker, based on SPNica, is also described