Data dissemination over complex networks through gossip

This thesis offers a practical and theoretical evaluations about gossip-epidemic algorithms, comparing those most common in the literature with new proposed algorithms and analyzing their behavior. Tests have been executed using one hundred graphs that has been randomly generated by Large Unstructured NEtwork Simulator (LUNES), a simulation software provided by Parallel and Distributed Simulation Research Group (PADS), of the Department of Computer Science, Università di Bologna and simulated using Advanced RTI System (ARTÌS), based on the High Level Architecture standard. Literatures algorithms have been analyzed and taken as base for new algorithms.

Extracting FSA descriptions of robot behaviours from the dynamics of automatically designed controller networks

Automatic design has become a common approach to evolve complex networks, such as artificial neural networks (ANNs) and random boolean networks (RBNs), and many evolutionary setups have been discussed to increase the efficiency of this process. However networks evolved in this way have few limitations that should not be overlooked. One of these limitations is the black-box problem that refers to the impossibility to analyze internal behaviour of complex networks in an efficient and meaningful way. The aim of this study is to develop a methodology that make it possible to extract finite-state automata (FSAs) descriptions of robot behaviours from the dynamics of automatically designed complex controller networks. These FSAs unlike complex networks from which they're extracted are both readable and editable thus making the resulting designs much more valuable.

Modeling and Model Predictive Control of an Industrial Hydraulic System

This thesis aims to illustrate the construction of a mathematical model of a hydraulic system, oriented to the design of a model predictive control (MPC) algorithm. The modeling procedure starts with the basic formulation of a piston-servovalve system. The latter is a complex non linear system with some unknown and not measurable effects that constitute a challenging problem for the modeling procedure. The first level of approximation for system parameters is obtained basing on datasheet informations, provided workbench tests and other data from the company. Then, to validate and refine the model, open-loop simulations have been made for data matching with the characteristics obtained from real acquisitions. The final developed set of ODEs captures all the main peculiarities of the system despite some characteristics due to highly varying and unknown hydraulic effects, like the unmodeled resistive elements of the pipes. After an accurate analysis, since the model presents many internal complexities, a simplified version is presented. The latter is used to linearize and discretize correctly the non linear model. Basing on that, a MPC algorithm for reference tracking with linear constraints is implemented. The results obtained show the potential of MPC in this kind of industrial applications, thus a high quality tracking performances while satisfying state and input constraints. The increased robustness and flexibility are evident with respect to the standard control techniques, such as PID controllers, adopted for these systems. The simulations for model validation and the controlled system have been carried out in a Python code environment.

A parallel community detection algorithm

Complex networks analysis is a very popular topic in computer science. Unfortunately this networks, extracted from different contexts, are usually very large and the analysis may be very complicated: computation of metrics on these structures could be very complex. Among all metrics we analyse the extraction of subnetworks called communities: they are groups of nodes that probably play the same role within the whole structure. Communities extraction is an interesting operation in many different fields (biology, economics,...). In this work we present a parallel community detection algorithm that can operate on networks with huge number of nodes and edges. After an introduction to graph theory and high performance computing, we will explain our design strategies and our implementation. Then, we will show some performance evaluation made on a distributed memory architectures i.e. the supercomputer IBM-BlueGene/Q "Fermi" at the CINECA supercomputing center, Italy, and we will comment our results.

Network approaches for the analysis of resting state fMRI data

