Toll-like receptors 2, 3 and 4 and thymic stromal lymphopoietin expression in fatal asthma

Background Airway inflammation in asthma involves innate immune responses. Toll-like receptors (TLRs) and thymic stromal lymphopoietin (TSLP) are thought to be involved in airway inflammation, but their expression in asthmatics both large and small airways has not been investigated. Objective To analyse the expression of TLR2, TLR3, TLR4 and TSLP in large and small airways of asthmatics and compare their expression in smoking and non-smoking asthmatics; to investigate whether TLR expression is associated with eosinophilic or neutrophilic airway inflammation and with Mycoplasma pneumoniae and Chlamydophila pneumoniae infection. Methods Using immunohistochemistry and image analysis, we investigated TLR2, TLR3, TLR4 and TSLP expression in large and small airways of 24 victims of fatal asthma, FA, (13 non-smokers, 11 smokers) and nine deceased control subjects (DCtrl). TLRs were also measured in 18 mild asthmatics (MA) and 12 healthy controls (HCtrl). M. pneumoniae and C. pneumoniae in autopsy lung tissue were analysed using real-time polymerase chain reaction. Airway eosinophils and neutrophils were measured in all subjects. Results Fatal asthma patients had higher TLR2 in the epithelial and outer layers of large and small airways compared with DCtrls. Smoking asthmatics had lower TLR2 levels in the inner and outer layers of the small airways than non-smoking asthmatics. TSLP was increased in the epithelial and outer layers of the large airways of FA. FA patients had greater TLR3 expression in the outer layer of large airways and greater TLR4 expression in the outer layer of small airways. Eosinophilic airway inflammation was associated with TLR expression in the epithelium of FA. No bacterial DNA was detected in FA or DCtrls. MA and HCtrls had only a small difference in TLR3 expression. Conclusions and Clinical Relevance Increased expression of TLR 2, 3 and 4 and TSLP in fatal asthma may contribute to the acute inflammation surrounding asthma deaths.

Models of passive and active dendrite motoneuron pools and their differences in muscle force control

Motoneuron (MN) dendrites may be changed from a passive to an active state by increasing the levels of spinal cord neuromodulators, which activate persistent inward currents (PICs). These exert a powerful influence on MN behavior and modify the motor control both in normal and pathological conditions. Motoneuronal PICs are believed to induce nonlinear phenomena such as the genesis of extra torque and torque hysteresis in response to percutaneous electrical stimulation or tendon vibration in humans. An existing large-scale neuromuscular simulator was expanded to include MN models that have a capability to change their dynamic behaviors depending on the neuromodulation level. The simulation results indicated that the variability (standard deviation) of a maintained force depended on the level of neuromodulatory activity. A force with lower variability was obtained when the motoneuronal network was under a strong influence of PICs, suggesting a functional role in postural and precision tasks. In an additional set of simulations when PICs were active in the dendrites of the MN models, the results successfully reproduced experimental results reported from humans. Extra torque was evoked by the self-sustained discharge of spinal MNs, whereas differences in recruitment and de-recruitment levels of the MNs were the main reason behind torque and electromyogram (EMG) hysteresis. Finally, simulations were also used to study the influence of inhibitory inputs on a MN pool that was under the effect of PICs. The results showed that inhibition was of great importance in the production of a phasic force, requiring a reduced co-contraction of agonist and antagonist muscles. These results show the richness of functionally relevant behaviors that can arise from a MN pool under the action of PICs.

Effect of liposome-encapsulated nisin and bacteriocin-like substance P34 on Listeria monocytogenes growth in Minas frescal cheese

