Characterisation of probiotic strains for the control and prevention of enteropathogens in the food chain

60 strains (belonging to the genera Lactobacillus, Bifidobacterium, Leuconostoc and Enterococcus) were tested for their capacity to inhibit the growth of 3 strains of Campylobacter jejuni: Lactobacilli and bifidobacteria were left to grow in MRS or TPY broth at 37°C overnight in anaerobic conditions; Campylobacter jejuni was inoculated in blood agar plates at 37°C for 24-48 hours in microaerophilic conditions. The inhibition experiments were carried out in vitro using ”Spot agar test” and “Well diffusion assay” techniques testing both cellular activity and that of the surnatant. 11 strains proved to inhibit the growth of Campylobacter jejuni. These strains were subsequently analised analised in order to evaluate the resistance to particular situations of stress which are found in the gastrointestinal tract and during the industrial transformation processes (Starvation stress, osmotic stress, heat stress, resistance to pH and to bile salts). Resistance to starvation stress: all strains seemed to resist the stress (except one strain). Resistance to osmotic stress: all strains were relatively resistant to the concentrations of 6% w/v of NaCl (except one strain). Resistance to heat stress: only one strain showed little resistance to the 55°C temperature. Resistance to pH: In the presence of a low pH (2.5), many strains rapidly lost their viability after approximately 1 hour. Resistance to bile salts: Except for one strain, all strains seemed to be relatively resistant to the 2% w/v concentration of bile salts. Afterward, strains were identified by using phenotipic and molecular techniques. Phenotipic identification was carried out by using API 50 CHL (bioMérieux) and API 20 STREP identification system (bioMérieux); molecular identification with species-specific PCR: the molecular techniques confirmed the results by phenotipic identification. For testing the antibiotic resistance profile, bacterial strains were subcultured in MRS or TPY broth and incubated for 18 h at 37°C under anaerobic conditions. Antibiotics tested (Tetracycline, Trimethoprim, Cefuroxime, Kanamycin, Chloramphenicol, Vancomycin, Ampycillin, Sterptomycin, Erythromycin) were diluted to the final concentrations of: 2,4,8,16,32,64,128,256 mg/ml. Then, 20 μl fresh bacterial culture (final concentration in the plates approximately 106 cfu/ml) were added to 160 μl MRS or TPY broth and 20 μl antibiotic solution. As positive control the bacterial culture (20 ul) was added to broth (160 ul) and water (20 ul). Test was performed on plates P96, that after the inoculum were incubated for 24 h at 37oC, then the antibiotic resistance was determined by measuring the Optical Density (OD) at 620 nm with Multiscan EX. All strains showed a similar behaviour: resistance to all antibiotic tested. Further studies are needed.

Motion control and real-time systems: an approach to trajectory rebuilding in non-deterministic networks

Motion control is a sub-field of automation, in which the position and/or velocity of machines are controlled using some type of device. In motion control the position, velocity, force, pressure, etc., profiles are designed in such a way that the different mechanical parts work as an harmonious whole in which a perfect synchronization must be achieved. The real-time exchange of information in the distributed system that is nowadays an industrial plant plays an important role in order to achieve always better performance, better effectiveness and better safety. The network for connecting field devices such as sensors, actuators, field controllers such as PLCs, regulators, drive controller etc., and man-machine interfaces is commonly called fieldbus. Since the motion transmission is now task of the communication system, and not more of kinematic chains as in the past, the communication protocol must assure that the desired profiles, and their properties, are correctly transmitted to the axes then reproduced or else the synchronization among the different parts is lost with all the resulting consequences. In this thesis, the problem of trajectory reconstruction in the case of an event-triggered communication system is faced. The most important feature that a real-time communication system must have is the preservation of the following temporal and spatial properties: absolute temporal consistency, relative temporal consistency, spatial consistency. Starting from the basic system composed by one master and one slave and passing through systems made up by many slaves and one master or many masters and one slave, the problems in the profile reconstruction and temporal properties preservation, and subsequently the synchronization of different profiles in network adopting an event-triggered communication system, have been shown. These networks are characterized by the fact that a common knowledge of the global time is not available. Therefore they are non-deterministic networks. Each topology is analyzed and the proposed solution based on phase-locked loops adopted for the basic master-slave case has been improved to face with the other configurations.

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.

Procedures of quality control and data analysis of multi-site ground-based observations for the absolute flux calibration of Gaia

