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.

Expression profiling in developing peach seed and mesocarp as affected by growth regulators

Jasmonates (JAs) and spermidine (Sd) influence fruit (and seed) development and ripening. In order to unravel their effects in peach fruit, at molecular level, field applications of methyl jasmonate (MJ) and propyl dihydrojasmonate (PDJ), and Sd were performed at an early developmental stage (late S1). At commercial harvest, JA-treated fruit were less ripe than controls. Realtime RT-PCR analyses confirmed a down-regulation of ethylene biosynthetic, perception and signaling genes, and flesh softening-related genes. The expression of cell wall-related genes, of a sugar-transporter and hormone-related transcript levels was also affected by JAs. Seeds from JA-treated fruit showed a shift in the expression of developmental marker genes suggesting that the developmental program was probably slowed down, in agreement with the contention that JAs divert resources from growth to defense. JAs also affected phenolic content and biosynthetic gene expression in the mesocarp. Levels of hydroxycinnamic acids, as well as those of flavan-3-ols, were enhanced, mainly by MJ, in S2. Transcript levels of phenylpropanoid pathway genes were up-regulated by MJ, in agreement with phenolic content. Sd-treated fruits at harvest showed reduced ethylene production and flesh softening. Sd induced a short-term and long-term response patterns in endogenous polyamines. At ripening the up-regulation of the ethylene biosynthetic genes was dramatically counteracted by Sd, leading to a down-regulation of softening-related genes. Hormone-related gene expression was also altered both in the short- and long-term. Gene expression analyses suggest that Sd interfered with fruit development/ripening by interacting with multiple hormonal pathways and that fruit developmental marker gene expression was shifted ahead in accord with a developmental slowing down. 24-Epibrassinolide was applied to Flaminia peaches under field conditions early (S1) or later (S3) during development. Preliminary results showed that, at harvest, treated fruit tended to be larger and less mature though quality parameters did not change relative to controls.

Cellular and molecular effects of cross reacting material 197 (CRM197) on HT-29 colon cancer cell line

Cross Reacting Material 197(CRM197) is a Diphteria toxin non toxic mutant that had shown anti-tumor activity in mice and humans. CRM197 is utilized as a specific inhibitor of heparin-binding epidermal growth factor (HB-EGF), that competes for the epidermal growth factor receptor (EGFR), overexpressed in colorectal cancer and implicated in its progression. We evaluated the effects of CRM197 on HT-29 human colon cancer cell line behaviour and, for CRM197 recognized ability to inhibit HB-EGF, its possible effects on EGFR activation. In particular, while HT-29 does not show any reduction of viability after CRM197 treatment, or changes in cell cycle distribution, in EGFR localization or activation, they show a change in gene expression profile analyzed by microarray. This is the first study where the CRM197 treatment on HT-29 show the alteration of a specific and selected number of genes.

Adaptive and Maladaptive Implications of Reinforcement Learning Processes: Fronto-Striatal Loops and Behavioural Correlates

That humans and animals learn from interaction with the environment is a foundational idea underlying nearly all theories of learning and intelligence. Learning that certain outcomes are associated with specific actions or stimuli (both internal and external), is at the very core of the capacity to adapt behaviour to environmental changes. In the present work, appetitive and aversive reinforcement learning paradigms have been used to investigate the fronto-striatal loops and behavioural correlates of adaptive and maladaptive reinforcement learning processes, aiming to a deeper understanding of how cortical and subcortical substrates interacts between them and with other brain systems to support learning. By combining a large variety of neuroscientific approaches, including behavioral and psychophysiological methods, EEG and neuroimaging techniques, these studies aim at clarifying and advancing the knowledge of the neural bases and computational mechanisms of reinforcement learning, both in normal and neurologically impaired population.

Design, realization, and characterization of complex reaction networks in dynamic mechanically interlocked molecules

The experimental projects discussed in this thesis are all related to the field of artificial molecular machines, specifically to systems composed of pseudorotaxane and rotaxane architectures. The characterization of the peculiar properties of these mechano-molecules is frequently associated with the analysis and elucidation of complex reaction networks; this latter aspect represents the main focus and central thread tying my thesis work. In each chapter, a specific project is described as summarized below: the focus of the first chapter is the realization and characterization of a prototype model of a photoactivated molecular transporter based on a pseudorotaxane architecture; in the second chapter is reported the design, synthesis, and characterization of a [2]rotaxane endowed with a dibenzylammonium station and a novel photochromic unit that acts as a recognition site for a DB24C8 crown ether macrocycle; in the last chapter is described the synthesis and characterization of a [3]rotaxane in which the relative number of rings and stations can be changed on command.