The efficacy of liposome-encapsulated nisin and bacteriocin-like substance (BLS) P34 to control growth of Listeria monocytogenes in Minas frescal cheese was investigated. Nisin and BLS P34 were encapsulated in partially purified soybean phosphatidylcholine (PC-1) and PC-1-cholesterol (7:3) liposomes. PC-1 nanovesicles were previously characterized. PC-1-cholesterol encapsulated nisin and BLS P34 presented, respectively, 218 nm and 158 nm diameters, zeta potential of -64 mV and -53 mV, and entrapment efficiency of 88.9% and 100%. All treatments reduced the population of L monocytogenes compared to the control during 21 days of storage of Minas frescal cheese at 7 degrees C. However, nisin and BLS P34 encapsulated in PC-1-cholesterol liposomes were less efficient in controlling L monocytogenes growth in comparison with free and PC-1 liposome-encapsulated bacteriocins. The highest inhibitory effect was observed for nisin and BLS P34 encapsulated in PC-1 liposomes after 10 days of storage of the product The encapsulation of bacteriocins in liposomes of partially purified soybean phosphatidylcholine may be a promising technology for the control of food-borne pathogens in cheeses. (C) 2012 Elsevier B.V. All rights reserved.

Toll-like receptor 2/MyD88 signaling mediates zymosan-induced joint hypernociception in mice: Participation of TNF-alpha, IL-1 beta and CXCL1/KC

Arthritic pain is a serious health problem that affects a large number of patients. Toll-like receptors (TLRs) activation within the joints has been implicated in pathophysiology of arthritis. However, their role in the genesis of arthritic pain needs to be demonstrated. In the present study, it was addressed the participation of TLR2 and TLR4 and their adaptor molecule MyD88 in the genesis of joint hypernociception (a decrease in the nociceptive threshold) during zymosan-induced arthritis. Zymosan injected in the tibio-tarsal joint induced mechanical hypernociception in C57BL/6 wild type mice that was reduced in TLR2 and MyD88 null mice. On the other hand, zymosan-induced hypernociception was similar in C3H/HePas and C3H/Hej mice (TLR4 mutant mice). Zymosan-induced joint hypernociception was also reduced in TNFR1 null mice and in mice treated with IL-1 receptor antagonist or with an antagonist of CXCR1/2. Moreover, the joint production of TNF-alpha, IL-1 beta and CXCL1/KC by zymosan was dependent on TLR2/MyD88 signaling. Investigating the mechanisms by which TNF-alpha, IL-1 beta and CXCL1/KC mediate joint hypernociception, joint administration of these cytokines produced mechanical hypernociception, and they act in an interdependent manner. In last instance, their hypernociceptive effects were dependent on the production of hypernociceptive mediators, prostaglandins and sympathetic amines. These results indicate that in zymosan-induced experimental arthritis, TLR2/MyD88 is involved in the cascade of events of joint hypernociception through a mechanism dependent on cytokines and chemokines production. Thus, TLR2/MyD88 signaling might be a target for the development of novel drugs to control pain in arthritis. (C) 2011 Elsevier B.V. All rights reserved.

The need of a weight management control program in judo: a proposal based on the successful case of wrestling

Judo competitions are divided into weight classes. However, most athletes reduce their body weight in a few days before competition in order to obtain a competitive advantage over lighter opponents. To achieve fast weight reduction, athletes use a number of aggressive nutritional strategies so many of them place themselves at a high health-injury risk. In collegiate wrestling, a similar problem has been observed and three wrestlers died in 1997 due to rapid weight loss regimes. After these deaths, the National Collegiate Athletic Association had implemented a successful weight management program which was proven to improve weight management behavior. No similar program has ever been discussed by judo federations even though judo competitors present a comparable inappropriate pattern of weight control. In view of this, the basis for a weight control program is provided in this manuscript, as follows: competition should begin within 1 hour after weigh-in, at the latest; each athlete is allowed to be weighed-in only once; rapid weight loss as well as artificial rehydration (i.e., saline infusion) methods are prohibited during the entire competition day; athletes should pass the hydration test to get their weigh-in validated; an individual minimum competitive weight (male athletes competing at no less than 7% and females at no less than 12% of body fat) should be determined at the beginning of each season; athletes are not allowed to compete in any weight class that requires weight reductions greater than 1.5% of body weight per week. In parallel, educational programs should aim at increasing the athletes', coaches' and parents' awareness about the risks of aggressive nutritional strategies as well as healthier ways to properly manage body weight.

