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.

Use of the checkerboard DNA-DNA hybridisation technique for in vivo detection of cariogenic microorganisms on metallic brackets, with or without use of an antimicrobial agent

Objective: Using checkerboard DNA-DNA hybridisation (CDDH) assay, this randomised clinical study evaluated the contamination of metallic brackets by four cariogenic bacterial strains (Streptococcus mutans, Streptococcus sobrinus, Lactobacillus casei and Lactobacillus acidophilus) and the efficacy of 0.12% chlorhexidine gluconate (CHX) mouthwashes in reducing bacterial contamination. Methods: Thirty-nine 11-33-year-old patients under treatment with fixed orthodontic appliances were enrolled in the study and had 2 new metallic brackets bonded to premolars. Nineteen patients used a 0.12% CHX mouthwash (Periogard (R)) and 20 patients used a placebo mouthwash (control) twice a week. After 30 days, the brackets were removed and samples were obtained for analysis by CDDH. Data were analysed statistically by the Kruskal-Wallis test (alpha = 0.05) using the SAS software. Results: S. mutans, S. sobrinus, L. casei and L. acidophilus were detected in 100% of the samples from both groups. However, brackets of the control group were more heavily contaminated by S. mutans and S. sobrinus (P < 0.01). In the experimental group, although all counts decreased after rinsing with the chlorhexidine solution, there was significant difference only for S. mutans (P = 0.03). Conclusions: The use of 0.12% chlorhexidine gluconate mouthwashes can be useful in clinical practice to reduce the levels of cariogenic microorganisms in patients under treatment with fixed orthodontic appliances. (C) 2011 Elsevier Ltd. All rights reserved.

Impact of an intervention on the availability and consumption of fruits and vegetables in the workplace

