Constraint based methods for allocation and scheduling of periodic applications

This work presents exact algorithms for the Resource Allocation and Cyclic Scheduling Problems (RA&CSPs). Cyclic Scheduling Problems arise in a number of application areas, such as in hoist scheduling, mass production, compiler design (implementing scheduling loops on parallel architectures), software pipelining, and in embedded system design. The RA&CS problem concerns time and resource assignment to a set of activities, to be indefinitely repeated, subject to precedence and resource capacity constraints. In this work we present two constraint programming frameworks facing two different types of cyclic problems. In first instance, we consider the disjunctive RA&CSP, where the allocation problem considers unary resources. Instances are described through the Synchronous Data-flow (SDF) Model of Computation. The key problem of finding a maximum-throughput allocation and scheduling of Synchronous Data-Flow graphs onto a multi-core architecture is NP-hard and has been traditionally solved by means of heuristic (incomplete) algorithms. We propose an exact (complete) algorithm for the computation of a maximum-throughput mapping of applications specified as SDFG onto multi-core architectures. Results show that the approach can handle realistic instances in terms of size and complexity. Next, we tackle the Cyclic Resource-Constrained Scheduling Problem (i.e. CRCSP). We propose a Constraint Programming approach based on modular arithmetic: in particular, we introduce a modular precedence constraint and a global cumulative constraint along with their filtering algorithms. Many traditional approaches to cyclic scheduling operate by fixing the period value and then solving a linear problem in a generate-and-test fashion. Conversely, our technique is based on a non-linear model and tackles the problem as a whole: the period value is inferred from the scheduling decisions. The proposed approaches have been tested on a number of non-trivial synthetic instances and on a set of realistic industrial instances achieving good results on practical size problem.

Fenomeni di transizione degli organismi edilizi, criteri operativi di inserimento ambientale e procedure di intervento

La presente tesi indaga le potenzialità, in termini di criteri operativi di inserimento ambientale e procedure di intervento, che possono derivare dall’analisi dei fenomeni insediativi facendo riferimento ai concetti di ‘transizione’ e ‘resilienza’. L’attuale periodo di crisi sembra scaturire dal disequilibrio di due fattori: le esigenze umane e l’ambiente. La contestualizzazione degli interventi, il graduale adattamento alle risorse ambientali locali e la valorizzazione dei processi “dal basso” sembrano consentire di riappropriarsi sia del valore identitario dei luoghi, dando risposta ai problemi di natura sociale evidenziati, sia della eco-compatibilità delle trasformazioni, del corretto utilizzo delle risorse energetiche e della gestione delle dinamiche economiche, in risposta ai problemi ambientali analizzati. Il prefigurare applicazioni pratiche del modello di trasformazione indagato alla scala edilizia, utilizzando tavole parametriche di analisi del costruito, viste d’insieme planivolumetriche ed elaborazioni di dati e immagini, può consentire la gestione di eventuali fasi di programmazione e di pianificazione da parte delle amministrazioni finalizzate a favorire e non ostacolare i presenti e futuri fenomeni di transizione. Particolarmente significativa appare l’analisi delle diverse tendenze di ricerca progettuale in atto, con riferimento a contributi caratterizzati da un’impostazione fenomenologica e tipo-morfologica, che dimostra l’attualità degli argomenti affrontati. La ricerca di Dottorato si conclude con l’applicazione dei criteri operativi di inserimento ambientale e delle procedure di intervento individuati ad uno specifico caso di studio.

Efficacia e complicanze durante la curva di apprendimento della Thulep: risultati a breve e medio termine delle prime 48 procedure