Toll-like receptor 1 N248S single-nucleotide polymorphism is associated with leprosy risk and regulates immune activation during mycobacterial infection

Conflicting findings about the association between leprosy and TLR1 variants N248S and I602S have been reported. Here, we performed case-control and family based studies, followed by replication in 2 case-control populations from Brazil, involving 3162 individuals. Results indicated an association between TLR1 248S and leprosy in the case-control study (SS genotype odds ratio [OR], 1.81; P = .004) and the family based study (z = 2.02; P = .05). This association was consistently replicated in other populations (combined OR, 1.51; P < .001), corroborating the finding that 248S is a susceptibility factor for leprosy. Additionally, we demonstrated that peripheral blood mononuclear cells (PBMCs) carrying 248S produce a lower tumor necrosis factor/interleukin-10 ratio when stimulated with Mycobacterium leprae but not with lipopolysaccharide or PAM3cysK4. The same effect was observed after infection of PBMCs with the Moreau strain of bacillus Calmette-Guerin but not after infection with other strains. Finally, molecular dynamics simulations indicated that the Toll-like receptor 1 structure containing 248S amino acid is different from the structure containing 248N. Our results suggest that TLR1 248S is associated with an increased risk for leprosy, consistent with its hypoimmune regulatory function.

Toll-like receptor 2 knockdown modulates Interleukin (IL)-6 and IL-8 but not Stromal Derived Factor-1 (SDF-1/CXCL12) in human periodontal ligament and gingival fibroblasts

Background: Fibroblasts are now seen as active components of the immune response because these cells express Toll-like receptors (TLRs), recognize pathogen-associated molecular patterns, and mediate the production of cytokines and chemokines during inflammation. The innate host response to lipopolysaccharide (LPS) from Porphyromonas gingivalis is unusual inasmuch as different studies have reported that it can be an agonist for Toll-like receptor 2 (TLR2) and an antagonist or agonist for Toll-like receptor 4 (TLR4). This study investigates and compares whether signaling through TLR2 or TLR4 could affect the secretion of interleukin (IL)-6, IL-8, and stromal derived factor-1 (SDF-1/CXCL12) in both human gingival fibroblasts (HGF) and human periodontal ligament fibroblasts (HPDLF). Methods: After small interfering RNA-mediated silencing of TLR2 and TLR4, HGF and HPDLF from the same donors were stimulated with P. gingivalis LPS or with two synthetic ligands of TLR2, Pam2CSK4 and Pam3CSK4, for 6 hours. IL-6, IL-8, and CXCL12 mRNA expression and protein secretion were evaluated by quantitative polymerase chain reaction and enzyme-linked immunosorbent assay, respectively. Results: TLR2 mRNA expression was upregulated in HGF but not in HPDLF by all the stimuli applied. Knockdown of TLR2 decreased IL-6 and IL-8 in response to P. gingivalis LPS, or Pam2CSK4 and Pam3CSK4, in a similar manner in both fibroblasts subpopulations. Conversely, CXCL12 remained unchanged by TLR2 or TLR4 silencing. Conclusion: These results suggest that signaling through TLR2 by gingival and periodontal ligament fibroblasts can control the secretion of IL-6 and IL-8, which contribute to periodontal pathogenesis, but do not interfere with CXCL12 levels, an important chemokine in the repair process.

The promoter of filamentation (POF1) protein from Saccharomyces cerevisiae is an ATPase involved in the protein quality control process

