The Semantic Web: Collective Intelligence on the Web

The World Wide Web has turned hypertext into a success story by enabling world-wide sharing of unstructured information and informal knowledge. The Semantic Web targets the sharing of structured information and formal knowledge pursuing objectives of achieving collective intelligence on the Web. Germane to the structure of the Semantic Web is a layering and standardization of concerns. These concerns are reflected by an architecture of the Semantic Web that we present through a common use case. Semantic Web data for the use case is now found on the Web and is part of a quickly growing set of Semantic Web resources available for formal processing.     

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.     

Lightweight coarse-grained coordination: a scalable system-level approach

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.     

Ein Planungsansatz zum Umgang mit Störungen bei der Produktion: Die flexible Produktionsfeinplanung mithilfe von Planungsschritten

Disruptions like the breakdown of machines or delays in the delivery of materials cause generated production plans to be useless, at least in some parts. A new planning approach for coping with this uncertainty caused by disruptions is presented. Planning steps that are described by properties, preconditions and consequences are used for material requirements planning and scheduling. If their preconditions are satisfied in a certain state of environment, planning steps will be applicable. The consequences of planning steps change the state of environment. Each customer order establishes a goal of a new planning problem to be achieved by applying planning steps. Plan execution concerns all planning steps applicable in a certain state of environment. In choosing among applicable planning steps and among available resources the flexibility of plan execution is preserved.     

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.     

Interfacial instability of liquid films coating the walls of a parallel-plate channel and sheared by a gas flow

The stability and coupling of liquid films coating the walls of a parallel-plate channel and sheared by a pressure-driven gas flow along the channel center plane is studied. The films are susceptible to a long-wavelength instability. For sufficiently low Reynolds numbers and thick gas layers, the dynamic behavior is found to be described by two coupled nonlinear partial differential equations. A linear stability analysis is conducted under the condition that the material properties and the initial undisturbed liquid-film thicknesses are equal. The linear analysis is utilized to determine whether the interfaces are predominantly destabilized by the variations of the shear stress or by the pressure gradient acting upon them. The analysis of the weakly nonlinear equations performed for this case shows that instabilities corresponding to a vanishing Reynolds number are absent from the system. Moreover, for this configuration, the patterns emerging along the two interfaces are found to be identical in the long-time limit, implying that the films are fully synchronized. A different setup, where the liquid films have identical material properties but their undisturbed thicknesses differ, is studied numerically. The results show that, even for this configuration, the interfacial waves remain phase-synchronized and closely correlated for an extended period of time. These findings are particularly relevant for gaseous flow through narrow ducts with liquid-coated walls.     

A Nyström-based finite element method on polygonal elements

We consider families of finite elements on polygonal meshes, that are defined implicitly on each mesh cell as solutions of local Poisson problems with polynomial data. Functions in the local space on each mesh cell are evaluated via Nyström discretizations of associated integral equations, allowing for curvilinear polygons and non-polynomial boundary data. Several experiments demonstrate the approximation quality of interpolated functions in these spaces.     

INCAP – applying short-term flexibility to control inventories

Inventory based capacity control (INCAP) is a very simple method that allows inventory levels to be effectively controlled by using short-term capacity flexibility in make-to-stock settings. Moreover, INCAP can be used for finished goods inventories as well as for semi-finished goods inventories. The basic idea is to define upper and lower inventory limits and to adjust capacities if the inventory level reaches either limit. Should the inventory fall below the lower limit, capacity is increased to prevent stock-outs. Similarly, in order to avoid excess inventories the capacity is decreased should the inventory rise above the upper limit. INCAP is thus able to control inventory levels within a defined inventory range. In order to do so, it applies short term measures like over-time or extra shifts to increase capacities and cancels work hours or shifts to decrease capacities. Simulation experiments based on data from the automotive industry show that INCAP is able to improve the performance of a manufacturing system in that it significantly reduces the inventory levels necessary for guaranteeing a satisfactory service level. Overall, INCAP is found to be a straightforward but powerful method, able to cope both with uncertainties in production output as well as with varying demand. However, some restrictions do apply: INCAP depends not only on a minimum level of short-term capacity flexibility, but also in the standard set-up presented here it is limited to make-to-stock environments with similar products.