Heuristic algorithms for the Capacitated Location-Routing Problem and the Multi-Depot Vehicle Routing Problem

The Capacitated Location-Routing Problem (CLRP) is a NP-hard problem since it generalizes two well known NP-hard problems: the Capacitated Facility Location Problem (CFLP) and the Capacitated Vehicle Routing Problem (CVRP). The Multi-Depot Vehicle Routing Problem (MDVRP) is known to be a NP-hard since it is a generalization of the well known Vehicle Routing Problem (VRP), arising with one depot. This thesis addresses heuristics algorithms based on the well-know granular search idea introduced by Toth and Vigo (2003) to solve the CLRP and the MDVRP. Extensive computational experiments on benchmark instances for both problems have been performed to determine the effectiveness of the proposed algorithms. This work is organized as follows: Chapter 1 describes a detailed overview and a methodological review of the literature for the the Capacitated Location-Routing Problem (CLRP) and the Multi-Depot Vehicle Routing Problem (MDVRP). Chapter 2 describes a two-phase hybrid heuristic algorithm to solve the CLRP. Chapter 3 shows a computational comparison of heuristic algorithms for the CLRP. Chapter 4 presents a hybrid granular tabu search approach for solving the MDVRP.

Nonlinear constrained and saturated control of power electronics and electromechanical systems

Power electronic converters are extensively adopted for the solution of timely issues, such as power quality improvement in industrial plants, energy management in hybrid electrical systems, and control of electrical generators for renewables. Beside nonlinearity, this systems are typically characterized by hard constraints on the control inputs, and sometimes the state variables. In this respect, control laws able to handle input saturation are crucial to formally characterize the systems stability and performance properties. From a practical viewpoint, a proper saturation management allows to extend the systems transient and steady-state operating ranges, improving their reliability and availability. The main topic of this thesis concern saturated control methodologies, based on modern approaches, applied to power electronics and electromechanical systems. The pursued objective is to provide formal results under any saturation scenario, overcoming the drawbacks of the classic solution commonly applied to cope with saturation of power converters, and enhancing performance. For this purpose two main approaches are exploited and extended to deal with power electronic applications: modern anti-windup strategies, providing formal results and systematic design rules for the anti-windup compensator, devoted to handle control saturation, and “one step” saturated feedback design techniques, relying on a suitable characterization of the saturation nonlinearity and less conservative extensions of standard absolute stability theory results. The first part of the thesis is devoted to present and develop a novel general anti-windup scheme, which is then specifically applied to a class of power converters adopted for power quality enhancement in industrial plants. In the second part a polytopic differential inclusion representation of saturation nonlinearity is presented and extended to deal with a class of multiple input power converters, used to manage hybrid electrical energy sources. The third part regards adaptive observers design for robust estimation of the parameters required for high performance control of power systems.

Nonlinear Observers for Sensorless Control of Permanent Magnet Synchronous Motors

In this thesis, the industrial application of control a Permanent Magnet Synchronous Motor in a sensorless configuration has been faced, and in particular the task of estimating the unknown “parameters” necessary for the application of standard motor control algorithms. In literature several techniques have been proposed to cope with this task, among them the technique based on model-based nonlinear observer has been followed. The hypothesis of neglecting the mechanical dynamics from the motor model has been applied due to practical and physical considerations, therefore only the electromagnetic dynamics has been used for the observers design. First observer proposed is based on stator currents and Stator Flux dynamics described in a generic rotating reference frame. Stator flux dynamics are known apart their initial conditions which are estimated, with speed that is also unknown, through the use of the Adaptive Theory. The second observer proposed is based on stator currents and Rotor Flux dynamics described in a self-aligning reference frame. Rotor flux dynamics are described in the stationary reference frame exploiting polar coordinates instead of classical Cartesian coordinates, by means the estimation of amplitude and speed of the rotor flux. The stability proof is derived in a Singular Perturbation Framework, which allows for the use the current estimation errors as a measure of rotor flux estimation errors. The stability properties has been derived using a specific theory for systems with time scale separation, which guarantees a semi-global practical stability. For the two observer ideal simulations and real simulations have been performed to prove the effectiveness of the observers proposed, real simulations on which the effects of the Inverter nonlinearities have been introduced, showing the already known problems of the model-based observers for low speed applications.

