Sviluppo di un sistema per allocazione e scheduling di applicazioni periodiche

In questa tesi, viene illustrato un metodo risolutivo al problema dell’allocazione e schedulazione, su risorse eterogenee con capacità unaria rinnovabile e cumulativa non rinnovabile, di applicazioni multitask periodiche, con periodi in relazione armonica, strutturate in attività indipendenti o sottoposte a vincoli di precedenza e con durate dipendenti dalla specifica risorsa di allocazione. L’obiettivo è quello di fornire un’implementazione del modello in grado di gestire l’allocazione e la schedulazione di istanze (i.e. insieme di applicazioni) variabili, caratterizzate da una serie di parametri. La struttura implementativa, realizzata secondo la Logic-based Benders decomposition, prevede la suddivisione del problema in due moduli. Il primo in grado di generare un’allocazione e realizzato con tecniche di programmazione lineare intera mista, il secondo con lo scopo di controllare l’ammissibilità di tale allocazione attraverso una schedulazione ottima e realizzato mediante tecniche di programmazione a vincoli. Il meccanismo di comunicazione tra i due moduli avviene mediante vincoli lineari, denominati tagli di Benders, che vengono aggiunti dopo ogni iterazione del sistema. L’efficacia del modello sarà valutata confrontando i risultati ottenuti attraverso una serie di test, con i valori forniti da un metodo di allocazione e schedulazione alternativo.

Uguaglianza e differenza di genere nella riforma del diritto di famiglia: una lettura luhmanniana

La igualdad ante la ley es uno de los derechos fundamentales de las Constituciones modernas. Sin embargo, hay algo más. De hecho podría decirse que los modernos sistemas jurídicos se han ido formando alrededor de la idea de igualdad. El valor de la igualdad parece expresar una manera común de entender las relaciones humanas, especialmente en el caso de la igualdad de género, expresamente mencionado por el artículo de las Constituciones democráticas modernas que se refiere al principio de igualdad ante la ley. El presente estudio trata esa forma específica de igualdad que se caracteriza por la paradoja de querer tratar como igual lo que es diferente, o sea, de hacer distinciones sin discriminar. Con este fin nos referimos al enfoque jurídico y al enfoque político del tema como se encuentran en la reforma del derecho de familia. No es un problema de una específica legislación nacional, sino más bien una versión específica de un problema de nivel general. Se trata de la imposibilidad de construir como indistinguible lo que es diferente. El intento político de reformar el derecho de familia para implementar el principio constitucional de igualdad no consigue resolver el problema. Éste vuelve a aparecer por la imposibilidad que el derecho funcione sin crear diferencias. Al mismo tiempo, surgen problemas nuevos relacionado con formas nuevas de organizar la vida familiar.

Influenza delle condizioni di fornitura sul comportamento meccanico della lega di alluminio EN AW-5052 H39

ABSTRACT Il lavoro di tesi si basa sullo studio commissionato dall’azienda Pelliconi S.p.A di Ozzano dell'Emilia, specializzata nella produzione di tappi metallici per bottiglie. Questi tappi sono prodotti a partire da fogli sottili in lega di alluminio EN AW-5052 H39 e si necessita una ottimizzazione tecnico-economica nel settore della fornitura. L’obiettivo di questa tesi è analizzare le condizioni di fornitura della lega di alluminio EN AW-5052 H39 fornita da tre differenti fornitori (tra cui quello di riferimento) per stabilire quale di essi fornisca la lega più adatta al processo aziendale. L'elaborato è diviso in due parti, una compilativa ed una sperimentale. Nella prima, ci si occupa dei riferimenti normativi riguardanti le proprietà meccaniche delle leghe oggetto dello studio. Nella seconda, si introducono i materiali ed i metodi sperimentali utilizzati e si discutono i risultati ottenuti. A conclusione dello studio, si può affermare che, contrariamente a quanto imposto dalle specifiche aziendali e dalle normative sugli stati metallurgici di fornitura, tutti i laminati forniti mutano le loro proprietà a seguito del processo di laccatura subito dalle lamiere nel ciclo produttivo. Fra i tre fornitori, uno in particolare risulta fornire un materiale particolarmente suscettibile di variazione di proprietà a seguito di tale processo. Le ragioni di tale variazione sono legate alla composizione chimica ed alla microstruttura di questo laminato e dunque alle condizioni di fornitura del produttore.