Background: The gene YCL047C, which has been renamed promoter of filamentation gene (POF1), has recently been described as a cell component involved in yeast filamentous growth. The objective of this work is to understand the molecular and biological function of this gene. Results: Here, we report that the protein encoded by the POF1 gene, Pof1p, is an ATPase that may be part of the Saccharomyces cerevisiae protein quality control pathway. According to the results, Δpof1 cells showed increased sensitivity to hydrogen peroxide, tert-butyl hydroperoxide, heat shock and protein unfolding agents, such as dithiothreitol and tunicamycin. Besides, the overexpression of POF1 suppressed the sensitivity of Δpct1, a strain that lacks a gene that encodes a phosphocholine cytidylyltransferase, to heat shock. In vitro analysis showed, however, that the purified Pof1p enzyme had no cytidylyltransferase activity but does have ATPase activity, with catalytic efficiency comparable to other ATPases involved in endoplasmic reticulum-associated degradation of proteins (ERAD). Supporting these findings, co-immunoprecipitation experiments showed a physical interaction between Pof1p and Ubc7p (an ubiquitin conjugating enzyme) in vivo. Conclusions: Taken together, the results strongly suggest that the biological function of Pof1p is related to the regulation of protein degradation.

Purification and characterization of a surfactin-like molecule produced by Bacillus sp. H2O-1 and its antagonistic effect against sulfate reducing bacteria

Abstract Background Bacillus sp. H2O-1, isolated from the connate water of a Brazilian reservoir, produces an antimicrobial substance (denoted as AMS H2O-1) that is active against sulfate reducing bacteria, which are the major bacterial group responsible for biogenic souring and biocorrosion in petroleum reservoirs. Thus, the use of AMS H2O-1 for sulfate reducing bacteria control in the petroleum industry is a promising alternative to chemical biocides. However, prior to the large-scale production of AMS H2O-1 for industrial applications, its chemical structure must be elucidated. This study also analyzed the changes in the wetting properties of different surfaces conditioned with AMS H2O-1 and demonstrated the effect of AMS H2O-1 on sulfate reducing bacteria cells. Results A lipopeptide mixture from AMS H2O-1 was partially purified on a silica gel column and identified via mass spectrometry (ESI-MS). It comprises four major components that range in size from 1007 to 1049 Da. The lipid moiety contains linear and branched β-hydroxy fatty acids that range in length from C13 to C16. The peptide moiety contains seven amino acids identified as Glu-Leu-Leu-Val-Asp-Leu-Leu. Transmission electron microscopy revealed cell membrane alteration of sulfate reducing bacteria after AMS H2O-1 treatment at the minimum inhibitory concentration (5 μg/ml). Cytoplasmic electron dense inclusions were observed in treated cells but not in untreated cells. AMS H2O-1 enhanced the osmosis of sulfate reducing bacteria cells and caused the leakage of the intracellular contents. In addition, contact angle measurements indicated that different surfaces conditioned by AMS H2O-1 were less hydrophobic and more electron-donor than untreated surfaces. Conclusion AMS H2O-1 is a mixture of four surfactin-like homologues, and its biocidal activity and surfactant properties suggest that this compound may be a good candidate for sulfate reducing bacteria control. Thus, it is a potential alternative to the chemical biocides or surface coating agents currently used to prevent SRB growth in petroleum industries.

Plasma kinetics of an LDL-like nanoemulsion and lipid transfer to HDL in subjects with glucose intolerance