Gait analysis using a single wearable inertial measurement unit

Procedures for quantitative walking analysis include the assessment of body segment movements within defined gait cycles. Recently, methods to track human body motion using inertial measurement units have been suggested. It is not known if these techniques can be readily transferred to clinical measurement situations. This work investigates the aspects necessary for one inertial measurement unit mounted on the lower back to track orientation, and determine spatio-temporal features of gait outside the confines of a conventional gait laboratory. Apparent limitations of different inertial sensors can be overcome by fusing data using methods such as a Kalman filter. The benefits of optimizing such a filter for the type of motion are unknown. 3D accelerations and 3D angular velocities were collected for 18 healthy subjects while treadmill walking. Optimization of Kalman filter parameters improved pitch and roll angle estimates when compared to angles derived using stereophotogrammetry. A Weighted Fourier Linear Combiner method for estimating 3D orientation angles by constructing an analytical representation of angular velocities and allowing drift free integration is also presented. When tested this method provided accurate estimates of 3D orientation when compared to stereophotogrammetry. Methods to determine spatio-temporal features from lower trunk accelerations generally require knowledge of sensor alignment. A method was developed to estimate the instants of initial and final ground contact from accelerations measured by a waist mounted inertial device without rigorous alignment. A continuous wavelet transform method was used to filter and differentiate the signal and derive estimates of initial and final contact times. The technique was tested with data recorded for both healthy and pathologic (hemiplegia and Parkinson’s disease) subjects and validated using an instrumented mat. The results show that a single inertial measurement unit can assist whole body gait assessment however further investigation is required to understand altered gait timing in some pathological subjects.

Il rapporto architettura – suolo nell’opera di Aldo Rossi

La ricerca muove dal presupposto che l’opera di Aldo Rossi sia stata analizzata finora secondo un criterio tipologico. Tale approccio è una tra le possibili chiavi di lettura del lavoro dell’architetto. Nel tentativo di individuare un’interpretazione dell’opera di Rossi legata a sistemi immutabili nel tempo si è ritenuto necessario approfondire la relazione che si stabilisce tra la sua opera e il suolo. Attraverso la definizione di due categorie di lettura dei progetti dell’autore, che si basano su continuità o discontinuità fisica del progetto rispetto al suolo, si comprende come il rapporto tra area e progetto produca nel tempo soluzioni ricorrenti. In base a questa interpretazione muro e pilastro costituiscono due elementi fondamentali del linguaggio di Rossi. Essi a loro volta si allacciano ad un sistema di riferimento più ampio di cui tettonica e arte muraria sono i capisaldi. La ricerca si articola in tre parti, all’interno delle quali sono sviluppati specifici capitoli. La prima parte, sistema di riferimento, è necessaria a delineare un vocabolario utile per isolare il tema trattato. Essa è fondamentale per comprendere la posizione occupata da Rossi rispetto alle esperienze verificatesi nel corso della storia, relativamente al rapporto spazio - architettura - suolo. La seconda parte, arte muraria, serve a mettere in luce l’influenza che la componente massiva e plastica del terreno ha determinato nella definizione di specifiche soluzioni progettuali. La terza parte, tettonica, delinea invece un approccio opposto al precedente, individuando quei progetti in cui il rapporto col suolo è stato sminuito o addirittura negato, aumentando il senso di sospensione dei volumi nello spazio. In definitiva, l’influenza che il rapporto col suolo ha determinato sulle scelte progettuali di Rossi rappresenta l’interrogativo principale di questa ricerca.

Model predictive control in thermal management of multiprocessor systems-on-chip

