Methanol Synthesis with Steel Mill Gases: Performance Investigations in an On-Site Technical Center

An on-site laboratory with direct access to cleaned and conditioned steel mill gases was recently put into operation. The long-term performance and stability of Clariant's MegaMax®800 methanol synthesis catalyst utilizing steel mill gases is currently being investigated. First test results revealed that in order to investigate deactivation mechanisms arising from particular properties of the cleaned steel mill gases, the overlaying effect of thermal deactivation of the catalyst has to be minimized.     

Electromechanical Interactions in Multibody Systems Containing Electromechanical Drives

Electromechanical systems are characterized by interaction of electromagnetic fields with inertial bodies. Electromechanical interactions can be described by so-called constitutive equations.Constitutive equations describing the coupling of multibody dynamics with Kirchhoffs theory of electrical networks as a quasi stationaryapproximation of Maxwells theory define discrete electromechanicalsystems, i.e. systems with a finite degree of freedom.Then, based on the principle of virtual work, motion equations can be obtained as Lagranges equations in explicit form due to a unified approach. The motion equations can be generated automatically. Hence, all electromechanical interactions are correctly taken into account.Examples for a MAGLEV and a planar motor are given.     

An implementation of the coupled perturbed Kohn-Sham equations: perturbation due to nuclear displacements

The Coupled Perturbed Kohn-Sham equations have been implemented in the Amsterdam Density Functional program package. Our implementation differs from previous ones in many ways. This program uses density fitting to calculate the Coulomb and exchange integrals. Further, all matrix elements of the Fock type matrix and its derivatives are calculated by numerical integration. The frozen core approximation is also implemented. Our implementation is approximately 10 times faster than a finite difference algorithm, and the absolute CPU times also compare favorably with other reported implementations.     

DelosDLMS

DelosDLMS is a novel digital library management system (DLMS) that has been developed as an integration effort within the DELOS Network of Excellence, a European Commission initiative funded under its fifth and sixth framework programs. In this paper, we describe DelosDLMS that takes into account the recommendations of several activities that were initiated by DELOS including the DELOS vision for digital libraries (DLs). A key aspect of DelosDLMS is its novel generic infrastructure that allows the generation of digital library systems out of a set of basic system services and DL services in a modular and extensible way. DL services like feature extraction, visualization, intelligent browsing, media-type-specific indexing, support for multilinguality, relevance feedback and many others can easily be incorporated or replaced. A further key aspect of DelosDLMS is its robustness against failures and its scalability for large collections and many parallel user requests. We discuss the current status of an effort to build DelosDLMS, a Digital Library Management System that integrates in various ways several components developed by DELOS members and showcases a great variety of functionality that is outlined as part of the DELOS vision.     

Iterated linear control and iterated one-turn pushdowns

For a class of languages, an-controlled linear grammarK consists of a linear context-free grammarG and a control languageH in, where the terminals ofH are interpreted as the labels of rules ofG. The language generated byK is obtained by derivations ofG such that the corresponding strings of labels of the rules applied are control strings inH. The control of linear grammars can be iterated by starting with and by taking the result of thekth step as class of control languages for the (k + 1)st step. The language class obtained by thekth step is denoted by CTRL_k(). Denote by(S) the language class accepted by nondeterministic one-wayS automata, whereS is a storage type. We prove that for anyS, CTRL_k((S)) = (P _1t ^k (S)), whereP _1t ^k (S) is the storage type the configurations of which consist ofk-iterated one-turn pushdowns ofS-configurations. We establish a strong connection between iterated linear control and iterated one-turn pushdowns. In particular, we characterize CTRL _k ( _CF), where _CF is the class of context-free languages, by iterated one-turn pushdown automata in which the innermost pushdown is unrestricted.The work of the author has been supported by the Netherlands Organization for the advancement of pure research (Z.W.O.).     

Performance and reliability prediction for evolving service-oriented software systems

During software system evolution, software architects intuitively trade off the different architecture alternatives for their extra-functional properties, such as performance, maintainability, reliability, security, and usability. Researchers have proposed numerous model-driven prediction methods based on queuing networks or Petri nets, which claim to be more cost-effective and less error-prone than current practice. Practitioners are reluctant to apply these methods because of the unknown prediction accuracy and work effort. We have applied a novel model-driven prediction method called Q-ImPrESS on a large-scale process control system from ABB consisting of several million lines of code. This paper reports on the achieved performance prediction accuracy and reliability prediction sensitivity analyses as well as the effort in person hours for achieving these results.     