OBJECTIVE: Glucose intolerance is frequently associated with an altered plasma lipid profile and increased cardiovascular disease risk. Nonetheless, lipid metabolism is scarcely studied in normolipidemic glucose-intolerant patients. The aim of this study was to investigate whether important lipid metabolic parameters, such as the kinetics of LDL free and esterified cholesterol and the transfer of lipids to HDL, are altered in glucose-intolerant patients with normal plasma lipids. METHODS: Fourteen glucose-intolerant patients and 15 control patients were studied; none of the patients had cardiovascular disease manifestations, and they were paired for age, sex, race and co-morbidities. A nanoemulsion resembling a LDL lipid composition (LDE) labeled with 14C-cholesteryl ester and ³H-free cholesterol was intravenously injected, and blood samples were collected over a 24-h period to determine the fractional clearance rate of the labels by compartmental analysis. The transfer of free and esterified cholesterol, triglycerides and phospholipids from the LDE to HDL was measured by the incubation of the LDE with plasma and radioactivity counting of the supernatant after chemical precipitation of non-HDL fractions. RESULTS: The levels of LDL, non-HDL and HDL cholesterol, triglycerides, apo A1 and apo B were equal in both groups. The 14C-esterified cholesterol fractional clearance rate was not different between glucose-intolerant and control patients, but the ³H-free-cholesterol fractional clearance rate was greater in glucose-intolerant patients than in control patients. The lipid transfer to HDL was equal in both groups. CONCLUSION: In these glucose-intolerant patients with normal plasma lipids, a faster removal of LDE free cholesterol was the only lipid metabolic alteration detected in our study. This finding suggests that the dissociation of free cholesterol from lipoprotein particles occurs in normolipidemic glucose intolerance and may participate in atherogenic signaling.

Enhancement of behavioral sensitization, anxiety-like behavior, and hippocampal and frontal cortical CREB levels following cocaine abstinence in mice exposed to cocaine during adolescence

Adolescence has been linked to greater risk-taking and novelty-seeking behavior and a higher prevalence of drug abuse and risk of relapse. Decreases in cyclic adenosine monophosphate response element binding protein (CREB) and phosphorylated CREB (pCREB) have been reported after repeated cocaine administration in animal models. We compared the behavioral effects of cocaine and abstinence in adolescent and adult mice and investigated possible age-related differences in CREB and pCREB levels. Adolescent and adult male Swiss mice received one daily injection of saline or cocaine (10 mg/kg, i.p.) for 8 days. On day 9, the mice received a saline injection to evaluate possible environmental conditioning. After 9 days of withdrawal, the mice were tested in the elevated plus maze to evaluate anxiety-like behavior. Twelve days after the last saline/cocaine injection, the mice received a challenge injection of either cocaine or saline, and locomotor activity was assessed. One hour after the last injection, the brains were extracted, and CREB and pCREB levels were evaluated using Western blot in the prefrontal cortex (PFC) and hippocampus. The cocaine-pretreated mice during adolescence exhibited a greater magnitude of the expression of behavioral sensitization and greater cocaine withdrawal-induced anxiety-like behavior compared with the control group. Significant increases in CREB levels in the PFC and hippocampus and pCREB in the hippocampus were observed in cocaine-abstinent animals compared with the animals treated with cocaine in adulthood. Interestingly, significant negative correlations were observed between cocaine sensitization and CREB levels in both regions. These results suggest that the behavioral and neurochemical consequences of psychoactive substances in a still-developing nervous system can be more severe than in an already mature nervous system

Design and control techniques of optical networks

The world of communication has changed quickly in the last decade resulting in the the rapid increase in the pace of peoples’ lives. This is due to the explosion of mobile communication and the internet which has now reached all levels of society. With such pressure for access to communication there is increased demand for bandwidth. Photonic technology is the right solution for high speed networks that have to supply wide bandwidth to new communication service providers. In particular this Ph.D. dissertation deals with DWDM optical packet-switched networks. The issue introduces a huge quantity of problems from physical layer up to transport layer. Here this subject is tackled from the network level perspective. The long term solution represented by optical packet switching has been fully explored in this years together with the Network Research Group at the department of Electronics, Computer Science and System of the University of Bologna. Some national as well as international projects supported this research like the Network of Excellence (NoE) e-Photon/ONe, funded by the European Commission in the Sixth Framework Programme and INTREPIDO project (End-to-end Traffic Engineering and Protection for IP over DWDM Optical Networks) funded by the Italian Ministry of Education, University and Scientific Research. Optical packet switching for DWDM networks is studied at single node level as well as at network level. In particular the techniques discussed are thought to be implemented for a long-haul transport network that connects local and metropolitan networks around the world. The main issues faced are contention resolution in a asynchronous variable packet length environment, adaptive routing, wavelength conversion and node architecture. Characteristics that a network must assure as quality of service and resilience are also explored at both node and network level. Results are mainly evaluated via simulation and through analysis.