The Gaia space mission is a major project for the European astronomical community. As challenging as it is, the processing and analysis of the huge data-flow incoming from Gaia is the subject of thorough study and preparatory work by the DPAC (Data Processing and Analysis Consortium), in charge of all aspects of the Gaia data reduction. This PhD Thesis was carried out in the framework of the DPAC, within the team based in Bologna. The task of the Bologna team is to define the calibration model and to build a grid of spectro-photometric standard stars (SPSS) suitable for the absolute flux calibration of the Gaia G-band photometry and the BP/RP spectrophotometry. Such a flux calibration can be performed by repeatedly observing each SPSS during the life-time of the Gaia mission and by comparing the observed Gaia spectra to the spectra obtained by our ground-based observations. Due to both the different observing sites involved and the huge amount of frames expected (≃100000), it is essential to maintain the maximum homogeneity in data quality, acquisition and treatment, and a particular care has to be used to test the capabilities of each telescope/instrument combination (through the “instrument familiarization plan”), to devise methods to keep under control, and eventually to correct for, the typical instrumental effects that can affect the high precision required for the Gaia SPSS grid (a few % with respect to Vega). I contributed to the ground-based survey of Gaia SPSS in many respects: with the observations, the instrument familiarization plan, the data reduction and analysis activities (both photometry and spectroscopy), and to the maintenance of the data archives. However, the field I was personally responsible for was photometry and in particular relative photometry for the production of short-term light curves. In this context I defined and tested a semi-automated pipeline which allows for the pre-reduction of imaging SPSS data and the production of aperture photometry catalogues ready to be used for further analysis. A series of semi-automated quality control criteria are included in the pipeline at various levels, from pre-reduction, to aperture photometry, to light curves production and analysis.

Human congenital cytomegalovirus infection: characteristics and pathogenesis of fetal brain damage

Human cytomegalovirus (HCMV) causes congenital neurological lifelong disabilities. The study analyzed 10 HCMV-infected human fetuses at 21 weeks of gestation to evaluate the characteristics and pathogenesis of brain injury related to congenital human CMV (cCMV) infection. Specifically, tissues from cortical and white matter areas, subventricular zone, thalamus, hypothalamus, hippocampus, basal ganglia and cerebellum were analysed by: i) immunohistochemistry (IHC) to detect HCMV-infected cell distribution, ii) hematoxylin-eosin staining to evaluate histological damage and iii) real-time PCR to quantify tissue viral load (HCMV-DNA). Viral tropism was assessed by double IHC to detect HCMV-antigens and neural/neuronal markers: nestin (expressed in early differentiation stage), doublecortin (DCX, identifying neuronal precursor cells) and neuronal nuclei (NeuN, identifying mature neurons). HCMV-positive cells and viral DNA were found in the brain of 8/10 (80%) fetuses. For these cases, brain damage was classified in mild (n=4, 50%), moderate (n=3, 37.5%) and severe (n=1, 12.5%) based on presence of i) diffuse astrocytosis, microglial activation and vascular changes; ii) occasional (in mild) or multiple (in moderate/severe) microglial nodules and iii) necrosis (in severe). The highest median HCMV-DNA level was found in the hippocampus (212 copies/5ng of humanDNA [hDNA], range: 10-7,505) as well as the highest mean HCMV-infected cell value (2.9 cells, range: 0-23), followed by that detected in subventricular zone (1.8 cells, range: 0-19). This suggests a preferential HCMV tropism for immature neuronal cells, residing in these regions, confirmed by the detection of DCX and nestin in 94% and 63.3% of HCMV-positive cells, respectively. NeuN was not found among HCMV-positive cells and was nearly absent in the brain with severe damage, suggesting HCMV does not infect mature neurons and immature HCMV-infected neuronal cells do not differentiate into neurons. HCMV preferential tropism in immature neural/neuronal cells delays/inhibits their differentiation interfering with brain development processes that lead to structural and functional brain defects.

Improvement of The Driver Simulator Control and Comparison Between Driver-Road-Vehicle Interaction in Real and Simulated Environment

The present doctoral thesis discusses the ways to improve the performance of driving simulator, provide objective measures for the road safety evaluation methodology based on driver’s behavior and response and investigates the drivers' adaptation to the driving assistant systems. The activities are divided into two macro areas; the driving simulation studies and on-road experiments. During the driving simulation experimentation, the classical motion cueing algorithm with logarithmic scale was implemented in the 2DOF motion cueing simulator and the motion cues were found desirable by the participants. In addition, it found out that motion stimuli could change the behaviour of the drivers in terms of depth/distance perception. During the on-road experimentations, The driver gaze behaviour was investigated to find the objective measures on the visibility of the road signs and reaction time of the drivers. The sensor infusion and the vehicle monitoring instruments were found useful for an objective assessment of the pavement condition and the drivers’ performance. In the last chapter of the thesis, the safety assessment during the use of level 1 automated driving “ACC” is discussed with the simulator and on-road experiment. The drivers’ visual behaviour was investigated in both studies with innovative classification method to find the epochs of the distraction of the drivers. The behavioural adaptation to ACC showed that drivers may divert their attention away from the driving task to engage in secondary, non-driving-related tasks.

