Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java

Dynamic analysis is an increasingly important means of supporting software validation and maintenance. To date, developers of dynamic analyses have used low-level instrumentation and debug interfaces to realize their analyses. Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading. We present SOFYA – an infra-structure designed to provide high-level, efficient, concurrency-aware support for building analyses that reason about rich observations of program data and events. It provides a layered, modular architecture, which has been successfully used to rapidly develop and evaluate a variety of demanding dynamic program analyses. In this paper, we describe the SOFYA framework, the challenges it addresses, and survey several such analyses.

Agar-Based Gel Electrolyte for Electrochromic Device Application

Gel Polymer Electrolytes (GPE) based on agar and containing LiClO4 have been prepared, characterized and applied to electrochromic devices. The ionic conductivity revealed the best result of 6.5 x 10(-5) S/cm for the sample with 17 wt.% of LiClO4, which increased to 5.4 x 10(-4) S/cm at 72 degrees C. TheGPE have been used in electrochromic devices (ECD) with K-glass/WO3/GPE/CeO2-TiO2/K-glass configuration. The ECD changed transmittance values up to 30% between the colored and transparent states. The charge density measurements revealed an increase of 5.5 to 7.5 mC/cm(2) from the first to 500th cycles and then a decrease to 4.4 mC/cm(2) during the next 4500 cycles. Coloration efficiency (eta) of 25 cm(2)/C was obtained.

A NOTE ON OPEN 3-MANIFOLDS SUPPORTING FOLIATIONS BY PLANES

We show that if N, an open connected n-manifold with finitely generated fundamental group, is C-2 foliated by closed planes, then pi(1)(N) is a free group. This implies that if pi(1)(N) has an abelian subgroup of rank greater than one, then F has at least a nonclosed leaf. Next, we show that if N is three dimensional with fundamental group abelian of rank greater than one, then N is homeomorphic to T-2 x R. Furthermore, in this case we give a complete description of the foliation.

First-year experience of a Brazilian tertiary medical center in supporting severely ill patients using extracorporeal membrane oxygenation

OBJECTIVES: The aim of this manuscript is to describe the first year of our experience using extracorporeal membrane oxygenation support. METHODS: Ten patients with severe refractory hypoxemia, two with associated severe cardiovascular failure, were supported using venous-venous extracorporeal membrane oxygenation (eight patients) or veno-arterial extracorporeal membrane oxygenation (two patients). RESULTS: The median age of the patients was 31 yr (range 14-71 yr). Their median simplified acute physiological score three (SAPS3) was 94 (range 84-118), and they had a median expected mortality of 95% (range 87-99%). Community-acquired pneumonia was the most common diagnosis (50%), followed by P. jiroveci pneumonia in two patients with AIDS (20%). Six patients were transferred from other ICUs during extracorporeal membrane oxygenation support, three of whom were transferred between ICUs within the hospital (30%), two by ambulance (20%) and one by helicopter (10%). Only one patient (10%) was anticoagulated with heparin throughout extracorporeal membrane oxygenation support. Eighty percent of patients required continuous venous-venous hemofiltration. Three patients (30%) developed persistent hypoxemia, which was corrected using higher positive end-expiratory pressure, higher inspired oxygen fractions, recruitment maneuvers, and nitric oxide. The median time on extracorporeal membrane oxygenation support was five (range 3-32) days. The median length of the hospital stay was 31 (range 3-97) days. Four patients (40%) survived to 60 days, and they were free from renal replacement therapy and oxygen support. CONCLUSIONS: The use of extracorporeal membrane oxygenation support in severely ill patients is possible in the presence of a structured team. Efforts must be made to recognize the necessity of extracorporeal respiratory support at an early stage and to prompt activation of the extracorporeal membrane oxygenation team.

Electrocatalytic Activity of Pd, Pt, and Rh for the Electro-oxidation of Ethanol in Alkaline Electrolyte: An Online DEMS Study

