Transaction scheduling using dynamic conflict avoidance

Software transaction memory (STM) systems have been used as an approach to improve performance, by allowing the concurrent execution of atomic blocks. However, under high-contention workloads, STM-based systems can considerably degrade performance, as transaction conflict rate increases. Contention management policies have been used as a way to select which transaction to abort when a conflict occurs. In general, contention managers are not capable of avoiding conflicts, as they can only select which transaction to abort and the moment it should restart. Since contention managers act only after a conflict is detected, it becomes harder to effectively increase transaction throughput. More proactive approaches have emerged, aiming at predicting when a transaction is likely to abort, postponing its execution. Nevertheless, most of the proposed proactive techniques are limited, as they do not replace the doomed transaction by another or, when they do, they rely on the operating system for that, having little or no control on which transaction to run. This article proposes LUTS, a lightweight user-level transaction scheduler. Unlike other techniques, LUTS provides the means for selecting another transaction to run in parallel, thus improving system throughput. We discuss LUTS design and propose a dynamic conflict-avoidance heuristic built around its scheduling capabilities. Experimental results, conducted with the STAMP and STMBench7 benchmark suites, running on TinySTM and SwissTM, show how our conflict-avoidance heuristic can effectively improve STM performance on high contention applications. © 2012 Springer Science+Business Media, LLC.

Aplicações de sistemas multiagentes na previsão espacial de demanda elétrica em sistemas de distribuição

Pós-graduação em Engenharia Elétrica - FEIS

Uma arquitetura multiagentes para sistema educacional baseado na web semântica

Pós-graduação em Ciência da Computação - IBILCE

Espalhamento elástico em meios anisotrópicos estratificados

A análise de AVO constitui-se, atualmente, numa importante ferramenta para a extração de informações litológicas a partir de dados sísmicos, através do uso dos contrastes de impedância acústica nas interfaces que separam diferentes litologias. A hipótese usual de isotropia deixa de valer, em muitos casos, após o advento de arranjos de grande afastamento e geofones com multi-superfície. Para a interpretação destes dados, a análise de AVO deve incluir anisotropia. Este trabalho apresenta uma teoria de AVO e resultados numéricos para um meio anisotrópico estratificado. Esta tese contém três contribuições. Inicialmente, é apresentada uma nova abordagem para o estudo da reflexão-transmissão através de interface plana que separam dois meios anisotrópicos com pelo menos um plano horizontal de simetria especular. As equações de Zoeppritz são generalizadas para incluir anisotropia, através da introdução das chamadas matrizes de impedância, o que simplifica bastante o formalismo anterior. Posteriormente, é descrito o estudo da reflexão de ondas P através de interface entre um meio isotrópico e outro transversalmente isotrópico (TI). É mostrado que a reflexão de ondas P, neste tipo de experimento, não fornece informações sobre a presença de anisotropia do semi-espaço TI, pelo menos em incidência pré-crítica. Finalmente, é discutido o comportamento da reflexão e transmissão de pulsos, em incidência pós-crítica, através de meios anisotrópicos estratificados. Observa-se que o comportamento pós-crítico dos pulsos espalhados carregam valiosa informações sobre a anisotropia dos meios atravessados por eles.

Chemotactic signal transduction and phosphate metabolism as adaptive strategies during citrus canker induction by Xanthomonas citri

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Arquitetura de um sistema multiagente autônomo para supervisão e controle

This paper presents a multi-agent architecture that was designed to develop processes supervision and control systems, with the main objective to automate tasks that are repetitive and stressful, and error prone when performed by humans. A set of agents were identified, based on the study of a number of applications found in the literature, that use the approach of multi-agent systems for data integration and process monitoring to faults detection and diagnosis, these agents are used as basis of the proposed multi-agent architecture. A prototype system for the analysis of abnormalities during oil wells drilling was developed.

Results from KASCADE-Grande

