Reducing Water and Chloride Penetration Through Silicate Treatments for Concrete as a Mean to Control Corrosion Kinetics

There are currently many types of protective materials for reinforced concrete structures and the influence of these materials in the chloride diffusion coefficient and water penetration still needs more research. The aim of this work is to analyze the contributions regarding the typical three surface concrete protection systems (coatings, linings and pore blockers) and discusses the results of three pore blockers (sodium silicate) tested in this work. To this end, certain tests were used: one involving permeability mechanism (low pressure-immersion absorption), one involving capillary water absorption, and the last, a migration test used to estimate the effective chloride diffusion coefficient in saturated condition. Results indicated reduction in chloride diffusion coefficients and capillary water absorption, therefore, restrictions to water penetration from external environmental. As a consequence, a reduction of the corrosion kinetics and a control of the chloride ingress are expected.

Postural control in elderly women with osteoporosis: comparison of balance, strengthening and stretching exercises. A randomized controlled trial

Objective: To compare the efficacy of balance training associated with muscle strengthening or stretching, relative to no intervention, in the postural control of elderly women with osteoporosis. Design: A randomized, controlled trial. Subjects and interventions: Sample consisted of 50 women aged 65 years or older, with osteoporosis, randomized into one of three groups: strengthening group (n = 17) performed balance training with muscle strengthening; stretching group (n = 17) performed balance training with stretching; and control group (n = 16), no activities. Interventions lasted eight weeks, twice a week, 60 minutes a day. Main measures: Postural control was evaluated by the modified Clinical Test of Sensory Interaction for Balance (CTSIBm) and Limits of Stability Test. Strength was assessed by dynamometry and the shortening of the hamstrings by goniometry. Results: Relative to controls, participants in the strengthening group displayed significantly increased dorsiflexion strength and knee flexion strength, as well as centre of pressure velocity, directional control, and oscillation velocity (CTSIBm test). The stretching group had significantly improvements in hamstring length, knee flexion strength, centre of pressure velocity, and amplitude of movements. Relative to the stretching group, the strengthening group yielded better knee extension strength and directional control. Conclusion: The results suggest that both interventions are effective in improving postural control when compared to the control group, and the strengthening group was superior to the stretching group in knee extension strength and in directional control.

Comparison of wing geometry data and genetic data for assessing the population structure of Aedes aegypti

Aedes aegypti is the most important vector of dengue viruses in tropical and subtropical regions. Because vaccines are still under development, dengue prevention depends primarily on vector control. Population genetics is a common approach in research involving Ae. aegypti. In the context of medical entomology, wing morphometric analysis has been proposed as a strong and low-cost complementary tool for investigating population structure. Therefore, we comparatively evaluated the genetic and phenotypic variability of population samples of Ae. aegypti from four sampling sites in the metropolitan area of Sao Paulo city, Brazil. The distances between the sites ranged from 7.1 to 50 km. This area, where knowledge on the population genetics of this mosquito is incipient, was chosen due to the thousands of dengue cases registered yearly. The analysed loci were polymorphic, and they revealed population structure (global F-ST = 0.062; p < 0.05) and low levels of gene flow (Nm = 0.47) between the four locations. Principal component and discriminant analyses of wing shape variables (18 landmarks) demonstrated that wing polymorphisms were only slightly more common between populations than within populations. Whereas microsatellites allowed for geographic differentiation, wing geometry failed to distinguish the samples. These data suggest that microevolution in this species may affect genetic and morphological characters to different degrees. In this case, wing shape was not validated as a marker for assessing population structure. According to the interpretation of a previous report, the wing shape of Ae. aegypti does not vary significantly because it is stabilised by selective pressure. (C) 2011 Elsevier B.V. All rights reserved.

EPOS 2012: European position paper on rhinosinusitis and nasal polyps 2012. A summary for otorhinolaryngologists

