692 research outputs found
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
- …