BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Validation of the MEASURE automobile emissions model : a statistical analysis

The Mobile Emissions Assessment System for Urban and Regional Evaluation (MEASURE) model provides an external validation capability for hot stabilized option; the model is one of several new modal emissions models designed to predict hot stabilized emission rates for various motor vehicle groups as a function of the conditions under which the vehicles are operating. The validation of aggregate measurements, such as speed and acceleration profile, is performed on an independent data set using three statistical criteria. The MEASURE algorithms have proved to provide significant improvements in both average emission estimates and explanatory power over some earlier models for pollutants across almost every operating cycle tested.

Governors highway safety associations and transportation planning: Exploratory factor analysis and structural equation modeling

The Intermodal Surface Transportation Efficiency Act (ISTEA) of 1991 mandated the consideration of safety in the regional transportation planning process. As part of National Cooperative Highway Research Program Project 8-44, "Incorporating Safety into the Transportation Planning Process," we conducted a telephone survey to assess safety-related activities and expertise at Governors Highway Safety Associations (GHSAs), and GHSA relationships with metropolitan planning organizations (MPOs) and state departments of transportation (DOTs). The survey results were combined with statewide crash data to enable exploratory modeling of the relationship between GHSA policies and programs and statewide safety. The modeling objective was to illuminate current hurdles to ISTEA implementation, so that appropriate institutional, analytical, and personnel improvements can be made. The study revealed that coordination of transportation safety across DOTs, MPOs, GHSAs, and departments of public safety is generally beneficial to the implementation of safety. In addition, better coordination is characterized by more positive and constructive attitudes toward incorporating safety into planning.

Clinical pathways for chronic cough in children

Background Chronic cough (a cough lasting longer than four weeks) is a common problem internationally. Chronic cough has associated economic costs and is distressing to the child and to parents; ignoring cough may lead to delayed diagnosis and progression of serious underlying respiratory disease. Clinical guidelines have been shown to lead to efficient and effective patient care and can facilitate clinical decision making. Cough guidelines have been designed to facilitate the management of chronic cough. However, treatment recommendations vary, and specific clinical pathways for the treatment of chronic cough in children are important, as causes of and treatments for cough vary significantly from those in adults. Therefore, systematic evaluation of the use of evidence-based clinical pathways for the management of chronic cough in children would be beneficial for clinical practice and for patient care. Use of a management algorithm can improve clinical outcomes; such management guidelines can be found in the guidelines for cough provided by the American College of Chest Physicians (ACCP) and the British Thoracic Society (BTS). Objectives To evaluate the effectiveness of using a clinical pathway in the management of children with chronic cough. Search methods The Cochrane Register of Controlled Trials (CENTRAL), the Cochrane Airways Group Specialised Register, MEDLINE, EMBASE, review articles and reference lists of re levant articles were searched. The latest search was conducted in January 2014. Selection criteria All randomised controlled trials of parallel-group design comparing use versus non-use of a clinical pathway for treatment of chronic cough in children (< 18 years of age). Data collection and analysis Results of searches were reviewed against predetermined cr iteria for inclusion. Two review authors independently selected studies and performed data extraction in duplicate. Main results One study was included in the review. This multi-centre trial was based in five Australian hospitals and recruited 272 children with chronic cough. Children were randomly assigned to early (two weeks) or delayed (six weeks) referral to respiratory specialists who used a cough management pathway. When an intention-to-treat analysis was performed, clinical failure at six wee ks post randomisation (defined as < 75% improvement in cough score, or total resolution for fewer than three consecutive days) was significantly less in the early pathway arm compared with the control arm (odds ratio (OR) 0.35, 95% confidence interval (CI) 0.21 to 0.58). These results indicate that one additional child will be cured for e very five children treated via th e cough pathway (number needed to treat for an additional beneficial outcome (NNTB) = 5, 95% CI 3 to 9) at six weeks. Cough-specific parent-reported quality of life scores were significantly better in th e early-pathway group; the mean difference (MD) between groups was 0.60 (95% CI 0.19 to 1.01). Duration of cough post randomisation was significantly shorter in the intervention group (early-pathway arm) compared with the control group (delayed-pathway arm) (MD -2.70 weeks, 95% CI -4.26 to -1.14). Authors’ conclusions. Current evidence suggests that using a clinical algorithm for the management of children with ch r onic cough in h ospital outpatient settings is more effective than providing wait-list care. Futher high-quality randomised controlled trials are needed to perform ongoing evaluation of cough management pathways in general practitioner and other primary care settings.