MultiProcessor Systems-on-Chip (MPSoC) are the core of nowadays and next generation computing platforms. Their relevance in the global market continuously increase, occupying an important role both in everydaylife products (e.g. smartphones, tablets, laptops, cars) and in strategical market sectors as aviation, defense, robotics, medicine. Despite of the incredible performance improvements in the recent years processors manufacturers have had to deal with issues, commonly called “Walls”, that have hindered the processors development. After the famous “Power Wall”, that limited the maximum frequency of a single core and marked the birth of the modern multiprocessors system-on-chip, the “Thermal Wall” and the “Utilization Wall” are the actual key limiter for performance improvements. The former concerns the damaging effects of the high temperature on the chip caused by the large power densities dissipation, whereas the second refers to the impossibility of fully exploiting the computing power of the processor due to the limitations on power and temperature budgets. In this thesis we faced these challenges by developing efficient and reliable solutions able to maximize performance while limiting the maximum temperature below a fixed critical threshold and saving energy. This has been possible by exploiting the Model Predictive Controller (MPC) paradigm that solves an optimization problem subject to constraints in order to find the optimal control decisions for the future interval. A fully-distributedMPC-based thermal controller with a far lower complexity respect to a centralized one has been developed. The control feasibility and interesting properties for the simplification of the control design has been proved by studying a partial differential equation thermal model. Finally, the controller has been efficiently included in more complex control schemes able to minimize energy consumption and deal with mixed-criticalities tasks

Residual visual processing following real or virtual lesions to primary visual pathways

Lesions to the primary geniculo-striate visual pathway cause blindness in the contralesional visual field. Nevertheless, previous studies have suggested that patients with visual field defects may still be able to implicitly process the affective valence of unseen emotional stimuli (affective blindsight) through alternative visual pathways bypassing the striate cortex. These alternative pathways may also allow exploitation of multisensory (audio-visual) integration mechanisms, such that auditory stimulation can enhance visual detection of stimuli which would otherwise be undetected when presented alone (crossmodal blindsight). The present dissertation investigated implicit emotional processing and multisensory integration when conscious visual processing is prevented by real or virtual lesions to the geniculo-striate pathway, in order to further clarify both the nature of these residual processes and the functional aspects of the underlying neural pathways. The present experimental evidence demonstrates that alternative subcortical visual pathways allow implicit processing of the emotional content of facial expressions in the absence of cortical processing. However, this residual ability is limited to fearful expressions. This finding suggests the existence of a subcortical system specialised in detecting danger signals based on coarse visual cues, therefore allowing the early recruitment of flight-or-fight behavioural responses even before conscious and detailed recognition of potential threats can take place. Moreover, the present dissertation extends the knowledge about crossmodal blindsight phenomena by showing that, unlike with visual detection, sound cannot crossmodally enhance visual orientation discrimination in the absence of functional striate cortex. This finding demonstrates, on the one hand, that the striate cortex plays a causative role in crossmodally enhancing visual orientation sensitivity and, on the other hand, that subcortical visual pathways bypassing the striate cortex, despite affording audio-visual integration processes leading to the improvement of simple visual abilities such as detection, cannot mediate multisensory enhancement of more complex visual functions, such as orientation discrimination.

Coordination and Control of Autonomous Mobile Robots Swarms by using Particle Swarm Optimization Algorithm and Consensus Theory

This thesis presents some different techniques designed to drive a swarm of robots in an a-priori unknown environment in order to move the group from a starting area to a final one avoiding obstacles. The presented techniques are based on two different theories used alone or in combination: Swarm Intelligence (SI) and Graph Theory. Both theories are based on the study of interactions between different entities (also called agents or units) in Multi- Agent Systems (MAS). The first one belongs to the Artificial Intelligence context and the second one to the Distributed Systems context. These theories, each one from its own point of view, exploit the emergent behaviour that comes from the interactive work of the entities, in order to achieve a common goal. The features of flexibility and adaptability of the swarm have been exploited with the aim to overcome and to minimize difficulties and problems that can affect one or more units of the group, having minimal impact to the whole group and to the common main target. Another aim of this work is to show the importance of the information shared between the units of the group, such as the communication topology, because it helps to maintain the environmental information, detected by each single agent, updated among the swarm. Swarm Intelligence has been applied to the presented technique, through the Particle Swarm Optimization algorithm (PSO), taking advantage of its features as a navigation system. The Graph Theory has been applied by exploiting Consensus and the application of the agreement protocol with the aim to maintain the units in a desired and controlled formation. This approach has been followed in order to conserve the power of PSO and to control part of its random behaviour with a distributed control algorithm like Consensus.