Modulation Techniques for Multi-Phase Converters and Control Strategies for Multi-Phase Electric Drives

The ever-increasing spread of automation in industry puts the electrical engineer in a central role as a promoter of technological development in a sector such as the use of electricity, which is the basis of all the machinery and productive processes. Moreover the spread of drives for motor control and static converters with structures ever more complex, places the electrical engineer to face new challenges whose solution has as critical elements in the implementation of digital control techniques with the requirements of inexpensiveness and efficiency of the final product. The successfully application of solutions using non-conventional static converters awake an increasing interest in science and industry due to the promising opportunities. However, in the same time, new problems emerge whose solution is still under study and debate in the scientific community During the Ph.D. course several themes have been developed that, while obtaining the recent and growing interest of scientific community, have much space for the development of research activity and for industrial applications. The first area of research is related to the control of three phase induction motors with high dynamic performance and the sensorless control in the high speed range. The management of the operation of induction machine without position or speed sensors awakes interest in the industrial world due to the increased reliability and robustness of this solution combined with a lower cost of production and purchase of this technology compared to the others available in the market. During this dissertation control techniques will be proposed which are able to exploit the total dc link voltage and at the same time capable to exploit the maximum torque capability in whole speed range with good dynamic performance. The proposed solution preserves the simplicity of tuning of the regulators. Furthermore, in order to validate the effectiveness of presented solution, it is assessed in terms of performance and complexity and compared to two other algorithm presented in literature. The feasibility of the proposed algorithm is also tested on induction motor drive fed by a matrix converter. Another important research area is connected to the development of technology for vehicular applications. In this field the dynamic performances and the low power consumption is one of most important goals for an effective algorithm. Towards this direction, a control scheme for induction motor that integrates within a coherent solution some of the features that are commonly required to an electric vehicle drive is presented. The main features of the proposed control scheme are the capability to exploit the maximum torque in the whole speed range, a weak dependence on the motor parameters, a good robustness against the variations of the dc-link voltage and, whenever possible, the maximum efficiency. The second part of this dissertation is dedicated to the multi-phase systems. This technology, in fact, is characterized by a number of issues worthy of investigation that make it competitive with other technologies already on the market. Multiphase systems, allow to redistribute power at a higher number of phases, thus making possible the construction of electronic converters which otherwise would be very difficult to achieve due to the limits of present power electronics. Multiphase drives have an intrinsic reliability given by the possibility that a fault of a phase, caused by the possible failure of a component of the converter, can be solved without inefficiency of the machine or application of a pulsating torque. The control of the magnetic field spatial harmonics in the air-gap with order higher than one allows to reduce torque noise and to obtain high torque density motor and multi-motor applications. In one of the next chapters a control scheme able to increase the motor torque by adding a third harmonic component to the air-gap magnetic field will be presented. Above the base speed the control system reduces the motor flux in such a way to ensure the maximum torque capability. The presented analysis considers the drive constrains and shows how these limits modify the motor performance. The multi-motor applications are described by a well-defined number of multiphase machines, having series connected stator windings, with an opportune permutation of the phases these machines can be independently controlled with a single multi-phase inverter. In this dissertation this solution will be presented and an electric drive consisting of two five-phase PM tubular actuators fed by a single five-phase inverter will be presented. Finally the modulation strategies for a multi-phase inverter will be illustrated. The problem of the space vector modulation of multiphase inverters with an odd number of phases is solved in different way. An algorithmic approach and a look-up table solution will be proposed. The inverter output voltage capability will be investigated, showing that the proposed modulation strategy is able to fully exploit the dc input voltage either in sinusoidal or non-sinusoidal operating conditions. All this aspects are considered in the next chapters. In particular, Chapter 1 summarizes the mathematical model of induction motor. The Chapter 2 is a brief state of art on three-phase inverter. Chapter 3 proposes a stator flux vector control for a three- phase induction machine and compares this solution with two other algorithms presented in literature. Furthermore, in the same chapter, a complete electric drive based on matrix converter is presented. In Chapter 4 a control strategy suitable for electric vehicles is illustrated. Chapter 5 describes the mathematical model of multi-phase induction machines whereas chapter 6 analyzes the multi-phase inverter and its modulation strategies. Chapter 7 discusses the minimization of the power losses in IGBT multi-phase inverters with carrier-based pulse width modulation. In Chapter 8 an extended stator flux vector control for a seven-phase induction motor is presented. Chapter 9 concerns the high torque density applications and in Chapter 10 different fault tolerant control strategies are analyzed. Finally, the last chapter presents a positioning multi-motor drive consisting of two PM tubular five-phase actuators fed by a single five-phase inverter.