The electro-oxidation of ethanol was investigated on electrodeposited layers of Pd, Pt, and Rh in alkaline electrolyte. The reaction products were monitored by experiments of online differential electrochemical mass spectrometry (DEMS). Potentiodynamic curves for the ethanol electro-oxidation catalyzed by these three different metal electrocatalysts showed similar onset potentials, but the highest Faradaic current peak was observed for the Pt electrocatalyst. Online DEMS experiments evidenced similar amounts of CO2 for the three different materials, but Pd presented the higher production of ethylacetate (acetic acid). This indicated that the electrochemical oxidation of ethanol on the Pd surface occurred to a higher extent. The formation of methane, which was observed for Pt and Rh, after potential excursions to lower potentials, was absent for Pd. On the basis of the obtained results, it was stated that, on Pt and Rh, the formation of CO2 occurs mainly via oxidation of CO and CH (x,ad) species formed after dissociative adsorption of ethanol or ethoxy species that takes place only at low potentials. This indicates that the dissociative adsorption of ethanol or ethoxy species is inhibited at higher potentials on Pt and Rh. On the other hand, on the Pd electrocatalyst, the reaction may occur via nondissociative adsorption of ethanol or ethoxy species at lower potentials, followed by oxidation to acetaldehyde and, after that, by a further oxidation step to acetic acid on the electrocatalyst surface. Additionally, in a parallel route, the acetaldehyde molecules adsorbed on the Pd surface can be deprotonated, yielding a reaction intermediate in which the carbon-carbon bond is less protected, and therefore, it can be dissociated on the Pd surface, producing CO2, after potential excursions to higher potentials.

Photo luminescent polymer electrolyte based on agar and containing europium picrate for electrochemical devices

Dispersion of photoluminescent rare earth metal complexes in polymer matrices is of great interest due to the possibility of avoiding the saturation of the photoluminescent signal. The possibility of using a natural ionic conducting polymer matrix was investigated in this study. Samples of agar-based electrolytes containing europium picrate were prepared and characterized by physical and chemical analyses. The FTIR spectra indicated strong interaction of agar O-H and 3.6-anhydro-galactose C-O groups with glycerol and europium picrate. The DSC analyses revealed no glass transition temperature of the samples in the -60 to 250 degrees C range. From the thermogravimetry (TG), a thermal stability of the samples of up to 180 degrees C was stated. The membranes were subjected to ionic conductivity measurement, which provided the values of 2.6 x 10(-6) S/cm for the samples with acetic acid and 1.6 x 10(-5) S/cm for the samples without acetic acid. Moreover, the temperature-dependent ionic conductivity measurements revealed both Arrhenius and VTF models of the conductivity depending on the sample. Surface visualization through scanning electron microscopy (SEM) demonstrated good uniformity. The samples were also applied in small electrochromic devices and showed good electrochemical stability. The present work confirmed that these materials may perform as satisfactory multifunctional component layers in the field of electrochemical devices. (C) 2012 Elsevier B.V. All rights reserved.

Performance of a poly(2,5-benzimidazole)-based polymer electrolyte membrane fuel cell

The performance of an ABPBI-based High Temperature H-2/O-2 PEMFC system was studied under different experimental conditions. Increasing the temperature from 130 to 170 degrees C improved the cell performance, even though further increase was not beneficial for the system. Humidification of the H-2 stream ameliorated this behaviour, even though operating above 170 degrees C is not advisable in terms of cell performance. A significant electrolyte dehydration seems to negatively affect the fuel cell performance, especially in the case of the anode. In the presence of 2% vol. CO in the H-2 stream, the temperature exerted a positive effect on the cell performance, reducing the strong adsorption of this poison on the platinum sites. Moreover, humidification of the H-2 + CO stream increased the maximum power densities of the cell, further alleviating the CO poisoning effects. Actual CO-O-2 fuel cell results confirmed the significant beneficial effect of the relative humidity on the kinetics of the CO oxidation process. Copyright (C) 2011, Hydrogen Energy Publications, LLC. Published by Elsevier Ltd. All rights reserved.

Evidence supporting a protective role for Th9 and Th22 cytokines in human and experimental periapical lesions