The KASCADE-Grande experiment, located at Karlsruhe Institute of Technology (Germany) is a multi-component extensive air-shower experiment devoted to the study of cosmic rays and their interactions at primary energies 10(14)-10(18) eV. Main goals of the experiment are the measurement of the all-particle energy spectrum and mass composition in the 10(16)-10(18) eV range by sampling charged (N-ch) and muon (N-mu) components of the air shower. The method to derive the energy spectrum and its uncertainties, as well as the implications of the obtained result, is discussed. An overview of the analyses performed by KASCADE-Grande to derive the mass composition of the measured high-energy comic rays is presented as well. (C) 2012 Elsevier By. All rights reserved.

Exercise training program based on minimum weekly frequencies: effects on blood pressure and physical fitness in elderly hypertensive patients

Background: Exercise training (ET) can reduce blood pressure (BP) and prevent functional disability. However, the effects of low volumes of training have been poorly studied, especially in elderly hypertensive patients. Objectives: To investigate the effects of a multi-component ET program (aerobic training, strength, flexibility, and balance) on BP, physical fitness, and functional ability of elderly hypertensive patients. Methods: Thirty-six elderly hypertensive patients with optimal clinical treatment underwent a multi-component ET program: two 60-minute sessions a week for 12 weeks at a Basic Health Unit. Results: Compared to pre-training values, systolic and diastolic BP were reduced by 3.6% and 1.2%, respectively (p < 0.001), body mass index was reduced by 1.1% (p < 0.001), and peripheral blood glucose was reduced by 2.5% (p= 0.002). There were improvements in all physical fitness domains: muscle strength (chair-stand test and elbow flexor test; p < 0.001), static balance test (unipedal stance test; p < 0.029), aerobic capacity (stationary gait test; p < 0.001), except for flexibility (sit and reach test). Moreover, there was a reduction in the time required to perform two functional ability tests: "put on sock" and "sit down, stand up, and move around the house" (p < 0.001). Conclusions: Lower volumes of ET improved BP, metabolic parameters, and physical fitness and reflected in the functional ability of elderly hypertensive patients. Trial Registration RBR-2xgjh3.

Genome sequence of Xanthomonas fuscans subsp. fuscans strain 4834-R reveals that flagellar motility is not a general feature of xanthomonads

Abstract Background Xanthomonads are plant-associated bacteria responsible for diseases on economically important crops. Xanthomonas fuscans subsp. fuscans (Xff) is one of the causal agents of common bacterial blight of bean. In this study, the complete genome sequence of strain Xff 4834-R was determined and compared to other Xanthomonas genome sequences. Results Comparative genomics analyses revealed core characteristics shared between Xff 4834-R and other xanthomonads including chemotaxis elements, two-component systems, TonB-dependent transporters, secretion systems (from T1SS to T6SS) and multiple effectors. For instance a repertoire of 29 Type 3 Effectors (T3Es) with two Transcription Activator-Like Effectors was predicted. Mobile elements were associated with major modifications in the genome structure and gene content in comparison to other Xanthomonas genomes. Notably, a deletion of 33 kbp affects flagellum biosynthesis in Xff 4834-R. The presence of a complete flagellar cluster was assessed in a collection of more than 300 strains representing different species and pathovars of Xanthomonas. Five percent of the tested strains presented a deletion in the flagellar cluster and were non-motile. Moreover, half of the Xff strains isolated from the same epidemic than 4834-R was non-motile and this ratio was conserved in the strains colonizing the next bean seed generations. Conclusions This work describes the first genome of a Xanthomonas strain pathogenic on bean and reports the existence of non-motile xanthomonads belonging to different species and pathovars. Isolation of such Xff variants from a natural epidemic may suggest that flagellar motility is not a key function for in planta fitness.