Marcatori molecolari circolanti: quale ruolo nei pazienti con tumori solidi?

Background: Circulating tumor cells (CTCs) and circulating free plasma DNA (FPDNA) have been proposed as biomarkers predictive of outcome and response to therapy in solid tumors. We investigated the multiple associations of the presence of CTC and the levels of FPDNA with the outcome and/or the response to chemotherapy in patients with localized breast cancer (LBC), metastatic breast cancer (MBC) and advanced ovarian cancer (AOC). Experimental Design: Blood samples were collected before (baseline), during and after therapy in 40 LBC and 50 AOC patients treated with neo-adjuvant chemotherapy. In 20 MBC patients blood was sampled at baseline and every each cycle of adjuvant chemotherapy. Real time PCR was applied to quantify FPDNA using the Quantifiler Human Quantification kit and CTCs through the detection of tumor-cell specific mRNA levels with or without epithelial enrichment. Results: At baseline CTCs were detected in 90% MBC, 42.5% LBC and 33% AOC patients respectively. The presence of baseline CTC was significantly associated with shorter overall survival (OS) in MBC and AOC patients, and shorter progression free survival (PFS) in LBC patients. Presence of CTCs at the end of neo-adjuvant chemotherapy was detected in 42% LBC and 18% AOC patients and was associated with shorter PFS and OS only in LBC. Increased FPDNA levels at baseline were found in 65% MBC, 17.5% LBC and 76% AOC patients but never related to OS. Baseline FPDNA high levels were associated with shorter PFS only in LBC patients. High FPDNA levels after neo-adjuvant chemotherapy were detected in 57% LBC and 48% AOC patients. Increased FPDNA after neo-adjuvant was associated with response to therapy and shorter PFS in AOC patients. Conclusions: Detection of CTCs may represent a prognostic and predictive biomarker in LBC, MBC and AOC. Quantification of FPDNA could be useful for monitoring response to therapy in AOC patients.

Semantic Service Architectures for Smart Environments

Many industries and academic institutions share the vision that an appropriate use of information originated from the environment may add value to services in multiple domains and may help humans in dealing with the growing information overload which often seems to jeopardize our life. It is also clear that information sharing and mutual understanding between software agents may impact complex processes where many actors (humans and machines) are involved, leading to relevant socioeconomic benefits. Starting from these two input, architectural and technological solutions to enable “environment-related cooperative digital services” are here explored. The proposed analysis starts from the consideration that our environment is physical space and here diversity is a major value. On the other side diversity is detrimental to common technological solutions, and it is an obstacle to mutual understanding. An appropriate environment abstraction and a shared information model are needed to provide the required levels of interoperability in our heterogeneous habitat. This thesis reviews several approaches to support environment related applications and intends to demonstrate that smart-space-based, ontology-driven, information-sharing platforms may become a flexible and powerful solution to support interoperable services in virtually any domain and even in cross-domain scenarios. It also shows that semantic technologies can be fruitfully applied not only to represent application domain knowledge. For example semantic modeling of Human-Computer Interaction may support interaction interoperability and transformation of interaction primitives into actions, and the thesis shows how smart-space-based platforms driven by an interaction ontology may enable natural ad flexible ways of accessing resources and services, e.g, with gestures. An ontology for computational flow execution has also been built to represent abstract computation, with the goal of exploring new ways of scheduling computation flows with smart-space-based semantic platforms.

Ruolo dell'elettrocardiogramma standard nella stratificazione prognostica della cardiomiopatia ipertrofica. Studio multicentrico

