Improving the Robustness of Distributed Failure Detectors in Adverse Conditions

Failure detection is at the core of most fault tolerance strategies, but it often depends on reliable communication. We present new algorithms for failure detectors which are appropriate as components of a fault tolerance system that can be deployed in situations of adverse network conditions (such as loosely connected and administered computing grids). It packs redundancy into heartbeat messages, thereby improving on the robustness of the traditional protocols. Results from experimental tests conducted in a simulated environment with adverse network conditions show significant improvement over existing solutions.

Effects of consequenses on patterns of interlocked contingencies; A replication of a metacontingency experiment

The concept of metacontingency was taught to undergraduate students of Psychology by using a "game" simulation proposed originally by Vichi, Andery and Glenn (2009). Twenty-five students, distributed into three groups were exposed to six experimental sessions in which they had to make bets and divide the amounts gained. The three groups competed against each other for photocopies quotas. Two contingencies shifted over the sessions. Under Contingency B, the group would win points only if in the previous round each member had received the same amount of points and under Contingency A, winning was contingent on an unequal distribution of the points. We observed that proportional divisions predominated independent of the contingency in course. The manipulation of cultural consequences (winning or losing points) produced consistent modifications in two response categories: 1) choices of the value bet in each round, and 2) divisions of the points among group members. Controlling relations between cultural consequences and the behavior of dividing were statistically significant in one of the groups, whereas in the other two groups controlling relations were observed only in Contingency B. A review of the reinforcement criteria used in the original experiment is suggested.

Nondetection Index of Anti-Islanding Passive Protection of Synchronous Distributed Generators

Synchronous distributed generators are prone to operate islanded after contingencies, which is usually not allowed due to safety and power-quality issues. Thus, there are several anti-islanding techniques; however, most of them present technical limitations so that they are likely to fail in certain situations. Therefore, it is important to quantify and determine whether the scheme under study is adequate or not. In this context, this paper proposes an index to evaluate the effectiveness of anti-islanding frequency-based relays commonly used to protect synchronous distributed generators. The method is based on the calculation of a numerical index that indicates the time period that the system is unprotected against islanding considering the global period of analysis. Although this index can precisely be calculated based on several electromagnetic transient simulations, a practical method is also proposed to calculate it directly from simple analytical formulas or lookup tables. The results have shown that the proposed approach can assist distribution engineers to assess and set anti-islanding protection schemes.

Chemical resistance of the gram-negative bacteria to different sanitizers in a water purification system

Abstract Background Purified water for pharmaceutical purposes must be free of microbial contamination and pyrogens. Even with the additional sanitary and disinfecting treatments applied to the system (sequential operational stages), Pseudomonas aeruginosa, Pseudomonas fluorescens, Pseudomonas alcaligenes, Pseudomonas picketti, Flavobacterium aureum, Acinetobacter lowffi and Pseudomonas diminuta were isolated and identified from a thirteen-stage purification system. To evaluate the efficacy of the chemical agents used in the disinfecting process along with those used to adjust chemical characteristics of the system, over the identified bacteria, the kinetic parameter of killing time (D-value) necessary to inactivate 90% of the initial bioburden (decimal reduction time) was experimentally determined. Methods Pseudomonas aeruginosa, Pseudomonas fluorescens, Pseudomonas alcaligenes, Pseudomonas picketti, Flavobacterium aureum, Acinetobacter lowffi and Pseudomonas diminuta were called in house (wild) bacteria. Pseudomonas diminuta ATCC 11568, Pseudomonas alcaligenes INCQS , Pseudomonas aeruginosa ATCC 15442, Pseudomonas fluorescens ATCC 3178, Pseudomonas picketti ATCC 5031, Bacillus subtilis ATCC 937 and Escherichia coli ATCC 25922 were used as 'standard' bacteria to evaluate resistance at 25°C against either 0.5% citric acid, 0.5% hydrochloric acid, 70% ethanol, 0.5% sodium bisulfite, 0.4% sodium hydroxide, 0.5% sodium hypochlorite, or a mixture of 2.2% hydrogen peroxide (H2O2) and 0.45% peracetic acid. Results The efficacy of the sanitizers varied with concentration and contact time to reduce decimal logarithmic (log10) population (n cycles). To kill 90% of the initial population (or one log10 cycle), the necessary time (D-value) was for P. aeruginosa into: (i) 0.5% citric acid, D = 3.8 min; (ii) 0.5% hydrochloric acid, D = 6.9 min; (iii) 70% ethanol, D = 9.7 min; (iv) 0.5% sodium bisulfite, D = 5.3 min; (v) 0.4% sodium hydroxide, D = 14.2 min; (vi) 0.5% sodium hypochlorite, D = 7.9 min; (vii) mixture of hydrogen peroxide (2.2%) plus peracetic acid (0.45%), D = 5.5 min. Conclusion The contact time of 180 min of the system with the mixture of H2O2+ peracetic acid, a total theoretical reduction of 6 log10 cycles was attained in the water purified storage tank and distribution loop. The contact time between the water purification system (WPS) and the sanitary agents should be reviewed to reach sufficient bioburden reduction (over 6 log10).