A communication infrastructure to support knowledge level agents on the web

Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been proposed for Multi-Agent Systems, such as KQML and FIPA-ACL. The goal of these languages is to support high-level, human like communication among agents, exploiting Knowledge Level features rather than symbol level ones. Adopting these ACLs, and mainly the FIPA-ACL specifications, many agent platforms and prototypes have been developed. Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal (at the Knowledge Level) with possible failures of agents. Indeed, the notion of Knowledge Level cannot be straightforwardly extended to a distributed framework such as MASs, because problems concerning communication and concurrency may arise when several Knowledge Level agents interact (for example deadlock or starvation). The main contribution of this Thesis is the design and the implementation of NOWHERE, a platform to support Knowledge Level Agents on the Web. NOWHERE exploits an advanced Agent Communication Language, FT-ACL, which provides high-level fault-tolerant communication primitives and satisfies a set of well defined Knowledge Level programming requirements. NOWHERE is well integrated with current technologies, for example providing full integration for Web services. Supporting different middleware used to send messages, it can be adapted to various scenarios. In this Thesis we present the design and the implementation of the architecture, together with a discussion of the most interesting details and a comparison with other emerging agent platforms. We also present several case studies where we discuss the benefits of programming agents using the NOWHERE architecture, comparing the results with other solutions. Finally, the complete source code of the basic examples can be found in appendix.

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices

Communication and coordination are two key-aspects in open distributed agent system, being both responsible for the system’s behaviour integrity. An infrastructure capable to handling these issues, like TuCSoN, should to be able to exploit modern technologies and tools provided by fast software engineering contexts. Thesis aims to demonstrate TuCSoN infrastructure’s abilities to cope new possibilities, hardware and software, offered by mobile technology. The scenarios are going to configure, are related to the distributed nature of multi-agent systems where an agent should be located and runned just on a mobile device. We deal new mobile technology frontiers concerned with smartphones using Android operating system by Google. Analysis and deployment of a distributed agent-based system so described go first to impact with quality and quantity considerations about available resources. Engineering issue at the base of our research is to use TuCSoN against to reduced memory and computing capability of a smartphone, without the loss of functionality, efficiency and integrity for the infrastructure. Thesis work is organized on two fronts simultaneously: the former is the rationalization process of the available hardware and software resources, the latter, totally orthogonal, is the adaptation and optimization process about TuCSoN architecture for an ad-hoc client side release.

Cluster-derived Gold/Iron catalysts for environmental applications

