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.

On Compositional Modelling

Many solutions to AI problems require the task to be represented in one of a multitude of rigorous mathematical formalisms. The construction of such mathematical models forms a difficult problem which is often left to the user of the problem solver. This void between problem solvers and the problems is studied by the eclectic field of automated modelling. Within this field, compositional modelling, a knowledge-based methodology for system modelling, has established itself as a leading approach. In general, a compositional modeller organises knowledge in a structure of composable fragments that relate to particular system components or processes. Its embedded inference mechanism chooses the appropriate fragments with respect to a given problem, instantiates and assembles them into a consistent system model. Many different types of compositional modeller exist, however, with significant differences in their knowledge representation and approach to inference. This paper examines compositional modelling. It presents a general framework for building and analysing compositional modellers. Based on this framework, a number of influential compositional modellers are examined and compared. The paper also identifies the strengths and weaknesses of compositional modelling and discusses some typical applications.

Modelagem em SystemC-AMS de uma plataforma compatível com o sistema de coleta de dados brasileiro

This work presents simulation results of an identification platform compatible with the INPE Brazilian Data Collection System, modeled with SystemC-AMS. SystemC-AMS that is a library of C++ classes dedicated to the simulation of heterogeneous systems, offering a powerful resource to describe models in digital, analog and RF domains, as well as mechanical and optic. The designed model was divided in four parts. The first block takes into account the satellite s orbit, necessary to correctly model the propagation channel, including Doppler effect, attenuation and thermal noise. The identification block detects the satellite presence. It is composed by low noise amplifier, band pass filter, power detector and logic comparator. The controller block is responsible for enabling the RF transmitter when the presence of the satellite is detected. The controller was modeled as a Petri net, due to the asynchronous nature of the system. The fourth block is the RF transmitter unit, which performs the modulation of the information in BPSK ±60o. This block is composed by oscillator, mixer, adder and amplifier. The whole system was simulated simultaneously. The results are being used to specify system components and to elaborate testbenchs for design verification

Design and management optimization of trickle irrigation systems using non-linear programming

A non-linear model is presented which optimizes the lay-out, as well as the design and management of trickle irrigation systems, to achieve maximum net benefit. The model consists of an objective function that maximizes profit at the farm level, subject to appropriate geometric and hydraulic constraints. It can be applied to rectangular shaped fields, with uniform or zero slope. The software used is the Gams-Minos package. The basic inputs are the crop-water-production function, the cost function and cost of system components, and design variables. The main outputs are the annual net benefit and pipe diameters and lengths. To illustrate the capability of the model, a sensitivity analysis of the annual net benefit for a citrus field is evaluated with respect to irrigated area, ground slope, micro-sprinkler discharge and shape of the field. The sensitivity analysis suggests that the greatest benefit is obtained with the smallest microsprinkler discharge, the greatest area, a square field and zero ground slope. The costs of the investment and energy are the components of the objective function that had the greatest effect in the 120 situations evaluated. (C) 1996 Academic Press Limited

Relações entre a rede de drenagem e as superfícies de aplainamento no semiárido: a bacia hidrográfica do rio Bom Sucesso (Bahia)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Planejamento da expansão de sistemas de transmissão considerando análise de confiabilidade e incertezas na demanda futura

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento de metodologias eletroanalíticas para determinação de potássio e fósforo em biodiesel

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Using a threaded framework to enable practical activities in Operating Systems courses

Teaching Operating Systems (OS) is a rather hard task, since being an OS designer is not a desired goal for most students and the subject demands a large amount of knowledge over system's details. To reduce the difficulty many courses are planned with laboratory practices, differing in how the practices are designed. Some try to implement next-to-real kernels, others use simulators, and even others use synthetic kernels. In this paper an approach based on synthetic kernels is described. It uses thread programming in order to establish control over the operating system components. T his approach allows the kernel to grow following the materials presented in the course. It has been successfully applied in two different courses at our University, the first one being a basic OS course and the second one an upper level course. Results from these applications are presented.

Metodologia computacional baseada em DFT, para compreensão de processos eletródicos em fases intermetálicas ordenadas

Pós-graduação em Ciência e Tecnologia de Materiais - FC

Allergy to hematophagous arthropods bites

Allergies to hematophagous arthropod bites are inflammatory reactivity to arthropods salivary components. They vary in intensity and quality dependent upon the arthropod species and the individual immune response to specific proteins of the insect s saliva. Individuals who were not previously exposed show mild localized reactions not beyond those expected by pharmacological substances present in arthropods saliva. Allergic reactions are immunological in their nature and the diversity derived from hypersensitivity reactions with different levels of participation of the immune system components. Some are mainly derived from a humoral immune response, and others are based predominantly on T-lymphocyte-mediated. The majority of these undesired biological answers are self-limited, and few may cause a systemic reaction. This article intends to discuss the immunological ingredients of this evolutionary interaction.

