Modeling of Distributed Control Systems in Intelligent Building based on Colored Petri Nets

Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks and are characterized by a high number of concurrent process. This work presents a proposal for a procedure to model and analyze communication networks for distributed control systems in intelligent building. The approach considered for this purpose is based on the characterization of the control system as a discrete event system and application of coloured Petri net as a formal method for specification, analysis and verification of control solutions. With this approach, we develop the models that compose the communication networks for the control systems of intelligent building, which are considered the relationships between the various buildings systems. This procedure provides a structured development of models, facilitating the process of specifying the control algorithm. An application example is presented in order to illustrate the main features of this approach.

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.

Assessment of psychosocial adjustment in patients with temporal lobe epilepsy using a standard measure

Despite the growing evidence of poor psychosocial adjustment, at present there is no formal method of assessment of social adjustment in patients with temporal lobe epilepsy (TLE). First, we assessed social adjustment in patients with TLE using a self-report questionnaire and compared the results with those from quality-of-life (QOL) scales. Second, we verified the influence of cognitive performance and clinical variables of epilepsy on social adjustment and QOL We evaluated 35 people with TLE and 38 healthy controls. Patients had worse social adjustment, and it was correlated with worse perception of cognitive function. Attention and verbal memory dysfunctions were negatively correlated with social adjustment. However, there was no significant correlation between cognitive performance and QOL Regarding clinical variables, persons with left TLE showed worse social adjustment and patients with frequent seizures showed worse QOL These findings indicate the relevance of evaluating social adjustment and emphasize the importance of cognitive rehabilitation to improved social adjustment. (c) 2010 Elsevier Inc. All rights reserved.

Interplay between the (8)B breakup and other reaction mechanisms by means of CDCC method

We use the continuum discretized coupled channel method to study the effects of breakup on different reaction mechanisms for the (8)B + (58)Ni system. We devote special attention to the role of continuum-continuum couplings.

Indirect study of (11)B(p,alpha(0))(8)Be and (10)B(p,alpha)(7)Be reactions at astrophysical energies by means of the Trojan Horse Method: recent results

Nuclear (p,alpha) reactions destroying the so-called ""light-elements"" lithium, beryllium and boron have been largely studied in the past mainly because their role in understanding some astrophysical phenomena, i.e. mixing-phenomena occurring in young F-G stars [1]. Such mechanisms transport the surface material down to the region close to the nuclear destruction zone, where typical temperatures of the order of similar to 10(6) K are reached. The corresponding Gamow energy E(0)=1.22 (Z(x)(2)Z(X)(2)T(6)(2))(1/3) [2] is about similar to 10 keV if one considers the ""boron-case"" and replaces in the previous formula Z(x) = 1, Z(X) = 5 and T(6) = 5. Direct measurements of the two (11)B(p,alpha(0))(8)Be and (10)B(p,alpha)(7)Be reactions in correspondence of this energy region are difficult to perform mainly because the combined effects of Coulomb barrier penetrability and electron screening [3]. The indirect method of the Trojan Horse (THM) [4-6] allows one to extract the two-body reaction cross section of interest for astrophysics without the extrapolation-procedures. Due to the THM formalism, the extracted indirect data have to be normalized to the available direct ones at higher energies thus implying that the method is a complementary tool in solving some still open questions for both nuclear and astrophysical issues [7-12].

A convenient method for lecithin purification from fresh eggs

The increasing demand for fatty acid-free lecithin required modifications in existing purification methods. In this technical note we describe a purification procedure with the following steps: a) homogenization and extraction of yolks obtained from fresh eggs with acetone, b) solubilization with ethanol and solvent elimination and c) repeated solubilization/precipitation with petroleum ether/acetone. This crude extract was chromatographed on neutral alumina, which was exhaustively washed with chloroform before elution with chloroform:methanol, allowing the sequential separation of fatty acids and lecithin. Chromatographic behavior and mass spectra of the product are presented. This fast procedure yields fatty acid-free lecithin at a competitive cost.

Validation of a food frequency questionnaire to assess the consumption of carotenoids, fruits and vegetables among adolescents: the method of triads