The implementation of the Medical Regulation Office and Mobile Emergency Attendance System and its impact on the gravity profile of non-traumatic afflictions treated in a University Hospital: a research study

Abstract Background The public health system of Brazil is structured by a network of increasing complexity, but the low resolution of emergency care at pre-hospital units and the lack of organization of patient flow overloaded the hospitals, mainly the ones of higher complexity. The knowledge of this phenomenon induced Ribeirão Preto to implement the Medical Regulation Office and the Mobile Emergency Attendance System. The objective of this study was to analyze the impact of these services on the gravity profile of non-traumatic afflictions in a University Hospital. Methods The study conducted a retrospective analysis of the medical records of 906 patients older than 13 years of age who entered the Emergency Care Unit of the Hospital of the University of São Paulo School of Medicine at Ribeirão Preto. All presented acute non-traumatic afflictions and were admitted to the Internal Medicine, Surgery or Neurology Departments during two study periods: May 1996 (prior to) and May 2001 (after the implementation of the Medical Regulation Office and Mobile Emergency Attendance System). Demographics and mortality risk levels calculated by Acute Physiology and Chronic Health Evaluation II (APACHE II) were determined. Results From 1996 to 2001, the mean age increased from 49 ± 0.9 to 52 ± 0.9 (P = 0.021), as did the percentage of co-morbidities, from 66.6 to 77.0 (P = 0.0001), the number of in-hospital complications from 260 to 284 (P = 0.0001), the mean calculated APACHE II mortality risk increased from 12.0 ± 0.5 to 14.8 ± 0.6 (P = 0.0008) and mortality rate from 6.1 to 12.2 (P = 0.002). The differences were more significant for patients admitted to the Internal Medicine Department. Conclusion The implementation of the Medical Regulation and Mobile Emergency Attendance System contributed to directing patients with higher gravity scores to the Emergency Care Unit, demonstrating the potential of these services for hierarchical structuring of pre-hospital networks and referrals.

Towards a precise test for malaria diagnosis in the Brazilian Amazon: comparison among field microscopy, a rapid diagnostic test, nested PCR, and a computational expert system based on artificial neural networks

Abstract Background Accurate malaria diagnosis is mandatory for the treatment and management of severe cases. Moreover, individuals with asymptomatic malaria are not usually screened by health care facilities, which further complicates disease control efforts. The present study compared the performances of a malaria rapid diagnosis test (RDT), the thick blood smear method and nested PCR for the diagnosis of symptomatic malaria in the Brazilian Amazon. In addition, an innovative computational approach was tested for the diagnosis of asymptomatic malaria. Methods The study was divided in two parts. For the first part, passive case detection was performed in 311 individuals with malaria-related symptoms from a recently urbanized community in the Brazilian Amazon. A cross-sectional investigation compared the diagnostic performance of the RDT Optimal-IT, nested PCR and light microscopy. The second part of the study involved active case detection of asymptomatic malaria in 380 individuals from riverine communities in Rondônia, Brazil. The performances of microscopy, nested PCR and an expert computational system based on artificial neural networks (MalDANN) using epidemiological data were compared. Results Nested PCR was shown to be the gold standard for diagnosis of both symptomatic and asymptomatic malaria because it detected the major number of cases and presented the maximum specificity. Surprisingly, the RDT was superior to microscopy in the diagnosis of cases with low parasitaemia. Nevertheless, RDT could not discriminate the Plasmodium species in 12 cases of mixed infections (Plasmodium vivax + Plasmodium falciparum). Moreover, the microscopy presented low performance in the detection of asymptomatic cases (61.25% of correct diagnoses). The MalDANN system using epidemiological data was worse that the light microscopy (56% of correct diagnoses). However, when information regarding plasma levels of interleukin-10 and interferon-gamma were inputted, the MalDANN performance sensibly increased (80% correct diagnoses). Conclusions An RDT for malaria diagnosis may find a promising use in the Brazilian Amazon integrating a rational diagnostic approach. Despite the low performance of the MalDANN test using solely epidemiological data, an approach based on neural networks may be feasible in cases where simpler methods for discriminating individuals below and above threshold cytokine levels are available.