Negli ultimi anni la teoria dei network è stata applicata agli ambiti più diversi, mostrando proprietà caratterizzanti tutti i network reali. In questo lavoro abbiamo applicato gli strumenti della teoria dei network a dati cerebrali ottenuti tramite MRI funzionale “resting”, provenienti da due esperimenti. I dati di fMRI sono particolarmente adatti ad essere studiati tramite reti complesse, poiché in un esperimento si ottengono tipicamente più di centomila serie temporali per ogni individuo, da più di 100 valori ciascuna. I dati cerebrali negli umani sono molto variabili e ogni operazione di acquisizione dati, così come ogni passo della costruzione del network, richiede particolare attenzione. Per ottenere un network dai dati grezzi, ogni passo nel preprocessamento è stato effettuato tramite software appositi, e anche con nuovi metodi da noi implementati. Il primo set di dati analizzati è stato usato come riferimento per la caratterizzazione delle proprietà del network, in particolare delle misure di centralità, dal momento che pochi studi a riguardo sono stati condotti finora. Alcune delle misure usate indicano valori di centralità significativi, quando confrontati con un modello nullo. Questo comportamento `e stato investigato anche a istanti di tempo diversi, usando un approccio sliding window, applicando un test statistico basato su un modello nullo pi`u complesso. Il secondo set di dati analizzato riguarda individui in quattro diversi stati di riposo, da un livello di completa coscienza a uno di profonda incoscienza. E' stato quindi investigato il potere che queste misure di centralità hanno nel discriminare tra diversi stati, risultando essere dei potenziali bio-marcatori di stati di coscienza. E’ stato riscontrato inoltre che non tutte le misure hanno lo stesso potere discriminante. Secondo i lavori a noi noti, questo `e il primo studio che caratterizza differenze tra stati di coscienza nel cervello di individui sani per mezzo della teoria dei network.

Calorimetric efficiency of the DUNE experiment

The Deep Underground Neutrino Experiment is a long-baseline neutrino experiment which is under construction in the United States. It will be composed of a Near Detector system located a few hundred meters from the neutrino source at Fermilab and a far detector system composed of four multi-kt LArTPCs at Sanford Underground Research Facility in South Dakota. The experiment will measure the leptonic CP violation phase of the PMNS matrix and discriminate the ordering of neutrino masses. Additional physics goals include detection of neutrinos from supernovae collapse and search for possible proton decay. One component of the Near detector complex is the System for on-Axis Neutrino Detection apparatus, which includes GRanular Argon for Interaction of Neutrinos, a novel liquid Argon detector that aims at imaging neutrino interactions using scintillation light collected by optical system and read-out by SIPM matrix. This thesis work aims at studying the GRAIN performances as a homogeneous calorimeter, able to measure the energy deposited by charged particles in LAr through scintillation photons emitted along their path inside the vessel. The energy calibration of the liquid argon volume required to write (and validate) an efficient software for the detector response simulation to the arrival of scintillation photons.

Quality controls for the Mu2e electromagnetic calorimeter and R&D studies for the muon capture rate determination

According to the SM, while Lepton Flavour Violation is allowed in the neutral sector, Charged Lepton Flavour Violation (CLFV) processes are forbidden. The Mu2e Experiment at Fermilab will search for the CLFV process of neutrinoless conversion of a muon into an electron within the field of an Al nucleus. The Mu2e detectors and its state-of-the-art superconducting magnetic system are presented, with special focus put to the electromagnetic crystal calorimeter. The calorimeter is composed by two annular disks, each one hosting pure CsI crystals read-out by custom silicon photomultipliers (SiPMs). The SiPMs are amplified by custom electronics (FEE) and are glued to copper holders in group of 2 SiPMs and 2 FEE boards thus forming a crystal Readout Unit. These Readout Units are being tested at the Quality Control (QC) Station, whose design, realization and operations are presented in this work. The QC Station allows to determine the gain, the response and the photon detection efficiency of each unit and to evaluate the dependence of these parameters from the supply voltage and temperature. The station is powered by two remotely-controlled power supplies and monitored thanks to a Slow Control system which is also illustrated in this work. In this thesis, we also demonstrated that the calorimeter can perform its own measurement of the Mu2e normalization factor, i.e. the counting of the 1.8 MeV photon line produced in nuclear muon captures. A specific calorimeter sub-system called CAPHRI, composed by four LYSO crystals with SiPM readout, has been designed and tested. We simulated the capability of this system on performing this task showing that it can get a faster and more reliable measurement of the muon capture rates with respect to the current Mu2e detector dedicated to this measurement. The characterization of energy resolution and response uniformity of the four procured LYSO crystals are llustrated.