Algoritmi Euristici per la Schedulazione degli Interventi nel Blocco Operatorio

Questa tesi riguarda il problema della schedulazione degli interventi nel blocco operatorio di un presidio ospedaliero, noto anche come Operating Theatre Planning & Scheduling. Il blocco operatorio è la struttura che eroga servizi a più alto impatto sui costi di un presidio ospedaliero ed è legato ad attività ad alto rischio. E' quindi fondamentale gestire in modo ottimale questa risorsa. In questa tesi, si considera come caso studio l'applicazione reale di un presidio ospedaliero dell'Emilia Romagna con un orizzonte temporale di una settimana, ovvero la cosiddetta programmazione operativa. L'obiettivo è quello di ottenere un utilizzo efficiente del blocco operatorio, garantendo al contempo la priorità agli interventi più urgenti. Data la complessità del problema, vengono proposti algoritmi euristici che permettano di ottenere buone soluzioni in tempi di calcolo ridotti. Studi precedenti hanno infatti evidenziato la difficoltà di trovare soluzioni ottime al problema, mediante l'utilizzo di solver commerciali per modelli di Programmazione Lineare Intera, senza introdurre ipotesi semplificative. Sono stati elaborati tre algoritmi euristici costruttivi di tipo multi-start che permettono di generare soluzioni ammissibili con diverse caratteristiche. Gli algoritmi si differenziano principalmente per le modalità con cui collocano gli interventi nel tempo disponibile delle risorse (induction room, operating room, recovery room), cercando di migliorarne l’utilizzazione e dando priorità ai pazienti più urgenti. Gli algoritmi sono stati implementati utilizzando il linguaggio JAVA e sono stati testati su istanze realistiche fornite dal presidio ospedaliero. I risultati hanno evidenziato un alto grado di utilizzazione delle sale operatorie, un fattore molto rilevante per una ottimale gestione del blocco operatorio. E' stata, infine, svolta un'analisi di sensitività alla variabilità delle durate.

Tecniche innovative di modellazione diretta nell'early stage design

Partendo da un’analisi dei problemi che si incontrano nella fase di conceptual design, si presentano le diverse tecniche di modellazione tridimensionale, con particolare attenzione al metodo subdivision e agli algoritmi che lo governano (Chaikin, Doo – Sabin). Vengono poi proposti alcuni esempi applicativi della modellazione free form e skeleton, con una successiva comparazione, sugli stessi modelli, delle sequenze e operazioni necessarie con le tradizionali tecniche di modellazione parametrica. Si riporta un esempio dell’utilizzo del software IronCAD, il primo software a unire la modellazione parametrica e diretta. Si descrivono le limitazioni della modellazione parametrica e di quella history free nella fase concettuale di un progetto, per arrivare a definire le caratteristiche della hybrid modeling, nuovo approccio alla modellazione. Si presenta brevemente il prototipo, in fase di sviluppo, che tenta di applicare concretamente i concetti dell’hybrid modeling e che vuole essere la base di partenza per una nuova generazione di softwares CAD. Infine si presenta la possibilità di ottenere simulazioni real time su modelli che subiscono modifiche topologiche. La simulazione real time è permessa dalla ridefinizione in forma parametrica del problema lineare elastico che viene successivamente risolto mediante l’applicazione congiunta delle R – Functions e del metodo PGD. Seguono esempi di simulazione real time.

Osservatore e controllore sensorless ad elevate prestazioni per propulsione elettrica di Unmanned Aerial Vehicles

