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.

Residence time distribution in holding tubes using generalized convection model and numerical convolution for non-ideal tracer detection

A procedure is proposed for the determination of the residence time distribution (RTD) of curved tubes taking into account the non-ideal detection of the tracer. The procedure was applied to two holding tubes used for milk pasteurization in laboratory scale. Experimental data was obtained using an ionic tracer. The signal distortion caused by the detection system was considerable because of the short residence time. Four RTD models, namely axial dispersion, extended tanks in series, generalized convection and PER + CSTR association, were adjusted after convolution with the E-curve of the detection system. The generalized convection model provided the best fit because it could better represent the tail on the tracer concentration curve that is Caused by the laminar velocity profile and the recirculation regions. Adjusted model parameters were well cot-related with the now rate. (C) 2010 Elsevier Ltd. All rights reserved.

Flatness-based control of a single qubit gate

This work considers the open-loop control problem of steering a two-level quantum system from any initial to any final condition. The model of this system evolves on the state space X = SU(2), having two inputs that correspond to the complex amplitude of a resonant laser field. A symmetry preserving flat output is constructed using a fully geometric construction and quaternion computations. Simulation results of this flatness-based open-loop control are provided.

Laboratory evaluation of recycled construction and demolition waste for pavements

The wide production of construction and demolition waste and its illegal deposition are serious current problems in Brazil. This research proposes to evaluate the feasibility of using aggregate from recycled construction and demolition waste (RCDW) in pavement applications. A laboratory program was conducted by geotechnical characterization, bearing capacity and repeated load triaxial tests. The results show that the composition and the compactive effort influence on the physical characteristics of the RCDW aggregate. The compaction process has promoted a partial crushing and breakage of RCDW particles, changing the grain-size distribution and increasing the percentage of cubic grains. This physical change contributes to a better densification of the RCDW aggregate and consequently an improvement in bearing capacity, resilient modulus and resistance to permanent deformation. The results have shown that the RCDW aggregate may be utilized as coarse base and sub-base layer for low-volume roads. (C) 2010 Elsevier Ltd. All rights reserved.

Construction and Evaluation of an Opto-Coupled Potentiostat with a PC/PDA Interface

The design, construction, and characterization of a portable opto-coupled potentiostat are presented. The potentiostat is battery-powered, managed by a microcontroller, which implements cyclic voltammetry (CV) using suitable sensor electrodes. Its opto-coupling permits a wide range of current measurements, varying from mA to nA. Two software interfaces were developed to perform the CV measurement: a virtual instrument for a personal computer (PC) and a C-base interface for personal digital assistant (PDA). The potentiostat has been evaluated by detection of potassium ferrocyanide in KCl medium, both with macro and microelectrodes. There was good agreement between the instrumental results and those from commercial equipment.

Pollen abortion rates, nitrogen dioxide by passive diffusive tubes and bioaccumulation in tree barks are effective in the characterization of air pollution

This study aims to evaluate the feasibility of using simple techniques - pollen abortion rates, passive diffusive tubes (NO(2)) and trace element accumulation in tree barks - when determining the area of influence of pollution emissions produced in a traffic corridor. Measurements were performed at 0, 60 and 120 meters from a major road with high vehicular traffic, taking advantage of a sharp gradient that exists between the road and a cemetery. NO(2) values and trace elements measured at 0 meters were significantly higher than those measured at more distant points. Al, S. Cl, V. Fe, Cu, and Zn exhibited a higher concentration in tree barks at the vicinity of the traffic corridor. The same pattern was observed for the pollen abortion rates measured at the three different sites. Our data suggests that simple techniques may be applied either to validate dispersion land-based models in an urban settings or, alternatively, to provide better spatial resolution to air pollution exposure when high-resolution pollution monitoring data are not available. (C) 2011 Elsevier B.V. All rights reserved.

Bioinformatics construction of the human cell surfaceome

Cell surface proteins are excellent targets for diagnostic and therapeutic interventions. By using bioinformatics tools, we generated a catalog of 3,702 transmembrane proteins located at the surface of human cells (human cell surfaceome). We explored the genetic diversity of the human cell surfaceome at different levels, including the distribution of polymorphisms, conservation among eukaryotic species, and patterns of gene expression. By integrating expression information from a variety of sources, we were able to identify surfaceome genes with a restricted expression in normal tissues and/or differential expression in tumors, important characteristics for putative tumor targets. A high-throughput and efficient quantitative real-time PCR approach was used to validate 593 surfaceome genes selected on the basis of their expression pattern in normal and tumor samples. A number of candidates were identified as potential diagnostic and therapeutic targets for colorectal tumors and glioblastoma. Several candidate genes were also identified as coding for cell surface cancer/testis antigens. The human cell surfaceome will serve as a reference for further studies aimed at characterizing tumor targets at the surface of human cells.

Construction and Validation of the Brazilian Questionario de Respostas Socialmente Habilidosas Segundo Relato de Professores (QRSH-PR)

Behavioral problems in preschool children are one of the most frequent motives for seeking psychological care by parents and caregivers. Instruments are considered necessary, created from a Social Skills Training theoretical-practical perspective, which may systematically assist the identification of social skills and behavioral deficits. helping professionals in the prevention and/or reduction of behavioral problems. The purpose of this study was to test the psychometric validity and reliability of an instrument for evaluation of Socially Skilled Responses. from a teacher`s perspective (QRSH-PR). For this purpose, 260 preschool children were evaluated. differentiated in subgroups without and without behavioral difficulties, based on the Child Behavior Scale (Escala de Comportamento Infantil/ECI-Professor). Studies were conducted for construct. discrimination. concurrent and predictive validity. The Cronbach Alpha was calculated to evaluate internal consistency. The obtained results pointed to positive indicators in reference to construct, discrimination, and predictive validity, and even for good internal consistency. indicating that the items consistently measure the construct of social skills, and differentiated children with and without behavioral problems. The questionnaire is considered to be gauged for evaluation of socially skilled responses from preschool children. and applicable in educational and clinical environments.