HIV-1 infection: back and forth between virus and host.

The main obstacles to HIV-1 eradication are linked to the viral ability to evade immune system and establish a reservoir where virus is transcriptionally latent but able to replicate. IFN action and Restriction Factors (RFs) expression, dominant proteins that target multiple steps of the HIV-1 lifecycle, represent an early line of defence Because of their interplay with viral replication, we would like to study the relationship between RFs and the viral amount in latently infected cells.The first part of this project investigates the expression levels variations of a selected group of RFs (APOBEC3G, BST2, TRIM5α, MX2, SAMHD1, SERINC3/5, IFI16 and STING) in HIV-1 patients during the course of infection before and after ART administration by using Real Time qPCR. The second part of this study deals with the role of IFNα and IFNγ, and their role in the immune system disfunction that has been described during chronic inflammation associated to cancer, viral infection such as HIV-1, and autoimmune-disease. Immune Check Point proteins (ICPs) are a group of inhibitory receptors expressed on the cellular surface of immune cells and trigger immunosuppressive signaling pathways leading to T-cell exhaustion and the expression of immune checkpoint molecules (PD-1, PD-L1, TIGIT, LILRB2). The major aim of this project is to assess the clinical meaning of ICPs expression in HIV-1 chronically infected patients to better characterized their involvement in immune system disfunction.

Advanced decision-support methods for the design, control, and optimization of perishable products life cycle

In the last decades, global food supply chains had to deal with the increasing awareness of the stakeholders and consumers about safety, quality, and sustainability. In order to address these new challenges for food supply chain systems, an integrated approach to design, control, and optimize product life cycle is required. Therefore, it is essential to introduce new models, methods, and decision-support platforms tailored to perishable products. This thesis aims to provide novel practice-ready decision-support models and methods to optimize the logistics of food items with an integrated and interdisciplinary approach. It proposes a comprehensive review of the main peculiarities of perishable products and the environmental stresses accelerating their quality decay. Then, it focuses on top-down strategies to optimize the supply chain system from the strategical to the operational decision level. Based on the criticality of the environmental conditions, the dissertation evaluates the main long-term logistics investment strategies to preserve products quality. Several models and methods are proposed to optimize the logistics decisions to enhance the sustainability of the supply chain system while guaranteeing adequate food preservation. The models and methods proposed in this dissertation promote a climate-driven approach integrating climate conditions and their consequences on the quality decay of products in innovative models supporting the logistics decisions. Given the uncertain nature of the environmental stresses affecting the product life cycle, an original stochastic model and solving method are proposed to support practitioners in controlling and optimizing the supply chain systems when facing uncertain scenarios. The application of the proposed decision-support methods to real case studies proved their effectiveness in increasing the sustainability of the perishable product life cycle. The dissertation also presents an industry application of a global food supply chain system, further demonstrating how the proposed models and tools can be integrated to provide significant savings and sustainability improvements.

Modelling, control and testing of internal combustion engines to minimize consumption and pollutant emissions

The objective of the PhD thesis was to research technologies and strategies to reduce fuel consumption and pollutants emission produced by internal combustion engines. In order to meet this objective my activity was focused on the research of advanced controls based on cylinder pressure feedback. These types of control strategies were studied because they present promising results in terms of engine efficiency enhancement. In the PhD dissertation two study cases are presented. The first case is relative to a control strategy to be used at the test bench for the optimisation of the spark advance calibration of motorcycle Engine. The second case is relative to a control strategy to be used directly on board of mining engines with the objective or reducing the engine consumption and correct ageing effects. In both cases the strategies proved to be effective but their implementation required the use of specific toolchains for the measure of the cylinder pressure feedback that for a matter of cost makes feasible the strategy use only for applications: • At test bench • In small-markets like large off-road engines The major bottleneck that prevents the implementation of these strategies on mass production is the cost of cylinder pressure sensor. In order to tackle this issue, during the PhD research, the development of a low-cost sensor for the estimation of cylinder pressure was studied. The prototype was a piezo-electric washer designed to replace the standard spark-plug washer or high-pressure fuel injectors gasket. From the data analysis emerged the possibility to use the piezo-electric prototype signal to evaluate with accuracy several combustion metrics compatible for the implementation of advanced control strategies in on-board applications. Overall, the research shows that advanced combustion controls are feasible and beneficial, not only at the test bench or on stationary engines, but also in mass-produced engines.

Abusing data dominance in the digital market. The application of merger control and article 102 TFEU to data-related conducts.

