A non-autonomous optimal control model of renewable energy production under the aspect of fluctuating supply and learning by doing

Given the constantly raising world-wide energy demand and the accompanying increase in greenhouse gas emissions that pushes the progression of climate change, the possibly most important task in future is to find a carbon-low energy supply that finds the right balance between sustainability and energy security. For renewable energy generation, however, especially the second aspect turns out to be difficult as the supply of renewable sources underlies strong volatility. Further on, investment costs for new technologies are so high that competitiveness with conventional energy forms is hard to achieve. To address this issue, we analyze in this paper a non-autonomous optimal control model considering the optimal composition of a portfolio that consists of fossil and renewable energy and which is used to cover the energy demand of a small country. While fossil energy is assumed to be constantly available, the supply of the renewable resource fluctuates seasonally. We further on include learning effects for the renewable energy technology, which will underline the importance of considering the whole life span of such a technology for long-term energy planning decisions.     

A comparison of tools for teaching formal software verification

We compare four tools regarding their suitability for teaching formal software verification, namely the Frege Program Prover, the Key system, Perfect Developer, and the Prototype Verification System (PVS). We evaluate them on a suite of small programs, which are typical of courses dealing with Hoare-style verification, weakest preconditions, or dynamic logic. Finally we report our experiences with using Perfect Developer in class.     

通用运动控制技术

Gernot Bachler在贝加莱奥地利Eggelsberg总部从事运动控制的研发工作。 “设备厂商要的不只是简单的控制器,而是对设备自动化的完全掌控。这包括驱动器,电机（路径控制）,基于视觉和网络的组件。具有CNC功能块的路径控制会成为自动化控制的集成部分。贝加莱把所有这些组件集合到一个系统中,形成了一套崭新的方案。”     

The Human Host Defense Ribonucleases 1, 3 and 7 Are Elevated in Patients with Sepsis after Major Surgery—A Pilot Study

Sepsis is the most common cause of death in intensive care units and associated with widespread activation of host innate immunity responses. Ribonucleases (RNases) are important components of the innate immune system, however the role of RNases in sepsis has not been investigated. We evaluated serum levels of RNase 1, 3 and 7 in 20 surgical sepsis patients (Sepsis), nine surgical patients (Surgery) and 10 healthy controls (Healthy). RNase 1 and 3 were elevated in Sepsis compared to Surgery (2.2- and 3.1-fold, respectively; both p < 0.0001) or compared to Healthy (3.0- and 15.5-fold, respectively; both p < 0.0001). RNase 1 showed a high predictive value for the development of more than two organ failures (AUC 0.82, p = 0.01). Patients with renal dysfunction revealed higher RNase 1 levels than without renal dysfunction (p = 0.03). RNase 1 and 3 were higher in respiratory failure than without respiratory failure (p < 0.0001 and p = 0.02, respectively). RNase 7 was not detected in Healthy patients and only in two patients of Surgery, however RNase 7 was detected in 10 of 20 Sepsis patients. RNase 7 was higher in renal or metabolic failure than without failure (p = 0.04 and p = 0.02, respectively). In conclusion, RNase 1, 3 and 7 are secreted into serum under conditions with tissue injury, such as major surgery or sepsis. Thus, RNases might serve as laboratory parameters to diagnose and monitor organ failure in sepsis.     

Experimental analysis of the influence of pellet shape on single screw extrusion

Extrusion technology is one of the most prominent methods for processing polymers. The shape of polymer pellets plays an important role in conveying solid material through the extruder and thus directly influences the mass flow rate. In the course of this article, the influence of the pellet shape of a polypropylene homopolymer on the processing conditions using a smooth barrel single‐screw extruder is evaluated. Especially the mass flow rate, the melt temperature, and the pressure build up in the barrel are investigated. It can be shown that processing long cylindrical pellets leads to a higher mass flow rate than comparable experiments with virgin pellets or short cylinders. Additionally, screw cool and pull‐out tests, measurements of the external coefficient of friction as well as the bulk density of the different pellet geometries are performed. The interaction of the screw geometry and the pellet shape is found to have the biggest influence. © 2014 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 41716.     

Blast furnace slags as functional fillers on rheological,thermal, and mechanical behavior of thermoplastics

Blast furnace slags (BFS) is a secondary byproduct of iron industry, which has a combination of acidic and basic oxides and show a complex, multiphase structure. If appropriately tailored, BFS could be an effective functional filler, improving the property profile of thermoplastics such as polypropylene (PP) and polystyrene (PS). As a raw material, the proposed filler may introduce both economic and ecological advantages, as it is considered an inexpensive secondary product rather than a natural resource. The current study aims at investigating the effect of incorporating BFS as a micro‐sized filler on the rheological, thermal, and mechanical behavior of PP and PS. BFS types in this study are air‐cooled, crystalline, and amorphous, grounded types. Both types are ground into 71, 40, and 20 μm batches and introduced in 10, 20, and 30 weight fractions via melt kneading. Mixtures are then formed into 4‐mm and 2‐mm thick plates via compression molding. Slight increase in rheological factors is observed with increasing filler loading. BFS hinders the crystallization of PP, resulting in slight increase of crystallization temperatures (T_c) and lowering of crystallization enthalpy (ΔH_c). No significant effect of filler on transition temperatures (T_g) is reported. Mechanically, BFS increases the tensile modulus of PP, but decreases its strength. For PS formulations, a modest toughening effect is observed by slag filler. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43021.