Lo scopo di questo studio è di valutare il significato prognostico dell'elettrocardiogramma standard in un'ampia casistica di pazienti affetti da cardiomiopatia ipertrofica. In questo studio multicentrico sono stati considerati 841 pazienti con cardiomiopatia ipertrofica (66% uomini, età media 48±17 anni) per un follow-up di 7.1±7.1 anni, per ognuno è stato analizzato il primo elettrocardiogramma disponibile. I risultati hanno dimostrato come fattori indipendentemente correlati a morte cardiaca improvvisa la sincope inspiegata (p 0.004), il sopraslivellamento del tratto ST e/o la presenza di onde T positive giganti (p 0.048), la durata del QRS >= 120 ms (p 0.017). Sono stati costruiti due modelli per predire il rischio di morte improvvisa: il primo basato sui fattori di rischio universalmente riconosciuti (spessore parietale >= 30 mm, tachicardie ventricolari non sostenute all'ECG Holter 24 ore, sincope e storia familiare di morte improvvisa) e il secondo con l'aggiunta delle variabili sopraslivellamento del tratto ST/onde T positive giganti e durata del QRS >= 120 ms. Entrambi i modelli stratificano i pazienti in base al numero dei fattori di rischio, ma il secondo modello risulta avere un valore predittivo maggiore (chi-square da 12 a 22, p 0.002). In conclusione nella cardiomiopatia ipertrofica l'elettrocardiogramma standard risulta avere un valore prognostico e migliora l'attuale modello di stratificazione per il rischio di morte improvvisa.

Lo spreco alimentare domestico in Italia: stime, cause ed impatti

Non esiste una definizione standard di spreco alimentare, così come non esistono metodologie uniformi per calcolarlo. Gli studi finora realizzati sullo spreco sono carenti, i dati raccolti spesso insufficienti. Il cibo viene sprecato ad ogni stadio della filiera alimentare, dal campo alla tavola. Nei Paesi Membri dell’Unione Europea, le famiglie – secondo dati elaborati da Eurostat- sono le principali responsabili dello spreco. Secondo la FAO, ogni europeo spreca ogni anno 179 chili di alimenti. Last Minute Market, spin off accademico che si occupa di ridurre e recuperare lo spreco, ha stimato che a livello domestico in Italia si sprecano mediamente il 17% dei prodotti ortofrutticoli acquistati, il 15% di pesce, il 28% di pasta e pane, il 29% di uova, il 30% di carne e il 32% di latticini. Da un punto di vista economico, lo sperpero alimentare significa una perdita di 1.693 euro l’anno per famiglia. Per inquadrare lo spreco alimentare domestico in Italia e gettare luce su dati contrastanti emersi da diversi studi finora realizzati, la tesi – dopo aver presentato stime a livello globale, europeo e italiano – si concentra sull’analisi dei dati emersi da un questionario sullo spreco domestico, compilato da 3.087 italiani tra il mese di novembre e quello di dicembre 2012. L’indagine socio-economica è stata realizzata in collaborazione con la Commissione Europea (DG JCR, Istituto per la Tutela della Salute dei Consumatori) e il Karlsruhe Institut für Technologie. Il questionario è stato posto sulla piattaforma online surveymonkey. La tesi ha avuto come obiettivi l’identificazione di dati quantitativi circa “quanto si spreca” , “cosa si spreca”, l’individuazione delle cause sociali, valoriali, comportamentali e di stile di vita, dello spreco alimentare delle famiglie italiane, l’impatto economico dello spreco sul budget domestico e l’elaborazione di profili di consumatori attraverso la cluster analysis.

Studio multicentrico sulla prevalenza e sulle principali caratteristiche cliniche e biochimiche nei pazienti in dialisi paratiroidectomizzati in italia

Lo studio CAVE PTX ha lo scopo di valutare la reale prevalenza della paratiroidectomia nei pazienti dializzati in Italia, verificare l’aderenza ai targets ematochimici proposti dalle linee guida internazionali K/DOQI e ricercare la presenza di fratture vertebrali e calcificazioni vascolari. Al momento attuale riportiamo i dati preliminari sulla prevalenza e le caratteristiche cliniche generali dei pazienti finora arruolati. Il nostro studio ha ricevuto contributi da 149 centri dialisi italiani, su un totale di 670, pari al 22%. La popolazione dialitica dalla quale sono stati ottenuti i casi di paratiroidectomia è risultata pari a 12515 pazienti;l’87,7% dei pazienti effettuava l’emodialisi mentre il 12,3% la dialisi peritoneale. Cinquecentoventotto, pari al 4,22%, avevano effettuato un intervento di paratiroidectomia (4,5%emodializzati, 1,9% in dialisi peritoneale;p<0.001). Abbiamo considerato tre gruppi differenti di PTH: basso (<150 pg/ml), ottimale (150 -300 pg/ml) ed elevato (>300 pg/ml). I valori medi di PTH e calcemia sono risultati significativamente diversi (più alti) tra casi e controlli nei due gruppi con PTH basso (PTX = 40±39 vs controllo = 92±42 pg/ml; p<.0001) e PTH alto (PTX= 630 ± 417 vs controllo 577 ±331; p<.05). La percentuale di pazienti con PTH troppo basso è risultata più elevata nei pazienti chirurgici rispetto al resto della popolazione (64vs23%; p<0.0001), mentre la percentuale dei casi con PTH troppo alto è risultata significativamente più alta nel gruppo di controllo (38%vs19%; p<0.003). Il 61% dei casi assumeva vitamina D rispetto al 64 % dei controlli; l’88% vs 75% un chelante del fosforo ed il 13%vs 35% il calciomimentico. In conclusione, la paratiroidectomia ha una bassa prevalenza in Italia, i pazienti sono più spesso di sesso femminile, in emodialisi e con età relativamente giovane ma da più tempo in dialisi.

Outcome a lungo termine dei pazienti pediatrici con rene singolo. Valutazione di marker laboratoristici e strumentali di danno renale

Obiettivi: valutare in pazienti con rene singolo congenito la correlazione tra il filtrato glomerulare misurato con il DTPA (DTPA-VFG) e 1) marker laboratoristici di danno renale (creatinina, cistatinaC, proteinuria) 2) formule per stimare il filtrato glomerulare 3) parametri di valutazione della crescita renale ecografica. Materiali e metodi: Sono stati arruolati 118 pazienti con rene singolo congenito tra 0 e 18 anni. Sono stati valutati a ogni visita altezza, creatinina, cistatinaC, proteinuria e lunghezza ecografica renale. E’ stato calcolato il filtrato stimato con formule basate sulla creatinina (Schwartz), sulla cistatina C (Zappitelli, Filler, Grubb e Bokenkamp) e su entrambe (equazione di Zappitelli). La crescita renale è stata valutata come rapporto lunghezza ecografica/altezza corporea (USL/H), differenza percentuale tra lunghezza renale misurata e attesa per età (delta%) e presenza o meno d’ipertrofia compensatoria. In 74 bambini è stata misurata la DTPA-VFG. Risultati: Il follow-up è di 2.1 ± 0.9 anni. Il 65% sono maschi. Nessun paziente ha sviluppato danno renale cronico. La media del DTPA-VFG era di 135±44ml/min/1.73m², il valore medio della creatinina 0.47±0.17mg/dl e di cistatinaC di 1±0.4mg/L. La lunghezza ecografica renale media era di 100±17 mm, il rapporto USL/H medio di 0.8±0,1 e il delta% di 1,13±11,4, il 66% presentava ipertrofia renale. Le uniche correlazioni significative con DTPA-VFG sono inversa con la creatinina (p=<.001) e lineare con USL/H (p=<.001). Discussione: Lo studio ha mostrato che come per altre nefrouropatie, la creatina e l’ecografia renale siano due strumenti validi per il follow-up dei pazienti con rene singolo congenito. Il limite principale è dovuto al fatto che nessuno dei pazienti ha sviluppato danno renale cronico e pertanto non è stato possibile stabilire dei cutt-off di rischio per parametri quali USL/H.