Il viaggio celeste di Paolo (2Cor 12,1-10). Particolarità e funzionalità di una forma di contatto con il soprannaturale

L’obiettivo principale di questa ricerca è quello di affrontare le questioni critiche poste all’esegesi da uno dei passi paolini più discussi. Grazie all’impiego delle categorie connesse all’esperienza religiosa, si vuole argomentare la possibilità di leggere il viaggio celeste in termini di modello culturale attraverso il quale interpretare un’esperienza di contatto con il soprannaturale. L’approccio individuato può consentire di rivalutare la funzione di tale narrazione non solo nel contesto di 2 Corinzi, bensì anche in relazione ai paralleli letterari di matrice tanto giudaica e protocristiana quanto greco-romana. Conseguenza di simile analisi ad ampio raggio è il riconoscimento dell’importanza attribuita da Paolo ad esperienze di questo tipo, come testimoniato da alcuni brani centrali delle sue lettere.

Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems

The main goal of this thesis is to facilitate the process of industrial automated systems development applying formal methods to ensure the reliability of systems. A new formulation of distributed diagnosability problem in terms of Discrete Event Systems theory and automata framework is presented, which is then used to enforce the desired property of the system, rather then just verifying it. This approach tackles the state explosion problem with modeling patterns and new algorithms, aimed for verification of diagnosability property in the context of the distributed diagnosability problem. The concepts are validated with a newly developed software tool.

Deidrogenazione catalitica di idrocarburi per la produzione di H2 "on-board"

Lo studio della deidrogenazione catalitica di idrocarburi affronta uno dei problemi principali per l'applicazione delle fuel cells in aeromobili. La conversione di miscele di idrocarburi in H2 può essere eseguita in loco, evitando le difficoltà di stoccaggio dell'idrogeno: l'H2 prodotto è privo di CO e CO2 e può essere alimentato direttamente alle celle a combustibile per dare energia ai sistemi ausiliari, mentre i prodotti deidrogenati, mantenendo le loro originali caratteristiche possono essere riutilizzati come carburante. In questo un lavoro è stato effettuato uno studio approfondito sulla deidrogenazione parziale (PDH) di diverse miscele di idrocarburi e carburante avio JetA1 desolforato utilizzando Pt-Sn/Al2O3, con l'obiettivo di mettere in luce i principali parametri (condizioni di reazione e composizione di catalizzatore) coinvolti nel processo di deidrogenazione. Inoltre, la PDH di miscele idrocarburiche e di Jet-A1 ha evidenziato che il problema principale in questa reazione è la disattivazione del catalizzatore, a causa della formazione di residui carboniosi e dell’avvelenamento da zolfo. Il meccanismo di disattivazione da residui carboniosi è stato studiato a fondo, essendo uno dei principali fattori che influenzano la vita del catalizzatore e di conseguenza l'applicabilità processo. Alimentando molecole modello separatamente, è stato possibile discriminare le classi di composti che sono coinvolti principalmente nella produzione di H2 o nell’avvelenamento del catalizzatore. Una riduzione parziale della velocità di disattivazione è stata ottenuta modulando l'acidità del catalizzatore al fine di ottimizzare le condizioni di reazione. I catalizzatori Pt-Sn modificati hanno mostrato ottimi risultati in termini di attività, ma soffrono di una disattivazione rapida in presenza di zolfo. Così, la sfida finale di questa ricerca era sviluppare un sistema catalitico in grado di lavorare in condizioni reali con carburante ad alto tenore di zolfo, in questo campo sono stati studiati due nuove classi di materiali: Ni e Co fosfuri supportati su SiO2 e catalizzatori Pd-Pt/Al2O3.

Gli interventi del presidente della repubblica in sede di promulgazione ed emanazione degli atti legislativi

