Evaluation of a 2D multileader training system for improving sustainability and precision orchard management applications in italian apple orchards

The presented study aimed to evaluate the productive and physiological behavior of a 2D multileader apple training systems in the Italian environment both investigating the possibility to increase yield and precision crop load management resolution. Another objective was to find valuable thinning thresholds guaranteeing high yields and matching fruit market requirements. The thesis consists in three studies carried out in a Pink Lady®- Rosy Glow apple orchard trained as a planar multileader training system (double guyot). Fruiting leaders (uprights) dimension, crop load, fruit quality, flower and physiological (leaf gas exchanges and fruit growth rate) data were collected and analysed. The obtained results found that uprights present dependence among each other and as well as a mutual support during fruit development. However, individual upright fruit load and upright’s fruit load distribution on the tree (~ plant crop load) seems to define both upright independence from the other, and single upright crop load effects on the final fruit quality production. Correlations between fruit load and harvest fruit size were found and thanks to that valuable thinning thresholds, based on different vegetative parameters, were obtained. Moreover, it comes out that an upright’s fruit load random distribution presents a widening of those thinning thresholds, keeping un-altered fruit quality. For this reason, uprights resulted a partially physiologically-dependent plant unit. Therefore, if considered and managed as independent, then no major problems on final fruit quality and production occurred. This partly confirmed the possibility to shift crop load management to single upright. The finding of the presented studies together with the benefits coming from multileader planar training systems suggest a high potentiality of the 2D multileader training systems to increase apple production sustainability and profitability for Italian apple orchard, while easing the advent of automation in fruit production.

Intraoperative kinematic evaluation with navigation system and postoperative kinematic evaluation with dynamic RSA of total knee arthroplasty

Restoring a correct implant kinematics and providing a good ligament balance and patellar tracking is mandatory to improve clinical and functional outcome after a Total Knee Replacement. Surgical navigation systems are a reliable and accurate tool to help the surgeon in achieving these goals. The aim of the present study was to use navigation system with an intra-operative surgical protocol to evaluate and determine an optimal implant kinematics during a Total Knee Replacement.

Cannabinoid system combined to classic targets for a new MTDL strategy: design and synthesis of natural inspired molecules for Alzheimer's disease

In this thesis is described the design and synthesis of potential agents for the treatment of the multifactorial Alzheimer’s disease (AD). Our multi-target approach was to consider cannabinoid system involved in AD, together with classic targets. In the first project, designed modifications were performed on lead molecule in order to increase potency and obtain balanced activities on fatty acid amide hydrolase and cholinesterases. A small library of compounds was synthesized and biological results showed increased inhibitory activity (nanomolar range) related to selected target. The second project was focused on the benzofuran framework, a privileged structure being a common moiety found in many biologically active natural products and therapeutics. Hybrid molecules were designed and synthesized, focusing on the inhibition of cholinesterases, Aβ aggregation, FAAH and on the interaction with CB receptors. Preliminary results showed that several compounds are potent CB ligands, in particular the high affinity for CB2 receptors, could open new opportunities to modulate neuroinflammation. The third and the fourth project were carried out at the IMS, Aberdeen, under the supervision of Prof. Matteo Zanda. The role of the cannabinoid system in the brain is still largely unexplored and the relationship between the CB1 receptors functional modification, density and distribution and the onset of a pathological state is not well understood. For this reasons, Rimonabant analogues suitable as radioligands were synthesized. The latter, through PET, could provide reliable measurements of density and distribution of CB1 receptors in the brain. In the fifth project, in collaboration with CHyM of York, the goal was to develop arginine analogues that are target specific due to their exclusively location into NOS enzymes and could work as MRI contrasting agents. Synthesized analogues could be suitable substrate for the transfer of polarization by p-H2 molecules through SABRE technique transforming MRI a more sensitive and faster technique.

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.

Modeling, design and experimental characterization of Micro-Electro-Mechanical-Systems for gas chromatographic applications