Negli ultimi anni, tra le varie tecnologie che hanno acquisito una sempre maggiore popolarità e diffusione, una di particolare rilevanza è quella degli Unmanned Aerial Vehicles. Di questi velivoli, quelli che stanno riscuotendo maggiore successo sono i multirotori, alimentati esclusivamente da azionamenti elettrici disposti in opportune posizioni della struttura. Particolari sforzi sono stati recentemente dedicati al miglioramento di questa tecnologia in termini di efficienza e precisione, tuttavia quasi sempre si trascura la vitale importanza dello sfruttamento efficiente dei motori elettrici. La tecnica di pilotaggio adottata nella quasi totalità dei casi per questi componenti è il BLDC sensorless, anche se la struttura si dimostra spesso essere PMSM, dunque inadatta all’uso di questa strategia. Il controllo ideale per i PMSM risulterebbe essere FOC, tuttavia per l'implementazione sensorless molti aspetti scontati nel BLDC devono essere affrontati, in particolare bisogna risolvere problemi di osservazione e identificazione. Durante la procedura di avviamento, efficienti strategie di self-commissioning vengono adottate per l’identificazione dei parametri elettrici. Per la fase di funzionamento nominale viene proposto un osservatore composto da diversi componenti interfacciati tra loro tramite un filtro complementare, il tutto al fine di ottenere una stima di posizione e velocità depurata dai disturbi. In merito al funzionamento in catena chiusa, vengono esposte valutazioni preliminari sulla stabilità e sulla qualità del controllo. Infine, per provare la validità degli algoritmi proposti, vengono mostrati i risultati delle prove sperimentali condotte su un tipico azionamento per UAV, pilotato da una scheda elettronica progettata appositamente per l’applicazione in questione. Vengono fornite inoltre indicazioni sull’implementazione degli algoritmi studiati, in particolare considerazioni sull’uso delle operazioni a virgola fissa per velocizzare l'esecuzione.

Produzione di micro-supercapacitori allo stato semisolido per applicazioni portatili

La seguente tesi prevede la costruzione e caratterizzazione di un micro-supercapacitore asimmetrico composto da un anodo a base di ZnO ed un catodo a base di grafene ossido ridotto (rGO); la combinazione di due materiali con differente natura di accumulo di carica permette quindi di ottenere dispositivi con migliori performance elettrochimiche. Entrambi gli elettrodi sono stati depositati per via elettrochimica su substrati flessibili di PET-ITO. L'ottimizzazione delle proprietà dello ZnO è stata fatta tramite l'aggiunta di molecole di tensioattivi durante la deposizione dello stesso. I risultati ottenuti mostrano un effettivo miglioramento delle proprietà elettrochimiche e della trasparenza dei film di ZnO prodotto grazie all'effetto di tali tensioattivi. Inoltre anche le proprietà di rGO sono state ottimizzate allo scopo di ottenere buone proprietà elettrochimiche abbinate all'elevata trasparenza del film prodotto. Infine sono stati costruiti micro-supercapacitori allo stato semisolido con differenti agenti gelificanti (silice e Nanoclay) ed il loro funzionamento è stato dimostrato.

Recurrent varicose veins of the legs. Analysis of a social problem

The present study was aimed at assessing the experience of a single referral center with recurrent varicose veins of the legs (RVL) over the period 1993-2008. Among a total of 846 procedures for Leg Varices (LV), 74 procedures were for RVL (8.7%). The causes of recurrence were classified as classic: insufficient crossectomy (13); incompetent perforating veins (13); reticular phlebectasia (22); small saphenous vein insufficiency (9); accessory saphenous veins (4); and particular: post-hemodynamic treatment (5); incomplete stripping (1); Sapheno-Femoral Junction (SFJ) vascularization (5); post-thermal ablation (2). For the “classic” RVL the treatment consisted essentially of completing the previous treatment, both if the problem was linked to an insufficient earlier treatment and if it was due to a later onset. The most common cause in our series was reticular phlebectasia; when the simple sclerosing injections are not sufficient, this was treated by phlebectomy according to Mueller. The “particular” cases classified as 1, 2 and 4 were also treated by completing the traditional stripping procedure (+ crossectomy if this had not been done previously), considered to be the gold standard. In the presence of a SFJ neo-vascularization, with or without cavernoma, approximately 5 cm of femoral vein were explored, the afferent vessels ligated and, if cavernoma was present, it was removed. Although inguinal neo-angiogenesis is a possible mechanism, some doubt can be raised as to its importance as a primary factor in causing recurrent varicose veins, rather than their being due to a preexisting vein left in situ because it was ignored, regarded as insignificant, or poorly evident. In conclusion, we stress that LV is a progressive disease, so the treatment is unlikely to be confined to a single procedure. It is important to plan adequate monitoring during follow-up, and to be ready to reoperate when new problems present that, if left, could lead the patient to doubt the validity and efficacy of the original treatment.

