Esecuzione immediata di frammenti di codice sorgente C# tramite l’utilizzo della .NET Compiler Platform

.NET Compiler Platform è un compilatore per i linguaggi C# e Visual Basic realizzato da Microsoft. L’innovazione apportata da tale strumento è l’introduzione di API che permettono di accedere al compilatore; in particolare, è possibile accedere alle strutture dati utilizzate al suo interno, quali simboli o AST, e controllare e/o modificare il processo di compilazione. Una parte di questo progetto, chiamato anche progetto Roslyn, è focalizzata sull’introduzione dello scripting per il linguaggio C#. In questa trattazione si è interessati a sperimentare le possibilità offerte da tale strumento nel campo dell’esecuzione dinamica di frammenti di codice. Gli obiettivi imposti si collocano nell’ambito della re-ingegnerizzazione e dello sviluppo di software. Tali obiettivi sono la re-implementazione dei filtri di selezione contenuti nel framework Phoenix, utilizzando le API di Roslyn per migliorarne le prestazioni, e la progettazione di un componente che realizzi una console per lo scripting C# dotata della possibilità di riferire dinamicamente librerie. Le API di compilazione si rivelano essere non propriamente adatte all’esecuzione immediata di frammenti di codice, nonostante ciò, è possibile, appoggiandosi alla reflection, utilizzarle per giungere a questo risultato. Lo scripting, invece, si rivela uno strumento dalle grandi potenzialità nel suddetto ambito.

Analisi di un Incidente Non Mitigato di Tipo LOCA in un Reattore PWR Mediante il Codice MELCOR 2.1

La presente attività di tesi è stata svolta presso la Divisione di Sicurezza Nucleare dell’ENEA di Bologna ed è stata finalizzata ad analizzare, mediante il codice MELCOR 2.1, le conseguenze di tre incidenti severi non mitigati di tipo LBLOCA in un generico reattore nucleare ad acqua leggera pressurizzata (PWR) da 900 MWe. In particolare sono stati confrontati gli scenari incidentali relativi a tre distinti eventi iniziatori nel circuito di refrigerazione primario: la rottura a ghigliottina della gamba fredda (CL) del loop 1, della gamba calda (HL) del loop 1 e della surge line di connessione con il pressurizzatore. Le analisi MELCOR hanno indagato la progressione incidentale in-vessel, con particolare riferimento alle fenomenologie termoidrauliche e di degradazione del core. MELCOR infatti è un codice integrato che simula le principali fenomenologie riguardanti sequenze incidentali di tipo severo in reattori ad acqua leggera. Durante la prima fase dei tre transitori incidentali risultano predominanti fenomenologie di carattere termoidraulico. In particolare MELCOR predice la rapida depressurizzazione e il conseguente svuotamento del sistema di refrigerazione primario. I tre transitori sono poi caratterizzati dallo scoprimento completo del core a causa dell’indisponibilità del sistema di refrigerazione di emergenza. Il conseguente riscaldamento del core per il calore di decadimento e per ossidazione delle strutture metalliche conduce inevitabilmente alla sua degradazione e quindi al fallimento della lower head del recipiente in pressione del reattore nei tre scenari incidentali in tempi diversi. Durante la prima fase incidentale, di carattere prevalentemente termoidraulico, sono state rilevate le principali differenze fenomenologiche causate dalle differenti posizioni e dimensioni delle rotture. Il transitorio causato dalla rottura della CL si è confermato come il più gravoso, con fallimento anticipato della lower head rispetto agli altri due transitori considerati.

Evoluzione dell’inventario di radioisotopi rilevanti ai fini del trattato CTBT per il bando dei test nucleari, tramite l’utilizzo del codice di calcolo ORIGEN-ARP