The aim of this study was to validate the intake of carotenoids, fruits and vegetables estimated by the Food Frequency Questionnaire for Adolescents (FFQA) using the method of triads. Blood samples were collected from 80 elementary school adolescents to assess serum levels of β-carotene. Partial correlation coefficients (r) were calculated between an estimated intake of carotenoids, fruits and vegetables and the serum levels of β-carotene. Validity coefficients were calculated using the method of triads. With the exception of carotenoids, partial r from the food frequency questionnaire (FFQ) were greater than those of the 24-hour recall (24hR). The fruit/vegetable group showed the highest partial r for the FFQ (r = 0.235) and the 24hR (r = 0.137). The highest validity coefficient was obtained for the vegetable group, as assessed by the FFQ (r = 0.873). On average, the validity coefficient values for the FFQ were greater than those obtained for the 24hR or the β-carotene serum levels. The FFQA is an accurate tool for estimating the intake of carotenoids, fruits and vegetables in this population group.

Leukotriene B(4)-loaded microspheres: a new therapeutic strategy to modulate cell activation

Background: Leukotriene B(4) (LTB(4)) is a potent inflammatory mediator that also stimulates the immune response. In addition, it promotes polymorphonuclear leukocyte phagocytosis, chemotaxis, chemokinesis and modulates cytokines release. Regarding chemical instability of the leukotriene molecule, in the present study we assessed the immunomodulatory activities conferred by LTB(4) released from microspheres (MS). A previous oil-in-water emulsion solvent extraction-evaporation method was chosen to prepare LTB(4)-loaded MS. Results: In the mice cremasteric microcirculation, intraescrotal injection of 0.1 ml of LTB(4)-loaded MS provoked significant increases in leukocyte rolling flux, adhesion and emigration besides significant decreases in the leukocyte rolling velocity. LTB(4)-loaded MS also increase peroxisome proliferator-activated receptor-alpha (PPAR alpha) expression by murine peritoneal macrophages and stimulate them to generate nitrite levels. Monocyte chemoattractant protein-I (MCP-I) and nitric oxide (NO) productions were also increased when human umbilical vein and artery endothelial cells (HUVECs and HUAECs, respectively) were stimulated with LTB(4)-loaded MS. Conclusion: LTB(4)-loaded MS preserve the biological activity of the encapsulated mediator indicating their use as a new strategy to modulate cell activation, especially in the innate immune response.

Detection of Hepatitis B virus subgenotype A1 in a Quilombo community from Maranhao, Brazil

Background: The Brazilian population is mainly descendant from European colonizers, Africans and Native Americans. Some Afro-descendants lived in small isolated communities since the slavery period. The epidemiological status of HBV infection in Quilombos communities from northeast of Brazil remains unknown. The aim of this study was to characterize the HBV genotypes circulating inside a Quilombo isolated community from Maranhao State, Brazil. Methods: Seventy-two samples from Frechal Quilombo community at Maranhao were collected. All serum samples were screened by enzyme-linked immunosorbent assays for the presence of hepatitis B surface antigen ( HBsAg). HBsAg positive samples were submitted to DNA extraction and a fragment of 1306 bp partially comprising HBsAg and polymerase coding regions (S/POL) was amplified by nested PCR and its nucleotide sequence was determined. Viral isolates were genotyped by phylogenetic analysis using reference sequences from each genotype obtained from GenBank (n = 320). Sequences were aligned using Muscle software and edited in the SE-AL software. Bayesian phylogenetic analyses were conducted using Markov Chain Monte Carlo (MCMC) method to obtain the MCC tree using BEAST v.1.5.3. Results: Of the 72 individuals, 9 (12.5%) were HBsAg-positive and 4 of them were successfully sequenced for the 1306 bp fragment. All these samples were genotype A1 and grouped together with other sequences reported from Brazil. Conclusions: The present study represents the first report on the HBV genotypes characterization of this community in the Maranhao state in Brazil where a high HBsAg frequency was found. In this study, we reported a high frequency of HBV infection and the exclusive presence of subgenotype A1 in an Afro-descendent community in the Maranhao State, Brazil.

