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.

Application execution management on the InteGrade opportunistic grid middleware

The InteGrade project is a multi-university effort to build a novel grid computing middleware based on the opportunistic use of resources belonging to user workstations. The InteGrade middleware currently enables the execution of sequential, bag-of-tasks, and parallel applications that follow the BSP or the MPI programming models. This article presents the lessons learned over the last five years of the InteGrade development and describes the solutions achieved concerning the support for robust application execution. The contributions cover the related fields of application scheduling, execution management, and fault tolerance. We present our solutions, describing their implementation principles and evaluation through the analysis of several experimental results. (C) 2010 Elsevier Inc. All rights reserved.

Dietary fructose, fruits, fruit juices and glucose tolerance status in Japanese-Brazilians

Background and aims: Evidence suggests that fructose and sweetened beverages may be a risk factor for obesity and type 2 diabetes, but the role of sweetened fruit juices in glucose disturbances has been minimally explored. The aim of this study was to examine the association of total fructose, fresh fruit and sweetened fruit juice intake with glucose tolerance homeostasis in Japanese-Brazilians. Methods and results: A total of 475 men and 579 women aged >= 30 years were evaluated in a cross-sectional population-based survey with a standardized protocol including a 2-h oral glucose tolerance test (WHO criteria). Habitual food consumption was obtained using a validated food frequency questionnaire for Japanese-Brazitians. After adjustments for potential confounding variables, the odds ratio (OR; 95%Cl) for impaired glucose tolerance was 2.1 (1.0-4.5; P for trend = 0.05) for the highest as compared to the lowest tertile intake of total fructose and 2.3 (1.1-5.1; P for trend = 0.05) for the highest as compared to the lowest tertile intake of sweetened fruit juices. Conclusion: Our results showed that high intakes of dietary fructose and sweetened fruit juices, but not whole fresh fruits, were associated with impaired glucose tolerance among genetically susceptible individuals. (C) 2008 Elsevier B.V. All rights reserved.

Heat tolerance and the effects of shade on the behavior of Simmental bulls on pasture

The objectives were to assess the degree of thermolysis capacity as a characteristic of heat tolerance of the Simmental beef cattle and evaluate the effects of shade and shade type (artificial: AS, trees: TS, or no shade: NS) on daily behavior patterns during summer. Black globe temperature (BGT) was different under the two types of shade (P < 0.05) and was lower under the TS (P < 0.01) and under AS (P > 0.01) than average BGT in the sun. Animals when in AS used more intensely the shade (P = 0.002) mostly lying down under it (10.00-14.00 hours), while time standing was similar (P = 0.107) between TS and NS. Bulls without shade (NS) spent significantly more time at the water trough and most part of the day standing idle (72.4%, 10.1 h/14 h). TS bulls spent more time grazing/standing (P < 0.001). The Simmental bulls that were in TS and AS spent more time ruminating than bulls that stay without shade (NS). The availability of shade changes grazing, rumination and idling behavior of cattle in response to environmental conditions. Shade provided by trees can be more efficient than artificial shading as cattle spent more time grazing when tree shade was available. Thermolysis capacity can be used to select heat-tolerant animals.

Desiccation tolerance in Pleurostima purpurea (Velloziaceae)

Previous works suggested that Pleurostima purpurea (Velloziaceae-Barbacenioideae) shows a remarkable capacity to endure desiccation of its vegetative tissues. P. purpurea occurs in monocotyledons mats on soil islands in the Pao de Acucar (Sugar Loaf) one of the most recognizable rock outcrops of the world, in Rio de Janeiro, southeastern Brazil. Mats of P. purpurea occur in cliffs by the sea some meters above the tidal zone. Although living in rock outcrops almost devoid of any soil cover, P. purpurea seems to occur preferably on less exposed rock faces and slightly shady sites. Usually, less extreme adaptations to drought would be expected in plants with the habitat preference of P. purpurea. Relying on this observation, we argue if a combination of different strategies of dealing with low water availability can be found in P. purpurea as on other desiccation tolerant angiosperms. This study aims to examine the occurrence of desiccation tolerant behavior in P. purpurea together with the expression of drought avoidance mechanisms during dehydration progression. For this, it was analyzed the gas exchanges, leaf pigments and relative leaf water content during desiccation and rehydration of cultivated mature individuals. P. purpurea behaved like typical drought avoiders under moderated drought condition with stomatal closure occurring around a relative leaf water content up to 90%. During this process, it was observed a delay in the leaf relative water content (RWC(leaf)) decrease comparing to the plant-soil relative water content (RWC(plant-soil)). As soil dehydration worsened, gas exchanges restrictions progressed until a lack of activity which characterizes anabiosis. The loss of chlorophyll occurs before the end of total dehydration, characterizing the presence of poikilochlorophylly. The chlorophyll degradation follows the RWC(leaf) decrease, which achieved the minimum average value of 17% without incurring in leaf abscission. The chlorophyll re-synthesis seems to start well after the full rehydration of the leaf. During all of this process, carotenoid content remained stable. These results are coherent with a combination of drought avoidance and desiccation tolerance in P. purpurea which seems to be coherent with the amplitude of water availability in the rock outcrop habitat where it occurs, suggesting that the periods of water availability are sufficiently long for the success of the costly desiccation tolerant behavior but too short to make a typical drought avoider species win the competition for exploring the rock outcrop substrate where P. purpurea occurs.