L’oggetto di questa tesi è lo studio dei radionuclidi rilevanti che vengono generati dalla detonazione di ordigni nucleari. L’obiettivo principale è la ricerca di parametri legati alle sostanze radioattive derivanti dalla fissione nucleare che permettano di capire se c’è stato un rilascio non autorizzato di radioisotopi legati all’esplosione di una bomba nucleare. Inoltre dall’inventario dei nuclidi rilevati si vuole cercare di capire che tipo di tecnologia è stata utilizzata per la costruzione dell’ordigno facendo riferimento a specifici rapporti isotopici. Per ricavare il probabile inventario dei radionuclidi derivanti da fissione è stato utilizzato il codice di calcolo Origen-Arp, programma utilizzato per l’analisi isotopica delle sostanze derivanti dalla “combustione” di materiale fissile all’interno di un reattore nucleare. Il lavoro svolto quindi ha riguardato una parte prettamente sperimentale in cui è stato utilizzato il codice di calcolo e una parte più teorica grazie alla quale è stato possibile contestualizzare i risultati trovati.

Modelli e metodi per il dimensionamento di buffer floor-storage in magazzini scaffalati.

In questa tesi sono stati studiati i fattori che influenzano l'utilizzo del buffer in un magazzino manuale. Per poter realizzare le analisi è stato realizzato un programma C# che simula la gestione del magazzino. Per ottimizzare l'assegnamento dei pallet alle location si è inoltre costruito un modello AMPL. L'obiettivo del modello è minimizzare la differenza tra le classi ottime dei codici in ingresso e i posti pallet ai quali questi vengono assegnati. Il programma C# oltre all'interfaccia con il risolutore AMPL Gurobi, deve interfacciarsi anche con il data base Access nel quale sono stati organizzati i dati necessari per l'analisi. Questi dati sono reali e relativi agli ingressi e alle uscite di un magazzino contenente materiale farmaceutico di due settimane di lavoro. Per facilitare e velocizzare lo studio le informazioni considerate sono quelle di due soli corridoi e non dell'intero magazzino. I risultati hanno evidenziato quattro fattori principali che influenzano la differenza tra un l'allocazione dei pallet in ingresso ad un magazzino. Questi elementi sono: costo di utilizzo del buffer, numero di location libere ad inizio simulazione, momento d'esecuzione del picking a magazzino e tipologia di location vute ad inizio della simulazione. Per ognuno di questi si è cercato, per quanto possibile, di individuare le implicazioni che quanto studiato può avere nella progettazione di un sistema di stoccaggio reale sia dal punto di vista logistico sia dal punto di vista economico. Non sempre le osservazioni reali alle quali si è arrivati hanno un risvolto pratico immediato, ma senza dubbio possono essere utili nello studio preliminare per la realizzazione di un sistema di stoccaggio. All'interno delle conclusioni sono state inserite anche possibili studi e approfondimenti futuri che possono essere eseguiti partendo dal progetto di tesi qui presentato.

Simulazione della gestione dei materiali dell'azienda Robopac

L’elaborato verte sulla simulazione della gestione dei materiali dell’azienda Robopac. Il modello esposto è stato creato tramite il software Arena, il quale permette la riproduzione di una struttura aziendale reale ed è, per questo, uno strumento validissimo per esaminare situazioni critiche, nonché per confrontare alternative progettuali e validarle. Nello specifico, in tale tesi ci si propone di verificare, attraverso un’attenta analisi, come l’azienda Robopac gestisca i materiali nel suo percorso di elaborazione e trasformazione. Per gestione dei materiali si intende il coordinamento degli arrivi, il controllo sulle materie, il trasporto di tali materiali nei magazzini appositi e il successivo spostamento in linea. Questa indagine permetterà di valutare l’efficienza e l’utilizzo delle risorse, le tempistiche delle movimentazioni e l’eventuale creazione di code, così da cercare soluzioni che potrebbero migliorare e ottimizzare le operazioni. Il modello creato con Arena considera i sei codici-prodotto più rappresentativi e rende possibile una riproduzione conforme a ciò che è stato osservato. Inoltre sono analizzati i report forniti automaticamente da tale software e valutati l’utilizzo delle risorse e le giacenze a magazzino. Sarebbe interessante ampliare la simulazione esposta, prendendo in considerazione l’intero numero di codici prodotti, così da poter analizzare la totale gestione dei materiali e considerare eventuali differenze o scostamenti rispetto a quanto svolto in questa tesi. Un ulteriore ampliamento altrettanto valido potrebbe essere quello di coniugare la simulazione della gestione dei materiali con il modello della linea produttiva principale già realizzato con Arena. Ciò permetterebbe una più completa visione dell’azienda e l’indagine della realtà imprenditoriale diventerebbe più ampia, approfondita e dettagliata.