MATERIALI E METODI: Tra il 2012 e il 2013, abbiamo analizzato in uno studio prospettico i dati di 48 pazienti sottoposti a ThuLEP con approccio autodidatta. I pazienti sono stati rivalutati a 3, 6, 12 e 24 mesi con la valutazione del PSA, il residuo post-minzionale (RPM), l'uroflussometria (Qmax), l'ecografia transrettale e questionari validati (IPSS: international prostate symptom score e QoL: quality of life) RISULTATI: Il volume medio della prostata è di 63 ± 5,3 ml. Il tempo operatorio medio è stato di 127,58 ± 28.50 minuti. Il peso medio del tessuto asportato è stato di 30,40 ± 13,90 gr. A 6 mesi dopo l'intervento l'RPM medio è diminuito da 165,13 ± 80,15 ml a 7,78 ± 29.19 ml, mentre il Qmax medio è aumentato da 5.75 ± 1.67ml / s a 18.1 ± 5.27 ml / s. I valori medi dei IPSS e QoL hanno dimostrato un progressivo miglioramento: da 19.15 (IQR: 2-31) e 4 (IQR: 1-6) nel preoperatorio a 6.04 (IQR: 1-20) e 1.13 (IQR: 1-4), rispettivamente. Durante la curva di apprendimento si è assistito ad un progressivo aumento del peso del tessuto enucleato e ad una progressiva riduzione del tempo di ospedalizzazione e di cateterismo. Tra le principali complicanze ricordiamo un tasso di incontinenza transitoria del 12,5% a 3 mesi e del 2.1% a 12 mesi. CONCLUSIONI: ThuLEP rappresenta una tecnica chirurgica efficace, sicura e riproducibile indipendentemente dalle dimensioni della prostata. I nostri dati suggeriscono che la ThuLEP offre un miglioramento significativo dei parametri funzionali comparabili con le tecniche tradizionali, nonostante una lunga curva di apprendimento.

Groupme: city data and multi-preference activity allocation

Classic group recommender systems focus on providing suggestions for a fixed group of people. Our work tries to give an inside look at design- ing a new recommender system that is capable of making suggestions for a sequence of activities, dividing people in subgroups, in order to boost over- all group satisfaction. However, this idea increases problem complexity in more dimensions and creates great challenge to the algorithm’s performance. To understand the e↵ectiveness, due to the enhanced complexity and pre- cise problem solving, we implemented an experimental system from data collected from a variety of web services concerning the city of Paris. The sys- tem recommends activities to a group of users from two di↵erent approaches: Local Search and Constraint Programming. The general results show that the number of subgroups can significantly influence the Constraint Program- ming Approaches’s computational time and e�cacy. Generally, Local Search can find results much quicker than Constraint Programming. Over a lengthy period of time, Local Search performs better than Constraint Programming, with similar final results.

Un modello di asset allocation strategica

La tesi affronta il problema di Finanza Matematica dell'asset allocation strategica che consiste nel processo di ripartizione ottimale delle risorse tra diverse attività finanziarie presenti su un mercato. Sulla base della teoria di Harry Markowitz, attraverso passaggi matematici rigorosi si costruisce un portafoglio che risponde a dei requisiti di efficienza in termini di rapporto rischio-rendimento. Vengono inoltre forniti esempi di applicazione elaborati attraverso il software Mathematica.

Nuove procedure sintetiche sostenibili per la preparazione di strutture poliuretaniche

Questo lavoro di tesi si inserisce in un contesto di ricerca molto attuale, il quale, studia nuove procedure sintetiche sostenibili per la preparazione di strutture poliuretaniche. Partendo dall’etilene carbonato e dall’esametilendiammina, due molecole che possono essere ricavate da fonti rinnovabili, sono state ottimizzate la sintesi e la purificazione di un carbammato: bis(2-idrossietil)-esan-1,6-diildicarbammato (BHEDC), senza l’impiego di solventi ed in condizioni blande. Il BHEDC è conosciuto in letteratura, ma è poco studiato e non viene attualmente utilizzato come monomero. In questo lavoro il bis(2-idrossietil)-esan-1,6-diildicarbammato è stato polimerizzato in massa con diverse percentuali di bis(2-idrossietil)-tereftalato (BHET), il quale non è ricavabile da fonti naturali ma è ottenibile dal riciclo chimico del Poli-Etilene Tereftalato (PET). Sono state successivamente analizzate la struttura chimica e le proprietà termiche nonché spettroscopiche dei nuovi composti poliuretanici, così da poterne definire le correlazioni tra la struttura e le prestazioni finali. Infine, è stata messa a punto una procedura di tipo one-pot per la preparazione dei poliuretani sopra citati; questa prevede la sintesi diretta dei polimeri senza la necessità dello stadio di purificazione del bis(2-idrossietil)-esan-1,6-diildicarbammato.

Set up of a procedure for correlation analysis between current discharge and dose delivery in a pulsed power plasma device for medical application

This thesis work aims to find a procedure for isolating specific features of the current signal from a plasma focus for medical applications. The structure of the current signal inside a plasma focus is exclusive of this class of machines and a specific analysis procedure has to be developed. The hope is to find one or more features that shows a correlation with the dose erogated. The study of the correlation between the current discharge signal and the dose delivered by a plasma focus could be of some importance not only for the practical application of dose prediction but also for expanding the knowledge anbout the plasma focus physics. Vatious classes of time-frequency analysis tecniques are implemented in order to solve the problem.