Questionable antibiotic practices: Obtaining reliable estimates of consumer behaviours

Background: Significant recent attention has focussed on the role of antibiotic prescribing and usage with the aim of combating antibiotic resistance, a growing worldwide health concern. A significant gap in this literature concerns the consumption patterns and beliefs of consumers about antibiotics and their effects. We seek to remedy this gap by exploring a range of questionable antibiotic practices and obtaining reliable estimates of their prevalence as well as their normative status. Methods: We conducted an online survey of over 100 consumers. We used a new incentive compatible technique, the Bayesian Truth Serum (BTS), to elicit more truthful responding than standard self-report measures. We asked participants to indicate whether they engaged in a number of practices including whether they had: taken antibiotics when they are out of date and stored antibiotics at home for later use. We then sought estimates of the percentage of other patients (like them) who had engaged in each behaviour, as well as asking them among those patients who had, the percentage that would admit to having done so. We also asked about social acceptability and responsibility of the practices. Results: These results will show for each type of questionable practice how prevalent it is and whether consumers view it as both socially acceptable and socially responsible. We will gain the relative prevalence of each of these practices. Conclusion: These findings are of paramount importance in gaining a better understanding of consumers’ antibiotic consumption patterns. These will be vital for better targeting educational campaigns to lower inappropriate antibiotic consumption.

Ion-regulatory proreins in neuronal development and communication

Brain function is critically dependent on the ionic homeostasis in both the extra- and intracellular compartment. The regulation of brain extracellular ionic composition mainly relies on active transport at blood brain and at blood cerebrospinal fluid interfaces whereas intracellular ion regulation is based on plasmalemmal transporters of neurons and glia. In addition, the latter mechanisms can generate physiologically as well as pathophysiologically significant extracellular ion transients. In this work I have studied molecular mechanisms and development of ion regulation and how these factors alter neuronal excitability and affect synaptic and non-synaptic transmission with a particular emphasis on intracellular pH and chloride (Cl-) regulation. Why is the regulation of acid-base equivalents (H+ and HCO3-) and Cl- of such interest and importance? First of all, GABAA-receptors are permeable to both HCO3- and Cl-. In the adult mammalian central nervous system (CNS) fast postsynaptic inhibition relies on GABAA-receptor mediated transmission. Today, excitatory effects of GABAA-receptors, both in mature neurons and during the early development, have been recognized and the significance of the dual actions of GABA on neuronal communication has become an interesting field of research. The transmembrane gradients of Cl- and HCO3- determine the reversal potential of GABAA-receptor mediated postsynaptic potentials and hence, the function of pH and Cl- regulatory proteins have profound consequences on GABAergic signaling and neuronal excitability. Secondly, perturbations in pH can cause a variety of changes in cellular function, many of them resulting from the interaction of protons with ionizable side chains of proteins. pH-mediated alterations of protein conformation in e.g. ion channels, transporters, and enzymes can powerfully modulate neurotransmission. In the context of pH homeostasis, the enzyme carbonic anhydrase (CA) needs to be taken into account in parallel with ion transporters: for CO2/HCO3- buffering to act in a fast manner, CO2 (de)hydration must be catalyzed by this enzyme. The acid-base equivalents that serve as substrates in the CO2 dehydration-hydration reaction are also engaged in many carrier and channel mediated ion movements. In such processes, CA activity is in key position to modulate transmembrane solute fluxes and their consequences. The bicarbonate transporters (BTs; SLC4) and the electroneutral cation-chloride cotransporters (CCCs; SLC12) belong the to large gene family of solute carriers (SLCs). In my work I have studied the physiological roles of the K+-Cl- cotransporter KCC2 (Slc12a5) and the Na+-driven Cl--HCO3- exchanger NCBE (Slc4a10) and the roles of these two ion transporters in the modualtion of neuronal communication and excitability in the rodent hippocampus. I have also examined the cellular localization and molecular basis of intracellular CA that has been shown to be essential for the generation of prolonged GABAergic excitation in the mature hippocampus. The results in my Thesis provide direct evidence for the view that the postnatal up-regulation of KCC2 accounts for the developmental shift from depolarizing to hyperpolarizing postsynaptic EGABA-A responses in rat hippocampal pyramidal neurons. The results also indicate that after KCC2 expression the developmental onset of excitatory GABAergic transmission upon intense GABAA-receptor stimulation depend on the expression of intrapyramidal CA, identified as the CA isoform VII. Studies on mice with targeted Slc4a10 gene disruption revealed an important role for NCBE in neuronal pH regulation and in pH-dependent modulation of neuronal excitability. Furthermore, this ion transporter is involved in the basolateral Na+ and HCO3- uptake in choroid plexus epithelial cells, and is thus likely to contribute to cerebrospinal fluid production.