During the last years we assisted to an exponential growth of scientific discoveries for catalysis by gold and many applications have been found for Au-based catalysts. In the literature there are several studies concerning the use of gold-based catalysts for environmental applications and good results are reported for the catalytic combustion of different volatile organic compounds (VOCs). Recently it has also been established that gold-based catalysts are potentially capable of being effectively employed in fuel cells in order to remove CO traces by preferential CO oxidation in H2-rich streams. Bi-metallic catalysts have attracted increasing attention because of their markedly different properties from either of the costituent metals, and above all their enhanced catalytic activity, selectivity and stability. In the literature there are several studies demostrating the beneficial effect due to the addition of an iron component to gold supported catalysts in terms of enhanced activity, selectivity, resistence to deactivation and prolonged lifetime of the catalyst. In this work we tried to develop a methodology for the preparation of iron stabilized gold nanoparticles with controlled size and composition, particularly in terms of obtaining an intimate contact between different phases, since it is well known that the catalytic behaviour of multi-component supported catalysts is strongly influenced by the size of the metal particles and by their reciprocal interaction. Ligand stabilized metal clusters, with nanometric dimensions, are possible precursors for the preparation of catalytically active nanoparticles with controlled dimensions and compositions. Among these, metal carbonyl clusters are quite attractive, since they can be prepared with several different sizes and compositions and, moreover, they are decomposed under very mild conditions. A novel preparation method was developed during this thesis for the preparation of iron and gold/iron supported catalysts using bi-metallic carbonyl clusters as precursors of highly dispersed nanoparticles over TiO2 and CeO2, which are widely considered two of the most suitable supports for gold nanoparticles. Au/FeOx catalysts were prepared by employing the bi-metallic carbonyl cluster salts [NEt4]4[Au4Fe4(CO)16] (Fe/Au=1) and [NEt4][AuFe4(CO)16] (Fe/Au=4), and for comparison FeOx samples were prepared by employing the homometallic [NEt4][HFe3(CO)11] cluster. These clusters were prepared by Prof. Longoni research group (Department of Physical and Inorganic Chemistry- University of Bologna). Particular attention was dedicated to the optimization of a suitable thermal treatment in order to achieve, apart from a good Au and Fe metal dispersion, also the formation of appropriate species with good catalytic properties. A deep IR study was carried out in order to understand the physical interaction between clusters and different supports and detect the occurrence of chemical reactions between them at any stage of the preparation. The characterization by BET, XRD, TEM, H2-TPR, ICP-AES and XPS was performed in order to investigate the catalysts properties, whit particular attention to the interaction between Au and Fe and its influence on the catalytic activity. This novel preparation method resulted in small gold metallic nanoparticles surrounded by highly dispersed iron oxide species, essentially in an amorphous phase, on both TiO2 and CeO2. The results presented in this thesis confirmed that FeOx species can stabilize small Au particles, since keeping costant the gold content but introducing a higher iron amount a higher metal dispersion was achieved. Partial encapsulation of gold atoms by iron species was observed since the Au/Fe surface ratio was found much lower than bulk ratio and a strong interaction between gold and oxide species, both of iron oxide and supports, was achieved. The prepared catalysts were tested in the total oxidation of VOCs, using toluene and methanol as probe molecules for aromatics and alchols, respectively, and in the PROX reaction. Different performances were observed on titania and ceria catalysts, on both toluene and methanol combustion. Toluene combustion on titania catalyst was found to be enhanced increasing iron loading while a moderate effect on FeOx-Ti activity was achieved by Au addition. In this case toluene combustion was improved due to a higher oxygen mobility depending on enhanced oxygen activation by FeOx and Au/FeOx dispersed on titania. On the contrary ceria activity was strongly decreased in the presence of FeOx, while the introduction of gold was found to moderate the detrimental effect of iron species. In fact, excellent ceria performances are due to its ability to adsorb toluene and O2. Since toluene activation is the determining factor for its oxidation, the partial coverage of ceria sites, responsible of toluene adsorption, by FeOx species finely dispersed on the surface resulted in worse efficiency in toluene combustion. Better results were obtained for both ceria and titania catalysts on methanol total oxidation. In this case, the performances achieved on differently supported catalysts indicate that the oxygen mobility is the determining factor in this reaction. The introduction of gold on both TiO2 and CeO2 catalysts, lead to a higher oxygen mobility due to the weakening of both Fe-O and Ce-O bonds and consequently to enhanced methanol combustion. The catalytic activity was found to strongly depend on oxygen mobility and followed the same trend observed for catalysts reducibility. Regarding CO PROX reaction, it was observed that Au/FeOx titania catalysts are less active than ceria ones, due to the lower reducibility of titania compared to ceria. In fact the availability of lattice oxygen involved in PROX reaction is much higher in the latter catalysts. However, the CO PROX performances observed for ceria catalysts are not really high compared to data reported in literature, probably due to the very low Au/Fe surface ratio achieved with this preparation method. CO preferential oxidation was found to strongly depend on Au particle size but also on surface oxygen reducibility, depending on the different oxide species which can be formed using different thermal treatment conditions or varying the iron loading over the support.

Analytical challenges in the fields of Nanobioscience and Nanobiotecnology: integrated methods for separation and characterization