Portable light transmission measuring system for preserved corneas

Abstract Background The authors have developed a small portable device for the objective measurement of the transparency of corneas stored in preservative medium, for use by eye banks in evaluation prior to transplantation. Methods The optical system consists of a white light, lenses, and pinholes that collimate the white light beams and illuminate the cornea in its preservative medium, and an optical filter (400–700 nm) that selects the range of the wavelength of interest. A sensor detects the light that passes through the cornea, and the average corneal transparency is displayed. In order to obtain only the tissue transparency, an electronic circuit was built to detect a baseline input of the preservative medium prior to the measurement of corneal transparency. The operation of the system involves three steps: adjusting the "0 %" transmittance of the instrument, determining the "100 %" transmittance of the system, and finally measuring the transparency of the preserved cornea inside the storage medium. Results Fifty selected corneas were evaluated. Each cornea was submitted to three evaluation methods: subjective classification of transparency through a slit lamp, quantification of the transmittance of light using a corneal spectrophotometer previously developed, and measurement of transparency with the portable device. Conclusion By comparing the three methods and using the expertise of eye bank trained personnel, a table for quantifying corneal transparency with the new device has been developed. The correlation factor between the corneal spectrophotometer and the new device is 0,99813, leading to a system that is able to standardize transparency measurements of preserved corneas, which is currently done subjectively.

Cardiometabolic risk reduction through lifestyle intervention programs in the Brazilian public health system

Public health strategies to reduce cardiovascular morbidity and mortality should focus on global cardiometabolic risk reduction. The efficacy of lifestyle changes to prevent type 2 diabetes have been demonstrated, but low-cost interventions to reduce cardiometabolic risk in Latin-America have been rarely reported. Our group developed 2 programs to promote health of high-risk individuals attending a primary care center in Brazil. This study compared the effects of two 9-month lifestyle interventions, one based on medical consultations (traditional) and another with 13 multi-professional group sessions in addition to the medical consultations (intensive) on cardiometabolic parameters. Adults were eligible if they had pre-diabetes (according to the American Diabetes Association) and/or metabolic syndrome (International Diabetes Federation criteria for Latin-America). Data were expressed as means and standard deviations or percentages and compared between groups or testing visits. A p-value < 0.05 was considered significant. Results: 180 individuals agreed to participate (35.0% men, mean age 54.7 ± 12.3 years, 86.1% overweight or obese). 83 were allocated to the traditional and 97 to the intensive program. Both interventions reduced body mass index, waist circumference and tumor necrosis factor-α. Only intensive program reduced 2-hour plasma glucose and blood pressure and increased adiponectin values, but HDL-cholesterol increased only in the traditional. Also, responses to programs were better in intensive compared to traditional program in terms of blood pressure and adiponectin improvements. No new case of diabetes in intensive but 3 cases and one myocardial infarction in traditional program were detected. Both programs induced metabolic improvement in the short-term, but if better results in the intensive are due to higher awareness about risk and self-motivation deserves further investigation. In conclusion, these low-cost interventions are able to minimize cardiometabolic risk factors involved in the progression to type 2 diabetes and/or cardiovascular disease.

Laboratorial training of examiners for using a visual caries detection system in epidemiological surveys

Background: In epidemiological surveys, a good reliability among the examiners regarding the caries detection method is essential. However, training and calibrating those examiners is an arduous task because it involves several patients who are examined many times. To facilitate this step, we aimed to propose a laboratory methodology to simulate the examinations performed to detect caries lesions using the International Caries Detection and Assessment System (ICDAS) in epidemiological surveys. Methods: A benchmark examiner conducted all training sessions. A total of 67 exfoliated primary teeth, varying from sound to extensive cavitated, were set in seven arch models to simulate complete mouths in primary dentition. Sixteen examiners (graduate students) evaluated all surfaces of the teeth under illumination using buccal mirrors and ball-ended probe in two occasions, using only coronal primary caries scores of the ICDAS. As reference standard, two different examiners assessed the proximal surfaces by direct visual inspection, classifying them in sound, with non-cavitated or with cavitated lesions. After, teeth were sectioned in the bucco-lingual direction, and the examiners assessed the sections in stereomicroscope, classifying the occlusal and smooth surfaces according to lesion depth. Inter-examiner reproducibility was evaluated using weighted kappa. Sensitivities and specificities were calculated at two thresholds: all lesions and advanced lesions (cavitated lesions in proximal surfaces and lesions reaching the dentine in occlusal and smooth surfaces). Conclusion: The methodology purposed for training and calibration of several examiners designated for epidemiological surveys of dental caries in preschool children using the ICDAS is feasible, permitting the assessment of reliability and accuracy of the examiners previously to the survey´s development.

