An approach of optimal sensitivity applied in the tertiary loop of the automatic generation control

This paper proposes an approach of optimal sensitivity applied in the tertiary loop of the automatic generation control. The approach is based on the theorem of non-linear perturbation. From an optimal operation point obtained by an optimal power flow a new optimal operation point is directly determined after a perturbation, i.e., without the necessity of an iterative process. This new optimal operation point satisfies the constraints of the problem for small perturbation in the loads. The participation factors and the voltage set point of the automatic voltage regulators (AVR) of the generators are determined by the technique of optimal sensitivity, considering the effects of the active power losses minimization and the network constraints. The participation factors and voltage set point of the generators are supplied directly to a computational program of dynamic simulation of the automatic generation control, named by power sensitivity mode. Test results are presented to show the good performance of this approach. (C) 2008 Elsevier B.V. All rights reserved.

A 2-D Delaunay refinement algorithm using an initial prerefinement from the boundary mesh

An improvement to the quality bidimensional Delaunay mesh generation algorithm, which combines the mesh refinement algorithms strategy of Ruppert and Shewchuk is proposed in this research. The developed technique uses diametral lenses criterion, introduced by L. P. Chew, with the purpose of eliminating the extremely obtuse triangles in the boundary mesh. This method splits the boundary segment and obtains an initial prerefinement, and thus reducing the number of necessary iterations to generate a high quality sequential triangulation. Moreover, it decreases the intensity of the communication and synchronization between subdomains in parallel mesh refinement.

AUTOMATIC CORONARY WALL SEGMENTATION IN INTRAVASCULAR ULTRASOUND IMAGES USING BINARY MORPHOLOGICAL RECONSTRUCTION

Intravascular ultrasound (IVUS) image segmentation can provide more detailed vessel and plaque information, resulting in better diagnostics, evaluation and therapy planning. A novel automatic segmentation proposal is described herein; the method relies on a binary morphological object reconstruction to segment the coronary wall in IVUS images. First, a preprocessing followed by a feature extraction block are performed, allowing for the desired information to be extracted. Afterward, binary versions of the desired objects are reconstructed, and their contours are extracted to segment the image. The effectiveness is demonstrated by segmenting 1300 images, in which the outcomes had a strong correlation to their corresponding gold standard. Moreover, the results were also corroborated statistically by having as high as 92.72% and 91.9% of true positive area fraction for the lumen and media adventitia border, respectively. In addition, this approach can be adapted easily and applied to other related modalities, such as intravascular optical coherence tomography and intravascular magnetic resonance imaging. (E-mail: matheuscardosomg@hotmail.com) (C) 2011 World Federation for Ultrasound in Medicine & Biology.

Listeria monocytogenes in two different poultry facilities: Manual and automatic evisceration