Introduction: The development of periapical granulomas is dependent on the host response and involves Th1, Th2, Th17, and Treg-related cytokines. The discovery of new Th9 and Th22 subsets, with important immunomodulatory roles mediated by interleukin (IL)-9 and IL-22, respectively, emphasizes the need for reevaluation of current cytokine paradigms in context of periapical lesions. We investigated the expression of IL-9 and IL-22 in active and stable human granulomas and throughout experimental lesion development in mice. Methods: Periapical granulomas (N = 83) and control specimens (N = 24) were evaluated regarding the expression of IL-9 and IL-22 via realtime polymerase chain reaction. Experimental periapical lesions were induced in mice (pulp exposure and bacterial inoculation) and the lesions evolution correlation with IL-9 and IL-22 expression kinetics was evaluated. Results: IL-9 and IL-22 mRNA expression was higher in periapical lesions than in control samples; higher levels of IL-9 and IL-22 were observed in inactive than in active lesions. In the experimental lesions model, increasing levels of IL-9 and IL-22 mRNA were detected in the lesions, and inverse correlations were found between IL-9 and IL-22 and the increase of lesion area in the different time point intervals. Conclusions: Our results suggest that Th9 and Th22 pathways may contribute to human and experimental periapical lesion stability

Electrolyte disorders in the human ventricle. A simulation study.

Ventricular cells are immersed in a bath of electrolytes and these ions are essential for a healthy heart and a regular rhythm. Maintaining physiological concentration of them is fundamental for reducing arrhythmias and risk of sudden cardiac death, especially in haemodialysis patients and in the heart diseases treatments. Models of electrically activity of the heart based on mathematical formulation are a part of the efforts to improve the understanding and prediction of heart behaviour. Modern models incorporate the extensive and ever increasing amounts of experimental data in incorporating biophysically detailed mechanisms to allow the detailed study of molecular and subcellular mechanisms of heart disease. The goal of this project was to simulate the effects of changes in potassium and calcium concentrations in the extracellular space between experimental data and and a description incorpored into two modern biophysically detailed models (Grandi et al. Model; O’Hara Rudy Model). Moreover the task was to analyze the changes in the ventricular electrical activity, in particular by studying the modifications on the simulated electrocardiographic signal. We used the cellular information obtained by the heart models in order to build a 1D tissue description. The fibre is composed by 165 cells, it is divided in four groups to differentiate the cell types that compound human ventricular tissue. The main results are the following: Grandi et al. (GBP) model is not even able to reproduce the correct action potential profile in hyperkalemia. Data from hospitalized patients indicates that the action potential duration (APD) should be shorter than physiological state but in this model we have the opposite. From the potassium point of view the results obtained by using O’Hara model (ORD) are in agreement with experimental data for the single cell action potential in hypokalemia and hyperkalemia, most of the currents follow the data from literature. In the 1D simulations we were able to reproduce ECGs signal in most the potassium concentrations we selected for this study and we collected data that can help physician in understanding what happens in ventricular cells during electrolyte disorder. However the model fails in the conduction of the stimulus under hyperkalemic conditions. The model emphasized the ECG modifications when the K+ is slightly more than physiological value. In the calcium setting using the ORD model we found an APD shortening in hypocalcaemia and an APD lengthening in hypercalcaemia, i.e. the opposite to experimental observation. This wrong behaviour is kept in one dimensional simulations bringing a longer QT interval in the ECG under higher [Ca2+]o conditions and vice versa. In conclusion it has highlighted that the actual ventricular models present in literature, even if they are useful in the original form, they need an improvement in the sensitivity of these two important electrolytes. We suggest an use of the GBP model with modifications introduced by Carro et al. who understood that the failure of this model is related to the Shannon et al. model (a rabbit model) from which the GBP model was built. The ORD model should be modified in the Ca2+ - dependent IcaL and in the influence of the Iks in the action potential for letting it him produce a correct action potential under different calcium concentrations. In the 1D tissue maybe a heterogeneity setting of intra and extracellular conductances for the different cell types should improve a reproduction of the ECG signal.

Supporting semantic web technologies in the pervasive service ecosystems middleware