The internet and digital technologies revolutionized the economy. Regulating the digital market has become a priority for the European Union. While promoting innovation and development, EU institutions must assure that the digital market maintains a competitive structure. Among the numerous elements characterizing the digital sector, users’ data are particularly important. Digital services are centered around personal data, the accumulation of which contributed to the centralization of market power in the hands of a few large providers. As a result, data-driven mergers and data-related abuses gained a central role for the purposes of EU antitrust enforcement. In light of these considerations, this work aims at assessing whether EU competition law is well-suited to address data-driven mergers and data-related abuses of dominance. These conducts are of crucial importance to the maintenance of competition in the digital sector, insofar as the accumulation of users’ data constitutes a fundamental competitive advantage. To begin with, part 1 addresses the specific features of the digital market and their impact on the definition of the relevant market and the assessment of dominance by antitrust authorities. Secondly, part 2 analyzes the EU’s case law on data-driven mergers to verify if merger control is well-suited to address these concentrations. Thirdly, part 3 discusses abuses of dominance in the phase of data collection and the legal frameworks applicable to these conducts. Fourthly, part 4 focuses on access to “essential” datasets and the indirect effects of anticompetitive conducts on rivals’ ability to access users’ information. Finally, Part 5 discusses differential pricing practices implemented online and based on personal data. As it will be assessed, the combination of an efficient competition law enforcement and the auspicial adoption of a specific regulation seems to be the best solution to face the challenges raised by “data-related dominance”.

Development and testing of methodologies for the control and diagnosis of innovative combustion systems

In pursuit of aligning with the European Union's ambitious target of achieving a carbon-neutral economy by 2050, researchers, vehicle manufacturers, and original equipment manufacturers have been at the forefront of exploring cutting-edge technologies for internal combustion engines. The introduction of these technologies has significantly increased the effort required to calibrate the models implemented in the engine control units. Consequently the development of tools that reduce costs and the time required during the experimental phases, has become imperative. Additionally, to comply with ever-stricter limits on 〖"CO" 〗_"2" emissions, it is crucial to develop advanced control systems that enhance traditional engine management systems in order to reduce fuel consumption. Furthermore, the introduction of new homologation cycles, such as the real driving emissions cycle, compels manufacturers to bridge the gap between engine operation in laboratory tests and real-world conditions. Within this context, this thesis showcases the performance and cost benefits achievable through the implementation of an auto-adaptive closed-loop control system, leveraging in-cylinder pressure sensors in a heavy-duty diesel engine designed for mining applications. Additionally, the thesis explores the promising prospect of real-time self-adaptive machine learning models, particularly neural networks, to develop an automatic system, using in-cylinder pressure sensors for the precise calibration of the target combustion phase and optimal spark advance in a spark-ignition engines. To facilitate the application of these combustion process feedback-based algorithms in production applications, the thesis discusses the results obtained from the development of a cost-effective sensor for indirect cylinder pressure measurement. Finally, to ensure the quality control of the proposed affordable sensor, the thesis provides a comprehensive account of the design and validation process for a piezoelectric washer test system.

Exploring the biofilm of Streptococcus agalactiae to identify virulence factors

Streptococcus agalactiae, also known as Group B Streptococcus (GBS) is the primary colonizer of the anogenital mucosa of up to 40% of healthy women and an important cause of invasive neonatal infections worldwide. Among the 10 known capsular serotypes, GBS type III accounts for 30-76% of the cases of neonatal meningitis. Biofilms are dense aggregates of surface-adherent microorganisms embedded in an exopolysaccharide matrix. Centers for Disease Control and Prevention estimate that 65% of human bacterial infections involve biofilms (Post et al., 2004). In recent years, the ability of GBS to form biofilm attracted attention for its possible role in fitness and/or virulence. Here, a new in vitro biofilm formation protocol was developed to guarantee more stringent conditions, to better discriminate between strong-, low- and non- biofilm forming strains and reduce ambiguous data interpretation. This protocol was applied to screen the in vitro biofilm formation ability of more than 350 GBS clinical isolates from pregnant women and neonatal infections belonging to different serotype, in relation to media composition and pH. The results showed the enhancement of GBS biofilm formation in acidic condition and identified a subset of isolates belonging to serotypes III and V that forms strong biofilms in these conditions. Interestingly, the best biofilm formers belonged to the serotype III hypervirulent clone ST-17.It was also found that pH 5.0 induces down-regulation of the capsule but that this reduction is not enough by itself to ensure biofilm formation. Moreover, the ability of proteinase K to strongly inhibit biofilm formation and to disaggregate mature biofilms suggested that proteins play an essential role in promoting GBS biofilm formation and contribute to the biofilm structural stability. Finally, a set of proteins potentially expressed during the GBS in vitro biofilm formation were identified by mass spectrometry.