Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Relative roles of biogenic emissions and Saharan dust as ice nuclei in the Amazon basin

Some aerosol particles, known as ice nuclei, can initiate ice formation in clouds, thereby influencing precipitation, cloud dynamics and the amount of incoming and outgoing solar radiation. In the absence of biomass burning, aerosol mass concentrations in the Amazon basin are low(1). Tropical forests emit primary biological particles directly into the atmosphere; secondary organic aerosols form from the emission and oxidation of biogenic gases(2). In addition, particles derived from biomass burning in central Africa, marine aerosols, and windblown dust from North Africa(3-5) often reach the central part of the Amazon basin during the wet season. The contribution of these aerosol sources to ice nucleation in the region is uncertain. Here we present observations of the concentration and elemental composition of ice nuclei in the Amazon basin during the wet season. Using transmission electron microscopy combined with energy-dispersive X-ray spectroscopy, we show that ice nuclei are primarily composed of carbonaceous material and dust. We show that biological particles dominate the carbonaceous fraction, whereas import of Saharan dust explains the intermittent appearance of dust-containing nuclei. We conclude that ice-nucleus concentration and abundance can be explained almost entirely by local emissions of biological particles supplemented by import of Saharan dust. Using a simple model, we tentatively suggest that the contribution of local biological particles to ice nucleation is increased at higher atmospheric temperatures, whereas the contribution of dust particles is increased at lower temperatures.

Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ""radio-hybrid"" measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features of the radio extension implemented in the Auger Offline framework. Its functionality has achieved a high degree of sophistication and offers advanced features such as vectorial reconstruction of the electric field, advanced signal processing algorithms, a transparent and efficient handling of FFTs, a very detailed simulation of detector effects, and the read-in of multiple data formats including data from various radio simulation codes. The source code of this radio functionality can be made available to interested parties on request. (C) 2011 Elsevier B.V. All rights reserved.

Investigating the Nature of Noble Gas-Copper Bonds by the Quantum Theory of Atoms in Molecules

We investigated noble gas copper bonds in linear complexes represented by the NgCuX general formula in which Ng and X stand for a noble gas (neon, argon, krypton, or xenon) and a halogen (fluorine, chlorine or bromine), respectively, by coupled cluster methods and modified cc-pVQZ basis sets. The quantum theory of atoms in molecules (QTAIM) shows a linear relation between the dissociation energy or noble gas-copper bonds and the amount of electronic charge transferred mainly from the noble gas to copper during complexation. Large changes in the QTAIM quadrupole moments of copper and noble gases resulting from this bonding and a comparison between NgCuX and NgNaCl systems indicate that these noble gas-copper bonds should be better interpreted as predominantly covalent. Finally, QTAIM atomic dipoles of noble gases in NgNaCl systems agree satisfactorily with atomic dipoles given by a simple model for these NgNa van der Waals bonds.

Nickel hydroxide electrodes as amperometric detectors for carbohydrates in flow injection analysis and liquid chromatography

The present paper describes the utilization of nickel hydroxide modified electrodes toward the catalytic oxidation of carbohydrates (glucose, fructose, lactose and sucrose) and their utilization as electrochemical sensor. The modified electrodes were employed as a detector in flow injection analysis for individual carbohydrate detection, and to an ionic column chromatography system for multi-analyte samples aiming a prior separation step. Kinetic studies were performed on a rotating disk electrode (RDE) in order to determine both the heterogeneous rate constant and number of electrons transferred for each carbohydrate. Many advantages were found for the proposed system including fast and easy handling of the electrode modification, low cost procedure, a wide range of linearity (0.5-50 ppm), low detection limits (ppb level) and high sensitivities. (C) 2009 Elsevier B.V. All rights reserved.