189 research outputs found

    A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System

    Full text link
    Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-adaptive system is able to adapt autonomously to internal dynamics and changing conditions in the environment to achieve particular quality goals. Our particular interest is in decentralized self-adaptive systems, in which central control of adaptation is not an option. One important challenge in self-adaptive systems, in particular those with decentralized control of adaptation, is to provide guarantees about the intended runtime qualities. In this paper, we present a case study in which we use model checking to verify behavioral properties of a decentralized self-adaptive system. Concretely, we contribute with a formalized architecture model of a decentralized traffic monitoring system and prove a number of self-adaptation properties for flexibility and robustness. To model the main processes in the system we use timed automata, and for the specification of the required properties we use timed computation tree logic. We use the Uppaal tool to specify the system and verify the flexibility and robustness properties.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432

    Evaluation of maternal antibody levels for establishing the vaccination program against Newcastle disease in ostrich chicks

    Get PDF
    ABSTRACT Newcastle disease virus (NDV) is known as one of the most important endemic viral pathogen for various avian species such as ostrich, in Iran. Therefore, establishing a routine vaccination program against ND in ostrich flocks would be useful in order to reduce the danger of this infection. Newcastle disease occurs among the ostriches and leads to high rate of mortality while most of the losses are among the youngest ones. This experiment was designed to follow up the changes of maternal antibody in ostrich chicks during the first weeks of their life. At this point of view, 700 one day old ostrich chicks were monitored and every seven days interval 10 blood samples were taken regularly and the titers of maternal antibody in their sera were studied. The haemagglutination inhibition (HI) test was used to evaluate the amount of anti-ND antibody. After hatching this study followed up to 49 th day. Due to our findings, the day 30 is recommended as a proper time to start the vaccination program against ND in flocks of ostrich chicks with maternal antibody

    Investigating The Frequency of Serrated Polyps/Adenomas and Their Subtypes in Colonic Polyp Samples

    Get PDF
    BACKGROUND: The purpose of this study was to determine the frequency of Serrated polyps of colonic polyps samples in Hazrate Rasoule Akram Hospital over ten years. MATERIALS: The target group in this study was patients with colonic polyps in Hazrate Rasoule Akram Hospital. Pathologic evaluation of these patients was done. Serrated polyps, by location, gender, age and type of polyps were divided and frequency of them were determined separately. RESULTS: Of 381 patients studied, 224 (58.79) and 157(41.20) were males and females, respectively. Mean age of patients was 59.25 years. In initial diagnosis, frequency of Adenomatous polyp, Hyperplastic polyp and Mixed polyp were 92.44 and 5.33, and 2.22, respectively. In final diagnosis (Second evaluation), frequency of Adenomatous polyp, Hyperplastic polyp, Mixed polyp, Sessile Serrated Adenoma/ Polyp, Traditional Serrated Adenoma and SPU (Serrated Polyp Unclassifiable) were 90.44, 4.88, 2.44, 1.11, 0.66 and 0.44, respectively. 72.13 and 27.86 of polyps were low grade dysplasia and high grade dysplasia, respectively. According to the results of this study, the incidence of all types of polyps detected was more in men than women. Rectum and sigmoid were most abundant in the area polyp in both initial and final diagnosis. CONCLUSION: Despite the low prevalence of Serrated polyps in patients, early diagnosis is the best action to reduce morbidity and mortality. Probability of the risk of progression from low grade to high grade dysplasia and transforming into Adenocarcinoma is high in Serrated polyps

    Esophageal cooling for protection during left atrial ablation: a systematic review and meta-analysis.

    Get PDF
    PURPOSE: Thermal damage to the esophagus is a risk from radiofrequency (RF) ablation of the left atrium for the treatment of atrial fibrillation (AF). The most extreme type of thermal injury results in atrio-esophageal fistula (AEF) and a correspondingly high mortality rate. Various strategies for reducing esophageal injury have been developed, including power reduction, esophageal deviation, and esophageal cooling. One method of esophageal cooling involves the direct instillation of cold water or saline into the esophagus during RF ablation. Although this method provides limited heat-extraction capacity, studies of it have suggested potential benefit. We sought to perform a meta-analysis of published studies evaluating the use of esophageal cooling via direct liquid instillation for the reduction of thermal injury during RF ablation. METHODS: We searched PubMed for studies that used esophageal cooling to protect the esophagus from thermal injury during RF ablation. We then performed a meta-analysis using a random effects model to calculate estimated effect size with 95% confidence intervals, with an outcome of esophageal lesions stratified by severity, as determined by post-procedure endoscopy. RESULTS: A total of 9 studies were identified and reviewed. After excluding preclinical and mathematical model studies, 3 were included in the meta-analysis, totaling 494 patients. Esophageal cooling showed a tendency to shift lesion severity downward, such that total lesions did not show a statistically significant change (OR 0.6, 95% CI 0.15 to 2.38). For high-grade lesions, a significant OR of 0.39 (95% CI 0.17 to 0.89) in favor of esophageal cooling was found, suggesting that esophageal cooling, even with a low-capacity thermal extraction technique, reduces the severity of lesions resulting from RF ablation. CONCLUSIONS: Esophageal cooling reduces the severity of the lesions that may result from RF ablation, even when relatively low heat extraction methods are used, such as the direct instillation of small volumes of cold liquid. Further investigation of this approach is warranted, particularly with higher heat extraction capacity techniques
    corecore