Disambiguating Visual Motion by Form-Motion Interaction—a Computational Model

The neural mechanisms underlying motion segregation and integration still remain unclear to a large extent. Local motion estimates often are ambiguous in the lack of form features, such as corners or junctions. Furthermore, even in the presence of such features, local motion estimates may be wrong if they were generated near occlusions or from transparent objects. Here, a neural model of visual motion processing is presented that involves early stages of the cortical dorsal and ventral pathways. We investigate the computational mechanisms of V1-MT feedforward and feedback processing in the perception of coherent shape motion. In particular, we demonstrate how modulatory MT-V1 feedback helps to stabilize localized feature signals at, e.g. corners, and to disambiguate initial flow estimates that signal ambiguous movement due to the aperture problem for single shapes. In cluttered environments with multiple moving objects partial occlusions may occur which, in turn, generate erroneous motion signals at points of overlapping form. Intrinsic-extrinsic region boundaries are indicated by local T-junctions of possibly any orientation and spatial configuration. Such junctions generate strong localized feature tracking signals that inject erroneous motion directions into the integration process. We describe a simple local mechanism of excitatory form-motion interaction that modifies spurious motion cues at T-junctions. In concert with local competitive-cooperative mechanisms of the motion pathway the motion signals are subsequently segregated into coherent representations of moving shapes. Computer simulations demonstrate the competency of the proposed neural model.     

Large-scale mapping of boreal forest in SIBERIA using ERS tandem coherence and JERS backscatter data

Siberia's boreal forests represent an economically and ecologically precious resource, a significant part of which is not monitored on a regular basis. Synthetic aperture radars (SARs), with their sensitivity to forest biomass, offer mapping capabilities that could provide valuable up-to-date information, for example about fire damage or logging activity. The European Commission SIBERIA project had the aim of mapping an area of approximately 1 million km² in Siberia using SAR data from two satellite sources: the tandem mission of the European Remote Sensing Satellites ERS-1/2 and the Japanese Earth Resource Satellite JERS-1. Mosaics of ERS tandem interferometric coherence and JERS backscattering coefficient show the wealth of information contained in these data but they also show large differences in radar response between neighbouring images. To create one homogeneous forest map, adaptive methods which are able to account for brightness changes due to environmental effects were required. In this paper an adaptive empirical model to determine growing stock volume classes using the ERS tandem coherence and the JERS backscatter data is described. For growing stock volume classes up to 80 m³/ha, accuracies of over 80% are achieved for over a hundred ERS frames at a spatial resolution of 50 m.     

Automated industrial IoT-device integration using the OpenPnP reference architecture

Distributed control systems are currently evolving towards industrial Internet of Things (IoT) systems communicating fully using Internet protocols. This creates opportunities for streamlining costly commissioning processes, which today require substantial manual work for installing, configuring, and integrating thousands of actuators and sensors. The vision of “plug-and-produce” control systems has been pursued for more than 15 years, but existing approaches fell short regarding configuration tasks and vendor neutrality. This paper introduces the standards-based IoT reference architecture OpenPnP, which allows largely automating the configuration and integration tasks of industrial commissioning processes. The architecture includes a number of design and technology decisions and the required implementation can be scaled down to resource-constrained industrial devices. This paper demonstrates how OpenPnP can reduce configuration and integration efforts up to 90% in typical settings, while potentially scaling well up to tens of thousands of communicated signals. Practitioners can orient their implementations towards OpenPnP, therefore potentially enabling “plug-and-produce” in many thousands of control systems.     

DILIGENT: integrating digital library and Grid technologies for a new Earth observation research infrastructure

This paper introduces DILIGENT, a digital library infrastructure built by integrating digital library and Grid technologies and resources. This infrastructure allows different communities to dynamically build specialised digital libraries capable to support the entire e-Science knowledge production and consumption life-cycle by using shared computing, storage, content, and application resources. The paper presents some of the main software services that implement the DILIGENT system. Moreover, it exemplifies the provided features by presenting how the DILIGENT infrastructure is being exploited in supporting the activity of user communities working in the Earth Science Environmental sector. This work is partially funded by the European Commission in the context of the DILIGENT project, under the 2nd call of FP6 IST priority.