The European Position Paper on Rhinosinusitis and Nasal Polyps 2012 is the update of similar evidence based position papers published in 2005 and 2007. The document contains chapters on definitions and classification, we now also propose definitions for 'difficult to treat' rhinosinusitis, control of disease and better definitions for rhinosinusitis in children. More emphasis is placed on the diagnosis and treatment of acute rhinosinusitis. Throughout the document the terms chronic rhinosinusitis without nasal polyps (CRSsNP) and chronic rhinosinusitis with nasal polyps (CRSwNP) are used to further point out differences in pathophysiology and treatment of these two entities. There are extensive chapters on epidemiology and predisposing factors, inflammatory mechanisms, (differential) diagnosis of facial pain, genetics, cystic fibrosis, aspirin exacerbated respiratory disease, immunodeficiencies, allergic fungal rhinosinusitis and the relationship between the upper and lower airways. The chapters on paediatric acute and chronic rhinosinusitis are totally rewritten. Last but not least all available evidence for management of acute rhinosinusitis and chronic rhinosinusitis with or without nasal polyps in adults and children is analyzed and presented and management schemes based on the evidence are proposed. This executive summary for otorhinolaryngologists focuses on the most important changes and issues for otorhinolaryngologists.

OPTIMIZATION AND CONTROL OF A CONTINUOUS POLYMERIZATION REACTOR

This work studies the optimization and control of a styrene polymerization reactor. The proposed strategy deals with the case where, because of market conditions and equipment deterioration, the optimal operating point of the continuous reactor is modified significantly along the operation time and the control system has to search for this optimum point, besides keeping the reactor system stable at any possible point. The approach considered here consists of three layers: the Real Time Optimization (RTO), the Model Predictive Control (MPC) and a Target Calculation (TC) that coordinates the communication between the two other layers and guarantees the stability of the whole structure. The proposed algorithm is simulated with the phenomenological model of a styrene polymerization reactor, which has been widely used as a benchmark for process control. The complete optimization structure for the styrene process including disturbances rejection is developed. The simulation results show the robustness of the proposed strategy and the capability to deal with disturbances while the economic objective is optimized.

Speed Neuro-fuzzy Estimator Applied To Sensorless Induction Motor Control

This work proposes the development of an Adaptive Neuro-fuzzy Inference System (ANFIS) estimator applied to speed control in a three-phase induction motor sensorless drive. Usually, ANFIS is used to replace the traditional PI controller in induction motor drives. The evaluation of the estimation capability of the ANFIS in a sensorless drive is one of the contributions of this work. The ANFIS speed estimator is validated in a magnetizing flux oriented control scheme, consisting in one more contribution. As an open-loop estimator, it is applied to moderate performance drives and it is not the proposal of this work to solve the low and zero speed estimation problems. Simulations to evaluate the performance of the estimator considering the vector drive system were done from the Matlab/Simulink(R) software. To determine the benefits of the proposed model, a practical system was implemented using a voltage source inverter (VSI) to drive the motor and the vector control including the ANFIS estimator, which is carried out by the Real Time Toolbox from Matlab/Simulink(R) software and a data acquisition card from National Instruments.

Tissue distribution of DNA-Hsp65/TDM-loaded PLGA microspheres and uptake by phagocytic cells

This study aimed to demonstrate that microspheres, used as delivery vehicle of DNA-Hsp65/TDM [plasmid DNA encoding heat shock protein 65 (Hsp65) coencapsulated with trehalose dimycolate (TDM) into PLGA microspheres], are widely spread among several organs after intramuscular administration in BALB/c mice. In general, we showed that these particles were phagocytosed by antigen presenting cells, such as macrophages and dendritic cells. Besides, it was demonstrated herein that draining lymph node cells presented a significant increase in the number of cells expressing costimulatory molecules (CD80 and CD86) and MHC class II, and also that the administration of the DNA-Hsp65/TDM and vector/TDM formulations resulted in the up-regulation of CD80, CD86 and MHC class II expression when compared to control formulations (vector/TDM and empty). Regarding the intracellular trafficking we observed that following phagocytosis, the microspheres were not found in the late endosomes and/or lysosomes, until 15 days after internalization, and we suggest that these constructions were hydrolysed in early compartments. Overall, these data expand our knowledge on PLGA [poly (lactic-co- glycolic acid)] microspheres as gene carriers in vaccination strategies, as well as open perspectives for their potential use in clinical practice.