A Novel Hepatitis C Virus Genotyping Method Based on Liquid Microarray

The strategy used to treat HCV infection depends on the genotype involved. An accurate and reliable genotyping method is therefore of paramount importance. We describe here, for the first time, the use of a liquid microarray for HCV genotyping. This liquid microarray is based on the 5'UTR - the most highly conserved region of HCV - and the variable region NS5B sequence. The simultaneous genotyping of two regions can be used to confirm findings and should detect inter-genotypic recombination. Plasma samples from 78 patients infected with viruses with genotypes and subtypes determined in the Versant (TM) HCV Genotype Assay LiPA (version I; Siemens Medical Solutions, Diagnostics Division, Fernwald, Germany) were tested with our new liquid microarray method. This method successfully determined the genotypes of 74 of the 78 samples previously genotyped in the Versant (TM) HCV Genotype Assay LiPA (74/78, 95%). The concordance between the two methods was 100% for genotype determination (74/74). At the subtype level, all 3a and 2b samples gave identical results with both methods (17/17 and 7/7, respectively). Two 2c samples were correctly identified by microarray, but could only be determined to the genotype level with the Versant (TM) HCV assay. Genotype ""1'' subtypes (1a and 1b) were correctly identified by the Versant (TM) HCV assay and the microarray in 68% and 40% of cases, respectively. No genotype discordance was found for any sample. HCV was successfully genotyped with both methods, and this is of prime importance for treatment planning. Liquid microarray assays may therefore be added to the list of methods suitable for HCV genotyping. It provides comparable results and may readily be adapted for the detection of other viruses frequently co-infecting HCV patients. Liquid array technology is thus a reliable and promising platform for HCV genotyping.

Sudan Black B treatment reduces autofluorescence and improves resolution of in situ hybridization specific fluorescent signals of brain sections

Interference by autofluorescence is one of the major concerns of immunofluorescence analysis of in situ hybridization-based diagnostic assays. We present a useful technique that reduces autofluorescent background without affecting the tissue integrity or direct immunofluorescence signals in brain sections. Using six different protocols, such as ammonia/ethanol, Sudan Black B (SBB) in 70% ethanol, photobleaching with UV light and different combinations of them in both formalin-fixed paraffin-embedded and frozen human brain tissue sections, we have found that tissue treatment of SBB in a concentration of 0.1% in 70% ethanol is the best approach to reduce/eliminate tissue autofluorescence and background, while preserving the specific fluorescence hybridization signals. This strategy is a feasible, non-time consuming method that provides a reasonable compromise between total reduction of the tissue autofluorescence and maintenance of specific fluorescent labels.

A simplified minimal residual disease polymerase chain reaction method at early treatment points can stratify children with acute lymphoblastic leukemia into good and poor outcome groups

Background Minimal residual disease is an important independent prognostic factor in childhood acute lymphoblastic leukemia. The classical detection methods such as multiparameter flow cytometry and real-time quantitative polymerase chain reaction analysis are expensive, time-consuming and complex, and require considerable technical expertise. Design and Methods We analyzed 229 consecutive children with acute lymphoblastic leukemia treated according to the GBTLI-99 protocol at three different Brazilian centers. Minimal residual disease was analyzed in bone marrow samples at diagnosis and on days 14 and 28 by conventional homo/heteroduplex polymerase chain reaction using a simplified approach with consensus primers for IG and TCR gene rearrangements. Results At least one marker was detected by polymerase chain reaction in 96.4%, of the patients. By combining the minimal residual disease results obtained on days 14 and 28, three different prognostic groups were identified: minimal residual disease negative on days 14 and 28, positive on day 14/negative on day 28, and positive on both. Five-year event-free survival rates were 85%, 75.6%,, and 27.8%, respectively (p<0.0001). The same pattern of stratification held true for the group of intensively treated children. When analyzed in other subgroups of patients such as those at standard and high risk at diagnosis, those with positive B-derived CD10, patients positive for the TEL/AML1 transcript, and patients in morphological remission on a day 28 marrow, the event-free survival rate was found to be significantly lower in patients with positive minimal residual disease on day 28. Multivariate analysis demonstrated that the detection of minimal residual disease on day 28 is the most significant prognostic factor. Conclusions This simplified strategy for detection of minimal residual disease was feasible, reproducible, cheaper and simpler when compared with other methods, and allowed powerful discrimination between children with acute lymphoblastic leukemia with a good and poor outcome.