ProgettoCNR Energy+: metodo di calcolo semplificato per la scomposizione della radiazione solare globale e la stima della produzione da fotovoltaico

Scopo del presente lavoro è la presentazione del codice di calcolo semplificato adoperato nella sezione “Simulatore fotovoltaico” presente sul portale www.energia.cnr.it del progetto CNR ENERGY+. Utilizzando i valori reali di radiazione solare misurati dalle stazioni meteorologiche installate presso alcune sedi del CNR il codice, con appropriati algoritmi, generala scomposizione della radiazione sul piano orizzontale e su superfici inclinate e variamente orientate, in modo da pervenire alla potenza prodotta da un ipotetico impianto fotovoltaico posto sullo stesso sito di ubicazione della stazione.

Metodi numerici per la definizione e soluzione di modelli probabilistici complessi per l’ingegneria della manutenzione.

Negli ultimi anni, lo scenario di crescente competizione su cui si affaccia il mercato ha spinto le aziende a interessarsi sempre più frequentemente all’ingegneria della manutenzione, allo scopo di avvalersi di tecniche che permettano di pianificare strategie di manutenzione per i sistemi produttivi che siano efficaci nel minimizzare i costi di gestione garantendo prestazioni e livelli di sicurezza elevati. Le tecniche analitiche tipiche dell’ingegneria della manutenzione sono nate in settori industriali che richiedono elevati livelli di progresso tecnologico (aeronautico, nucleare), e si basano su ipotesi specifiche stringenti, che risultano limitanti nel panorama sempre più vasto ed eterogeneo in cui ne si richiede l’applicazione. D’altra parte, la rimozione di tali ipotesi rende necessario il ricorso a tecniche di risoluzione numeriche. In questa tesi si definisce un nuovo modello che permetta di caratterizzare un sistema di produzione tenendo conto di tutti i possibili aspetti di interesse nell’ambito dell’ingegneria della manutenzione. Inoltre, sono descritti gli algoritmi definiti per la risoluzione di tale modello.

Strategie di calcolo tra studenti discalculici e non

Sono stati analizzati i circuiti neurali addetti all'elaborazione matematica, a partire da quelli di start-up neurocognitivo per l'apprendimento del numero e del calcolo, capacità innate e già presenti alla nascita. I protagonisti sono il sistema della stima approssimativa del numero e quello di individuazione degli oggetti multipli e, spesso, le difficoltà che si incontrano durante un compito matematico (o la lentezza per portarlo a termine) sono date dalla difficile interazione tra questi e le loro sottocomponenti, continuamente riprogrammate dall'esecutivo centrale per poter supervisionare i processi di problem solving. Per la costruzione e lo sviluppo del calcolo più elevato, occorrono alcune capacità di base come il concetto di corrispondenza biunivoca, quello di ordinamento di un insieme, di maggioranza, di raddoppio e di dimezzamento, per mezzo delle quali ogni procedura si può ridurre ad una serie di operazioni più semplici. Queste funzioni vengono controllate e coordinate dal Sistema Attentivo Esecutivo che presiede tutte le attività di problem solving. I ragazzi che presentano deficit altamente specifici in una o più abilità matematiche di base vengono definiti discalculici e tra i loro tratti caratteristici vi sono l'incapacità di comprendere le numerosità, i principi delle operazioni e di elaborare strategie risolutive adatte ad ogni esercizio. Non tutti i ragazzi che presentano difficoltà in matematica sono discalculici: a tal proposito ho svolto una sperimentazione didattica in 10 classi di un I.T.I.S. , per cercare di capire se i concetti reputati consolidati alla scuola secondaria di 1° grado, lo sono realmente in quella di 2° e per mostrare le diverse tipologie di errori compiuti dai ragazzi clinici e non. I risultati sono stati largamente al di sotto delle aspettative, anche negli esercizi in cui è stato permesso l'uso della calcolatrice, lasciandomi presagire che gli errori commessi siano perlopiù di concetto piuttosto che di calcolo.

Progetto concettuale di un sedile in materiali compositi per veicoli solari

