Refactoring and converting a TTCN-2 test suite

When deploying TTCN-3 at Nokia, we converted two TTCN-2 test systems to TTCN-3. We explain to which extend we have been able to do the conversion automatically. The conversion tool used provided a syntactically and semantically correct conversion of the TTCN-2 code. We define some improvements made on the tool to increase readability and maintainability of the resulting code. We cover aspects of converting also the non-TTCN-2 parts and describe the experiences we made as a set of lessons learnt.     

Wasserstofffreie amorphe Kohlenstoffschichten ‐ abgeschieden durch plasmaaktivierte Hochratebedampfung

Hydrogen free amorphous carbon coatings ‐ deposited with plasma‐activated high‐rate evaporation By using the technology of the plasmaactivated electron beam evaporation we deposited hydrogen free amorphous carbon coatings with deposition rates of up to 100 μm/h. The results of the mechanical and tribological investigations show the potential of these layers for the use in case of wear resistance. Hardnesses of up to 16GPa were proved. The actual state of the characterisation of the coatings is described and the outlook onto possibilities of further optimisation is given.     

Impacts of green roofs and rain water use on the water balance and groundwater levels in urban areas

Ohne Zusammenfassung

---

Impacts of green roofs and rain water use on the water balance and groundwater levels in urban areas

     

Advanced experimental and numerical methods for the analysis of the dynamic forming press behavior

Numerical simulations are used to estimate the dynamic behavior of new concepts of forming presses as well as to improve the dynamic properties of existing machines. These simulations are to be parametrized with appropriate values in order to yield most accurate results. In many cases neither the way of building up the simulation model for the specific problem nor an appropriate method for gathering the needed date are given in advance. Regarding these facts this paper intends both to characterize the way of building up complex simulation models by using basic simulation modules and to describe methods for the identification of the needed parameters that work even under conditions that hitherto made parameter identifications impossible or at least very time-consuming. In this context recent developments in simulating press dynamics will also be characterized as new modal analysis methods that are not yet established in the field of forming technique. The research activities were financed by the European Research Association for Sheet Metal Working.     

Dynamic light scattering and ultrasonic investigations during the cure reaction of an epoxy resin

Brillouin scattering (BS), photon correlation spectroscopy (PCS), and ultrasonic (US) measurements were conducted to study the curing process of diglycidyl ether of bisphenol A with butane-1,4-diol at a curing temperature of 100°C. The experimental techniques probe the primary glass-rubber transition during the curing reaction. The primary relaxation time τ obtained from the BS and US velocity and absorption increases with curing time and hence the BS experiment measures τ at earlier stages of cure than the US experiment. The relaxation times at a different extent of reaction and for different measuring temperatures are consistent with BS, US, PCS, and DSC measurements and conform to a single reduced Vogel–Fulcher–Hesse–Tamann equation. Furthermore, the US experiments show evidence of secondary relaxations in the epoxy system.     

Self‐regulation during e‐learning: using behavioural evidence from navigation log files

The current paper examined the relationship between perceived characteristics of the learning environment in an e‐module in relation to test performance among a group of e‐learners. Using structural equation modelling, the relationship between these variables is further explored in terms of the proposed double mediation as outlined by Ning and Downing. These authors initially proposed that motivation and self‐regulation strategies are mediators between the perception of the learning environment and performance. In our replication and extension study, we substituted self‐reported self‐regulation with behavioural indicators of self‐regulation using navigation log files and focused on test‐taking rather than general motivation. We proposed that navigational patterns captured using log files can also help deduce self‐regulation in e‐modules and provide information in the absence of self‐reports. Path analyses provide partial support for our navigational hypotheses and the model. Implications of our results for the use of e‐module data and conclusions based on navigation are discussed.     

Sustainability in Web server systems

The exponential growth of Internet during the last decade leads us to make more efforts in the researching and developing of sustainable Web servers in order to decrease the global energy demand. In this paper, we cover, as a first step, a proper review of the literature related to the energy efficiency research in Web server systems to depict the state of the art to plan further contributions as more research in sustainable Web systems. We also propose and implement an energy metric that permits to establish a relation between the Quality of Service (QoS) obtained by the system and the power it consumes.     

Reduction of NOx by H2 on WOx-Promoted Pt/Al2O3/SiO2 Catalysts Under O2-Rich Conditions

This work addresses the reduction of NO_x by H₂ under O₂-rich conditions using Al₂O₃/SiO₂-supported Pt catalysts with different loads of WO_x promotor. The samples were thoroughly characterised by N₂ physisorption, temperature-programmed desorption of CO, scanning electron microscopy, X-ray diffraction, laser raman spectroscopy, X-ray photoelectron spectroscopy and diffuse reflectance infrared fourier transform spectroscopy with probe molecule CO. The catalytic studies of the samples without WO_x showed pronounced NO_x conversion below 200 °C, whereas highest efficiency was related to small Pt particles. The introduction of WO_x provided increasing deNO_x activity as well as N₂ selectivity. This promoting effect was referred to an additional reaction path at the Pt-WO_x/Al₂O₃/SiO₂ interface, whereas an electronic activation of Pt by strong metal support interaction was excluded.

Graphic Abstract

     

“From microtiter plates to droplets” tools for micro-fluidic droplet processing

Droplet-based microfluidic allows high throughput experimentation in with low volume droplets. Essential fluidic process steps are on the one hand the proper control of the droplet composition and on the other hand the droplet processing, manipulation and storage. Beside integrated fluidic chips, standard PTFE-tubings and fluid connectors can be used in combination with appropriate pumps to realize almost all necessary fluidic processes. The segmented flow technique usually operates with droplets of about 100–500 nL volume. These droplets are embedded in an immiscible fluid and confined by channel walls. For the integration of segmented flow applications in established research workflows—which are usually base on microtiter plates—robotic interface tools for parallel/serial and serial/parallel transfer operations are necessary. Especially dose–response experiments are well suited for the segmented flow technique. We developed different transfer tools including an automated “gradient take-up tool” for the generation of segment sequences with gradually changing composition of the individual droplets. The general working principles are introduced and the fluidic characterizations are given. As exemplary application for a dose–response experiment the inhibitory effect of antibiotic tetracycline on Escherichia coli bacteria cultivated inside nanoliter droplets was investigated.     

Two CEGAR-based approaches for the safety verification of PLC-controlled plants

In this paper we address the safety analysis of chemical plants controlled by programmable logic controllers (PLCs). We consider a specification of the control program of the PLCs, extended with the specification of the dynamic plant behavior. The resulting hybrid models can be transformed to hybrid automata, for which advanced techniques for reachability analysis exist. However, the hybrid automata models are often too large to be analyzed. We propose two counterexample-guided abstraction refinement (CEGAR) approaches to keep the size of the hybrid models moderate.