Objective: To evaluate the impact of an educational and environmental intervention on the availability and consumption of fruits and vegetables in workplace cafeterias. Design: This was a randomized intervention study involving a sample of companies that were divided into intervention and control groups. The intervention, which focused on change in the work environment, was based on an ecological model for health promotion. It involved several different aspects including menu planning, food presentation and motivational strategies to encourage the consumption of fruits and vegetables. The impact of the intervention was measured by changes (between baseline and follow-up) in the availability of fruits and vegetables that were eaten per consumer in meals and the consumption of fruits and vegetables in the workplace by workers. We also evaluated the availability of energy, macronutrients and fibre. Settings: Companies of Sao Paulo, Brazil. Subjects: Twenty-nine companies and 2510 workers. Results: After the intervention we found an average increase in the availability of fruits and vegetables of 49 g in the intervention group, an increase of approximately 15 %, whereas the results for the control group remained practically equal to baseline levels. During the follow-up period, the intervention group also showed reduced total fat and an increase in fibre in the meals offered. The results showed a slight but still positive increase in the workers` consumption of fruits and vegetables (about 11 g) in the meals offered by the companies. Conclusions: Interventions focused on the work environment can be effective in promoting the consumption of healthy foods.

Ion beam assisted deposition of an organic light emitting diode electrode

This work presents the electro-optical characterization of metal-organic interfaces prepared by the Ion Beam Assisted Deposition (IBAD) method. IBAD applied in this work combines simultaneously metallic film deposition and bombardment with an independently controlled ion beam, allowing different penetration of the ions and the evaporated metallic elements into the polymer. The result is a hybrid, non-abrupt interface, where polymer, metal and ion coexists. We used an organic light emitting diode, which has a typical vertical-architecture, for the interface characterization: Glass/Indium Tin Oxide (ITO)/Poly[ethylene-dioxythiophene/poly{styrenesulfonicacid}]) (PEDOT:PSS) /Emitting Polymer/Metal. The emitting polymer layer comprised of the Poly[(9,9-dioctyl-2,7-divinylenefluorenylene)-alt-co-{2-methoxy-5-(2-ethylhexyloxy)-1,4-phenylene}] (PFO) and the metal layer of aluminum prepared with different Ar(+) ion energies varying in the range from 0 to 1000 eV. Photoluminescence, Current-Voltage and Electroluminescence measurements were used to study the emission and electron injection properties. Changes of these properties were related with the damage caused by the energetic ions and the metal penetration into the polymer. Computer simulations of hybrid interface damage and metal penetration were confronted with experimental data. (C) 2010 Elsevier B.V. All rights reserved.

Observation of an Antimatter Hypernucleus

Nuclear collisions recreate conditions in the universe microseconds after the Big Bang. Only a very small fraction of the emitted fragments are light nuclei, but these states are of fundamental interest. We report the observation of antihypertritons-comprising an antiproton, an antineutron, and an antilambda hyperon-produced by colliding gold nuclei at high energy. Our analysis yields 70 +/- 17 antihypertritons (3/Lambda(H) over bar) and 157 +/- 30 hypertritons ((3)(Lambda)H). The measured yields of (3)(Lambda)H (3/Lambda(H) over bar) and (3)He ((3)(He) over bar) are similar, suggesting an equilibrium in coordinate and momentum space populations of up, down, and strange quarks and antiquarks, unlike the pattern observed at lower collision energies. The production and properties of antinuclei, and of nuclei containing strange quarks, have implications spanning nuclear and particle physics, astrophysics, and cosmology.

Crystal Engineering of an Anti-HIV Drug Based on the Recognition of Assembling Molecular Frameworks

A rational strategy was employed for design of an orthorhombic structure of lamivudine with maleic acid. On the basis of the lamivudine saccharinate structure reported in the literature, maleic acid was chosen to synthesize a salt with the anti-HIV drug because of the structural similarities between the salt formers. Maleic acid has an acid-ionization constant of the anti first proton and an arrangement of their hydrogen bonding functionalities similar to those of saccharin. Likewise, there is a saccharin-like conformational rigidity in maleic acid because of the hydrogen-bonded ring formation and the Z-configuration around the C=C double bond. As was conceivably predicted, lamivudine maleate assembles into a structure whose intermolecular architecture is related to that of saccharinate salt of the drug. Therefore, a molecular framework responsible for crystal assembly into a lamivudine saccharinate-like structure could be recognized in the salt formers. Furthermore, structural correlations and structure-solubility relationships were established for lamivudine maleate and saccharinate. Although there is a same molecular framework in maleic acid and saccharin, these salt formers are Structurally different in some aspects. When compared to saccharin, neither out-of-plane SO(2) oxygens nor a benzene group occur in maleic acid. Both features could be related to higher solubility of lamivudine maleate. Here, we also anticipate that multicomponent molecular crystals of lamivudine with other salt formers possessing the molecular framework responsible for crystal assembly can be engineered successfully.

Valorization of an Industrial Organosolv-Sugarcane Bagasse Lignin: Characterization and Use as a Matrix in Biobased Composites Reinforced With Sisal Fibers

In the present study, the main focus was the characterization and application of the by-product lignin isolated through an industrial organosolv acid hydrolysis process from sugarcane bagasse, aiming at the production of bioethanol. The sugarcane lignin was characterized and used to prepare phenolic-type resins. The analysis confirmed that the industrial sugarcane lignin is of HGS type, with a high proportion of the less substituted aromatic ring p-hydroxyphenyl units, which favors further reaction with formaldehyde. The lignin-formaldehyde resins were used to produce biobased composites reinforced with different proportions of randomly distributed sisal fibers. The presence of lignin moieties in both the fiber and matrix increases their mutual affinity, as confirmed by SEM images, which showed good adhesion at the biocomposite fiber/matrix interface. This in turn allowed good load transference from the matrix to the fiber, leading to biobased composites with good impact strength (near 500 J m(-1) for a 40 wt% sisal fiber-reinforced composite). The study demonstrates that sugarcane bagasse lignin obtained from a bioethanol plant can be used without excessive purification in the preparation of lignocellulosic fiber-reinforced biobased composites displaying high mechanical properties. Biotechnol. Bioeng. 2010;107: 612-621. (C) 2010 Wiley Periodicals, Inc.