Spontaneous combined rupture of a pelvicalyceal cyst into the collector system and retroperitoneal space during the acquisition of computed tomography scan images: a case report

Abstract Introduction Pelvicalyceal cysts are common findings in autopsies and can manifest with a variety of patterns. These cystic lesions are usually a benign entity with no clinical significance unless they enlarge enough to cause compression of the adjacent collecting system and consequently obstructive uropathy. Few cases of the spontaneous rupture of pelvicalyceal renal cysts have been published and to the best of our knowledge there is no report of a combined rupture to collector system and retroperitoneal space documented during a multiphase computed tomography. Case presentation We report a case of a ‘real-time’ spontaneous rupture of a pelvicalyceal cyst into the collecting system with fistulization into the retroperitoneum. The patient was a 78-year-old Caucasian man with a previous history of renal stones and a large pelvicalyceal renal cyst who was admitted to our Emergency department with acute right flank pain. A multiphase computed tomography was performed and the pre-contrast images demonstrated a right pelvicalyceal renal cyst measuring 12.0 × 6.1cm in the lower pole causing moderate dilation of the upper right renal collection system. In addition, a partially obstructive stone on the left distal ureter with mild left hydronephrosis was noted. The nephrographic phase did not add any new information. The excretory phase (10-minute delay) demonstrated a spontaneous rupture of the cyst into the pelvicalyceal system with posterior fistulization into the retroperitoneal space. Conclusion In this case study we present time-related changes of a rare pelvicalyceal cyst complication, which to the best of our knowledge has fortunately not been previously documented. Analysis of the sequential images and comparison with an earlier scan allowed us to better understand the physiopathological process of the rupture, the clinical presentation and to elaborate hypotheses for its etiopathogenesis.

An integrated approach to remanufacturing: model of a remanufacturing system

Remanufacturing is the process of rebuilding used products that ensures that the quality of remanufactured products is equivalent to that of new ones. Although the theme is gaining ground, it is still little explored due to lack of knowledge, the difficulty of visualizing it systemically, and implementing it effectively. Few models treat remanufacturing as a system. Most of the studies still treated remanufacturing as an isolated process, preventing it from being seen in an integrated manner. Therefore, the aim of this work is to organize the knowledge about remanufacturing, offering a vision of remanufacturing system and contributing to an integrated view about the theme. The methodology employed was a literature review, adopting the General Theory of Systems to characterize the remanufacturing system. This work consolidates and organizes the elements of this system, enabling a better understanding of remanufacturing and assisting companies in adopting the concept.

Tecniche per il controllo dinamico del consumo di potenza per piattaforme system-on-chip