Il seguente elaborato è la conclusione dell'esperienza di tesi volta alla progettazione di componenti, nello specifico sedili e punti di ancoraggio per le cinture di sicurezza, per il cruiser Emilia 4, veicolo solare che gareggerà con le più importanti università mondiali nella 2017 World Solar Challenge in Australia. L'attività compiuta risulta essere il punto di arrivo dell'ottimizzazione strutturale degli elementi, attribuendo fondamentale importanza al peso delle strutture; l'obiettivo è stato raggiunto mediante l'adozione della fibra di carbonio, nel rispetto del regolamento della corsa e delle norme stradali australiane. Gran parte delle attività sono state svolte a Castel San Pietro nell'azienda Metal Tig, impresa specializzata nella lavorazione dei laminati in composito; qui si sono tenute riunioni settimanali per discutere dei progressi del progetto e delle modifiche da apportare. Il lavoro di tesi si conclude con la quarta revisione dei componenti affidatomi: essa probabilmente non sarà la versione definitiva, ma sicuramente sarà un punto di riferimento per i prossimi progettisti impegnati nell'impresa.

Game Design & Programming: progettazione e sviluppo di un videogioco 3D con Unity

Questa Tesi prende in esame tutte le fasi che portano alla realizzazione di un generico videogioco applicandole per creare, dal principio, un gioco 3D con Unity. Se ne analizzerà l'ideazione, la progettazione degli ambienti ma anche degli algoritmi implementati, la produzione e quindi la scrittura del codice per poi terminare con i test effettuati.

Slow waves in un modello di crescita tumorale

In questo elaborato ho analizzato un sistema di reazione-diffusione proposto come modello per descrivere un fenomeno di crescita tumorale. In particolare, è stato approfondito il processo in cui l'invasione neoplastica è originata dalla produzione di un eccesso di ioni acidi da parte delle cellule maligne. Il sistema preso in esame descrive l'andamento di tre grandezze: la concentrazione di tessuto sano, la concentrazione di tessuto maligno e l'eccesso di ioni acidi. Ho quindi cercato soluzioni compatibili con il sistema le quali fossero funzioni della tipologia travelling waves, ossia onde che si propagano lungo l'asse reale con un grafico fissato e ad una velocità costante. I risultati ottenuti in questo lavoro sono stati così suddivisi: nel Capitolo 1 viene descritto il processo di invasione tumorale dal punto di vista biologico, nel Capitolo 2 vengono forniti alcuni lemmi e proposizioni preliminari, nel Capitolo 3 viene calcolata un'approssimazione della soluzione del sistema tramite onde del tipo slow waves e infine nel Capitolo 4 sono state studiate la presenza e la larghezza dello spazio interstiziale, ossia di una regione situata tra il tessuto sano e quello neoplastico nella quale si registra una concentrazione di cellule, sia normali sia maligne, praticamente nulla. Infine, sono state rappresentate graficamente le soluzioni in tre possibili situazioni caratterizzate da un diverso parametro di aggressività del tumore.

Sviluppo di un sistema integrato per rampe isocrone di temperatura

Lo scopo del presente lavoro è la realizzazione e l'ottimizzazione di un software che, tramite l'utilizzo di un controllo automatico Proporzionale-Integrativo-Derivativo: PID, gestisca la temperatura di un fornetto in camera a vuoto. È necessario che il sistema sia in grado di eseguire rampe regolari di temperatura di diversa pendenza scelta dall'utente, in modo che possa essere utilizzato in futuro per esperimenti di Desorbimento Termico da parte di vari materiali. La tesi è così suddivisa, nel primo capitolo sono illustrati i concetti teorici di base utilizzati nello sviluppo dei controlli automatici. Nel secondo capitolo è descritta la parte hardware: sono mostrate le diverse sezioni che compongono il fornetto e la camera a vuoto, è inoltre illustrato il cablaggio che permette l'interfaccia del forno alla scheda Arduino ed al software LabVIEW. La terza sezione è dedicata agli studi svolti per la realizzazione del sistema di controllo PID e per la sua ottimizzazione. Il quarto capitolo è invece dedicato alla descrizione del software creato per la gestione del fornetto. Nel quinto capitolo sono infine mostrati i metodi utilizzati per il calcolo delle costanti operative del PID ed i risultati sperimentali ottenuti.