Benthic responses to organic matter variation in a subtropical coastal area off SE Brazil

Organic matter quality, expressed as the proportion of chlorophyll a (Chl a) to degraded organic material (i.e. phaeopigments), is known to influence the structure of benthic associations and plays an important role in the functioning of the ecosystem. This study investigates the vertical distribution of microbial biomass, meiofauna and macrofauna with respect to organic matter variation in Ubatuba, Brazil, a southeastern, subtropical coastal area. On three occasions, samples were collected in exposed and sheltered stations, at high and low hydrodynamic conditions. We hypothesize that benthic assemblages will have high meio- and macrofaunal densities and high microbial biomass at the sediment surface at the sheltered site, and lower and vertically homogeneous microbial biomass and densities of meio- and macrofauna are expected at the exposed site. The accumulation of fresh organic matter at the sediment surface was observed at both stations over the three sampling dates, which contributed to the higher densities of meiofauna in the first layers of the sediment column. Macrofauna followed the same trend only at the exposed station, but changes in the number of species, biodiversity and feeding groups were registered for both stations. Microbial biomass increased at the sheltered station over the three sampling dates, whereas at the exposed station, microbial biomass was nearly constant. Physical exposure did not influence organic matter loading at the sites and therefore did not affect overall structure of benthic assemblages, which negates our original hypothesis. Most of the benthic system components reacted to organic matter quality and quantity, but relationships between different-sized organisms (i.e. competition and/or predation) may explain the unchanged microbial profiles at the exposed site and homogeneous vertical distribution of macrofauna at the sheltered site. In conclusion, the high quality of organic matter was a crucial factor in sustaining and regulating the benthic system, but coupled results showed that interactions between micro-, meio- and macrofauna can be highly complex.

Ethanol Consumption Alters the Expression and Reactivity of Adrenomedullin in the Rat Mesenteric Arterial Bed

Aims: Adrenomedullin (AM) is a peptide that displays cardiovascular protective activity. We investigated the effects of chronic ethanol consumption on arterial blood pressure, vascular reactivity to AM and the expression of AM system components in the rat mesenteric arterial bed (MAB). Methods: Male Wistar rats were treated with ethanol (20% vol/vol) for 6 weeks. Systolic, diastolic and mean arterial blood pressure were monitored in conscious rats. Vascular reactivity experiments were performed on isolated rat MAB. Matrix metalloproteinase-2 (MMP-2) levels were determined by gelatin zymography. Nitrite and nitrate generation were measured by chemiluminescence. Protein and mRNA levels of pre-pro-AM, CRLR (calcitonin receptor-like receptor) and RAMP1, 2 and 3 (receptor activity-modifying proteins) were assessed by western blot and quantitative real-time polymerase chain reaction, respectively. Results: Ethanol consumption induced hypertension and decreased the relaxation induced by AM and acetylcholine in endothelium-intact rat MAB. Phenylephrine-induced contraction was increased in endothelium-intact MAB from ethanol-treated rats. Ethanol consumption did not alter basal levels of nitrate and nitrite, nor did it affect the expression of MMP-2 or the net MMP activity in the rat MAB. Ethanol consumption increased mRNA levels of pre-pro-AM and protein levels of AM in the rat MAB. Finally, no differences in protein levels or mRNA of CRLR and RAMP1, 2 and 3 were observed after treatment with ethanol. Conclusion: Our study demonstrates that ethanol consumption increases blood pressure and the expression of AM in the vasculature and reduces the relaxation induced by this peptide in the rat MAB.

Stand-level patterns of carbon fluxes and partitioning in a Eucalyptus grandis plantation across a gradient of productivity, in Sao Paulo State, Brazil

Wood production represents a large but variable fraction of gross primary production (GPP) in highly productive Eucalyptus plantations. Assessing patterns of carbon (C) partitioning (C flux as a fraction of GPP) between above- and belowground components is essential to understand mechanisms driving the C budget of these plantations. Better knowledge of fluxes and partitioning to woody and non-woody tissues in response to site characteristics and resource availability could provide opportunities to increase forest productivity. Our study aimed at investigating how C allocation varied within one apparently homogeneous 90 ha stand of Eucalyptus grandis (W. Hill ex Maiden) in Southeastern Brazil. We assessed annual above-ground net primary production (ANPP: stem, leaf, and branch production) and total belowground C flux (TBCF: the sum of root production and respiration and mycorrhizal production and respiration), GPP (computed as the sum of ANPP, TBCF and estimated aboveground respiration) on 12 plots representing the gradient of productivity found within the stand. The spatial heterogeneity of topography and associated soil attributes across the stand likely explained this fertility gradient. Component fluxes of GPP and C partitioning were found to vary among plots. Stem NPP ranged from 554 g C m(-2) year(-1) on the plot with lowest GPP to 923 g C m(-2) year(-1) on the plot with highest GPP. Total belowground carbon flux ranged from 497 to 1235 g C m(-2) year(-1) and showed no relationship with ANPP or GPP. Carbon partitioning to stem NPP increased from 0.19 to 0.23, showing a positive trend of increase with GPP (R-2 = 0.29, P = 0.07). Variations in stem wood production across the gradient of productivity observed at our experimental site were a result of the variability in C partitioning to different forest system components.