Estimating the underwater shape of tuna longlines with micro-bathythermographs

An estimation method for the three-dimensional underwater shape of tuna longlines is developed, using measurements of depth obtained from micro-bathythermographs (BTs) attached to the main line at equally spaced intervals. The shape of the main line is approximated by a model which consists of a chain of unit length lines (folding-rule model), where the junction points are placed at the observed depths. Among the infinite number of possible shapes, the most likely shape is considered to be the smoothest one that can be obtained with a numerical optimization algorithm. To validate the method, a series of experimental longline operations were conducted in the equatorial region of the eastern Pacific Ocean, using 13 or 14 micro-BTs per basket of main line. Concurrent observations of oceanographic conditions (currents and temperature structure) were obtained. The shape of the main line can be calculated at arbitrary times during operations. Shapes were consistent with the current structure. On the equator, the line was elevated significantly by the Equatorial Undercurrent. It is shown that the shape of main line depends primarily upon the vertical shear and direction of the current relative to the gear. Time sequences of calculated shapes reveals that observed periodic (1-2 hours) oscillations in depth of the gear was caused by swinging movements of the main line. The shortening rate of the main line is an important parameter for formulating the shape of the longline, and its precise measurement is desirable.

Bothrops aff. Leucurus (Wagler, 1824) populazio irlatar baten deskribapen morfologikoa: suge populazio irlatar baten morfologia

[EUS] Atrox konplexuko espezieen barruan, Bothrops leucurus (Wagler, 1824) Bahia estatuko oihan atlantikoko sugegorri espezie arruntena da. Polimorfikoa da eta ezaugarri geografikoekin, ontogenikoekin eta sexuarekin erlazionatutako kolore aldakortasuna aurkezten du. Jadanik hainbat ikerketa burutu dira kontinenteko populazioei buruz, baina, oraindik ez da lanik egin BTS badiako populazio uhartetarrekin. Lan honen xedea Bothrops aff. leucurus populazio uhartetarraren deskribapena burutzea izan da, orbanen ereduetan, folidosian eta gorputz tamainan oinarriturik. Lagin tamaina erlatiboki txikia izanik (n=20), Student t testeko emaitzak type II erroreen menpe daude eta kontinenteko eta uharteko populazioen arteko ezberdintasunak estatistikoki ikertu izan ez diren arren, gure datuak garrantzia dute. Izan ere, ikerketa sakonagoetan oinarri bezala erabili ahal izango dira. Biometriari dagokionez, gure populazio uhartetarrean batazbesteko MKL txikiagoa ikusi dugu eta balioen tarteak murritzagoak dira. Ez da sexuen arteko ezberdintasun esangarririk topatu gorputzeko neurrientzat. Folidosian (ezkata zenbateka) lortutako datuak, beste autoreek Bothrops leucurus-entzat deskribatutako parametroekin bat datozen arren, gure laginak ezkata tarte mugatuagoak ageri ditu. Orban ereduak ale guztietan behatu eta irudikatu ostean, oro har bi eredu ezberdindu eta deskribatzea posible izan da. Behatuak izan diren ezberdintasunak, uhartetako baliagai-hornidura mugatuen ondorio gisa uler daitezke, izan ere, halako baldintzetan ale txikiagoak positiboki hautatuak izango liratekeelako.

Fabrication of improved FD SOIMOSFETs for suppressing edge effect

FD SOI MOSFETs with MESA and Irradiated FD SOI MOSFETs with LOCOS isolation usually show the edge effect, that is, the leakage current called hump is generated in the subthreshold region. According to different reasons for generating the edge effect, rounded corner process and BTS structure are applied to improve device performance. The results indicate that the above two methods are effective to reduce the edge effect and qualified devices are fabricated successfully.