933 resultados para Concurrent exception handling
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores
Resumo:
INTRODUCTION: The Amazon region has extensive forested areas and natural ecosystems, providing favorable conditions for the existence of innumerous arboviruses. Over 200 arboviruses have been isolated in Brazil and about 40 are associated with human disease. Four out of 40 are considered to be of public health importance in Brazil: Dengue viruses (1-4), Oropouche, Mayaro and Yellow Fever. Along with these viruses, about 98% of the malaria cases are restricted to the Legal Amazon region. METHODS: This study aimed to investigate the presence of arboviruses in 111 clinical serum samples from patients living in Novo Repartimento (Pará), Plácido de Castro (Acre), Porto Velho (Rondônia) and Oiapoque (Amapá). The viral RNA was extracted and RT-PCR was performed followed by a Multiplex-Nested-PCR, using Flavivirus, Alphavirus and Orthobunyavirus generic and species-specific primers. RESULTS: Dengue virus serotype 2 was detected in two patients living in Novo Repartimento (Pará) that also presented active Plasmodium vivax infection. CONCLUSIONS: Despite scant data, this situation is likely to occur more frequently than detected in the Amazon region. Finally, it is important to remember that both diseases have similar clinical findings, thus the diagnosis could be made concomitantly for dengue and malaria in patients living or returning from areas where both diseases are endemic or during dengue outbreaks.
Resumo:
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.
Resumo:
Pirarucu (Arapaima gigas) is an obligatory air-breathing fish from the Amazon basin. Previous study showed that pirarucu juveniles present a latency period in their response to moderate stress (transportation). Therefore the objective of this study was to verify the effects of a prolonged air exposure stress in lactate, glucose, cortisol, haematocrit, haemoglobin, and liver glycogen in pirarucu. Thirty-six fish were handled by netting and subjected to air exposure for 75-min. Six fish were sampled before handling and at 0, 6, 24, 48, and 96h after handling. Fish cortisol, lactate and haematocrit rose after handling, returning to previous unstressed values on the following sampling (6h after handling). Glucose increased significantly after handling and that was maintained for 24 h. There were no changes in haemoglobin and liver glycogen as a consequence of handling. The results demonstrate a quick response when exposed to an acute stressor and a fast recovery, suggesting that pirarucu does not use their glycogen reserves during an acute stress. The results suggest that pirarucu exhibit physiological stress responses to handling similar in magnitude to those previously documented for many teleostean fishes, including salmonids.
Resumo:
Dissertação de mestrado em Engenharia Mecatrónica
Resumo:
OBJECTIVE - This study compared the early and late results of the use of one single stent with those of the use of multiple stents in patients with lesions longer than 20mm. METHODS - Prospective assessment of patients electively treated with stents, with optimal stent deployment and followed-up for more than 3 months. From February '94 to January '98, 215 patients with lesions >20mm were treated. These patients were divided into 2 groups as follows: Group A - 105 patients (49%) with one stent implanted; Group B - 110 patients (51%) with multiple stents implanted. RESULTS - The mean length of the lesions was 26mm in group A (21-48mm) versus 29mm in group B (21-52mm) (p=0.01). Major complications occurred in one patient (0.9%) in group A (subacute thrombosis, myocardial infarctionand death) and in 2 patients (1.8%) in group B (one emergency surgery and one myocardial infarction) (p=NS). The results of the late follow-up period (>6 months) were similar for both groups (group A = 82% vs group B = 76%; p=NS), and we observed an event-free survical in 89% of the patients in group A and in 91% of the patients in group B (p=NS). Angina (group A = 11% vs group B = 7%) and lesion revascularization (group A = 5% vs group B = 6%; p=NS) also occurred in a similar percentage. No infarction or death was observed in the late follow-up period; restenosis was identified in 33% and 29% of the patients in groups A and B, respectively (p=NS). CONCLUSION - The results obtained using one stent and using multiple stents were similar; the greater cost-effectiveness of one stent implantation, however, seems to make this strategy the first choice.
Resumo:
La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.
Resumo:
Prenatal stress, rodent, limbic system, neuronal development, dendritic spines, sex difference
Obesity Resistance Promotes Mild Contractile Dysfunction Associated with Intracellular Ca2+ Handling
Resumo:
Abstract Background: Diet-induced obesity is frequently used to demonstrate cardiac dysfunction. However, some rats, like humans, are susceptible to developing an obesity phenotype, whereas others are resistant to that. Objective: To evaluate the association between obesity resistance and cardiac function, and the impact of obesity resistance on calcium handling. Methods: Thirty-day-old male Wistar rats were distributed into two groups, each with 54 animals: control (C; standard diet) and obese (four palatable high-fat diets) for 15 weeks. After the experimental protocol, rats consuming the high-fat diets were classified according to the adiposity index and subdivided into obesity-prone (OP) and obesity-resistant (OR). Nutritional profile, comorbidities, and cardiac remodeling were evaluated. Cardiac function was assessed by papillary muscle evaluation at baseline and after inotropic maneuvers. Results: The high-fat diets promoted increase in body fat and adiposity index in OP rats compared with C and OR rats. Glucose, lipid, and blood pressure profiles remained unchanged in OR rats. In addition, the total heart weight and the weight of the left and right ventricles in OR rats were lower than those in OP rats, but similar to those in C rats. Baseline cardiac muscle data were similar in all rats, but myocardial responsiveness to a post-rest contraction stimulus was compromised in OP and OR rats compared with C rats. Conclusion: Obesity resistance promoted specific changes in the contraction phase without changes in the relaxation phase. This mild abnormality may be related to intracellular Ca2+ handling.
Resumo:
An appropriate assessment of end-to-end network performance presumes highly efficient time tracking and measurement with precise time control of the stopping and resuming of program operation. In this paper, a novel approach to solving the problems of highly efficient and precise time measurements on PC-platforms and on ARM-architectures is proposed. A new unified High Performance Timer and a corresponding software library offer a unified interface to the known time counters and automatically identify the fastest and most reliable time source, available in the user space of a computing system. The research is focused on developing an approach of unified time acquisition from the PC hardware and accordingly substituting the common way of getting the time value through Linux system calls. The presented approach provides a much faster means of obtaining the time values with a nanosecond precision than by using conventional means. Moreover, it is capable of handling the sequential time value, precise sleep functions and process resuming. This ability means the reduction of wasting computer resources during the execution of a sleeping process from 100% (busy-wait) to 1-1.5%, whereas the benefits of very accurate process resuming times on long waits are maintained.
Resumo:
Blood pressure follows a circadian rhythm with a physiologic 10% to 20% decrease during the night. There is now increasing evidence that a blunted decrease or an increase in nighttime blood pressure is associated with a greater prevalence of target organ damage and a faster disease progression in patients with chronic kidney diseases. Several factors contribute to the changes in nighttime blood pressure including changes in hormonal profiles such as variations in the activity of the renin-angiotensin and the sympathetic nervous systems. Recently, it was hypothesized that the absence of a blood pressure decrease during the nighttime (nondipping) is in fact a pressure-natriuresis mechanism enabling subjects with an impaired capacity to excrete sodium to remain in sodium balance. In this article, we review the clinical and epidemiologic data that tend to support this hypothesis. Moreover, we show that most, if not all, clinical conditions associated with an impaired dipping profile are diseases associated either with a low glomerular filtration rate and/or an impaired ability to excrete sodium. These observations would suggest that renal function, and most importantly the ability to eliminate sodium during the day, is indeed a key determinant of the circadian rhythm of blood pressure.
Resumo:
The 2009 International Society of Urological Pathology consensus conference in Boston made recommendations regarding the standardization of pathology reporting of radical prostatectomy specimens. Issues relating to the substaging of pT2 prostate cancers according to the TNM 2002/2010 system, reporting of tumor size/volume and zonal location of prostate cancers were coordinated by working group 2. A survey circulated before the consensus conference demonstrated that 74% of the 157 participants considered pT2 substaging of prostate cancer to be of clinical and/or academic relevance. The survey also revealed a considerable variation in the frequency of reporting of pT2b substage prostate cancer, which was likely a consequence of the variable methodologies used to distinguish pT2a from pT2b tumors. Overview of the literature indicates that current pT2 substaging criteria lack clinical relevance and the majority (65.5%) of conference attendees wished to discontinue pT2 substaging. Therefore, the consensus was that reporting of pT2 substages should, at present, be optional. Several studies have shown that prostate cancer volume is significantly correlated with other clinicopathological features, including Gleason score and extraprostatic extension of tumor; however, most studies fail to demonstrate this to have prognostic significance on multivariate analysis. Consensus was reached with regard to the reporting of some quantitative measure of the volume of tumor in a prostatectomy specimen, without prescribing a specific methodology. Incorporation of the zonal and/or anterior location of the dominant/index tumor in the pathology report was accepted by most participants, but a formal definition of the identifying features of the dominant/index tumor remained undecided.