Touristic water demand: analysis and validation of drinking water consumption data and hotel characterization in Benidorm (Spain)

The work analyses the tourist water demand in Benidorm, a sun-and-sand destination ranked fourth in Spain by number of visitors, where tourism competes with local residents, nature, agriculture and industrial sectors for scarce water resources. In particular, we have studied the correlation between the water consumption of 83 hotels in Benidorm and their characteristics and services which can impact water use. For this purpose, we have examined the water consumption billed, by the water utility company HIDRAQUA in the period January 2010 - October 2022, to the tourist structures in the municipality of Benidorm, and we have explored the hotels’ features, thanks to the collaboration of the tourism and hotels association HOSBEC. To give a better understanding and contextualization of our analysis we first described explained the of the complex water supply system and the efforts that have been made to reduce the threat posed by the peculiar climate conditions of the region. We saw that the water consumption per guest has slightly decreased in the recent years and that the tourist flux has increased: the global pandemic posed a stop to travels for more than one year, but now both the tourist flux and the tourist water consumption are reaching pre-pandemic level. We found that larger hotels, and in particular the ones opened all the year, that probably tend to offer more water-demanding service with respect to the seasonal ones, have higher water consumption per bed. From the analysis of the role of the different hotel characteristics over the water demand patterns, we found that water use increases with the increase in the hotel category and in the ratio between the surface area of the swimming pool and hotel size (number of beds). Other factors impacting the consumption are the presence of an on-site laundry for washing the hotel linen, the garden, and the implementation of environmental policies for water-saving.

Enhancing quality of service in software-defined networks

Resource management is of paramount importance in network scenarios and it is a long-standing and still open issue. Unfortunately, while technology and innovation continue to evolve, our network infrastructure system has been maintained almost in the same shape for decades and this phenomenon is known as “Internet ossification”. Software-Defined Networking (SDN) is an emerging paradigm in computer networking that allows a logically centralized software program to control the behavior of an entire network. This is done by decoupling the network control logic from the underlying physical routers and switches that forward traffic to the selected destination. One mechanism that allows the control plane to communicate with the data plane is OpenFlow. The network operators could write high-level control programs that specify the behavior of an entire network. Moreover, the centralized control makes it possible to define more specific and complex tasks that could involve many network functionalities, e.g., security, resource management and control, into a single framework. Nowadays, the explosive growth of real time applications that require stringent Quality of Service (QoS) guarantees, brings the network programmers to design network protocols that deliver certain performance guarantees. This thesis exploits the use of SDN in conjunction with OpenFlow to manage differentiating network services with an high QoS. Initially, we define a QoS Management and Orchestration architecture that allows us to manage the network in a modular way. Then, we provide a seamless integration between the architecture and the standard SDN paradigm following the separation between the control and data planes. This work is a first step towards the deployment of our proposal in the University of California, Los Angeles (UCLA) campus network with differentiating services and stringent QoS requirements. We also plan to exploit our solution to manage the handoff between different network technologies, e.g., Wi-Fi and WiMAX. Indeed, the model can be run with different parameters, depending on the communication protocol and can provide optimal results to be implemented on the campus network.

Automatic Design of Boolean Networks for Modelling Differentiation Trees

