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.

Analisi delle componenti principali

La tesi descrive il metodo dell'analisi delle componenti principali, vertendo sia sull'aspetto matematico che la caratterizza sia su alcune sue applicazioni. Vengono anche definite le nozioni di algebra lineare e statistica fondamentali per la sua descrizione.

Dimensionamento dell'azionamento elettrico di un piano vibrante

Questo elaborato riguarda il dimensionamento di un motore brushless lineare utilizzato in un piano vibrante per l’alimentazione di fiale, flaconi e carpule in macchine per il packaging farmaceutico: in particolare con questo piano vibrante si alimentano macchine astucciatrici e termoformatrici. Con packaging farmaceutico si intente tutto ciò che comporta il confezionamento di prodotti legati al mercato farmaceutico, ma macchinari simili soddisfano anche il mercato per il confezionamento di prodotti alimentari e cosmetici. Il piano vibrante descritto nella trattazione, svolge sia la funzione di alimentazione del prodotto nella macchina, sia quella di buffer. La tesi è stata svolta all’interno di Marchesini Group S.p.a., gruppo industriale fondato nel 1974 che vanta una posizione di livello mondiale nel settore delle macchine automatiche: in particolare si occupa dell’automazione per packaging nel settore farmaceutico, cosmetico e alimentare. Avendo dovuto fare un intervento di sostituzione di un motore su un gruppo già in funzione, nella riprogettazione dei particolari si è cercato di apportare il minor numero di modifiche possibile, per minimizzare il numero di pezzi da sostituire qualora un motore in funzione si rompa o venga danneggiato. Questo studio mi ha dato la possibilità di approfondire diversi aspetti della progettazione meccanica: in particolare ho avuto la possibilità di utilizzare Creo Parametric, il programma di disegno 3D usato in Marchesini, e quindi approfondire molteplici aspetti e regole del disegno e della messa in tavola. Insieme a questo, oltre a studiare le diverse tipologie di motori lineari ho potuto approfondire i metodi di scelta di un motore lineare, consultando anche i fornitori.

Sviluppo di nuovi algoritmi di pianificazione per sistemi non olonomici e con dinamica non linerare

L'obiettivo del kinodynamic motion planning è quello di determinare una sequenza di input di controllo per guidare un agente da uno stato iniziale ad uno finale, rispettando la dinamica del corpo e i vincoli fisici. In questa tesi sono presentate diverse versioni di algoritmi basati su Rapidly-exploring Random Tree in grado di risolvere questo tipo di problema. In particolare è preso in considerazione il caso di un sistema non lineare con vincoli non olonomici, rappresentativo del rover in dotazione al progetto europeo SHERPA. La qualità degli approcci proposti è inoltre provata con alcuni test di navigazione, in ambiente simulato, confrontando gli algoritmi proposti con alcuni presi nella letteratura di riferimento.

Studio reologico di mastici per miscele di conglomerato bituminoso drenante contenente polverino di gomma da pfu

Le prestazioni meccaniche di una miscela di conglomerato bituminoso dipendono principalmente dai materiali che la compongono e dalla loro interazione. La risposta tenso-deformativa delle sovrastrutture stradali è strettamente legata al comportamento reologico del legante bituminoso e dalla sua interazione con lo scheletro litico. In particolare nelle pavimentazioni drenanti, a causa dell’elevato contenuto di vuoti, il legame che si crea tra il legante (mastice bituminoso) e l’aggregato è molto forte, per questo motivo è importante migliorarne le prestazioni. Additivando il mastice con polverino di gomma da PFU (pneumatici fuori uso), non solo si migliorano prestazioni, resistenza alle deformazioni permanenti ed elastoplasticità del materiale, ma si sfruttano anche materiali di recupero, portando vantaggi anche dal punto di vista ambientale. In quest’ottica la ricerca effettuata nella tesi si pone come obiettivo l’analisi reologica e lo studio di mastici additivati con polverino di gomma ricavato da PFU, per la realizzazione di conglomerati bituminosi drenanti. In particolare, partendo da un bitume di base, sono stati preparati due mastici: il primo ottenuto miscelando bitume modificato e filler calcareo, il secondo aggiungendo al precedente anche il polverino di gomma. Tale studio è stato eseguito mediante l’utilizzo del DSR (Dynamic Shear Rheometer – UNI EN 14770), con il quale sono state affrontate tre prove: Amplitude Sweep test, per la valutazione del valore di deformazione di taglio γ entro il quale il materiale si mantiene all’interno del campo di viscoelasticità lineare (Linear visco-elasticity, LVE); Frequency Sweep test, per l’estrapolazione delle master curves; Multiple stress Creep Recovery, per valutare la resistenza del materiale alle deformazioni permanenti. Dall’analisi dei dati è stato possibile definire il comportamento reologico di entrambi i mastici e, in seconda analisi, confrontarne le caratteristiche e le prestazioni.

