Performance of the radphi detector and trigger in a high rate tagged photon beam

We describe the design and operation of a detector system for measuring all-photon decays of mesons photoproduced in a tagged photon beam with energies between 4.3 and 5.4 GeV and a flux of 5×10⁷ tagged photons per second. Photons from meson decays were detected with a lead-glass calorimeter with an energy resolution of 11% at 1 GeV. Various veto and trigger components were also present. Final states with as many as six photons were successfully detected and reconstructed.     

Quasi-Adiabatic Investigations of Lead in Indium

The use of melting or freezing temperatures of high-purity substances as thermometric fixed points requires a knowledge of the binary phase diagrams of these substances and remaining impurities at very small impurity concentrations. In this paper, a calorimetric apparatus for the measurement of the change in liquidus temperature of fixed-point metals due to dissolved impurities at quasi-adiabatic conditions is presented. This approach combines advantages of the fixed-point method and adiabatic calorimetry. It is more efficient for the screening of a range of impurity concentrations than a fixed-point cell, requires less constructional and experimental expenditure compared with an adiabatic calorimeter, but provides similar small uncertainties on the millikelvin level. Measurements were carried out to determine the influence of lead on the melting temperature of indium at mass fractions up to 6.93 %. The results are in very good agreement with previous measurements by means of slim fixed-point cells in the Physikalisch-Technische Bundesanstalt and confirm a minimum of the freezing point of \(-\) 178 mK at a mass fraction of about 3.7 %. It was demonstrated that this setup allows the investigation of binary phase diagrams with uncertainties less than 8 mK.     

Enhanced electrochemical performance in lithium ion batteries of a hollow spherical lithium-rich cathode material synthesized by a molten salt method

A high voltage layered Li1.2Ni0.16Co0.08Mn0.56O2 cathode material with a hollow spherical structure has been synthesized by molten-salt method in a NaCI flux. Characterization by X-ray diffraction and scanning electron microscopy confirmed its structure and proved that the as-prepared powder is constituted of small, homogenously sized hollow spheres （1-1.5 μm）. The material exhibited enhanced rate capability and high first cycle efficiency due to the good dispersion of secondary particles. Galvanostatic cycling at different temperatures （20, 40, and 60 ℃） and a current rate of 2 C （500 mA.g-1） showed no significant capacity fade.     

A linear-time model-checking algorithm for the alternation-free modal mu-calculus

We develop a model-checking algorithm for a logic that permits propositions to be defined using greatest and least fixed points of mutually recursive systems of equations. This logic is as expressive as the alternation-free fragment of the modal mu-calculus identified by Emerson and Lei, and it may therefore be used to encode a number of temporal logics and behavioral preorders. Our algorithm determines whether a process satisfies a formula in time proportional to the product of the sizes of the process and the formula; this improves on the best known algorithm for similar fixed-point logics.     

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.     

The optimal level of CRM IT investments

In light of the growing relevance of customer-oriented business strategies IT investments in the field of Customer Relationship Management have increased considerably. However, firms often could not realize sufficient returns on these IT investments. One major reason for this failure seems to be the lack of appropriate approaches to determine the economic impact of such investments ex ante. Therefore, we develop an economic model to determine the optimal level of Customer Relationship Management IT investments. Using this approach, firms can evaluate, to what extent investments in Customer Relationship Management IT are reasonable. One major result is that in most cases the “all or nothing strategy” pursued by many firms does not lead to the optimal level of investments. To illustrate the practical utility and applicability of the approach, we provide a real world example of a German financial services provider.     

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.

     

Biometrie am BBI — Chancen und Randbedingungen

Der Betreiber eines Verkehrsflughafens muss Bereiche, die nicht allgemein zug?nglich sind, gegen unberechtigten Zugang sichern und darf, soweit es sich um sicherheitsempfindliche Bereiche handelt, den Zugang nur berechtigten Personen gestatten. Der Flughafenbetreiber gibt dazu an die Zutrittsberechtigten Ausweise aus, mit denen diese sich beim Betreten des Sicherheitsbereiches authentifizieren müssen. Für den neuen Flughafen Berlin-Brandenburg International BBI wird auf den Ausweisen wegen der stark wachsenden Anzahl der zu überprüfenden Personen als zus?tzliches Authentifizierungselement eine biometrische Referenz gespeichert. Bei der Auswahl des biometrischen Verfahrens sind die besonderen Bedingungen von Verkehrsflugh?fen in Betracht zu ziehen.