184 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

    Differential expression of Lp-PLA2 in obesity and type 2 diabetes and the influence of lipids

    Get PDF
    Aims/hypothesis Lipoprotein-associated phospholipase A2 (Lp-PLA2) is a circulatory macrophage-derived factor that increases with obesity and leads to a higher risk of cardiovascular disease (CVD). Despite this, its role in adipose tissue and the adipocyte is unknown. Therefore, the aims of this study were to clarify the expression of Lp-PLA2 in relation to different adipose tissue depots and type 2 diabetes, and ascertain whether markers of obesity and type 2 diabetes correlate with circulating Lp-PLA2. A final aim was to evaluate the effect of cholesterol on cellular Lp-PLA2 in an in vitro adipocyte model. Methods Analysis of anthropometric and biochemical variables from a cohort of lean (age 44.4 ± 6.2 years; BMI 22.15 ± 1.8 kg/m2, n = 23), overweight (age 45.4 ± 12.3 years; BMI 26.99 ± 1.5 kg/m2, n = 24), obese (age 49.0 ± 9.1 years; BMI 33.74 ± 3.3 kg/m2, n = 32) and type 2 diabetic women (age 53.0 ± 6.13 years; BMI 35.08 ± 8.6 kg/m2, n = 35), as part of an ethically approved study. Gene and protein expression of PLA2 and its isoforms were assessed in adipose tissue samples, with serum analysis undertaken to assess circulating Lp-PLA2 and its association with cardiometabolic risk markers. A human adipocyte cell model, Chub-S7, was used to address the intracellular change in Lp-PLA2 in adipocytes. Results Lp-PLA2 and calcium-independent PLA2 (iPLA2) isoforms were altered by adiposity, as shown by microarray analysis (p < 0.05). Type 2 diabetes status was also observed to significantly alter gene and protein levels of Lp-PLA2 in abdominal subcutaneous (AbdSc) (p < 0.01), but not omental, adipose tissue. Furthermore, multivariate stepwise regression analysis of circulating Lp-PLA2 and metabolic markers revealed that the greatest predictor of Lp-PLA2 in non-diabetic individuals was LDL-cholesterol (p = 0.004). Additionally, in people with type 2 diabetes, oxidised LDL (oxLDL), triacylglycerols and HDL-cholesterol appeared important predictors, accounting for 59.7% of the variance (p < 0.001). Subsequent in vitro studies determined human adipocytes to be a source of Lp-PLA2, as confirmed by mRNA expression, protein levels and immunochemistry. Further in vitro experiments revealed that treatment with LDL-cholesterol or oxLDL resulted in significant upregulation of Lp-PLA2, while inhibition of Lp-PLA2 reduced oxLDL production by 19.8% (p < 0.05). Conclusions/interpretation Our study suggests adipose tissue and adipocytes are active sources of Lp-PLA2, with differential regulation by fat depot and metabolic state. Moreover, levels of circulating Lp-PLA2 appear to be influenced by unfavourable lipid profiles in type 2 diabetes, which may occur in part through regulation of LDL-cholesterol and oxLDL metabolism in adipocytes
    corecore