Resezioni epatiche eco-guidate radicali ma conservative simultanee alle resezioni colo-rettali. Un approccio sicuro al cancro colorettale avanzato

Il cancro colorettale (CRC) rimane la prima causa di morte nei paesi occidentali.Dal 15% al 25% dei pazienti affetti da CRC presenta metastasi epatiche sincrone (CRLM) al momento della diagnosi.La resezione epatica radicale rimane l’unica terapia potenzialmente curativa in presenza di CRLM con una sopravvivenza a 5 anni compresa tra il 17% ed il 35% ed a 10 anni tra il 16% e il 23% rispettivamente. La tempistica ottimale per la resezione chirurgica in caso di presentazione sincrona di CRC è controversa.Questo studio intende dimostrare che le resezioni epatiche ecoguidate radicali ma conservative simultanee ad una resezione colorettale rappresentano una tecnica sicura ed efficace nei pazienti con CRC avanzato. 48 pazienti sono stati sottoposti ad una resezione simultanea colorettale ed epatica. L’età media +SD (range) era di 64,2+9,7 (38-84).Un solo paziente è deceduto entro 30 giorni. La mortalità post operatoria è stata complessivamente del 2,1%. Nove pazienti (18,8%) hanno sviluppato una o più complicanza ,4 (8,3%) di grado III-IV sec. Clavien-Dindo e 5 (10,4%) di grado I-II. La durata complessiva dell’intervento chirurgico simultaneo è stata di 486,6+144,0 (153-804) minuti.Questo studio conferma che le resezioni colorettali ed epatiche simultanee possono essere eseguite senza un significativo aumento della morbilità e mortalità perioperatorie, anche in pazienti sottoposti ad una resezione anteriore ultrabassa ed in quelli in cui sia indicato il clampaggio intermittente dell’ilo epatico. L’IOUS è efficace nel ridurre l’estensione della resezione epatica in pazienti sia con CRLM anche multiple e bilobari .Poichè le complicanze maggiori sono frequenti dopo resezioni epatiche maggiori simultanee, riducendo l’estensione della resezione del parenchima epatico si può avere un impatto favorevole sul decorso post operatorio.Le resezioni epatiche ecoguidate radicali ma conservative simultanee ad una resezione colorettale sono una tecnica sicura ed efficace in pazienti con carcinoma colorettale avanzato e andrebbero considerate l’opzione primaria in casi selezionati