Un esempio di Economia Circolare: il riciclo e il riuso dei dispositivi Tessili per Sala Operatoria

Negli ultimi decenni l’attenzione alle tematiche della sostenibilità ambientale e dell’inquinamento globale da parte dell’opinione pubblica e delle imprese è in costante aumento. Una tra le principali fonti di inquinamento è costituita dai rifiuti, e di conseguenza, la loro gestione e il loro smaltimento sono diventate una priorità, non solo per le istituzioni, ma anche per le imprese e per i cittadini. Inoltre la crescita della domanda delle risorse presenti in natura è in costante aumento e l’approvvigionamento di esse si è rivelato essere invece soggetto a significativi limiti. In questo attuale contesto quindi, il modello economico lineare fino ad oggi utilizzato, “take-make-dispose”, non risulta più idoneo. Si è sviluppato così il concetto di “Economia Circolare”. L’obiettivo di questa economia è quello di eliminare il concetto di scarto, il rifiuto deve essere considerato una vera e propria risorsa. In questo sistema tutte le attività, a partire dall’ estrazione fino ad arrivare alla produzione, sono organizzate in modo che i rifiuti di uno diventino risorse per un altro. L’obiettivo della tesi è quello di applicare il concetto di Economia Circolare al mercato dei dispositivi tessili per sala operatoria (DTSO), utilizzando la valutazione del ciclo di vita di un prodotto (analisi LCA) in modo da individuare le fasi più critiche e poter operare dei miglioramenti. Dopo essere stati sottoposti a 70 cicli di lavaggio e sterilizzazione i dispositivi TTR (Tessuti Tecnici Riutilizzabili) non sono più idonei ad essere utilizzati in ambito ospedaliero e vengono smaltiti in discarica , così come vengono smaltiti altri miliardi di rifiuti ogni giorno.Questi tessuti, seppur non conformi agli standard qualitativi richiesti dalle norme ospedaliere, possono essere riciclati o riutilizzati in prodotti di altro tipo. L’obiettivo di questo lavoro è quello di reimmettere questi dispositivi in un ciclo di vita di un nuovo prodotto, in ottica appunto di economia circolare.

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.

Analisi del ruolo del porto di Ravenna nell’import/export di prodotti ortofrutticoli

L'elaborato tratta il ruolo del porto di Ravenna nell'import/export di prodotti ortofrutticoli. Dopo una accurata analisi dei dati, lo studio delle rotte marittime e l'uso di Dbms per gestire un database complesso, si propone un modello di programmazione lineare intera su un problema di ship routing, ship scheduling e full ship-load balancing. L'obiettivo è di massimizzare il profitto derivante da un prezzo di vendita e soggetto ai vari costi della logistica. Il modello sceglie la rotta ottimale da effettuare, in termini di ordine di visita dei vari porti che hanno un import e un export dei prodotti studiati. Inoltre, è in grado di gestire lo scorrere del tempo, fornendo come soluzione il giorno ottimale di visita dei vari porti considerati. Infine, trova la ripartizione ottima del numero di container a bordo della nave per ogni tipologia di prodotto.