Genetic Control of Mosquitoes: population suppression strategies

Over the last two decades, morbidity and mortality from malaria and dengue fever among other pathogens are an increasing Public Health problem. The increase in the geographic distribution of vectors is accompanied by the emergence of viruses and diseases in new areas. There are insufficient specific therapeutic drugs available and there are no reliable vaccines for malaria or dengue, although some progress has been achieved, there is still a long way between its development and actual field use. Most mosquito control measures have failed to achieve their goals, mostly because of the mosquito's great reproductive capacity and genomic flexibility. Chemical control is increasingly restricted due to potential human toxicity, mortality in no target organisms, insecticide resistance, and other environmental impacts. Other strategies for mosquito control are desperately needed. The Sterile Insect Technique (SIT) is a species-specific and environmentally benign method for insect population suppression, it is based on mass rearing, radiation mediated sterilization, and release of a large number of male insects. Releasing of Insects carrying a dominant lethal gene (RIDL) offers a solution to many of the drawbacks of traditional SIT that have limited its application in mosquitoes while maintaining its environmentally friendly and species-specific utility. The self-limiting nature of sterile mosquitoes tends to make the issues related to field use of these somewhat less challenging than for self-spreading systems characteristic of population replacement strategies. They also are closer to field use, so might be appropriate to consider first. The prospect of genetic control methods against mosquito vectored human diseases is rapidly becoming a reality, many decisions will need to be made on a national, regional and international level regarding the biosafety, social, cultural and ethical aspects of the use and deployment of these vector control methods.

Grandisin caused morphological changes larval and toxicity on Aedes aegypti

Dengue is a tropical disease caused by an arbovirus transmitted by Aedes aegypti. Since no effective vaccine is available for treating dengue, the present study focused on population vector control through investigating the use of the lignan grandisin, isolated from Piper solmsianum C. DC., Piperaceae, against the larvae of A. aegypti. Grandisin caused larval (L3) mortality at LC50 150 µg/mL. Histological analysis on A. aegypti larvae treated with grandisin (LC50 50 µg/mL) showed changes in the anterior-middle midgut, with intense tissue destruction and cell disorganization.

Optimization and control of a continuous polymerization reactor

This work studies the optimization and control of a styrene polymerization reactor. The proposed strategy deals with the case where, because of market conditions and equipment deterioration, the optimal operating point of the continuous reactor is modified significantly along the operation time and the control system has to search for this optimum point, besides keeping the reactor system stable at any possible point. The approach considered here consists of three layers: the Real Time Optimization (RTO), the Model Predictive Control (MPC) and a Target Calculation (TC) that coordinates the communication between the two other layers and guarantees the stability of the whole structure. The proposed algorithm is simulated with the phenomenological model of a styrene polymerization reactor, which has been widely used as a benchmark for process control. The complete optimization structure for the styrene process including disturbances rejection is developed. The simulation results show the robustness of the proposed strategy and the capability to deal with disturbances while the economic objective is optimized.

Lifetime Prevalence, age and gender distribution and age-of-onset of psychiatric disorders in the São Paulo Metropolitan Area, Brazil: results from the São Paulo Megacity Mental Health Survey

OBJECTIVES: To estimate prevalence, age-of-onset, gender distribution and identify correlates of lifetime psychiatric disorders in the São Paulo Metropolitan Area (SPMA). METHODS: The São Paulo Megacity Mental Health Survey assessed psychiatric disorders on a probabilistic sample of 5,037 adult residents in the SPMA, using the World Mental Health Survey Version of the Composite International Diagnostic Interview. Response rate was 81.3%. RESULTS: Lifetime prevalence for any disorder was 44.8%; estimated risk at age 75 was 57.7%; comorbidity was frequent. Major depression, specific phobias and alcohol abuse were the most prevalent across disorders; anxiety disorders were the most frequent class. Early age-of-onset for phobic and impulse-control disorders and later age-of-onset for mood disorders were observed. Women were more likely to have anxiety and mood disorders, whereas men, substance use disorders. Apart from conduct disorders, more frequent in men, there were no gender differences in impulse-control disorders. There was a consistent trend of higher prevalence in the youngest cohorts. Low education level was associated to substance use disorders. CONCLUSIONS: Psychiatric disorders are highly prevalent among the general adult population in the SPMA, with frequent comorbidity, early age-of-onset for most disorders, and younger cohorts presenting higher rates of morbidity. Such scenario calls for vigorous public health action.

