Development of Control Systems for Safety Instrumented Systems

Safety Instrumented Systems (SIS) are designed to prevent and / or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people`s health, protecting the environment and saving costs of industrial equipment. The design of these systems require formal methods for ensuring the safety requirements, but according material published in this area, has not identified a consolidated procedure to match the task. This sense, this article introduces a formal method for diagnosis and treatment of critical faults based on Bayesian network (BN) and Petri net (PN). This approach considers diagnosis and treatment for each safety instrumented function (SIF) including hazard and operability (HAZOP) study in the equipment or system under control. It also uses BN and Behavioral Petri net (BPN) for diagnoses and decision-making and the PN for the synthesis, modeling and control to be implemented by Safety Programmable Logic Controller (PLC). An application example considering the diagnosis and treatment of critical faults is presented and illustrates the methodology proposed.

MODELLING AND CONTROL OF ERSW PROCESSES BY NEURONAL NETWORK

A study on the use of artificial intelligence (AI) techniques for the modelling and subsequent control of an electric resistance spot welding process (ERSW) is presented. The ERSW process is characterized by the coupling of thermal, electrical, mechanical, and metallurgical phenomena. For this reason, early attempts to model it using computational methods established as the methods of finite differences, finite element, and finite volumes, ask for simplifications that lead the model obtained far from reality or very costly in terms of computational costs, to be used in a real-time control system. In this sense, the authors have developed an ERSW controller that uses fuzzy logic to adjust the energy transferred to the weld nugget. The proposed control strategies differ in the speed with which it reaches convergence. Moreover, their application for a quality control of spot weld through artificial neural networks (ANN) is discussed.

Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation

Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.

Outsourcing decision-making aspects considered by IT departments in Brazilian companies

The study of Information Technology (IT) outsourcing is relevant because companies are outsourcing their activities more than ever. An important IT outsourcing research area is the decision-making process. In other words, the comprehension of how companies decide about outsourcing their IT operations is relevant from research point of view. Therefore, the objective of this study is to understand the decision-making process used by Brazilian companies when outsourcing their IT operations. An analysis of the literature that refers to this subject showed that six aspects are usually considered by companies on the evaluation of IT outsourcing service alternatives. This research verified how these six aspects are considered by Brazilian companies on IT outsourcing decisions. The survey showed that Brazilian companies consider all the six aspects, but each of them has a different level of importance. The research also grouped the aspects according to their level of importance and interdependency, using factorial analysis to understand the logic behind IT outsourcing decision process. (C) 2009 Elsevier B.V. All rights reserved.

A calibration approach based on Takagi-Sugeno fuzzy inference system for digital electronic compasses

Recently, the development of industrial processes brought on the outbreak of technologically complex systems. This development generated the necessity of research relative to the mathematical techniques that have the capacity to deal with project complexities and validation. Fuzzy models have been receiving particular attention in the area of nonlinear systems identification and analysis due to it is capacity to approximate nonlinear behavior and deal with uncertainty. A fuzzy rule-based model suitable for the approximation of many systems and functions is the Takagi-Sugeno (TS) fuzzy model. IS fuzzy models are nonlinear systems described by a set of if then rules which gives local linear representations of an underlying system. Such models can approximate a wide class of nonlinear systems. In this paper a performance analysis of a system based on IS fuzzy inference system for the calibration of electronic compass devices is considered. The contribution of the evaluated IS fuzzy inference system is to reduce the error obtained in data acquisition from a digital electronic compass. For the reliable operation of the TS fuzzy inference system, adequate error measurements must be taken. The error noise must be filtered before the application of the IS fuzzy inference system. The proposed method demonstrated an effectiveness of 57% at reducing the total error based on considered tests. (C) 2011 Elsevier Ltd. All rights reserved.

Spatial portability of numerical models of leaf wetness duration based on empirical approaches

Leaf wetness duration (LWD) models based on empirical approaches offer practical advantages over physically based models in agricultural applications, but their spatial portability is questionable because they may be biased to the climatic conditions under which they were developed. In our study, spatial portability of three LWD models with empirical characteristics - a RH threshold model, a decision tree model with wind speed correction, and a fuzzy logic model - was evaluated using weather data collected in Brazil, Canada, Costa Rica, Italy and the USA. The fuzzy logic model was more accurate than the other models in estimating LWD measured by painted leaf wetness sensors. The fraction of correct estimates for the fuzzy logic model was greater (0.87) than for the other models (0.85-0.86) across 28 sites where painted sensors were installed, and the degree of agreement k statistic between the model and painted sensors was greater for the fuzzy logic model (0.71) than that for the other models (0.64-0.66). Values of the k statistic for the fuzzy logic model were also less variable across sites than those of the other models. When model estimates were compared with measurements from unpainted leaf wetness sensors, the fuzzy logic model had less mean absolute error (2.5 h day(-1)) than other models (2.6-2.7 h day(-1)) after the model was calibrated for the unpainted sensors. The results suggest that the fuzzy logic model has greater spatial portability than the other models evaluated and merits further validation in comparison with physical models under a wider range of climate conditions. (C) 2010 Elsevier B.V. All rights reserved.

von Wright`s Therapy to Jorgensen`s Syndrome

In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright`s understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for norm-giving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jorgensen`s dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein`s therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms.

Molecular analysis of CYP21A2 can optimize the follow-up of positive results in newborn screening for congenital adrenal hyperplasia