Nano(bio)science and nano(bio)technology play a growing and tremendous interest both on academic and industrial aspects. They are undergoing rapid developments on many fronts such as genomics, proteomics, system biology, and medical applications. However, the lack of characterization tools for nano(bio)systems is currently considered as a major limiting factor to the final establishment of nano(bio)technologies. Flow Field-Flow Fractionation (FlFFF) is a separation technique that is definitely emerging in the bioanalytical field, and the number of applications on nano(bio)analytes such as high molar-mass proteins and protein complexes, sub-cellular units, viruses, and functionalized nanoparticles is constantly increasing. This can be ascribed to the intrinsic advantages of FlFFF for the separation of nano(bio)analytes. FlFFF is ideally suited to separate particles over a broad size range (1 nm-1 μm) according to their hydrodynamic radius (rh). The fractionation is carried out in an empty channel by a flow stream of a mobile phase of any composition. For these reasons, fractionation is developed without surface interaction of the analyte with packing or gel media, and there is no stationary phase able to induce mechanical or shear stress on nanosized analytes, which are for these reasons kept in their native state. Characterization of nano(bio)analytes is made possible after fractionation by interfacing the FlFFF system with detection techniques for morphological, optical or mass characterization. For instance, FlFFF coupling with multi-angle light scattering (MALS) detection allows for absolute molecular weight and size determination, and mass spectrometry has made FlFFF enter the field of proteomics. Potentialities of FlFFF couplings with multi-detection systems are discussed in the first section of this dissertation. The second and the third sections are dedicated to new methods that have been developed for the analysis and characterization of different samples of interest in the fields of diagnostics, pharmaceutics, and nanomedicine. The second section focuses on biological samples such as protein complexes and protein aggregates. In particular it focuses on FlFFF methods developed to give new insights into: a) chemical composition and morphological features of blood serum lipoprotein classes, b) time-dependent aggregation pattern of the amyloid protein Aβ1-42, and c) aggregation state of antibody therapeutics in their formulation buffers. The third section is dedicated to the analysis and characterization of structured nanoparticles designed for nanomedicine applications. The discussed results indicate that FlFFF with on-line MALS and fluorescence detection (FD) may become the unparallel methodology for the analysis and characterization of new, structured, fluorescent nanomaterials.

Hybrid Methods for Resource Allocation and Scheduling Problems in Deterministic and Stochastic Environments

This work presents exact, hybrid algorithms for mixed resource Allocation and Scheduling problems; in general terms, those consist into assigning over time finite capacity resources to a set of precedence connected activities. The proposed methods have broad applicability, but are mainly motivated by applications in the field of Embedded System Design. In particular, high-performance embedded computing recently witnessed the shift from single CPU platforms with application-specific accelerators to programmable Multi Processor Systems-on-Chip (MPSoCs). Those allow higher flexibility, real time performance and low energy consumption, but the programmer must be able to effectively exploit the platform parallelism. This raises interest in the development of algorithmic techniques to be embedded in CAD tools; in particular, given a specific application and platform, the objective if to perform optimal allocation of hardware resources and to compute an execution schedule. On this regard, since embedded systems tend to run the same set of applications for their entire lifetime, off-line, exact optimization approaches are particularly appealing. Quite surprisingly, the use of exact algorithms has not been well investigated so far; this is in part motivated by the complexity of integrated allocation and scheduling, setting tough challenges for ``pure'' combinatorial methods. The use of hybrid CP/OR approaches presents the opportunity to exploit mutual advantages of different methods, while compensating for their weaknesses. In this work, we consider in first instance an Allocation and Scheduling problem over the Cell BE processor by Sony, IBM and Toshiba; we propose three different solution methods, leveraging decomposition, cut generation and heuristic guided search. Next, we face Allocation and Scheduling of so-called Conditional Task Graphs, explicitly accounting for branches with outcome not known at design time; we extend the CP scheduling framework to effectively deal with the introduced stochastic elements. Finally, we address Allocation and Scheduling with uncertain, bounded execution times, via conflict based tree search; we introduce a simple and flexible time model to take into account duration variability and provide an efficient conflict detection method. The proposed approaches achieve good results on practical size problem, thus demonstrating the use of exact approaches for system design is feasible. Furthermore, the developed techniques bring significant contributions to combinatorial optimization methods.