The Enhanced Single-dish Control System and wide surveys of compact sources

The Italian radio telescopes currently undergo a major upgrade period in response to the growing demand for deep radio observations, such as surveys on large sky areas or observations of vast samples of compact radio sources. The optimised employment of the Italian antennas, at first constructed mainly for VLBI activities and provided with a control system (FS – Field System) not tailored to single-dish observations, required important modifications in particular of the guiding software and data acquisition system. The production of a completely new control system called ESCS (Enhanced Single-dish Control System) for the Medicina dish started in 2007, in synergy with the software development for the forthcoming Sardinia Radio Telescope (SRT). The aim is to produce a system optimised for single-dish observations in continuum, spectrometry and polarimetry. ESCS is also planned to be installed at the Noto site. A substantial part of this thesis work consisted in designing and developing subsystems within ESCS, in order to provide this software with tools to carry out large maps, spanning from the implementation of On-The-Fly fast scans (following both conventional and innovative observing strategies) to the production of single-dish standard output files and the realisation of tools for the quick-look of the acquired data. The test period coincided with the commissioning phase for two devices temporarily installed – while waiting for the SRT to be completed – on the Medicina antenna: a 18-26 GHz 7-feed receiver and the 14-channel analogue backend developed for its use. It is worth stressing that it is the only K-band multi-feed receiver at present available worldwide. The commissioning of the overall hardware/software system constituted a considerable section of the thesis work. Tests were led in order to verify the system stability and its capabilities, down to sensitivity levels which had never been reached in Medicina using the previous observing techniques and hardware devices. The aim was also to assess the scientific potential of the multi-feed receiver for the production of wide maps, exploiting its temporary availability on a mid-sized antenna. Dishes like the 32-m antennas at Medicina and Noto, in fact, offer the best conditions for large-area surveys, especially at high frequencies, as they provide a suited compromise between sufficiently large beam sizes to cover quickly large areas of the sky (typical of small-sized telescopes) and sensitivity (typical of large-sized telescopes). The KNoWS (K-band Northern Wide Survey) project is aimed at the realisation of a full-northern-sky survey at 21 GHz; its pilot observations, performed using the new ESCS tools and a peculiar observing strategy, constituted an ideal test-bed for ESCS itself and for the multi-feed/backend system. The KNoWS group, which I am part of, supported the commissioning activities also providing map-making and source-extraction tools, in order to complete the necessary data reduction pipeline and assess the general system scientific capabilities. The K-band observations, which were carried out in several sessions along the December 2008-March 2010 period, were accompanied by the realisation of a 5 GHz test survey during the summertime, which is not suitable for high-frequency observations. This activity was conceived in order to check the new analogue backend separately from the multi-feed receiver, and to simultaneously produce original scientific data (the 6-cm Medicina Survey, 6MS, a polar cap survey to complete PMN-GB6 and provide an all-sky coverage at 5 GHz).

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.