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.

Ca(2+)-mediated thiolysis of peptide-resin linkage as an option for preparing protected peptide thioesters

A mild new procedure for preparing protected peptide thioesters, based oil Ca(2+)-assisted thiolysis of peptide-Kaiser oxime resin (KOR) linkage, is described. Ac-Ile-Ser(Bzl)-Asp(OcHx)-SR (Ac: acetyl; Bzl: benzyl; cHx: cyclohexyl), model peptide, was readily released from the resin by incubating the peptide-KOR at 60 degrees C in mixtures of DMF with n-butanethiol [R = (CH(2))(3)CH(3)] or ethyl 3-mercaptopropionate [R = (CH(2))(2)COOCHCH(3)] containing Ca(CH(3)COO)(2). After serine and aspartic acid side-chain deprotection under acid conditions, Ac-Ile-Ser-Asp-S(CH(2))(2)COOCH(2)CH(3) was successfully obtained with good quality and high yield. This type of C-terminal modified peptide may act as an excellent acyl donor in peptide segment condensation by the thioester method, native chemical ligation and enzymatic methods. (c) 2008 Elsevier Ltd. All rights reserved.

A method for Ca, Fe, Ga, Na, Si and Zn determination in alumina by inductively coupled plasma optical emission spectrometry after aluminum precipitation

In this present work a method for the determination of Ca, Fe, Ga, Na, Si and Zn in alumina (Al(2)O(3)) by inductively coupled plasma optical emission spectrometry (ICP OES) with axial viewing is presented. Preliminary studies revealed intense aluminum spectral interference over the majority of elements and reaction between aluminum and quartz to form aluminosilicate, reducing drastically the lifetime of the torch. To overcome these problems alumina samples (250 mg) were dissolved with 5 mL HCl + 1.5 mLH(2)SO(4) + 1.5 mL H(2)O in a microwave oven. After complete dissolution the volume was completed to 20 mL and aluminum was precipitated as Al(OH)(3) with NH(3) (by bubbling NH(3) into the solution up to a pH similar to 8, for 10 min). The use of internal standards (Fe/Be, Ga/Dy, Zn/In and Na/Sc) was essential to obtain precise and accurate results. The reliability of the proposed method was checked by analysis of alumina certified reference material (Alumina Reduction Grade-699, NIST). The found concentrations (0.037%w(-1) CaO, 0.013% w w(-1) Fe(2)O(3), 0.012%w w(-1)Ga(2)O(3), 0.49% w w(-1) Na(2)O, 0.014% w w(-1) SiO(2) and 0.013% w w(-1) ZnO) presented no statistical differences compared to the certified values at a 95% confidence level. (C) 2011 Elsevier B.V. All rights reserved.

Effects of the partial replacement of La by M (M=Ce, Ca and Sr) in La(2-x)M(x)CuO(4) perovskites on catalysis of the water-gas shift reaction

The performance of La(2-x)M(x)CuO(4) perovskites (where M = Ce, Ca or Sr) as catalysts for the water-gas shift reaction was investigated at 290 degrees C and 360 degrees C. The catalysts were characterized by EDS, XRD, N(2) adsorption-desorption, XPS and XANES. The XRD results showed that all the perovskites exhibited a single phase (the presence of perovskite structure), suggesting the incorporation of metals in the perovskite structure. The XPS and XANES results showed the presence of Cu(2+) on the surface. The perovskites that exhibited the best catalytic performance were La(2-x)Ce(x)CuO(4) perovslcites, with CO conversions of 85%-90%. Moreover, these perovskites have higher surface areas and larger amounts of Cu on the surface. And Ce has a higher filled energy level than the other metals, increasing the energy of the valence band of Ce and providing more electrons for the reaction. Besides, the La(1.80)Ca(0.20)CuO(4) perovskite showed a good catalytic performance.