Real living cell is a complex system governed by many process which are not yet fully understood: the process of cell differentiation is one of these. In this thesis work we make use of a cell differentiation model to develop gene regulatory networks (Boolean networks) with desired differentiation dynamics. To accomplish this task we have introduced techniques of automatic design and we have performed experiments using various differentiation trees. The results obtained have shown that the developed algorithms, except the Random algorithm, are able to generate Boolean networks with interesting differentiation dynamics. Moreover, we have presented some possible future applications and developments of the cell differentiation model in robotics and in medical research. Understanding the mechanisms involved in biological cells can gives us the possibility to explain some not yet understood dangerous disease, i.e the cancer. Le cellula è un sistema complesso governato da molti processi ancora non pienamente compresi: il differenziamento cellulare è uno di questi. In questa tesi utilizziamo un modello di differenziamento cellulare per sviluppare reti di regolazione genica (reti Booleane) con dinamiche di differenziamento desiderate. Per svolgere questo compito abbiamo introdotto tecniche di progettazione automatica e abbiamo eseguito esperimenti utilizzando vari alberi di differenziamento. I risultati ottenuti hanno mostrato che gli algoritmi sviluppati, eccetto l'algoritmo Random, sono in grado di poter generare reti Booleane con dinamiche di differenziamento interessanti. Inoltre, abbiamo presentato alcune possibili applicazioni e sviluppi futuri del modello di differenziamento in robotica e nella ricerca medica. Capire i meccanismi alla base del funzionamento cellulare può fornirci la possibilità di spiegare patologie ancora oggi non comprese, come il cancro.

Models for the assessment of resilience in water distribution networks

The following thesis work focuses on the use and implementation of advanced models for measuring the resilience of water distribution networks. In particular, the functions implemented in GRA Tool, a software developed by the University of Exeter (UK), and the functions of the Toolkit of Epanet 2.2 were investigated. The study of the resilience and failure, obtained through GRA Tool and the development of the methodology based on the combined use of EPANET 2.2 and MATLAB software, was tested in a first phase, on a small-sized literature water distribution network, so that the variability of the results could be perceived more clearly and with greater immediacy, and then, on a more complex network, that of Modena. In the specific, it has been decided to go to recreate a mode of failure deferred in time, one proposed by the software GRA Tool, that is failure to the pipes, to make a comparison between the two methodologies. The analysis of hydraulic efficiency was conducted using a synthetic and global network performance index, i.e., Resilience index, introduced by Todini in the years 2000-2016. In fact, this index, being one of the parameters with which to evaluate the overall state of "hydraulic well-being" of a network, has the advantage of being able to act as a criterion for selecting any improvements to be made on the network itself. Furthermore, during these analyzes, was shown the analytical development undergone over time by the formula of the Resilience Index. The final intent of this thesis work was to understand by what means to improve the resilience of the system in question, as the introduction of the scenario linked to the rupture of the pipelines was designed to be able to identify the most problematic branches, i.e., those that in the event of a failure it would entail greater damage to the network, including lowering the Resilience Index.

Study of an advanced transport system exploiting magnetic levitation: the Beckhoff XPlanar

The transport system is one of the most important components to be chosen in the design of an automatic machine. There is a wide variety of different choices that can be made in picking this element, each one having its own strengths and its own drawbacks. If it is desired to obtain some elaborate behaviour from the transport system, it is a good idea to think about some flexible and advanced solutions. Among these transport systems, the newest is the Beckhoff XPlanar. This transport system exploits magnetic levitation to move some passive magnetic movers on a completely customizable plane, in an entirely contact-free way. This provides a fast, clean, and noiseless motion, which is extremely desirable in a modern automatic machine. The purpose of this Thesis is to analyse the potentialities and the problems of this new device, starting from the basics. After having presented in detail the topic, an analysis on the hardware components needed to build this system is performed. Then, it is conducted a study on the concepts needed to know how to build a controller having the purpose of dealing with this system. After that, the various types of motion are studied and executed and, later on, some experiments on the real kit are carried out. These studies start from the diagnostic and involve other analyses that are used to test the limits of this transport system. In performing these analyses, it is noticed how the kit presents some problems in reaching the limits of the dynamics. Finally, two different types of station cycle are implemented, which are useful to get a rough idea on the potentialities of this new advanced transport system.