Distributed allocation and scheduling of applications on HPC platforms

High Performance Computing e una tecnologia usata dai cluster computazionali per creare sistemi di elaborazione che sono in grado di fornire servizi molto piu potenti rispetto ai computer tradizionali. Di conseguenza la tecnologia HPC e diventata un fattore determinante nella competizione industriale e nella ricerca. I sistemi HPC continuano a crescere in termini di nodi e core. Le previsioni indicano che il numero dei nodi arrivera a un milione a breve. Questo tipo di architettura presenta anche dei costi molto alti in termini del consumo delle risorse, che diventano insostenibili per il mercato industriale. Un scheduler centralizzato non e in grado di gestire un numero di risorse cosi alto, mantenendo un tempo di risposta ragionevole. In questa tesi viene presentato un modello di scheduling distribuito che si basa sulla programmazione a vincoli e che modella il problema dello scheduling grazie a una serie di vincoli temporali e vincoli sulle risorse che devono essere soddisfatti. Lo scheduler cerca di ottimizzare le performance delle risorse e tende ad avvicinarsi a un profilo di consumo desiderato, considerato ottimale. Vengono analizzati vari modelli diversi e ognuno di questi viene testato in vari ambienti.

Multimodal Registration Procedure for the Initial Spatial Alignment of a Retinal Video Sequence to a Retinal Composite Image

Accurate placement of lesions is crucial for the effectiveness and safety of a retinal laser photocoagulation treatment. Computer assistance provides the capability for improvements to treatment accuracy and execution time. The idea is to use video frames acquired from a scanning digital ophthalmoscope (SDO) to compensate for retinal motion during laser treatment. This paper presents a method for the multimodal registration of the initial frame from an SDO retinal video sequence to a retinal composite image, which may contain a treatment plan. The retinal registration procedure comprises the following steps: 1) detection of vessel centerline points and identification of the optic disc; 2) prealignment of the video frame and the composite image based on optic disc parameters; and 3) iterative matching of the detected vessel centerline points in expanding matching regions. This registration algorithm was designed for the initialization of a real-time registration procedure that registers the subsequent video frames to the composite image. The algorithm demonstrated its capability to register various pairs of SDO video frames and composite images acquired from patients.

Surgical hip dislocation for osteochondral transplantation as a salvage procedure for a femoral head impaction fracture

Obturator anterior hip dislocation is very rare. Poor results are described in patients with additional large transchondral fractures and treatment of these injuries remains challenging. Appropriate treatment recommendations are missing in the literature. This case report introduces surgical hip dislocation for osteochondral autograft transplantation with graft harvest from the nonweightbearing area of the head-neck junction as a salvage procedure in a large femoral head defect. We report the treatment and outcome of a 48-year-old man who sustained an anterior dislocation of the left hip after a motorcycle accident. After initial closed reduction in the emergency room, imaging analysis revealed a large osteochondral defect of the femoral head within the weightbearing area (10 × 20 mm, depth: 5 mm). The hip was exposed with a surgical hip dislocation using a trochanteric osteotomy. An osteochondral autograft was harvested from a nonweightbearing area of the femoral head and transferred into the defect. The patient was prospectively examined clinically and radiologically. Two years postoperatively, the patient was free of pain and complaints. The function of the injured hip was comparable to that of the contralateral, healthy hip and showed satisfying radiologic results. Surgical hip dislocation with a trochanteric flip osteotomy is a simple, one-step technique that allows full inspection of the hip to treat osteochondral femoral defects by osteochondral transplantation. The presented technique, used as a salvage procedure in a large femoral head defect, yielded good clinical and satisfying radiologic outcomes at the midterm.

Treatment of slipped capital femoral epiphysis with a modified Dunn procedure

Surgical procedures with use of traditional techniques to reposition the proximal femoral epiphysis in the treatment of slipped capital femoral epiphysis are associated with a high rate of femoral head osteonecrosis. Therefore, most surgeons advocate in situ fixation of the slipped epiphysis with acceptance of any persistent deformity in the proximal part of the femur. This residual deformity can lead to secondary osteoarthritis resulting from femoroacetabular cam impingement.

Procedural and mid-term results in patients with aortic stenosis treated with implantation of 2 (in-series) CoreValve prostheses in 1 procedure

This study sought to assess post-procedural and mid-term outcome of patients, in which a second "in-series" CoreValve prosthesis (Medtronic, Minneapolis, Minnesota) was implanted during the same procedure.