Semantic Web technologies are strategic in order to fulfill the openness requirement of Self-Aware Pervasive Service Ecosystems. In fact they provide agents with the ability to cope with distributed data, using RDF to represent information, ontologies to describe relations between concepts from any domain (e.g. equivalence, specialization/extension, and so on) and reasoners to extract implicit knowledge. The aim of this thesis is to study these technologies and design an extension of a pervasive service ecosystems middleware capable of exploiting semantic power, and deepening performance implications.

Celle ad Ossidi Solidi per Elettrolisi ad Alta Temperatura

Lo scopo di questa tesi è stato la produzione di un elettrolizzatore ad ossidi solidi (SOEC) mediante tecniche economiche e facilmente industrializzabili. Fondamentale a questo scopo è stata la realizzazione di una semicella costituita da un anodo poroso a base di La0.8Sr0.2MnO3-Ce0.8Gd0.2O2-δ (LSM-GDC) ed un elettrolita denso a base di Ce0.8Gd0.2O2-δ (GDC). Le tecniche utilizzate per la produzione di questo sistema sono state il colaggio su nastro e la serigrafia. Anche se generalmente, le celle SOEC vengono prodotte catodo supportate, in questo studio, l’elemento supportante scelto è stato l’anodo poiché questo garantisce una migliore stabilità meccanica all’intera cella. Tale substrato è stato ottenuto mediante colaggio su nastro accoppiato con un metodo innovativo di sinterizzazione denominato sinterizzazione reattiva, processo che prevede la formazione della fase di interesse durante un unico trattamento termico di eliminazione degli additivi organici e consolidamento del manufatto finale. La membrana elettrolitica per l’ottenimento del bilayer anodo-elettrolita, è stata prodotta mediante sia serigrafia che colaggio su nastro. L’accurato studio dell’evoluzione di fase della polvere anodica, l’ottimizzazione della sospensione per colaggio su nastro e dei trattamenti termici hanno permesso l’ottenimento di anodi (fino a dimensioni di 10x10 cm2). Lo studio dei profili di sinterizzazione delle polveri anodica ed elettrolitica e dell’influenza della tecnica di formatura sulla sinterabilità dei layer elettrolitici prodotti hanno inoltre permesso l’ottenimento di una semicella planare costituita da un elettrodo poroso ed una membrana elettrolitica densa adatte per applicazioni SOEC.

A mesoscopic simulation method for electrolyte solutions

This thesis deals with the development of a novel simulation technique for macromolecules in electrolyte solutions, with the aim of a performance improvement over current molecular-dynamics based simulation methods. In solutions containing charged macromolecules and salt ions, it is the complex interplay of electrostatic interactions and hydrodynamics that determines the equilibrium and non-equilibrium behavior. However, the treatment of the solvent and dissolved ions makes up the major part of the computational effort. Thus an efficient modeling of both components is essential for the performance of a method. With the novel method we approach the solvent in a coarse-grained fashion and replace the explicit-ion description by a dynamic mean-field treatment. Hence we combine particle- and field-based descriptions in a hybrid method and thereby effectively solve the electrokinetic equations. The developed algorithm is tested extensively in terms of accuracy and performance, and suitable parameter sets are determined. As a first application we study charged polymer solutions (polyelectrolytes) in shear flow with focus on their viscoelastic properties. Here we also include semidilute solutions, which are computationally demanding. Secondly we study the electro-osmotic flow on superhydrophobic surfaces, where we perform a detailed comparison to theoretical predictions.

Development and application of a thermo-hydraulic model supporting the design and the deterministic safety analysis in a sodium cooled fast reactor