I tre capitoli in cui è suddiviso il lavoro cercano di offrire una ricognizione delle questioni che ruotano intorno alla sussistenza o meno di prerogative presidenziali riguardo l’attività legislativa, e in generale sulle eventuali trasformazioni avvenute, soprattutto negli ultimi anni, nel ruolo del Presidente della Repubblica all’interno del sistema costituzionale italiano. Il lavoro esordisce con una premessa metodologica con cui si tenta di valorizzare la questione relativa ai diversi approcci metodologici che si possono seguire nello studio delle tematiche presidenziali: ossia, tenere nettamente distinti il piano delle norme da quello delle prassi oppure analizzarli e valutarli congiuntamente. Il primo capitolo è dedicato all’analisi della figura presidenziale così come delineata dalla Costituzione e arricchita dagli oltre sessant’anni di letteratura costituzionale. Vengono quindi analizzate le disposizioni costituzionali di riferimento e viene dato conto delle principali teorie costituzionali espresse dalla letteratura giuridica. Il secondo capitolo è dedicato a quella che viene offerta come una delle possibili cause da cui traggono origine le evoluzioni registrate in questi ultimi anni dalla figura presidenziale: ossia, il mutamento del sistema costituzionale di rappresentanza politica. Tale elemento è analizzato soprattutto nel suo ambito istituzionale, vale a dire il modello di forma di governo rappresentato dal circuito parlamento-governo. Il terzo capitolo entra direttamente nelle due questioni di fondo della ricerca: da un lato lo studio della generale attività presidenziale di intervento nelle questioni politiche, attraverso comunicati o esternazioni; dall’altro lato l’analisi di alcuni specifici casi paradigmatici di intervento presidenziale in sede di emanazione o promulgazione (o, comunque, discussione) degli atti legislativi del governo e del parlamento, accaduti tra il 2006 e il 2013. Inoltre, il lavoro è arricchito da una importante sezione (allegata) di “case studies” contenente il risultato di una ricerca effettuata su oltre tremila documenti presidenziali, dal 2006 al 2013, resi pubblici dagli uffici del Quirinale.

Networks, Uncertainty, Applications and a Crusade for Optimality

In this thesis we address a collection of Network Design problems which are strongly motivated by applications from Telecommunications, Logistics and Bioinformatics. In most cases we justify the need of taking into account uncertainty in some of the problem parameters, and different Robust optimization models are used to hedge against it. Mixed integer linear programming formulations along with sophisticated algorithmic frameworks are designed, implemented and rigorously assessed for the majority of the studied problems. The obtained results yield the following observations: (i) relevant real problems can be effectively represented as (discrete) optimization problems within the framework of network design; (ii) uncertainty can be appropriately incorporated into the decision process if a suitable robust optimization model is considered; (iii) optimal, or nearly optimal, solutions can be obtained for large instances if a tailored algorithm, that exploits the structure of the problem, is designed; (iv) a systematic and rigorous experimental analysis allows to understand both, the characteristics of the obtained (robust) solutions and the behavior of the proposed algorithm.

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.

Decomposition Methods and Network Design Problems

Decomposition based approaches are recalled from primal and dual point of view. The possibility of building partially disaggregated reduced master problems is investigated. This extends the idea of aggregated-versus-disaggregated formulation to a gradual choice of alternative level of aggregation. Partial aggregation is applied to the linear multicommodity minimum cost flow problem. The possibility of having only partially aggregated bundles opens a wide range of alternatives with different trade-offs between the number of iterations and the required computation for solving it. This trade-off is explored for several sets of instances and the results are compared with the ones obtained by directly solving the natural node-arc formulation. An iterative solution process to the route assignment problem is proposed, based on the well-known Frank Wolfe algorithm. In order to provide a first feasible solution to the Frank Wolfe algorithm, a linear multicommodity min-cost flow problem is solved to optimality by using the decomposition techniques mentioned above. Solutions of this problem are useful for network orientation and design, especially in relation with public transportation systems as the Personal Rapid Transit. A single-commodity robust network design problem is addressed. In this, an undirected graph with edge costs is given together with a discrete set of balance matrices, representing different supply/demand scenarios. The goal is to determine the minimum cost installation of capacities on the edges such that the flow exchange is feasible for every scenario. A set of new instances that are computationally hard for the natural flow formulation are solved by means of a new heuristic algorithm. Finally, an efficient decomposition-based heuristic approach for a large scale stochastic unit commitment problem is presented. The addressed real-world stochastic problem employs at its core a deterministic unit commitment planning model developed by the California Independent System Operator (ISO).