The matrix-tolerance hypothesis: an empirical test with frogs in the Atlantic Forest

The matrix-tolerance hypothesis suggests that the most abundant species in the inter-habitat matrix would be less vulnerable to their habitat fragmentation. This model was tested with leaf-litter frogs in the Atlantic Forest where the fragmentation process is older and more severe than in the Amazon, where the model was first developed. Frog abundance data from the agricultural matrix, forest fragments and continuous forest localities were used. We found an expected negative correlation between the abundance of frogs in the matrix and their vulnerability to fragmentation, however, results varied with fragment size and species traits. Smaller fragments exhibited stronger matrix-vulnerability correlation than intermediate fragments, while no significant relation was observed for large fragments. Moreover, some species that avoid the matrix were not sensitive to a decrease in the patch size, and the opposite was also true, indicating significant differences with that expected from the model. Most of the species that use the matrix were forest species with aquatic larvae development, but those species do not necessarily respond to fragmentation or fragment size, and thus affect more intensively the strengthen of the expected relationship. Therefore, the main relationship expected by the matrix-tolerance hypothesis was observed in the Atlantic Forest; however we noted that the prediction of this hypothesis can be substantially affected by the size of the fragments, and by species traits. We propose that matrix-tolerance model should be broadened to become a more effective model, including other patch characteristics, particularly fragment size, and individual species traits (e. g., reproductive mode and habitat preference).

It takes guts for tolerance: The phenomenon of oral tolerance and the regulation of autoimmune response

The intestinal tract is a peculiar environment due to its constant contact with the microbiota agents, food antigens and other molecules. Such exposure requires the establishment of important regulatory mechanisms in order to avoid inflammatory response and self aggression. In this context, the GALT plays a very relevant role due to the presence of several different cellular populations which are the main players in this phenomenon. Moreover, it was described a while ago that the oral ingestion of a given molecule is able to induce systemic tolerance to the same molecule when it is used as an immunogen by parenteral route, known as oral tolerance. This observation led researches to use these mechanisms to induce tolerance against cognate antigens of different autoimmune diseases. In this context, in this review we focused on several tolerance inducing mechanisms which are relevant not only for the maintenance of intestinal tract but also for the suppression of T effector cells, such as Th1, Th2 and the newly described Th17 cells. To name a few, CD103(+) dendritic cells, Tr1 cells derived IL-10 secretion, Foxp3 conversion and CD4(+)LAP(+) regulatory cells induction are among the recently described features of the tolerogenic environment of the intestinal tract. (C) 2009 Elsevier B.V. All rights reserved.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Investigation of the CO tolerance mechanism at several Pt-based bimetallic anode electrocatalysts in a PEM fuel cell

The electrocatalysis of CO tolerance of Pt/C, PtRu/C, PtFe/C, PtMo/C, and PtW/C at a PEM fuel cell anode has been investigated using single cell polarization and online electrochemical mass spectrometry (EMS) measurements, and cyclic voltammetry, X-ray diffraction (XRD), in situ X-ray absorption near edge structure (XANES) analyses of the electrocatalysts. For all bimetallic electrocatalysts, which presented higher CO tolerance, EMS results have shown that the production of CO(2) start at lower hydrogen electrode overpotentials as compared to Pt/C, confirming the occurrence of the so-called bifunctional mechanism. On the other hand, XANES results indicate an increase in the Pt 5d-band vacancies for the bimetallic catalysts, particulary for PtFe/C, this leading to a weakening of the Pt-CO bond, helping to increase the CO tolerance (the so-called electronic effect). For PtMo/C and PtRu/C supplied with H(2)/CO, the formation of CO(2) is observed even when the cell is at open circuit, confirming some elimination of CO by a chemical process, most probably the water gas shift reaction. (C) 2008 Elsevier Ltd. All rights reserved.