Design parameters, process flows, electro-thermal-fluidic simulations and experimental characterizations of Micro-Electro-Mechanical-Systems (MEMS) suited for gas-chromatographic (GC) applications are presented and thoroughly described in this thesis, whose topic belongs to the research activities the Institute for Microelectronics and Microsystems (IMM)-Bologna is involved since several years, i.e. the development of micro-systems for chemical analysis, based on silicon micro-machining techniques and able to perform analysis of complex gaseous mixtures, especially in the field of environmental monitoring. In this regard, attention has been focused on the development of micro-fabricated devices to be employed in a portable mini-GC system for the analysis of aromatic Volatile Organic Compounds (VOC) like Benzene, Toluene, Ethyl-benzene and Xylene (BTEX), i.e. chemical compounds which can significantly affect environment and human health because of their demonstrated carcinogenicity (benzene) or toxicity (toluene, xylene) even at parts per billion (ppb) concentrations. The most significant results achieved through the laboratory functional characterization of the mini-GC system have been reported, together with in-field analysis results carried out in a station of the Bologna air monitoring network and compared with those provided by a commercial GC system. The development of more advanced prototypes of micro-fabricated devices specifically suited for FAST-GC have been also presented (silicon capillary columns, Ultra-Low-Power (ULP) Metal OXide (MOX) sensor, Thermal Conductivity Detector (TCD)), together with the technological processes for their fabrication. The experimentally demonstrated very high sensitivity of ULP-MOX sensors to VOCs, coupled with the extremely low power consumption, makes the developed ULP-MOX sensor the most performing metal oxide sensor reported up to now in literature, while preliminary test results proved that the developed silicon capillary columns are capable of performances comparable to those of the best fused silica capillary columns. Finally, the development and the validation of a coupled electro-thermal Finite Element Model suited for both steady-state and transient analysis of the micro-devices has been described, and subsequently implemented with a fluidic part to investigate devices behaviour in presence of a gas flowing with certain volumetric flow rates.

Mechanical design and hybrid control strategies for overconstrained cable-driven parallel robots

Cable-driven parallel robots offer significant advantages in terms of workspace dimensions and payload capability. They are attractive for many industrial tasks to be performed on a large scale, such as handling and manufacturing, without a substantial increase in costs and mechanical complexity with respect to a small-scale application. However, since cables can only sustain tensile stresses, cable tensions must be kept within positive limits during the end-effector motion. This problem can be managed by overconstraining the end-effector and controlling cable tensions. Tension control is typically achieved by mounting a load sensor on all cables, and using specific control algorithms to avoid cable slackness or breakage while the end-effector is controlled in a desired position. These algorithms require multiple cascade control loops and they can be complex and computationally demanding. To simplify the control of overconstrained cable-driven parallel robots, this Thesis proposes suitable mechanical design and hybrid control strategies. It is shown how a convenient design of the cable guidance system allows kinematic modeling to be simplified, without introducing geometric approximations. This guidance system employs swiveling pulleys equipped with position and tension sensors and provides a parallelogram arrangement of cables. Furthermore, a hybrid force/position control in the robot joint space is adopted. According to this strategy, a particular set of cables is chosen to be tension-controlled, whereas the other cables are length-controlled. The force-controlled cables are selected based on the computation of a novel index called force-distribution sensitivity to cable-tension errors. This index aims to evaluate the maximum expected cable-tension error in the length-controlled cables if a unit tension error is committed in the force-controlled cables. In practice, the computation of the force-distribution sensitivity allows determining which cables are best to be force-controlled, to ensure the lowest error in the overall force distribution when a hybrid force/position joint-space strategy is used.

The immunogenicity of chemically derived zwitterionic polysaccharides

