Innovative approaches in integrated assessment modelling of European air pollution control strategies – Implications of dealing with multi-pollutant multi-effect problems

In this paper, crucial aspects of the implications and the complexity of interconnected multi-pollutant multi-effect assessments of both air pollution control strategies and the closely related reduction of greenhouse gas emissions will be discussed. The main aims of the work described here are to identify the core problems which occur when trying to apply current state-of-the-art methodology to conduct integrated assessments – in this context, cost-benefit assessment (CBA) as well as cost-effectiveness assessment (CEA) – using sophisticated computer models and propose solutions to the problems identified. The approaches described will display the integrated use of databases, efficient algorithms and already existing software tools and models in a unified model framework. The first part of the paper discusses the need for new developments in one particular field of Integrated Assessment Models (IAMs), which is the use of (typically) country-specific single pollutant abatement cost curves, which have been applied in a large number of modelling approaches with the aim to find cost-effective solutions for given air quality targets. However, research conducted to find such cost-effective solutions for the non-linear problem of tropospheric ozone abatement (dealing with two primary pollutants and their rather complex relationship to form tropospheric ozone, [see] [Friedrich, R., Reis, S. (Eds.), 2000. Tropospheric Ozone Abatement – Developing Efficient Strategies for the Reduction of Ozone Precursor Emissions in Europe. Springer Publishers] identified basic problems of cost curve based approaches even in this two-pollutant case. The approach discussed here promises to solve the key problems identified, making extensive use of databases in order to provide fast and high quality model input for CEA and CBA. In addition to that, the application of Genetic Algorithms will be discussed as a means to address extremely complex, vast solution spaces which are typical for the tasks IAMs are set to solve nowadays. As the application of the model in extensive assessment studies is currently under way, it is yet too early for a full evaluation of lessons learned. However, initial tests of performance and behaviour have shown robust and promising results.     

Data Parallel Algorithmic Skeletons with Accelerator Support

Hardware accelerators such as GPUs or Intel Xeon Phi comprise hundreds or thousands of cores on a single chip and promise to deliver high performance. They are widely used to boost the performance of highly parallel applications. However, because of their diverging architectures programmers are facing diverging programming paradigms. Programmers also have to deal with low-level concepts of parallel programming that make it a cumbersome task. In order to assist programmers in developing parallel applications Algorithmic Skeletons have been proposed. They encapsulate well-defined, frequently recurring parallel programming patterns, thereby shielding programmers from low-level aspects of parallel programming. The main contribution of this paper is a comparison of two skeleton library implementations, one in C++ and one in Java, in terms of library design and programmability. Besides, on the basis of four benchmark applications we evaluate the performance of the presented implementations on two test systems, a GPU cluster and a Xeon Phi system. The two implementations achieve comparable performance with a slight advantage for the C++ implementation. Xeon Phi performance ranges between CPU and GPU performance.     

Numerical characterization and experimental verification of an in-plane MEMS-actuator with thin-film aluminum heater

In this paper, a novel concept of a thermo-mechanical MEMS actuator using aluminum thin-film heaters on a thermal oxide for electrical insulation is presented. The actuator is part of an universal tensile testing platform for thermo-mechanical material characterization of one dimensional materials on a micro- and nano-scopic scale under different environmental conditions, as varying temperatures, pressure, moisture or even vacuum and is realised in BDRIE technology. It is shown, that the actuator concept fulfills the requirements for the use in a tensile loading stage along with heterogeneously integrated nanofunctional elements, following a specimen centered approach in line with bottom-up self-assembly processes. Simulation and experiment agree very well in the thermal and mechanical domain and allow subsequent optimisation of the actuator performance.     

Induction of rabbit renal mixed-function oxidases by phenobarbital: cell specific ultrastructural changes in the proximal tubule

Administration of phenobarbital (60 mg/kg) daily for 4 days to male rabbits resulted in induction of renal cytochrome P-450 (3.5-fold) and a corresponding increase in ethoxycoumarin-O-deethylase and benzphetamine-N-demethylase activity (17- and 4-fold, respectively). Kidney weight to body weight ratio and renal ethoxyresorufin-O-deethylase were not affected by phenobarbital pretreatment. Numerous focal areas of proliferation of smooth endoplasmic reticulum (SER) were evident in proximal tubule cells from phenobarbital treated rabbits while proximal tubular cells from control rabbits had only small and sparcely located aggregates of SER. Phenobarbital-induced SER proliferation was specifically localized to the S3 segment of the proximal tubule. Proliferation was not observed in S2 cells of the proximal tubule, cells of Henle's loop, distal tubules, or collecting tubules in rabbits pretreated with phenobarbital. These data demonstrate the biochemical heterogeneity of cell types within the proximal tubules of rabbits. Furthermore, induction of mixed-function oxidases specifically in S3 cells of the proximal tubule may be of toxicological significance in the metabolic activation of certain nephrotoxicants.     

Minor and major lip reconstruction

Lip reconstruction has made significant advances over the past two decades with refinement of some old techniques and the introduction of new innovative methods. Small and medium defects can be repaired in a variety of ways with similar results. Local lip switch flaps are far superior to any distant tissue. Total lip loss is probably best handled with nasolabial flaps. Extensive resections including the lip, premaxilla, mandible, and skin of the chin and upper neck remain a challenge with all modern techniques, including myocutaneous flaps and free flaps, having little advantage over the standard visor forehead flap.     

Towards language-to-language transformation

This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this approach by employing a variation of Plotkin’s Structural Operational Semantics (SOS) for pattern-based transformations of typed graphs in order to address the aspect ‘computation’ in a graph rewriting fashion. Key to our approach are two generalizations of Plotkin’s structural rules: the use of graph patterns as the matching concept in the rules, and the introduction of node and edge types. Types do not only allow one to easily distinguish between different kinds of dependencies, like control, data, and priority, but may also be used to define a hierarchical layering structure. The resulting Type-based Structural Operational Semantics (TSOS) supports a well-structured and intuitive specification and realization of semantically involved language-to-language transformations adequate for the generation of purpose-specific views or input formats for certain tools, like, e.g., model checkers. A comparison with the general-purpose transformation frameworks ATL and Groove, illustrates along the educational setting of our graphical WebStory language that TSOS provides quite a flexible format for the definition of a family of purpose-specific transformation languages that are easy to use and come with clear guarantees.

     

The smart car seat: personalized monitoring of vital signs in automotive applications

Embedded wireless sensors are important components of mobile distributed computing networks, and one of the target applications areas is health care. The preservation of mobility for senior citizens is one of the key issues in maintaining an independent lifestyle. Thus health technologies inside a car can contribute both to safety issues (supervision of driver fitness) as well as healthcare issues by monitoring vitals signs imperceptibly. In this paper, three embedded measurement techniques for non-contact monitoring of vital signals have been investigated. Specifically, capacitive electrocardiogram (cECG) monitoring, mechanical movement analysis (ballistocardiogram, BCG) using piezo-foils and inductive impedance monitoring were examined regarding their potential for integration into car seats. All three sensing techniques omit the need for electroconductive contact to the human body, but require defined mechanical boundary conditions (stable distances or, in the case of BCG, frictional connection). The physical principles of operation, the specific boundary conditions regarding automotive integration and the results during wireless operation in a running car are presented. All three sensors were equipped with local intelligence by incorporating a microcontroller. To eliminate the need for additional cabling, a wireless Bluetooth communication module was added and used to transmit data to a measurement PC. Finally, preliminary results obtained during test drives on German city roads and highways are discussed.     

High-Order Numerical Methods for 2D Parabolic Problems in Single and Composite Domains

In this work, we discuss and compare three methods for the numerical approximation of constant- and variable-coefficient diffusion equations in both single and composite domains with possible discontinuity in the solution/flux at interfaces, considering (i) the Cut Finite Element Method; (ii) the Difference Potentials Method; and (iii) the summation-by-parts Finite Difference Method. First we give a brief introduction for each of the three methods. Next, we propose benchmark problems, and consider numerical tests—with respect to accuracy and convergence—for linear parabolic problems on a single domain, and continue with similar tests for linear parabolic problems on a composite domain (with the interface defined either explicitly or implicitly). Lastly, a comparative discussion of the methods and numerical results will be given.     

Toward an execution system for self-healing workflows in cyber-physical systems

Cyber-physical systems (CPS) represent a new class of information system that also takes real-world data and effects into account. Software-controlled sensors, actuators and smart objects enable a close coupling of the cyber and physical worlds. Introducing processes into CPS to automate repetitive tasks promises advantages regarding resource utilization and flexibility of control systems for smart spaces. However, process execution systems face new challenges when being adapted for process execution in CPS: the automated processing of sensor events and data, the dynamic invocation of services, the integration of human interaction, and the synchronization of the cyber and physical worlds. Current workflow engines fulfill these requirements only to a certain degree. In this work, we present PROtEUS—an integrated system for process execution in CPS. PROtEUS integrates components for event processing, data routing, dynamic service selection and human interaction on the modeling and execution level. It is the basis for executing self-healing model-based workflows in CPS. We demonstrate the applicability of PROtEUS within two case studies from the Smart Home domain and discuss its feasibility for introducing workflows into cyber-physical systems.