Schedulazione delle rotte marittime nel settore ortofrutticolo. Modelli e Metodi

Il trasporto marittimo è una delle modalità più utilizzate soprattutto per la movimentazione di grandi volumi di prodotti tra i continenti in quanto è a basso costo, sicuro e meno inquinante rispetto ad altri mezzi di movimentazione. Ai giorni nostri è responsabile di circa l’80% del commercio globale (in volume di carichi trasportati). Il settore del trasporto marittimo ha avuto una lunga tradizione di pianificazione manuale effettuata da progettisti esperti.
 L’obiettivo principale di questa trattazione è stato quello di implementare un modello matematico lineare (MILP, Mixed-Integer Linear Programming Model) per l’ottimizzazione delle rotte marittime nell’ambito del mercato orto-frutticolo che si sviluppa nel bacino del Mediterraneo (problema di Ship-Scheduling). Il modello fornito in questa trattazione è un valido strumento di supporto alle decisioni che può utilizzare uno spedizioniere nell’ambito della pianificazione delle rotte marittime della flotta di navi in suo possesso. Consente di determinare l’insieme delle rotte ottimali che devono essere svolte da un insieme di vettori al fine di massimizzare il profitto complessivo dello spedizioniere, generato nell’arco di tempo considerato. Inoltre, permette di ottenere, per ogni nave considerata, la ripartizione ottimale della merce (carico ottimale).

Modellistica e controllo di attuatori idraulici

La tesi tratta della modellistica e del controllo di un attuatore idraulico con valvola a quattro vie. Inizialmente si definiscono le grandezze e le formule fondamentali per descrivere un sistema idraulico e costruirne il modello matematico. Successivamente si ricava il modello non lineare del sistema nello spazio degli stati, quindi lo si linearizza per poterlo descrivere e studiare anche tramite funzioni di trasferimento. Si ricava quindi, utilizzando anche Matlab e Simulink, il controllo da applicare al modello linearizzato e si testa il comportamento del sistema in risposta a diversi segnali di ingresso. Infine si applica lo stesso controllore al sistema non lineare e si confrontano i due diversi comportamenti.

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.

L'influenza della precompressione nella prova a taglio dei campioni in muratura: uno studio sperimentale

Essendo l’Italia un territorio soggetto a violenti e frequenti sismi, ed avendo un importante patrimonio in muratura, è interessante studiare il rapporto tra i due. La muratura è maggiormente resistente contro forze che agiscono nel suo piano, che generano quindi uno sforzo di taglio. Si andrà dunque a valutare sperimentalmente la resistenza a taglio delle murature. Tale campagna sperimentale sarà svolta su campioni di muratura sotto forma di triplette confezionate con due tipi di malta diversi a tre livelli di precompressione differenti. I risultati così ottenuti saranno infine rielaborati in un grafico, il grafico della legge di Coulomb, che mira a cercare un legame lineare tra le tau e le sigma di precompressione. Un valore aggiunto dello studio sta nel monitoraggio costante della prova, dal quale si nota che la precompressione durante questa varia. Portando dunque a due risultati diversi: il primo è un legame tau-sigma con livelli di sigma normativi e uno con legami di sigma effettivi della rottura. La campagna sperimentale, inoltre, comprende anche la valutazione del modulo elastico per i singoli campioni di laterizio e di malta. La malta sarà provata anche per la resistenza a flessione e compressione.

Isolatori a pendolo scorrevole: analisi del funzionamento e dell’affidabilità sismica di una struttura isolata