Expression and accumulation of the two-domain odorant-binding protein AaegOBP45 in the ovaries of blood-fed Aedes aegypti

BACKGROUND: Aedes aegypti mosquitoes are the main vectors of dengue viruses. Despite global efforts to reduce the prevalence of dengue using integrated vector management strategies, innovative alternatives are necessary to help prevent virus transmission. Detailed characterizations of Ae. aegypti genes and their products provide information about the biology of mosquitoes and may serve as foundations for the design of new vector control methods. FINDINGS: We studied the Ae. aegypti gene, AAEL010714, that encodes a two-domain odorant-binding protein, AaegOBP45. The predicted gene structure and sequence were validated, although single nucleotide polymorphisms were observed. Transcriptional and translational products accumulate in the ovaries of blood fed females and are not detected or are at low abundance in other tissues. CONCLUSIONS: We validated the Ae. aegypti AAEL010714 gene sequence and characterized the expression profile of a two-domain OBP expressed in ovaries. We propose that AaegOBP45 function as a component of the mosquito eggshell.

A control and automation system for wave basins

This paper presents the new active absorption wave basin, named Hydrodynamic Calibrator (HC), constructed at the University of São Paulo (USP), in the Laboratory facilities of the Numerical Offshore Tank (TPN). The square (14 m 14 m) tank is able to generate and absorb waves from 0.5 Hz to 2.0 Hz, by means of 148 active hinged flap wave makers. An independent mechanical system drives each flap by means of a 1HP servo-motor and a ball-screw based transmission system. A customized ultrasonic wave probe is installed in each flap, and is responsible for measuring wave elevation in the flap. A complex automation architecture was implemented, with three Programmable Logic Computers (PLCs), and a low-level software is responsible for all the interlocks and maintenance functions of the tank. Furthermore, all the control algorithms for the generation and absorption are implemented using higher level software (MATLAB /Simulink block diagrams). These algorithms calculate the motions of the wave makers both to generate and absorb the required wave field by taking into account the layout of the flaps and the limits of wave generation. The experimental transfer function that relates the flap amplitude to the wave elevation amplitude is used for the calculation of the motion of each flap. This paper describes the main features of the tank, followed by a detailed presentation of the whole automation system. It includes the measuring devices, signal conditioning, PLC and network architecture, real-time and synchronizing software and motor control loop. Finally, a validation of the whole automation system is presented, by means of the experimental analysis of the transfer function of the waves generated and the calculation of all the delays introduced by the automation system.

Model and control of tendon actuated robots

The use of tendons for the transmission of the forces and the movements in robotic devices has been investigated from several researchers all over the world. The interest in this kind of actuation modality is based on the possibility of optimizing the position of the actuators with respect to the moving part of the robot, in the reduced weight, high reliability, simplicity in the mechanic design and, finally, in the reduced cost of the resulting kinematic chain. After a brief discussion about the benefits that the use of tendons can introduce in the motion control of a robotic device, the design and control aspects of the UB Hand 3 anthropomorphic robotic hand are presented. In particular, the tendon-sheaths transmission system adopted in the UB Hand 3 is analyzed and the problem of force control and friction compensation is taken into account. The implementation of a tendon based antagonistic actuated robotic arm is then investigated. With this kind of actuation modality, and by using transmission elements with nonlinear force/compression characteristic, it is possible to achieve simultaneous stiffness and position control, improving in this way the safety of the device during the operation in unknown environments and in the case of interaction with other robots or with humans. The problem of modeling and control of this type of robotic devices is then considered and the stability analysis of proposed controller is reported. At the end, some tools for the realtime simulation of dynamic systems are presented. This realtime simulation environment has been developed with the aim of improving the reliability of the realtime control applications both for rapid prototyping of controllers and as teaching tools for the automatic control courses.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.