Listeriosis is a serious foodborne disease caused by Listeria monocytogenes, a pathogen often found in food processing plants. Poultry meat and its derivatives may harbor L. monocytogenes even if good manufacturing practices are implanted in abattoirs. Little information exists in Brazil on the frequency of L. monocytogenes contamination, even though the country is considered the top poultry meat exporter in the world. This study attempted to compare 2 exporters poultry facilities following same the standards but differing only in manual (plant M) or automatic (plant A) evisceration. Eight hundred fifty-one samples from food, food contact and non-food contact surfaces, water, and workers` hands were collected from cage to finished products over a 1-yr period. In plant A, 20.1% of the samples were positive for L. monocytogenes, whereas in plant M, 16.4% was found. The greatest incidence of contamination with the pathogen in plant A was found in non- food contact surfaces (27.3%), while in plant M, it was found in products (19.4%). The most prevalent serovars were 1/2a or 3a (plant M) and 4b, 4d, or 4e (plant A). Despite having proper hygiene and good manufacturing practices, controlling the entry and persistence of L. monocytogenes in processing facilities remains a formidable task.

The effect of grain refinement and silicon content on grain formation in hypoeutectic Al-Si alloys

The effect of increasing the amount of added grain refiner on grain size and morphology has been investigated for a range of hypoeutectic Al-Si alloys. The results show a transition in grain size at a silicon concentration of about 3 wt% in unrefined alloys; the grain size decreasing with silicon content before the transition, and increasing beyond the transition point. A change in morphology also occurs with increased silicon content. The addition of grain refiner leads to greater refinement for silicon contents below the transition point than for those contents above the transition point, while the transition point seems to remain unchanged. The slope of the grain size versus silicon content curve after the transition seems to be unaffected by the degree of grain refinement. The results are related to the competitive processes of nucleation and constitutional effects during growth and their impact on nucleation kinetics. (C) 1999 Elsevier Science S.A. All rights reserved.

Efficient discovery of immune response targets by cyclical refinement of QSAR models of peptide binding

Peptides that induce and recall T-cell responses are called T-cell epitopes. T-cell epitopes may be useful in a subunit vaccine against malaria. Computer models that simulate peptide binding to MHC are useful for selecting candidate T-cell epitopes since they minimize the number of experiments required for their identification. We applied a combination of computational and immunological strategies to select candidate T-cell epitopes. A total of 86 experimental binding assays were performed in three rounds of identification of HLA-All binding peptides from the six preerythrocytic malaria antigens. Thirty-six peptides were experimentally confirmed as binders. We show that the cyclical refinement of the ANN models results in a significant improvement of the efficiency of identifying potential T-cell epitopes. (C) 2001 by Elsevier Science Inc.

Multifidus muscle recovery is not automatic after resolution of acute, first-episode low back pain

Study Design. A clinical study was conducted on 39 patients with acute, first-episode, unilateral low back pain and unilateral, segmental inhibition of the multifidus muscle. Patients were allocated randomly to a control or treatment group. Objectives. To document the natural course of lumbar multifidus recovery and to evaluate the effectiveness of specific, localized, exercise therapy on muscle recovery. Summary of Background Data. Acute low back pain usually resolves spontaneously, but the recurrence rate is high. Inhibition of multifidus occurs with acute, first-episode, low back pain, and pathologic changes in this muscle have been linked with poor outcome and recurrence of symptoms. Methods. Patients in group 1 received medical treatment only. Patients in group 2 received medical treatment and specific, localized, exercise therapy. Outcome measures for both groups included 4 weekly assessments of pain, disability, range of motion, and size of the multifidus cross-sectional area. Independent examiners were blinded to group allocation. Patients were reassessed at a 10-week follow-up examination. Results. Multifidus muscle recovery was not spontaneous on remission of painful symptoms in patients in group 1. Muscle recovery was more rapid and more complete in patients in group 2 who received exercise therapy (P = 0.0001). Other outcome measurements were similar for the two groups at the 4-week examination. Although they resumed normal levels of activity, patients in group 1 still had decreased multifidus muscle size at the 10-week follow-up examination. Conclusions. Multifidus muscle recovery is not spontaneous on remission of painful symptoms. Lack of localized, muscle support may be one reason for the high recurrence rate of low back pain following the initial episode.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Exploring the knowledge contained in neuroimages: Statistical discriminant analysis and automatic segmentation of the most significant changes

Objective: The aim of this article is to propose an integrated framework for extracting and describing patterns of disorders from medical images using a combination of linear discriminant analysis and active contour models. Methods: A multivariate statistical methodology was first used to identify the most discriminating hyperplane separating two groups of images (from healthy controls and patients with schizophrenia) contained in the input data. After this, the present work makes explicit the differences found by the multivariate statistical method by subtracting the discriminant models of controls and patients, weighted by the pooled variance between the two groups. A variational level-set technique was used to segment clusters of these differences. We obtain a label of each anatomical change using the Talairach atlas. Results: In this work all the data was analysed simultaneously rather than assuming a priori regions of interest. As a consequence of this, by using active contour models, we were able to obtain regions of interest that were emergent from the data. The results were evaluated using, as gold standard, well-known facts about the neuroanatomical changes related to schizophrenia. Most of the items in the gold standard was covered in our result set. Conclusions: We argue that such investigation provides a suitable framework for characterising the high complexity of magnetic resonance images in schizophrenia as the results obtained indicate a high sensitivity rate with respect to the gold standard. (C) 2010 Elsevier B.V. All rights reserved.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Automatic versus manual pressure support reduction in the weaning of post-operative patients: a randomised controlled trial

Introduction Reduction of automatic pressure support based on a target respiratory frequency or mandatory rate ventilation (MRV) is available in the Taema-Horus ventilator for the weaning process in the intensive care unit (ICU) setting. We hypothesised that MRV is as effective as manual weaning in post-operative ICU patients. Methods There were 106 patients selected in the postoperative period in a prospective, randomised, controlled protocol. When the patients arrived at the ICU after surgery, they were randomly assigned to either: traditional weaning, consisting of the manual reduction of pressure support every 30 minutes, keeping the respiratory rate/tidal volume (RR/TV) below 80 L until 5 to 7 cmH(2)O of pressure support ventilation (PSV); or automatic weaning, referring to MRV set with a respiratory frequency target of 15 breaths per minute (the ventilator automatically decreased the PSV level by 1 cmH(2)O every four respiratory cycles, if the patient`s RR was less than 15 per minute). The primary endpoint of the study was the duration of the weaning process. Secondary endpoints were levels of pressure support, RR, TV (mL), RR/TV, positive end expiratory pressure levels, FiO(2) and SpO(2) required during the weaning process, the need for reintubation and the need for non-invasive ventilation in the 48 hours after extubation. Results In the intention to treat analysis there were no statistically significant differences between the 53 patients selected for each group regarding gender (p = 0.541), age (p = 0.585) and type of surgery (p = 0.172). Nineteen patients presented complications during the trial (4 in the PSV manual group and 15 in the MRV automatic group, p < 0.05). Nine patients in the automatic group did not adapt to the MRV mode. The mean +/- sd (standard deviation) duration of the weaning process was 221 +/- 192 for the manual group, and 271 +/- 369 minutes for the automatic group (p = 0.375). PSV levels were significantly higher in MRV compared with that of the PSV manual reduction (p < 0.05). Reintubation was not required in either group. Non-invasive ventilation was necessary for two patients, in the manual group after cardiac surgery (p = 0.51). Conclusions The duration of the automatic reduction of pressure support was similar to the manual one in the postoperative period in the ICU, but presented more complications, especially no adaptation to the MRV algorithm. Trial Registration Trial registration number: ISRCTN37456640

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Evaluation of platelet count by automatic blood counter QBC Vet Autoread (R) compared with blood smear estimative and count by hemocytometer

The platelet blood count in laboratorial routine provides to the clinician important information about the hemostasis of the patient. There are many techniques described, however the gold standard techniques realized in hemocytometer spent a lot of time, making this technique impracticable in great routines. This research had the intent to evaluate if the automatic veterinary blood counter QBC Vet Autoread (R), whose results get five minutes to be ready, is capable to offer a trustworthy platelet count number. To this end, were evaluated the correlations among three different forms of platelets count in dogs: count in automatic blood counter QBC Vet Autoread (R), estimative in blood smear and the gold standard method by manual count in hemocytometer. The viability and confidence use of automatic blood counters of the medicine veterinary routine. Seventeen dogs were chosen randomly way, in the medical and surgical routine of HOVET-USP. The analysis revel high correlation between the hemocytometer and the estimative in blood smear (r=0,875) and between the hemocytometer and automatic blood count by QBC Vet Autoread (R) (r=0,939). Conclude that the platelet blood cont by QBC Vet Autoread (R), in addition to be fast, it`s more truthful when compared with estimative in blood smear, although the latter one also had elevated correlation. However, morphological analysis through the smears cannot be dismissed because none of the other two techniques evaluated have the ability to assess platelet morphological changes.