La coppia nel tango argentino fra tradizione e palcoscenico

Questo studio cerca di individuare e descrivere gli elementi che contraddistinguono la coppia del tango dal punto di vista coreografico e strutturale e vedere in che modo questi fondamenti vengono trasposti sul palcoscenico. Come introduzione viene presentato il percorso della coppia lungo la storia approfondendo i rapporti e le influenze reciproci fra il ballo e i diversi contesti sociali e norme di tipo morale dei singoli momenti storici. Viene affrontata anche la dimensione tecnica del ballo e i codici che la governano attraverso le testimonianze di consolidati ballerini e maestri della generazione attuale e quelle precedenti. In conclusione vengono fornite le analisi di tre spettacoli teatrali prodotti da quattro coreografi diversi che mettono in chiaro gli approcci distintivi nella rappresentare scenica del tango e nel suo utilizzo come linguaggio teatrale.

Analisi qualitativa del moto unidimensionale e oscillazioni non lineari

Un sistema meccanico è descritto da equazioni differenziali spesso non lineari. Nel maggior numero dei casi tali equazioni non sono risolubili per via analitica e quindi si ricorre all'analisi qualitativa del moto che permette di ricavare informazioni su di esso senza integrare le equazioni. Nell’approccio qualitativo il metodo più utilizzato è la discussione alla Weierstrass che permette di ricavare informazioni sul moto di un punto materiale, che si muove di moto unidimensionale, soggetto a forze conservative, a partire dalla legge di conservazione dell'energia totale. Un altro metodo molto efficace è la costruzione del diagramma di fase, che nel caso di un punto materiale si riduce allo studio delle curve di livello dell’energia totale e permette di rappresentare lo stato del sistema in ogni istante di tempo. Infine altri due metodi analitici che si utilizzano nel caso di oscillazioni non lineari sono il metodo delle approssimazioni successive e delle perturbazioni. In questa tesi viene illustrato ampiamente il primo metodo e si danno alcuni cenni degli altri due, corredandoli con esempi.

Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Analisi sperimentale delle prestazioni di un sistema micro-ORC

Con l’aumento del consumo mondiale di risorse energetiche del pianeta, è diventato sempre più necessario utilizzare sistemi energetici che sfruttino al meglio la fonte di energia che li alimenta. Una delle soluzioni in questo ambito è quella proposta dagli Organic Rankine Cycle (ORC). Questi sistemi recuperano energia termica altrimenti non utilizzabile per le temperature troppo basse e sfruttano sorgenti termiche con ampi range di temperatura. L’elaborato volge all’analisi sperimentale delle prestazioni di un sistema Micro-ORC di piccola taglia, con rendimento termodinamico massimo dichiarato dal costruttore del 10 %. Inizialmente vengono descritti i fluidi organici e i sistemi che ne fanno uso, descrivendo anche esempi bibliografici di banchi prova per interpretare al meglio i risultati ottenuti con quello disponibile, che viene poi descritto, comprendendo i circuiti di asservimento dell’acqua calda e fredda, i punti di misura e il programma di acquisizione dati. Ci si concentra poi sulla descrizione e l’utilizzo dei codici implementati per l’elaborazione dei dati acquisiti. Questi hanno permesso di osservare gli andamenti temporali delle grandezze fondamentali per il sistema e valutarne la ripetibilità del comportamento nel corso di differenti prove. Vengono proposte infine le mappe di funzionamento per l’intero impianto e per i vari sotto-sistemi, offrendone un’interpretazione e inquadrandone i punti di lavoro ottimali. Attraverso la loro osservazione si sono dedotte le condizioni necessarie per avere un funzionamento ritenuto stabile del sistema ed è stato possibile ottimizzare le procedure svolte durante le fasi di test e di acquisizione dati. Sarà oggetto di studi futuri l’ottimizzazione dell’impianto, prolungando i tempi di esercizio a parità di carico elettrico e frequenza imposta alla pompa, con il fine di ottenere delle curve di prestazioni confrontabili con quelle presenti in bibliografia per altri sistemi ORC.