Il presente elaborato si propone di analizzare i moderni sistemi d’isolamento sismico. In particolare si studiano il funzionamento e le procedure di calcolo degli isolatori a pendolo scorrevole, facendo riferimento alle prescrizioni dell’attuale normativa tecnica e si analizza l’affidabilità sismica di una struttura isolata con tali dispositivi. Nell’ottica di voler introdurre i concetti base della progettazione antisismica, nel primo capitolo, vengono descritte le origini del fenomeno sismico, per arrivare alla definizione di accelerogramma di un terremoto. Per comprendere il passaggio da accelerogramma a spettro dell’azione sismica, si introduce la dinamica dei sistemi ad un grado di libertà per poi arrivare a definire gli spettri di risposta previsti dall’attuale normativa. Nel secondo capitolo vengono illustrati gli scopi e le funzionalità dell’isolamento sismico per poi passare in rassegna le principali tipologie di dispositivi antisismici attualmente in commercio. Nel terzo capitolo si analizza nel dettaglio il funzionamento degli isolatori a pendolo scorrevole, studiandone la modellazione matematica alla base e le procedure di calcolo previste dall’Eurocodice 8 e dalle NTC 08. Nello stesso capitolo viene progettato un dispositivo di isolamento a pendolo scorrevole, secondo l'analisi lineare equivalente. Nel quarto capitolo viene illustrata l’analisi sismica effettuata dagli ingegneri Castaldo, Palazzo e Della Vecchia, dell’università di Salerno, i cui risultati sono riportati nella rivista scientifica Engeneering structures, n. 95, 2015, pp. 80-93. Lo studio è effettuato sul modello strutturale tridimensionale di un edificio in calcestruzzo armato, isolato alla base con dispositivi a pendolo scorrevole.

Classical electrodynamics: retarded potentials and power emission by accelerated charges

L'obiettivo di questo lavoro è quello di analizzare la potenza emessa da una carica elettrica accelerata. Saranno studiati due casi speciali: accelerazione lineare e accelerazione circolare. Queste sono le configurazioni più frequenti e semplici da realizzare. Il primo passo consiste nel trovare un'espressione per il campo elettrico e il campo magnetico generati dalla carica. Questo sarà reso possibile dallo studio della distribuzione di carica di una sorgente puntiforme e dei potenziali che la descrivono. Nel passo successivo verrà calcolato il vettore di Poynting per una tale carica. Useremo questo risultato per trovare la potenza elettromagnetica irradiata totale integrando su tutte le direzioni di emissione. Nell'ultimo capitolo, infine, faremo uso di tutto ciò che è stato precedentemente trovato per studiare la potenza emessa da cariche negli acceleratori.

Fluid dynamic analysis of trees influence in dispersion of pollutant in urban street canyon

degli elementi vegetali nella dinamica e nella dispersione degli inquinanti nello street canyon urbano. In particolare, è stato analizzata la risposta fluidodinamica di cespugli con altezze diverse e di alberi con porosità e altezza del tronco varianti. Il modello analizzato consiste in due edifici di altezza e larghezza pari ad H e lunghezza di 10H, tra i quali corre una strada in cui sono stati modellizati una sorgente rappresentativa del traffico veicolare e, ai lati, due linee di componenti vegetali. Le simulazioni sono state fatte con ANSYS Fluent, un software di "Computational Fluid Dynamics"(CFD) che ha permesso di modellizare la dinamica dei flussi e di simulare le concentrazioni emesse dalla sorgente di CO posta lungo la strada. Per la simulazione è stato impiegato un modello RANS a chiusura k-epsilon, che permette di parametrizzare i momenti secondi nell'equazione di Navier Stokes per permettere una loro più facile risoluzione. I risultati sono stati espressi in termini di profili di velocità e concentrazione molare di CO, unitamente al calcolo della exchange velocity per quantificare gli scambi tra lo street canyon e l'esterno. Per quanto riguarda l'influenza dell'altezza dei tronchi è stata riscontrata una tendenza non lineare tra di essi e la exchange velocity. Analizzando invece la altezza dei cespugli è stato visto che all'aumentare della loro altezza esiste una relazione univoca con l'abbassamento della exchange velocity. Infine, andando a variare la permeabilità delle chiome degli alberi è stata trovatta una variazione non monotonica che correla la exchange velocity con il parametro C_2, che è stata interpretata attraverso i diversi andamenti dei profili sopravento e sottovento. In conclusione, allo stadio attuale della ricerca presentata in questa tesi, non è ancora possibile correlare direttamente la exchange velocity con alcun parametro analizzato.