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

Quantifier Elimination over Finite Fields Using Gr\"obner Bases

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite fields. We analyze the theoretical complexity of the algorithm and show its application in the formal analysis of a biological controller model.Comment: A shorter version is to appear in International Conference on Algebraic Informatics 201

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

Business Angels – A Subspecies of the homo oeconomicus ludens

Business Angels invest in start-up companies in their early stage. This type of investor usually has a good knowledge of the start-up's industry sector, and in addition to the funds he invests, his management experience and his network can be useful for start-ups. Business Angel involvement has shown to improve the success rate and the profitability of start-ups. The article depicts the relationship between entrepreneurs and Business Angels in four case examples

Speeding up Cylindrical Algebraic Decomposition by Gr\"obner Bases

Gr\"obner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a mixed system of equalities and inequalities, it is possible to apply Gr\"obner bases to the (conjoined) equalities before invoking CAD. We see that this is, quite often but not always, a beneficial preconditioning of the CAD problem. It is also possible to precondition the (conjoined) inequalities with respect to the equalities, and this can also be useful in many cases.Comment: To appear in Proc. CICM 2012, LNCS 736

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

Trombe walls with nanoporous aerogel insulation applied to UK housing refurbishments

There is an opportunity to improve the efficiency of passive Trombe walls and active solar air collectors by replacing their conventional glass covers with lightweight polycarbonate panels filled with nanoporous aerogel insulation. This study investigates the thermal performance, energy savings, and financial payback period of passive Aerogel Trombe walls applied to the existing UK housing stock. Using parametric modeling, a series of design guidance tables have been generated, providing estimates of the energy savings and overheating risk associated with applying areas of Trombe wall to four different house types across the UK built to six notional construction standards. Calculated energy savings range from 183 kWh/m2/year for an 8 m2 system retrofitted to a solid walled detached house to 62 kWh/m2/year for a 32 m2 system retrofitted to a super insulated flat. Predicted energy savings from Trombe walls up to 24 m2 are found to exceed the energy savings from external insulation across all house types and constructions. Small areas of Trombe wall can provide a useful energy contribution without creating a significant overheating risk. If larger areas are to be installed, then detailed calculations would be recommended to assess and mitigate potential overheating issues.The EPSRC, Brunel University, and Buro Happold Lt