Intrinsic ordering, combinatorial numbers and reliability engineering

[EN]A new algorithm for evaluating the top event probability of large fault trees (FTs) is presented. This algorithm does not require any previous qualitative analysis of the FT. Indeed, its efficiency is independent of the FT logic, and it only depends on the number n of basic system components and on their failure probabilities. Our method provides exact lower and upper bounds on the top event probability by using new properties of the intrinsic order relation between binary strings. The intrinsic order enables one to select binary n-tuples with large occurrence probabilities without necessity to evaluate them. This drastically reduces the complexity of the problem from exponential (2n binary n-tuples) to linear (n Boolean variables)...

Genetische Analyse des Somatostatin-Systems

Somatostatin ist ein Molekül mit multifunktinonellem Charakter, dem Neurotransmitter-, Neuromodulator- und (Neuro)-Hormoneigenschaften zugeschrieben werden. Gemäß seiner ubiquitären Verteilung in Geweben beeinflusst es Stoffwechsel- und Entwicklungsprozesse, bis hin zu Lern-und Gedächtnisleistungen. Diese Wirkungen resultieren aus dem lokalen und zeitlichen Zusammenspiel eines Liganden und fünf G-Protein gekoppelter Rezeptoren (SSTR1-5). Zur Charakterisierung der biologischen Bedeutung des Somatostatin-Systems im Gesamtorganismus wurde eine Mutationsanalyse einzelner Systemkomponenten durchgeführt. Sie umfaßte die Inaktivierung der Gene für das Somatostatin-Präpropeptid und die der Rezeptoren SSTR3 und SSTR4 durch Gene Targeting. Die entsprechenden Ausfallmutationen belegen: Weder die Rezeptoren 3 und 4, noch Somatostatin sind für das Überleben des Organismus unter Standardhaltungsbedingungen notwendig. Die entsprechenden Mauslinien zeigen keine unmittelbar auffälligen Einschränkungen ihrer Biologie. Die Somatostatin-Nullmaus wurde zum Hauptgegenstand einer detaillierten Untersuchung aufgrund der übergeordneten Position des Liganden in der Signalkaskade und verfügbaren Hinweisen zu seiner Funktion. Folgende Schlußfolgerungen konnten nach eingehender Analyse gezogen werden: Der Ausfall des Somatostatin-Gens hat erhöhte Plasmakonzentrationen an Wachstumshormon (GH) zur Konsequenz. Dies steht im Einklang mit der Rolle Somatostatins als hemmender Faktor der Wachstumshormon-Freisetzung, die in der Mutante aufgehoben ist. Durch die Somatostatin-Nullmaus wurde zudem deutlich: Somatostatin interagiert als wesentliches Bindeglied zwischen der Wachstums- und Streßachse. Permanent erhöhte Corticosteron-Werte in den Mutanten implizieren einen negativen tonischen Einfluß für die Sekretion von Glukocorticoiden in vivo. Damit zeigt die Knockout-Maus, daß Somatostatin normalerweise als ein entscheidendes inhibierendes Kontrollelement der Steroidfreisetzung fungiert. Verhaltensversuche offenbarten ein Defizit im motorischen Lernen. Somatostatin-Nullmäuse bleiben im Lernparadigma “Rotierender Stabtest” hinter ihren Artgenossen zurück ohne aber generell in Motorik oder Koordination eingeschränkt zu sein. Diese motorischen Lernvorgänge sind von einem funktionierenden Kleinhirn abhängig. Da Somatostatin und seine Rezeptoren kaum im adulten, wohl aber im sich entwickelnden Kleinhirn auftreten, belegt dieses Ergebnis die Funktion transient in der Entwicklung exprimierter Neuropeptide – eine lang bestehende, aber bislang experimentell nicht nachgewiesene Hypothese. Die Überprüfung weiterer physiologischer Parameter und Verhaltenskategorien unter Standard-Laborbedingunggen ergab keine sichtbaren Abweichungen im Vergleich zu Wildtyp-Mäusen. Damit steht nun ein Tiermodell zur weiterführenden Analyse für die Somatostatin-Forschung bereit: In endokrinologischen, elektrophysiologischen und verhaltens-biologischen Experimenten ist nun eine unmittelbare Korrelation selektiv mit dem Somatostatin-Peptid bzw. mit den Rezeptoren 3 und 4 aber auch in Kombination der Ausfallmutationen nach entsprechenden Kreuzungen möglich.