Hybrid constraint programming and metaheuristic methods for large scale optimization problems

This work presents hybrid Constraint Programming (CP) and metaheuristic methods for the solution of Large Scale Optimization Problems; it aims at integrating concepts and mechanisms from the metaheuristic methods to a CP-based tree search environment in order to exploit the advantages of both approaches. The modeling and solution of large scale combinatorial optimization problem is a topic which has arisen the interest of many researcherers in the Operations Research field; combinatorial optimization problems are widely spread in everyday life and the need of solving difficult problems is more and more urgent. Metaheuristic techniques have been developed in the last decades to effectively handle the approximate solution of combinatorial optimization problems; we will examine metaheuristics in detail, focusing on the common aspects of different techniques. Each metaheuristic approach possesses its own peculiarities in designing and guiding the solution process; our work aims at recognizing components which can be extracted from metaheuristic methods and re-used in different contexts. In particular we focus on the possibility of porting metaheuristic elements to constraint programming based environments, as constraint programming is able to deal with feasibility issues of optimization problems in a very effective manner. Moreover, CP offers a general paradigm which allows to easily model any type of problem and solve it with a problem-independent framework, differently from local search and metaheuristic methods which are highly problem specific. In this work we describe the implementation of the Local Branching framework, originally developed for Mixed Integer Programming, in a CP-based environment. Constraint programming specific features are used to ease the search process, still mantaining an absolute generality of the approach. We also propose a search strategy called Sliced Neighborhood Search, SNS, that iteratively explores slices of large neighborhoods of an incumbent solution by performing CP-based tree search and encloses concepts from metaheuristic techniques. SNS can be used as a stand alone search strategy, but it can alternatively be embedded in existing strategies as intensification and diversification mechanism. In particular we show its integration within the CP-based local branching. We provide an extensive experimental evaluation of the proposed approaches on instances of the Asymmetric Traveling Salesman Problem and of the Asymmetric Traveling Salesman Problem with Time Windows. The proposed approaches achieve good results on practical size problem, thus demonstrating the benefit of integrating metaheuristic concepts in CP-based frameworks.

Tecniche MonteCarlo per l'analisi di sistemi a rete

The assessment of the RAMS (Reliability, Availability, Maintainability and Safety) performances of system generally includes the evaluations of the “Importance” of its components and/or of the basic parameters of the model through the use of the Importance Measures. The analytical equations proposed in this study allow the estimation of the first order Differential Importance Measure on the basis of the Birnbaum measures of components, under the hypothesis of uniform percentage changes of parameters. The aging phenomena are introduced into the model by assuming exponential-linear or Weibull distributions for the failure probabilities. An algorithm based on a combination of MonteCarlo simulation and Cellular Automata is applied in order to evaluate the performance of a networked system, made up of source nodes, user nodes and directed edges subjected to failure and repair. Importance Sampling techniques are used for the estimation of the first and total order Differential Importance Measures through only one simulation of the system “operational life”. All the output variables are computed contemporaneously on the basis of the same sequence of the involved components, event types (failure or repair) and transition times. The failure/repair probabilities are forced to be the same for all components; the transition times are sampled from the unbiased probability distributions or it can be also forced, for instance, by assuring the occurrence of at least a failure within the system operational life. The algorithm allows considering different types of maintenance actions: corrective maintenance that can be performed either immediately upon the component failure or upon finding that the component has failed for hidden failures that are not detected until an inspection; and preventive maintenance, that can be performed upon a fixed interval. It is possible to use a restoration factor to determine the age of the component after a repair or any other maintenance action.

Sintesi e caratterizzazione di sistemi nanostrutturati per il trattamento del Glioblastoma multiforme

Nanomedicine is a science based on the preparation of nanosystems for biomedical application. The drugs can be entrapped inside the nanocarriers to improve the drug concentration in the diseased issue through a drug delivery approach; polimeric materials as PLGA-b-PEG has been revealed good properties for this purpose. To improve the nanosystem efficiency it is possible to bind a targeting agent on the carrier surface. In this thesis work silver nanoparticles or drugs as Temsirolimus and Alisertib have been entrapped in PLGA-b-PEG carriers. Chlorotoxin has been linked on the carrier surface as a specific targeting agent for brain tumors. Citotoxicity in vitro of the nanosystems on Glioblastoma cells has been studied.

Collaudo e analisi termografica di centraline elettroniche per sistemi automotive

Questa tesi affronta lo sviluppo di sistemi elettronici per il collaudo automatizzato di centraline elettroniche per sistemi automotive. Viene illustrato lo sviluppo di un simulatore per il collaudo basato su ambiente Labview. Inoltre, viene presentata un'analisi di fattibiltà del rilevamento di malfunzionamenti basata sull'elaborazione di immagini termografiche.

Sistemi Rh/CeO2-Al2O3 per l'ossidazione catalitica del metano

L’ossidazione catalitica parziale (CPO) del metano è un processo di elevato interesse scientifico ed industriale, permettendo la produzione su piccola scala di H2 o la produzione di syngas con un rapporto H2/CO = 2, utile per la produzione di metanolo o la sintesi di Fischer-Tropsch di idrocarburi. Inoltre, si possono raggiungere elevate conversioni del metano e selettività in syngas operando a bassi valori del tempo di contatto, riducendo così le dimensioni dei reattori. Tuttavia, gli elevati flussi e le temperature raggiunte nel letto possono condurre rapidamente alla disattivazione del catalizzatore; pertanto, è necessario lo sviluppo di materiali non soltanto attivi, ma anche stabili nelle condizioni di reazione. Lo scopo di questo lavoro è stato lo sviluppo di catalizzatori a base di Rh e ceria, utilizzati sia come pellets che supportati su una schiuma metallica. In particolare, il lavoro è stato focalizzato sulla sintesi, caratterizzazione ed attività catalitica di materiali Rh-CeO2-Al2O3. La presenza di CeO2 può modificare la dispersione del Rh metallico e la sua stabilità nei confronti della sinterizzazione e della formazione del carbone, mentre la stabilità termica è favorita dalla presenza di Al2O3. Poiché queste proprietà e, di conseguenza, le prestazione catalitiche dipendono dalla dimensioni delle particelle di CeO2 sono stati preparati catalizzatori con diverso contenuto di CeO2 (10 e 20 p/p %) ed utilizzando differenti metodi di preparazione per modularne le proprietà. Le sintesi sono effettuate per coprecipitazione e per sintesi con urea per trattamento micronde-idrotermale. Le prestazione dei catalizzatori in pellets sono state analizzate in un impianto di laboratorio operando a bassi valori del tempo di contatto e modificando la temperatura e la concentrazione della miscela gassosa, i.e. sia in condizioni lontane dall’equilibrio termodinamico che in condizioni prossime a quelle industriali. Un catalizzatore con lo stesso contenuto di Rh ed ottenuto da precursori tipo idrotalcite (HT) è stato utilizzato come riferimento. Per incrementare ulteriormente le prestazioni catalitiche, in particolare il trasferimento del calore lungo il letto catalitico, la migliore composizione individuata delle prove precedenti è stata depositata su pellets di una schiuma metallica (FeCrAlloy). E’ stato utilizzato il metodo dell’elettrosintesi per la deposizione di idrossidi di Rh, Ce e Al, ottenendo dopo calcinazione catalizzatori strutturati. Si è valutato l’effetto dei parametri di sintesi, potenziale applicato e tempo, sulle proprietà catalitiche. Anche in questo caso i risultati sono stati confrontati quelli ottenuti con un catalizzatori di riferimento ottenuti da un precursore HT preparati per elettrosintesi.