Providing support for multimedia applications on low-power mobile devices remains a significant research challenge. This is primarily due to two reasons: • Portable mobile devices have modest sizes and weights, and therefore inadequate resources, low CPU processing power, reduced display capabilities, limited memory and battery lifetimes as compared to desktop and laptop systems. • On the other hand, multimedia applications tend to have distinctive QoS and processing requirementswhichmake themextremely resource-demanding. This innate conflict introduces key research challenges in the design of multimedia applications and device-level power optimization. Energy efficiency in this kind of platforms can be achieved only via a synergistic hardware and software approach. In fact, while System-on-Chips are more and more programmable thus providing functional flexibility, hardwareonly power reduction techniques cannot maintain consumption under acceptable bounds. It is well understood both in research and industry that system configuration andmanagement cannot be controlled efficiently only relying on low-level firmware and hardware drivers. In fact, at this level there is lack of information about user application activity and consequently about the impact of power management decision on QoS. Even though operating system support and integration is a requirement for effective performance and energy management, more effective and QoSsensitive power management is possible if power awareness and hardware configuration control strategies are tightly integratedwith domain-specificmiddleware services. The main objective of this PhD research has been the exploration and the integration of amiddleware-centric energymanagement with applications and operating-system. We choose to focus on the CPU-memory and the video subsystems, since they are the most power-hungry components of an embedded system. A second main objective has been the definition and implementation of software facilities (like toolkits, API, and run-time engines) in order to improve programmability and performance efficiency of such platforms. Enhancing energy efficiency and programmability ofmodernMulti-Processor System-on-Chips (MPSoCs) Consumer applications are characterized by tight time-to-market constraints and extreme cost sensitivity. The software that runs on modern embedded systems must be high performance, real time, and even more important low power. Although much progress has been made on these problems, much remains to be done. Multi-processor System-on-Chip (MPSoC) are increasingly popular platforms for high performance embedded applications. This leads to interesting challenges in software development since efficient software development is a major issue for MPSoc designers. An important step in deploying applications on multiprocessors is to allocate and schedule concurrent tasks to the processing and communication resources of the platform. The problem of allocating and scheduling precedenceconstrained tasks on processors in a distributed real-time system is NP-hard. There is a clear need for deployment technology that addresses thesemulti processing issues. This problem can be tackled by means of specific middleware which takes care of allocating and scheduling tasks on the different processing elements and which tries also to optimize the power consumption of the entire multiprocessor platform. This dissertation is an attempt to develop insight into efficient, flexible and optimalmethods for allocating and scheduling concurrent applications tomultiprocessor architectures. It is a well-known problem in literature: this kind of optimization problems are very complex even in much simplified variants, therefore most authors propose simplified models and heuristic approaches to solve it in reasonable time. Model simplification is often achieved by abstracting away platform implementation ”details”. As a result, optimization problems become more tractable, even reaching polynomial time complexity. Unfortunately, this approach creates an abstraction gap between the optimization model and the real HW-SW platform. The main issue with heuristic or, more in general, with incomplete search is that they introduce an optimality gap of unknown size. They provide very limited or no information on the distance between the best computed solution and the optimal one. The goal of this work is to address both abstraction and optimality gaps, formulating accurate models which accounts for a number of ”non-idealities” in real-life hardware platforms, developing novel mapping algorithms that deterministically find optimal solutions, and implementing software infrastructures required by developers to deploy applications for the targetMPSoC platforms. Energy Efficient LCDBacklightAutoregulation on Real-LifeMultimediaAp- plication Processor Despite the ever increasing advances in Liquid Crystal Display’s (LCD) technology, their power consumption is still one of the major limitations to the battery life of mobile appliances such as smart phones, portable media players, gaming and navigation devices. There is a clear trend towards the increase of LCD size to exploit the multimedia capabilities of portable devices that can receive and render high definition video and pictures. Multimedia applications running on these devices require LCD screen sizes of 2.2 to 3.5 inches andmore to display video sequences and pictures with the required quality. LCD power consumption is dependent on the backlight and pixel matrix driving circuits and is typically proportional to the panel area. As a result, the contribution is also likely to be considerable in future mobile appliances. To address this issue, companies are proposing low power technologies suitable for mobile applications supporting low power states and image control techniques. On the research side, several power saving schemes and algorithms can be found in literature. Some of them exploit software-only techniques to change the image content to reduce the power associated with the crystal polarization, some others are aimed at decreasing the backlight level while compensating the luminance reduction by compensating the user perceived quality degradation using pixel-by-pixel image processing algorithms. The major limitation of these techniques is that they rely on the CPU to perform pixel-based manipulations and their impact on CPU utilization and power consumption has not been assessed. This PhDdissertation shows an alternative approach that exploits in a smart and efficient way the hardware image processing unit almost integrated in every current multimedia application processors to implement a hardware assisted image compensation that allows dynamic scaling of the backlight with a negligible impact on QoS. The proposed approach overcomes CPU-intensive techniques by saving system power without requiring either a dedicated display technology or hardware modification. Thesis Overview The remainder of the thesis is organized as follows. The first part is focused on enhancing energy efficiency and programmability of modern Multi-Processor System-on-Chips (MPSoCs). Chapter 2 gives an overview about architectural trends in embedded systems, illustrating the principal features of new technologies and the key challenges still open. Chapter 3 presents a QoS-driven methodology for optimal allocation and frequency selection for MPSoCs. The methodology is based on functional simulation and full system power estimation. Chapter 4 targets allocation and scheduling of pipelined stream-oriented applications on top of distributed memory architectures with messaging support. We tackled the complexity of the problem by means of decomposition and no-good generation, and prove the increased computational efficiency of this approach with respect to traditional ones. Chapter 5 presents a cooperative framework to solve the allocation, scheduling and voltage/frequency selection problem to optimality for energyefficient MPSoCs, while in Chapter 6 applications with conditional task graph are taken into account. Finally Chapter 7 proposes a complete framework, called Cellflow, to help programmers in efficient software implementation on a real architecture, the Cell Broadband Engine processor. The second part is focused on energy efficient software techniques for LCD displays. Chapter 8 gives an overview about portable device display technologies, illustrating the principal features of LCD video systems and the key challenges still open. Chapter 9 shows several energy efficient software techniques present in literature, while Chapter 10 illustrates in details our method for saving significant power in an LCD panel. Finally, conclusions are drawn, reporting the main research contributions that have been discussed throughout this dissertation.