Neonatal screening for congenital adrenal hyperplasia (CAH) is useful in diagnosing salt wasting form (SW). However, there are difficulties in interpreting positive results in asymptomatic newborns. The main objective is to analyze genotyping as a confirmatory test in children with neonatal positive results. Patients comprised 23 CAH children and 19 asymptomatic infants with persistently elevated 17-hydroxyprogesterone (17OHP) levels. CYP21A2 gene was sequenced and genotypes were grouped according to the enzymatic activity of the less severe allele: A1 null, A2 < 2%, B 3-7%, C > 20%. Twenty-one children with neonatal symptoms and/or 17OHP levels > 80 ng/ml carried A genotypes, except two virilized girls (17OHP < 50 ng/ml) without CAH genotypes. Patients carrying SW genotypes (A1, A2) and low serum sodium levels presented with neonatal 17OHP > 200 ng/ml. Three asymptomatic boys carried simple virilizing genotypes (A2 and B): in two, the symptoms began at 18 months; another two asymptomatic boys had nonclassical genotypes (C). The remaining 14 patients did not present CAH genotypes, and their 17OHP levels were normalized by 14 months of age. Molecular analysis is useful as a confirmatory test of CAH, mainly in boys. It can predict clinical course, identify false-positives and help distinguish between clinical forms of CAH.

A fuzzy Reed-Frost model for epidemic spreading

In this paper, we present a fuzzy approach to the Reed-Frost model for epidemic spreading taking into account uncertainties in the diagnostic of the infection. The heterogeneities in the infected group is based on the clinical signals of the individuals (symptoms, laboratorial exams, medical findings, etc.), which are incorporated into the dynamic of the epidemic. The infectivity level is time-varying and the classification of the individuals is performed through fuzzy relations. Simulations considering a real problem with data of the viral epidemic in a children daycare are performed and the results are compared with a stochastic Reed-Frost generalization.

Autoimmunity in Hyper-IgM syndrome

Introduction Immunodeficiency with hyper-IgM (HIGM) results from genetic defects in the CD40-CD40 ligand (CD40L) pathway or in the enzymes required for immunoglobulin class switch recombination and somatic hypermutation. HIGM can thus be associated with an impairment of both B-cell and T-cell activation. Results and discussions There are seven main subtypes of HIGM and the most frequent is X-linked HIGM, resulting from CD40L mutations. In addition to the susceptibility to recurrent and opportunistic infections, these patients are prone to autoimmune manifestations, especially hemato-logic abnormalities, arthritis, and inflammatory bowel disease. Furthermore, organ-specific autoantibodies are commonly found in HIGM patients. Conclusions The mechanisms by which HIGM associates to autoimmunity are not completely elucidated but a defective development of regulatory T cells, the presence of IgM autoantibodies and an impaired peripheral B-cell tolerance checkpoint have been implicated. This article reviews the main subtypes of HIGM syndrome, the clinical autoinumme manifestations found in these patients, and the possible mechanisms that would explain this association.

Expression of human leucocyte antigen-G primarily targets affected skin of patients with psoriasis

P>Background The nonclassical human leucocyte antigen (HLA)-G molecule has been well recognized as a tolerogenic molecule and few studies have evaluated the role of the molecule in inflammatory cutaneous autoimmune diseases. Objectives To evaluate the expression of HLA-G in skin specimens of patients with psoriasis and to analyse its correlation with epidemiological and clinical variables. Methods Thirty untreated patients with psoriasis and 32 healthy individuals were enrolled. Immunohistochemistry was applied to identify HLA-G expression in formalin-fixed paraffin-embedded cutaneous skin biopsies. Results Soluble and membrane-bound HLA-G expression was detected in 30 (90%) of the skin specimens from patients presenting clinical and histopathological features of psoriasis. Although infiltrating lymphomononuclear cells of the dermis exhibited HLA-G expression, the epidermis was primarily targeted. HLA-G expression was also observed in 27% (three of 11) of the specimens that exhibited no clinical and histopathological features of psoriasis (nonaffected areas). In contrast, skin specimens obtained from healthy individuals exhibited no HLA-G expression (P < 0 center dot 0001). The intensity of HLA-G expression was not associated with type I/II psoriasis, Psoriasis Area and Severity Index score or clinical forms. Conclusions As the HLA-G molecule was consistently expressed in affected and, to a lesser extent, in nonaffected areas of untreated patients with psoriasis, irrespective of the severity of the clinical variants, one may hypothesize that the presence of HLA-G may be responsible, at least in part, for the regulation of autoimmune effector cells.

OCCURRENCE AND MOLECULAR DIAGNOSIS OF CRYPTOSPORIDIUM SERPENTIS IN CAPTIVE SNAKES IN SAO PAULO, BRAZIL

The present study aimed to determine whether Cryptosporidium oocysts were present in stools from captive snakes at Fundacao Parque Zoo logic (Zoological Park Foundation) in Sno Paulo, Brazil. Two collections were performed; the first in July 2008 and the second in February 2009. Fecal samples were collected from 74 enclosures that housed 101 individuals of 23 snake species. The stool specimens collected from 16 out of the 74 enclosures (21.6%) contained Cryptosporidium spp. oocysts; all of them were confirmed as Cryptosporidium serpent is, using molecular techniques. Only in three (18.7%) out of the 16 enclosures with positive samples were there animals with clinical signs compatible with infection by C. serpentis, such as regurgitation and significant progressive weight loss. From the results, it was concluded that diagnostic examinations need to be performed periodically, even on clinically healthy animals, as a preventive measure.