Il CP-ESFR è un progetto integrato di cooperazione europeo sui reattori a sodio SFR realizzato sotto il programma quadro EURATOM 7, che unisce il contributo di venticinque partner europei. Il CP-ESFR ha l'ambizione di contribuire all'istituzione di una "solida base scientifica e tecnica per il reattore veloce refrigerato a sodio, al fine di accelerare gli sviluppi pratici per la gestione sicura dei rifiuti radioattivi a lunga vita, per migliorare le prestazioni di sicurezza, l'efficienza delle risorse e il costo-efficacia di energia nucleare al fine di garantire un sistema solido e socialmente accettabile di protezione della popolazione e dell'ambiente contro gli effetti delle radiazioni ionizzanti. " La presente tesi di laurea è un contributo allo sviluppo di modelli e metodi, basati sull’uso di codici termo-idraulici di sistema, per l’ analisi di sicurezza di reattori di IV Generazione refrigerati a metallo liquido. L'attività è stata svolta nell'ambito del progetto FP-7 PELGRIMM ed in sinergia con l’Accordo di Programma MSE-ENEA(PAR-2013). Il progetto FP7 PELGRIMM ha come obbiettivo lo sviluppo di combustibili contenenti attinidi minori 1. attraverso lo studio di due diverse forme: pellet (oggetto della presente tesi) e spherepac 2. valutandone l’impatto sul progetto del reattore CP-ESFR. La tesi propone lo sviluppo di un modello termoidraulico di sistema dei circuiti primario e intermedio del reattore con il codice RELAP5-3D© (INL, US). Tale codice, qualificato per il licenziamento dei reattori nucleari ad acqua, è stato utilizzato per valutare come variano i parametri del core del reattore rilevanti per la sicurezza (es. temperatura di camicia e di centro combustibile, temperatura del fluido refrigerante, etc.), quando il combustibile venga impiegato per “bruciare” gli attinidi minori (isotopi radioattivi a lunga vita contenuti nelle scorie nucleari). Questo ha comportato, una fase di training sul codice, sui suoi modelli e sulle sue capacità. Successivamente, lo sviluppo della nodalizzazione dell’impianto CP-ESFR, la sua qualifica, e l’analisi dei risultati ottenuti al variare della configurazione del core, del bruciamento e del tipo di combustibile impiegato (i.e. diverso arricchimento di attinidi minori). Il testo è suddiviso in sei sezioni. La prima fornisce un’introduzione allo sviluppo tecnologico dei reattori veloci, evidenzia l’ambito in cui è stata svolta questa tesi e ne definisce obbiettivi e struttura. Nella seconda sezione, viene descritto l’impianto del CP-ESFR con attenzione alla configurazione del nocciolo e al sistema primario. La terza sezione introduce il codice di sistema termico-idraulico utilizzato per le analisi e il modello sviluppato per riprodurre l’impianto. Nella sezione quattro vengono descritti: i test e le verifiche effettuate per valutare le prestazioni del modello, la qualifica della nodalizzazione, i principali modelli e le correlazioni più rilevanti per la simulazione e le configurazioni del core considerate per l’analisi dei risultati. I risultati ottenuti relativamente ai parametri di sicurezza del nocciolo in condizioni di normale funzionamento e per un transitorio selezionato sono descritti nella quinta sezione. Infine, sono riportate le conclusioni dell’attività.

A 10-year retrospective analysis of radiographic bone-level changes of implants supporting single-unit crowns in periodontally compromised vs. periodontally healthy patients

AIM: To compare the 10-year peri-implant bone loss (BL) rate in periodontally compromised (PCP) and periodontally healthy patients (PHP) around two different implant systems supporting single-unit crowns. MATERIALS AND METHODS: In this retrospective, controlled study, the mean BL (mBL) rate around dental implants placed in four groups of 20 non-smokers was evaluated after a follow-up of 10 years. Two groups of patients treated for periodontitis (PCP) and two groups of PHP were created. For each category (PCP and PHP), two different types of implant had been selected. The mBL was calculated by subtracting the radiographic bone levels at the time of crown cementation from the bone levels at the 10-year follow-up. RESULTS: The mean age, mean full-mouth plaque and full-mouth bleeding scores and implant location were similar between the four groups. Implant survival rates ranged between 85% and 95%, without statistically significant differences (P>0.05) between groups. For both implant systems, PCP showed statistically significantly higher mBL rates and number of sites with BL> or =3 mm compared with PHP (P<0.0001). CONCLUSIONS: After 10 years, implants in PCP yielded lower survival rates and higher mean marginal BL rates compared with those of implants placed in PHP. These results were independent of the implant system used or the healing modality applied.