Analisi e ottimizzazione del flusso di approvvigionamento in una produzione su commessa: il caso CT Pack S.r.l.

La tesi ha l'obiettivo di analizzare e ottimizzare i flussi di approvvigionamento in un'azienda che produce su commessa: CT Pack S.r.L, specializzata nella realizzazione di macchine automatiche per il packaging di biscotti, gelato e cioccolato. Per raggiungere l'obiettivo si è preso come riferimento il modello proposto dal BPR (Business Process Reengineering): sono stati analizzati i principali attori coinvolti, in particolare fornitori e magazzino, mediante l'uso di KPI definiti ad hoc. Sulla base di questi sono stati individuati due processi critici: il primo riguarda la gestione del magazzino, che presenta un'elevata quantità di codici non movimentati anche a causa del processo di gestione del materiale avanzato al termine di ciascuna commessa; il secondo riguarda il materiale a consumo, che impiega i magazzinieri per un tempo eccessivo, è caratterizzato da giacenze per il 30% non movimentate e da supermarket collocati in officina ridondanti e caratterizzati da bassi tassi di utilizzo (anche sotto il 50%). Per risolvere questi problemi ed effettuare una riprogettazione si fa affidamento agli strumenti proposti dal project management: si imposta quindi un progetto che ha l'obiettivo di ridurre nel breve periodo il valore di magazzino mediante lo smaltimento attraverso diverse vie di codici non utilizzati e agisce nel lungo periodo per evitare che le criticità si ripropongano. Mediante la riprogettazione della gestione dei resi di produzione si prevede un maggior controllo, grazie al lavoro congiunto di ufficio tecnico e ufficio acquisti. La nuova gestione del materiale a consumo ha in se alcune delle tecniche proposte dalla lean production (il kanban, per esempio) e integra il fornitore nella catena di approvvigionamento, garantendo un maggior controllo sulle quantità, un risparmio di circa 7 h/mese di lavoro per i magazzinieri e una riduzione delle giacenze del 46%.

Ottimizzazione e riprogettazione di un magazzino ricambi: il caso Ducati Motor Holding Spa

La Tesi tratta di un caso di studio di un magazzino ricambi in ottima di ottimizzazione e riprogettazione. Dall'analisi della situazione attuale in termini di scorte, processo e indice di saturazione volumetrico si evince come una nuova soluzione di magazzino sia l'unica strada da percorrere per fronteggiare l'attesa crescita del business. L'incremento delle vendite e allo stesso tempo il mantenimento dell'alto livello di servizio da garantire al cliente in termini di disponibilità dei codici e puntualità della consegna, sono due condizione che richiedono un innovazione di tipo radicale. Da un progetto a livello di Gruppo si arriva a definire la configurazione ideale del nuovo magazzino e si lascia ad uno sviluppo futuro l'effettiva gestione del tender per definire l'operatore logistico che porterà avanti il lavoro.

Ottimizzazione dei flussi dei materiali e delle persone all'interno di un impianto di produzione. Il caso Galletti spa.

La tesi in oggetto è stata svolta presso la Galletti spa. L'obiettivo iniziale era quello di studiare un percorso all'interno dello stabilimento produttivo al fine di enfatizzare le peculiarità della produzione tenendo conto dei fattori riguardanti la sicurezza. E' stata inoltre realizzata, con l'aiuto di una agenzia di comunicazione, una piattaforma di comunicazione. Analizzando il processo produttivo è emersa un'ulteriore problematica: l'elevata quantità di work in progress stoccati a bordo linea. In particolare, in questa tesi è stata fatta un'analisi preliminare circa una linea di produzione. Sono stati analizzati, in termini di quantità, i prodotti che vengono assemblati in essa, e i codici dei semilavorati utili. In seguito sono state studiate le operazioni che vengono svolte in ogni postazione di lavoro e, in funzione del ciclo di lavoro gli sono stati assegnati i codici dei semilavorati. L'analisi si è conclusa studiando i consumi medi. Le prossime fasi dell'analisi prevedono lo studio dei volumi dei codici e di conseguenza la definizione delle aree di stoccaggio e lo studio dei lotti di produzione.