Techno-economic comparison of renewable energy systems using multi-pole system analysis (MPSA)

The recently published method of multi-pole system analysis (MPSA) is used to techno-economically compare two wind-energy converters: offshore wind turbines and the energy ship concept. According to the method, both systems are (i) modeled, (ii) energetically and economically analyzed, (iii) technoeconomically optimized and, finally, (iv) expected uncertainties are calculated and assessed. The results of the method are used to derive the necessary cost reduction of the wind-energy converters to be economically competitive to fossil-fuel-based technologies.The authors would like to thank the Deutsche Forschungsgemeinschaft (DFG) for the financial support in the framework of the Excellence Initiative, Darmstadt Graduate School of Excellence Energy Science and Engineering (GSC 1070)

Entrainment characteristics of unsteady subsonic jets

The effectiveness of jet unsteadiness in enhancing flow entrainment was assessed. It was conducted that entrainment depends on the type and amount of jet unsteadiness. Apparently, the mere introduction of jet unsteadiness by small sinusoidal flow angle variations is insufficient to enhance entrainment but, it should be noted that the results were obtained at measuring stations which are all many nozzle widths downstream of the jet nozzle. Thus, no fully conclusive statement can be made at this time about the entrainment close to the nozzle. The high entrainment of the fluidically oscillated jet was caused by the high-frequency content of this square wave type of oscillation but more detailed measurements are clearly needed, in particular for the fluidically oscillated and the pulsed jets. Practical ejector application requires the proper trade-off between entrainment and primary nozzle thrust efficiency

Dynamic airfoil stall investigations

Experimental and computational investigations of the dynamic stall phenomenon continue to attract the attention of various research groups in the major aeronautical research laboratories. There are two reasons for this continued research interest. First, the occurrence of dynamic stall on the retreating blade of helicopters imposes a severe performance limitation and thus suggests to search for ways to delay the onset of dynamic stall. Second, the lift enhancement prior to dynamic stall presents an opportunity to achieve enhanced maneuverability of fighter aircraft. A description of the major parameters affecting dynamic stall and lift and an evaluation of research efforts prior to 1988 has been given by Carr. In this paper the authors' recent progress in the development of experimental and computational methods to analyze the dynamic stall phenomena occurring on NACA 0112 airfoils is reviewed. First, the major experimental and computational approaches and results are summarized. This is followed by an assessment of our results and an outlook toward the future

Compressibility effects on dynamic stall of airfoils undergoing rapid transient pitching motion

The research was carried out in the Compressible Dynamic Stall Facility, CDSF, at the Fluid Mechanics Laboratory (FML) of NASA Ames Research Center. The facility can produce realistic nondimensional pitch rates experienced by fighter aircraft, which on model scale could be as high as 3600/sec. Nonintrusive optical techniques were used for the measurements. The highlight of the effort was the development of a new real time interferometry method known as Point Diffraction Interferometry - PDI, for use in unsteady separated flows. This can yield instantaneous flow density information (and hence pressure distributions in isentropic flows) over the airfoil. A key finding is that the dynamic stall vortex forms just as the airfoil leading edge separation bubble opens-up. A major result is the observation and quantification of multiple shocks over the airfoil near the leading edge. A quantitative analysis of the PDI images shows that pitching airfoils produce larger suction peaks than steady airfoils at the same Mach number prior to stall. The peak suction level reached just before stall develops is the same at all unsteady rates and decreases with increase in Mach number. The suction is lost once the dynamic stall vortex or vortical structure begins to convect. Based on the knowledge gained from this preliminary analysis of the data, efforts to control dynamic stall were initiated. The focus of this work was to arrive at a dynamically changing leading edge shape that produces only 'acceptable' airfoil pressure distributions over a large angle of attack range

NLO QCD corrections to processes with multiple electroweak bosons

The VBFNLO program package is a collection of Monte Carlo programs for the calculation of NLO QCD corrections to vector boson fusion cross sections, double and triple vector boson production, or the production of two electroweak bosons in association with an additional jet. An overview is given of the processes and features implemented in VBFNLO. WWgamma and Wgamma jet production are discussed as examples.Comment: 6 pages, 3 figures; talk given at RADCOR 2009 - 9th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology), October 25 - 30 2009, Ascona, Switzerlan

Towards Physical Hybrid Systems

Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.Comment: CADE 201

Saturation of a spin 1/2 particle by generalized Local control

We show how to apply a generalization of Local control design to the problem of saturation of a spin 1/2 particle by magnetic fields in Nuclear Magnetic Resonance. The generalization of local or Lyapunov control arises from the fact that the derivative of the Lyapunov function does not depend explicitly on the control field. The second derivative is used to determine the local control field. We compare the efficiency of this approach with respect to the time-optimal solution which has been recently derived using geometric methods.Comment: 12 pages, 4 figures, submitted to new journal of physics (2011

Controlling electronic events through rational structural design in subphthalocyanine–corrole dyads: synthesis, characterization, and photophysical properties

Porphyrinoids are considered perfect candidates for their incorporation into electron donor–acceptor (D–A) arrays due to their remarkable optoelectronic properties and low reorganization energies. For the first time, a series of subphthalocyanine (SubPc) and corrole (Cor) were covalently connected through a short-range linkage. SubPc axial substitution strategies were employed, which allowed the synthesis of the target molecules in decent yields. In this context, a qualitative synthetic approach was performed to reverse the expected direction of the different electronic events. Consequently, in-depth absorption, fluorescence, and electrochemical assays enabled the study of electronic and photophysical properties. Charge separation was observed in cases of electron-donating Cors, whereas a quantitative energy transfer from the Cor to the SubPc was detected in the case of electron accepting Cors

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

International audienceThe Clock Constraint Specification Language (CCSL) is a clock-based specification language for capturing causal and chronometric constraints between events in Real-Time Embedded Systems (RTESs). Due to the limitations of the existing verification approaches, CCSL lacks a full verification support for 'unsafe CCSL specifications' and a unified proof framework. In this paper, we propose a novel verification approach based on theorem proving and SMT-checking. We firstly build a logic called CCSL Dynamic Logic (CDL), which extends the traditional dynamic logic with 'signals' and 'clock relations' as primitives, and with synchronous execution mechanism for modelling RTESs. Then we propose a sound and relatively complete proof system for CDL to provide the verification support. We show how CDL can be used to capture RTES and verify CCSL specifications by analyzing a simple case study

Sharper and Simpler Nonlinear Interpolants for Program Verification

Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and SDP optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhancement is made possible by: theoretical observations in real algebraic geometry; and our continued fraction-based algorithm that rounds off (potentially erroneous) numerical solutions of SDP solvers. Experiment results support our tool's effectiveness; we also demonstrate the benefit of sharp and simple interpolants in program verification examples