Bacterial capsular polysaccharides (PS) which naturally contain zwitterionic charge motifs (ZPS) possess specific immunostimulatory activity, leading to direct activation of antigen-presenting cells (APCs) through Toll-like receptor 2 (TLR2) and of T cells in co-culture systems. When administered intraperitoneally, ZPS and bacteria expressing them are involved in the induction or regulation of T-cell dependent inflammatory processes such as intra-abdominal abscess formation. Moreover it has been published that ZPSs are processed to low molecular weight carbohydrates and presented to T cells through a pathway similar to that used for protein antigens. These findings were in contrast with the paradigm according to which polysaccharides are T-independent antigens unable to be presented in association with MHC class II molecules and unable to induce a protective immune response. For this reason in glycoconjugate vaccines polysaccharides often need to be conjugated to a carrier protein to induce protection. The aim of our work was to generate vaccine candidates with antigen and adjuvant properties in one molecule by the chemical introduction of a positive charge into naturally anionic PS from group B streptococcus (GBS). The resulting zwitterionic PS (ZPS) has the ability to activate human and mouse APCs, and in mixed co-cultures of monocytes and T cells, ZPS induce MHC II-dependent T-cell proliferation and up-regulation of activation markers. TLR2 transfectants show reporter gene transcription upon incubation with ZPS and these stimulatory qualities can be blocked by anti-TLR2 mAbs or by the destruction of the zwitterionic motif. However, in vivo, ZPS used alone as vaccine antigen failed to induce protection against GBS challenge, a result which does not confirm the above mentioned postulate that ZPS are T-cell dependent Ags by virtue of their charge motif. Thus to make ZPS visible to the immune system we have conjugated ZPS with a carrier protein. ZPS-glycoconjugates induce higher T cell and Ab responses to carrier and PS, respectively, compared to control PS-glycoconjugates made with the native polysaccharide form. Moreover, protection of mothers or neonate offspring from lethal GBS challenge is better when mothers are immunized with ZPS-conjugates compared to immunization with PS-conjugates. In TLR2 knockout mice, ZPS-conjugates lose both their increased immunogenicity and protective effect after vaccination. When ZPS are co-administered as adjuvants with unconjugated tetanus toxoid (TT), they have the ability to increase the TT-specific antibody titer. In conclusion, glycoconjugates containing ZPS are potent vaccines. They target Ag to TLR2-expressing APCs and activate these APCs, leading to better T cell priming and ultimately to higher protective Ab titers. Thus, rational chemical design can generate potent novel PS-adjuvants with wide application, including glycoconjugates and co-administration with unrelated protein Ags.

Brain-Computer Interfaces for augmented communication: Asynchronous and adaptive algorithms and evaluation with end users

This thesis aimed at addressing some of the issues that, at the state of the art, avoid the P300-based brain computer interface (BCI) systems to move from research laboratories to end users’ home. An innovative asynchronous classifier has been defined and validated. It relies on the introduction of a set of thresholds in the classifier, and such thresholds have been assessed considering the distributions of score values relating to target, non-target stimuli and epochs of voluntary no-control. With the asynchronous classifier, a P300-based BCI system can adapt its speed to the current state of the user and can automatically suspend the control when the user diverts his attention from the stimulation interface. Since EEG signals are non-stationary and show inherent variability, in order to make long-term use of BCI possible, it is important to track changes in ongoing EEG activity and to adapt BCI model parameters accordingly. To this aim, the asynchronous classifier has been subsequently improved by introducing a self-calibration algorithm for the continuous and unsupervised recalibration of the subjective control parameters. Finally an index for the online monitoring of the EEG quality has been defined and validated in order to detect potential problems and system failures. This thesis ends with the description of a translational work involving end users (people with amyotrophic lateral sclerosis-ALS). Focusing on the concepts of the user centered design approach, the phases relating to the design, the development and the validation of an innovative assistive device have been described. The proposed assistive technology (AT) has been specifically designed to meet the needs of people with ALS during the different phases of the disease (i.e. the degree of motor abilities impairment). Indeed, the AT can be accessed with several input devices either conventional (mouse, touchscreen) or alterative (switches, headtracker) up to a P300-based BCI.

Operational research applied to regional healthcare system

In this thesis we focus on optimization and simulation techniques applied to solve strategic, tactical and operational problems rising in the healthcare sector. At first we present three applications to Emilia-Romagna Public Health System (SSR) developed in collaboration with Agenzia Sanitaria e Sociale dell'Emilia-Romagna (ASSR), a regional center for innovation and improvement in health. Agenzia launched a strategic campaign aimed at introducing Operations Research techniques as decision making tools to support technological and organizational innovations. The three applications focus on forecast and fund allocation of medical specialty positions, breast screening program extension and operating theater planning. The case studies exploit the potential of combinatorial optimization, discrete event simulation and system dynamics techniques to solve resource constrained problem arising within Emilia-Romagna territory. We then present an application in collaboration with Dipartimento di Epidemiologia del Lazio that focuses on population demand of service allocation to regional emergency departments. Finally, a simulation-optimization approach, developed in collaboration with INESC TECH center of Porto, to evaluate matching policies for the kidney exchange problem is discussed.