Automated supervised classification of variable stars in the CoRoT programme Method and application to the first four exoplanet fields

Aims. In this work, we describe the pipeline for the fast supervised classification of light curves observed by the CoRoT exoplanet CCDs. We present the classification results obtained for the first four measured fields, which represent a one-year in-orbit operation. Methods. The basis of the adopted supervised classification methodology has been described in detail in a previous paper, as is its application to the OGLE database. Here, we present the modifications of the algorithms and of the training set to optimize the performance when applied to the CoRoT data. Results. Classification results are presented for the observed fields IRa01, SRc01, LRc01, and LRa01 of the CoRoT mission. Statistics on the number of variables and the number of objects per class are given and typical light curves of high-probability candidates are shown. We also report on new stellar variability types discovered in the CoRoT data. The full classification results are publicly available.

Restricted-Range Fishes and the Conservation of Brazilian Freshwaters

Background: Freshwaters are the most threatened ecosystems on earth. Although recent assessments provide data on global priority regions for freshwater conservation, local scale priorities remain unknown. Refining the scale of global biodiversity assessments (both at terrestrial and freshwater realms) and translating these into conservation priorities on the ground remains a major challenge to biodiversity science, and depends directly on species occurrence data of high taxonomic and geographic resolution. Brazil harbors the richest freshwater ichthyofauna in the world, but knowledge on endemic areas and conservation in Brazilian rivers is still scarce. Methodology/Principal Findings: Using data on environmental threats and revised species distribution data we detect and delineate 540 small watershed areas harboring 819 restricted-range fishes in Brazil. Many of these areas are already highly threatened, as 159 (29%) watersheds have lost more than 70% of their original vegetation cover, and only 141 (26%) show significant overlap with formally protected areas or indigenous lands. We detected 220 (40%) critical watersheds overlapping hydroelectric dams or showing both poor formal protection and widespread habitat loss; these sites harbor 344 endemic fish species that may face extinction if no conservation action is in place in the near future. Conclusions/Significance: We provide the first analysis of site-scale conservation priorities in the richest freshwater ecosystems of the globe. Our results corroborate the hypothesis that freshwater biodiversity has been neglected in former conservation assessments. The study provides a simple and straightforward method for detecting freshwater priority areas based on endemism and threat, and represents a starting point for integrating freshwater and terrestrial conservation in representative and biogeographically consistent site-scale conservation strategies, that may be scaled-up following naturally linked drainage systems. Proper management (e. g. forestry code enforcement, landscape planning) and conservation (e. g. formal protection) of the 540 watersheds detected herein will be decisive in avoiding species extinction in the richest aquatic ecosystems on the planet.

Novel method for measuring nanofriction by atomic force microscope

The authors describe a novel approach to the measurement of nanofriction, and demonstrate the application of the method by measurement of the coefficient of friction for diamondlike carbon (DLC) on DLC, Si on DLC, and Si on Si surfaces. The technique employs an atomic force microscope in a mode in which the tip moves only in the z (vertical) direction and the sample surface is sloped. As the tip moves vertically on the sloped surface, lateral tip slipping occurs, allowing the cantilever vertical deflection and the frictional (lateral) force to be monitored as a function of tip vertical deflection. The advantage of the approach is that cantilever calibration to obtain its spring constants is not necessary. Using this method, the authors have measured friction coefficients, for load range 0 < L M 6 mu N, of 0.047 +/- 0.002 for Si on Si, 0.0173 +/- 0.0009 for Si on DLC, and 0.0080 +/- 0.0005 for DLC on DLC. For load range 9 < L < 13 mu N, the DLC on DLC coefficient of friction increased to 0.051 +/- 0.003. (C) 2008 American Vacuum Society.