Deployment automatico di applicazioni specificate in linguaggio ABS

Da quando è iniziata l'era del Cloud Computing molte cose sono cambiate, ora è possibile ottenere un server in tempo reale e usare strumenti automatizzati per installarvi applicazioni. In questa tesi verrà descritto lo strumento MODDE (Model-Driven Deployment Engine), usato per il deployment automatico, partendo dal linguaggio ABS. ABS è un linguaggio a oggetti che permette di descrivere le classi in una maniera astratta. Ogni componente dichiarato in questo linguaggio ha dei valori e delle dipendenze. Poi si procede alla descrizione del linguaggio di specifica DDLang, col quale vengono espressi tutti i vincoli e le configurazioni finali. In seguito viene spiegata l’architettura di MODDE. Esso usa degli script che integrano i tool Zephyrus e Metis e crea un main ABS dai tre file passati in input, che serve per effettuare l’allocazione delle macchine in un Cloud. Inoltre verranno introdotti i due sotto-strumenti usati da MODDE: Zephyrus e Metis. Il primo si occupa di scegliere quali servizi installare tenendo conto di tutte le loro dipendenze, cercando di ottimizzare il risultato. Il secondo gestisce l’ordine con cui installarli tenendo conto dei loro stati interni e delle dipendenze. Con la collaborazione di questi componenti si ottiene una installazione automatica piuttosto efficace. Infine dopo aver spiegato il funzionamento di MODDE viene spiegato come integrarlo in un servizio web per renderlo disponibile agli utenti. Esso viene installato su un server HTTP Apache all’interno di un container di Docker.

Studio di un invertitore: progettazione e dimensionamento di un inversore di marcia in una macchina agricola ibrida

Progettazione e dimensionamento di un inversore di marcia in una macchina agricola ibrida di piccola potenza dotata di cambio a uso continuo.

Progettazione di un sistema di comando innovativo di una frizione per motocoltivatori

Motocoltivatori, motofalciatrici e motozappe sono macchine definite come “macchine agricole semoventi”, ovvero dotate di apparati ed organi di trazione propri; il loro impiego spazia dall’agricoltura al giardinaggio, dall’uso professionale all’hobbistica. Il presente elaborato consiste nello studio di fattibilità funzionale ed economica nonché nel progetto di un nuovo comando alle stegole per l’azionamento di una frizione per un motocoltivatore Grillo con conducente a piedi. In particolare, l’obiettivo è consentire un innesto e disinnesto della frizione più agevoli per l’operatore, in rispetto delle specifiche di sicurezza richieste dalla normativa europea UNI EN 709. Il progetto si è articolato nell’analisi del meccanismo sia da un punto di vista teorico, tramite modello statico e cinematico, sia pratico, tramite misure sperimentali sul prototipo realizzato, i cui risultati offrono la possibilità di implementazione sui motocoltivatori.

Analisi e ottimizzazione dei documenti tecnici: Soluzioni per una migliore interazione con gli strumenti cat

La documentazione tecnica ha assunto un ruolo fondamentale per i produttori sia per rispondere agli obblighi di legge (v. Direttiva Macchine 2006/42/CE) sia come strumento di marketing. Dato l’alto grado di ripetitività dei manuali di istruzioni e le numerose lingue di destinazione, per la loro traduzione è indispensabile l’uso dei CAT tool. In questo contesto, la presente tesi si pone l’obiettivo di individuare una serie di elementi linguistici che possano fornire informazioni sulla qualità dei testi di partenza in italiano e su cui si possa intervenire per migliorarli, nell’ottica di ottimizzare l’uso dei CAT tool e ridurre il costo delle traduzioni. L’idea alla base del progetto è infatti che le caratteristiche dei testi originali influiscano in maniera fondamentale sulla qualità del risultato finale, così come sul costo del servizio di traduzione. I contenuti sono suddivisi in cinque capitoli. Nel primo capitolo si analizzano gli studi sulla leggibilità dei testi, sulla semplificazione del linguaggio e sui linguaggi specialistici. Nel secondo capitolo si presenta il funzionamento dei CAT tool e si approfondiscono gli aspetti rilevanti per l’ottimizzazione del loro uso nella traduzione dei manuali di istruzioni. Nel terzo capitolo si combinano le conoscenze acquisite nei primi due capitoli e si propone un metodo di revisione dei manuali da sottoporre a traduzione. Tale revisione ha lo scopo di agevolare i CAT tool nel riconoscimento della somiglianza tra le frasi e di permettere di conseguenza un lavoro di traduzione a costi inferiori, senza però perdere di vista la qualità finale del manuale e la sua leggibilità e chiarezza. Nel quarto capitolo si espone l’applicazione pratica del metodo e si analizzano e discutono i risultati ottenuti. Nel quinto capitolo si traggono le conclusioni finali sul metodo proposto e i relativi risultati. Si propongono inoltre argomenti di riflessione e discussione che suggeriscono nuovi scenari e prospettive.

Elaborazione presso il servizio di ingegneria clinica e informatica medica di un algoritmo finalizzato alla definizione dei recuperi di apparecchiature medicali nell'ambito dei progetti di riqualificazione tecnologica

L’HTA rappresenta un valido strumento per operare un’analisi dell’impatto clinico,economico e organizzativo di apparecchiature sempre più tecnologicamente sofisticate.Il SIC si inserisce nella valutazione multidisciplinare con le metodologie dell’HTA garantendo appropriatezza e aggiornamento del patrimonio tecnologico per rendere più efficiente l’erogazione delle prestazioni sanitarie.L’HTA dalla valutazione dei bisogni analizza l’applicabilità clinica.Un SIC deve essere in grado di elaborare dati tecnici,gestionali e clinici mediante il software di gestione della manutenzione del parco macchine che nel caso dell’AOSP BO è TMS che gestisce tutte le fasi del ciclo di vita di un’apparecchiatura biomedica.Il ruolo strategico del SIC prevede la programmazione degli investimenti e la valutazione rigorosa nella scelta del rinnovo tecnologico (urgente o programmato) o del potenziamento del parco tecnologico.L’algoritmo analizzato va a individuare diverse categorie di apparecchiature del Sant’Orsola e valuta modello per modello se e quanto risulta efficiente dopo un’attenta analisi il loro trasferimento all’interno del nuovo Polo Cardio Toraco Vascolare inaugurato il 14 dicembre 2015,determinando così un eventuale rinnovo tecnologico,aggiornamento,fuori uso o mantenimento in vita della strumentazione in esame.Le fasi dell’algoritmo finalizzato alla definizione dei recuperi delle apparecchiature medicali nell’ambito dei progetti di riqualificazione tecnologica sono: 1.Normativo (rispondenza a prescrizioni generali relative alla sicurezza e verifiche particolari.Si definisce anche un’analisi dei rischi). 2.Funzionale (si analizzano su TMS l’età dell’apparecchiatura,i tempi di disservizio,il numero e la frequenza delle azioni di manutenzione, le parti consumabili). 3.Economico (costi degli interventi e mantenimento dell'apparecchiatura, spese relative ai pezzi di ricambio o materiale deperibile,contratto di assistenza). 4.Prestazionale (valutazione dello stato del sistema in toto).

Progettazione e realizzazione di gruppi funzionali di un impianto automatico nel settore food

Questo elaborato tratta della progettazione e della realizzazione di una serie di gruppi funzionali di un impianto automatico per l'applicazione, tramite colla, di carta assorbente o pluriball all'interno di vaschette alimentari. Il sistema progettato si inserisce all'interno di una linea produttiva, tipicamente tra una macchina termoformatrice e una tranciatrice.

Analisi di mercato e design strategico di una macchina utensile ad altissima produttività

L’elaborato ha l’obiettivo di analizzare lo sviluppo di un nuovo prodotto destinato al mercato delle macchine utensili ad elevata produttività, dette macchine transfer. Verranno esaminate le varie fasi che consentono la definizione del nuovo prodotto e delle relative specifiche. La tesi è divisa in due parti principali: -Analisi di mercato e design strategico, la quale consiste nell’analisi dei concorrenti e del mercato al fine di comprendere quali funzioni deve avare la macchina per poter essere competitiva. -Progettazione e ingegnerizzazione di una macchina con le caratteristiche precedentemente individuate, con approfondimento sui gruppi più importanti della stessa.

Studio e ottimizzazione di un generatore eolico carrellabile

La presente tesi discute la realizzazione di un carrello appendice sul quale possa essere montato un aerogeneratore della potenza di circa 8500 W facile da trasportare ed installare. Si desidera progettare una macchina che non necessiti di fondamenta e non richieda particolari procedure burocratiche per l’istallazione permettendo così un investimento iniziale ridotto. Il progetto ha il vantaggio di produrre energia con venti di bassa intensità (3 m/s), livelli di rumore contenuti da considerarsi trascurabili e un impatto visivo ambientale accettabile. Uno degli obiettivi è di massimizzare le prestazioni della turbina eolica ed essere in grado di competere sul mercato attuale, installando parallelamente un impianto fotovoltaico per dare una continuità maggiore all'energia generata. Queste tipologie di macchine potranno diffondersi nei settori dell’agricoltura, del turismo e in aree specifiche, ad esempio aree protette, dove l’eolico di grandi dimensioni ha difficoltà di inserimento. L’aerogeneratore potrà alimentare utenze come ad esempio sistemi di telecomunicazioni, stazioni di pompaggio, utenze rurali site in luoghi isolati, ed è possibile lo spostamento del mezzo anche in zone altamente sconnesse grazie al telaio rinforzato e all'inserimento di freni e sospensioni. La produzione di energia elettrica proveniente da fonti rinnovabili viene promossa dal decreto legislativo n. 387 del 29/12/2003, che dà indicazioni affinché tutti gli impianti con potenza non superiore ai 20000W abbiano la possibilità di connettersi alla rete con la modalità di “scambio sul posto”. Questo servizio permette di ridurre l’esborso sostenuto per la bolletta relativamente alle quote dell’energia consumata e di rientrare dell’investimento iniziale; infatti la società distributrice dell’energia elettrica effettuerà ogni anno un conguaglio tra l’energia prelevata e quella immessa in rete dal cliente.

Smart execution of distributed application by balancing resources in mobile devices and cloud-based avatars

L’obiettivo del progetto di tesi svolto è quello di realizzare un servizio di livello middleware dedicato ai dispositivi mobili che sia in grado di fornire il supporto per l’offloading di codice verso una infrastruttura cloud. In particolare il progetto si concentra sulla migrazione di codice verso macchine virtuali dedicate al singolo utente. Il sistema operativo delle VMs è lo stesso utilizzato dal device mobile. Come i precedenti lavori sul computation offloading, il progetto di tesi deve garantire migliori performance in termini di tempo di esecuzione e utilizzo della batteria del dispositivo. In particolare l’obiettivo più ampio è quello di adattare il principio di computation offloading a un contesto di sistemi distribuiti mobili, migliorando non solo le performance del singolo device, ma l’esecuzione stessa dell’applicazione distribuita. Questo viene fatto tramite una gestione dinamica delle decisioni di offloading basata, non solo, sullo stato del device, ma anche sulla volontà e/o sullo stato degli altri utenti appartenenti allo stesso gruppo. Per esempio, un primo utente potrebbe influenzare le decisioni degli altri membri del gruppo specificando una determinata richiesta, come alta qualità delle informazioni, risposta rapida o basata su altre informazioni di alto livello. Il sistema fornisce ai programmatori un semplice strumento di definizione per poter creare nuove policy personalizzate e, quindi, specificare nuove regole di offloading. Per rendere il progetto accessibile ad un più ampio numero di sviluppatori gli strumenti forniti sono semplici e non richiedono specifiche conoscenze sulla tecnologia. Il sistema è stato poi testato per verificare le sue performance in termini di mecchanismi di offloading semplici. Successivamente, esso è stato anche sottoposto a dei test per verificare che la selezione di differenti policy, definite dal programmatore, portasse realmente a una ottimizzazione del parametro designato.

Progettazione e implementazione di un’applicazione per il monitoraggio e la manutenzione predittiva di sistemi

Le macchine impiegate nei processi di produzione industriale sono soggette a usura e destinate a esibire malfunzionamenti qualora non venga attuata un'attenta opera di manutenzione preventiva. In questa tesi è proposta una proof of concept relativa alla manutenzione predittiva la quale, analizzando i segnali trasmessi dai sensori installati sulla macchina, mira a segnalare in tempo utile i guasti futuri, onde consentire l'attività manutentiva prima che si verifichi il guasto.

Meccanismi di Gamification per interfacce human-vehicle

L’obiettivo principale di questa tesi è utilizzare le tecniche di gamification più importanti nella progettazione ed implementazione di un’interfaccia Human-Vehicle per creare un software che possa rendere la guida di un’automobile elettrica più efficace ed efficiente da parte del guidatore. Per lo sviluppo del software è stato svolto uno studio specifico sulla gamification, sulle interfacce Human-Vehicle e sulle macchine elettriche attualmente in produzione. Successivamente è stata svolta la fase di progettazione in cui sono stati creati dei mockup relativi all’interfaccia grafica ed è stato svolto un focus group. Infine è stato implementato il vero e proprio software di simulazione EcoGame ed è stato effettuato un test utenti.

Embodied computation and life: building blocks for open-ended evolution

Il presente lavoro si propone di sviluppare una analogia formale tra sistemi dinamici e teoria della computazione in relazione all’emergenza di proprietà biologiche da tali sistemi. Il primo capitolo sarà dedicato all’estensione della teoria delle macchine di Turing ad un più ampio contesto di funzioni computabili e debolmente computabili. Mostreremo quindi come un sistema dinamico continuo possa essere elaborato da una macchina computante, e come proprietà informative quali l’universalità possano essere naturalmente estese alla fisica attraverso questo ponte formale. Nel secondo capitolo applicheremo i risultati teorici derivati nel primo allo sviluppo di un sistema chimico che mostri tali proprietà di universalità, ponendo particolare attenzione alla plausibilità fisica di tale sistema.

Sviluppo di un'applicazione di sincronizzazione file per reti challenged

Questa tesi si pone l'obiettivo di implementare in ambiente Linux un'applicazione di sincronizzazione, chiamata DTNbox, che permetta lo scambio di file tra due nodi di una rete classificabile come Delay-/Disruption-Tolerant Network (DTN), ossia una rete in cui a causa di ritardi, interruzioni, partizionamento, non sia possibile utilizzare l'usuale architettura di rete TCP/IP. E' evidente che i problemi menzionati rendono estremamente più complessa la sincronizzazione fra cartelle rispetto ad Internet, da cui le peculiarità di DTNbox rispetto ad altre applicazioni in rete visto che, ad esempio, non è possibile la sincronizzazione tramite un nodo centrale, come in Dropbox e similari, ma occorre basarsi su comunicazioni peer-to-peer. L'oggetto della mia tesi si è quindi sviluppato principalmente su tre direzioni: • Implementare, utilizzando il linguaggio di programmazione C, le funzionalità previste dal nuovo progetto per Linux • Integrarne e modificarne le parti ritenute carenti, man mano che i test parziali ne hanno mostrato la necessità • Testarne il suo corretto funzionamento Si è deciso pertanto di dare precedenza alla scrittura delle parti fondamentali del programma quali i moduli di controllo, la struttura e gestione del database e lo scambio di messaggi tra due nodi appartenenti ad una rete DTN per poter arrivare ad una prima versione funzionante del programma stesso, in modo che eventuali future tesi possano concentrarsi sullo sviluppo di una interfaccia grafica e sull'aggiunta di nuovi comandi e funzionalità accessorie. Il programma realizzato è stato poi testato su macchine virtuali grazie all'uso dello strumento Virtualbricks.

Interventi di efficientamento energetico nell’industria ceramica

Questa tesi di laurea si occupa di valutare degli interventi di miglioramento dell’efficienza energetica per un’industria ceramica. In coerenza con gli impegni assunti nel pacchetto Clima Energia, il Decreto legislativo n° 102 del 4 luglio 2014, stabilisce l’obiettivo nazionale di risparmio energetico che consiste nella riduzione, entro il 2020, di 20 milioni di tonnellate equivalenti di petrolio dei consumi di energia primaria, conteggiati a partire dal 2010. Inoltre tale decreto stabilisce un regime obbligatorio di efficienza energetica costituito dal meccanismo dei certificati bianchi, il quale dovrebbe contribuire al raggiungimento del 60% dell’obiettivo. Sulla base di queste direttive è stato effettuato presso uno stabilimento ceramico uno studio di fattibilità che si articola nelle seguenti fasi: 1.Analisi energetica del sistema attuale finalizzata all’identificazione delle richieste energetiche in termini di produzione e consumi. 2.Analisi impiantistica finalizzata alla scelta delle macchine e delle soluzioni tecniche di dettaglio. 3.Analisi economica finalizzata alla valutazione del costo di generazione di energia elettrica e termica relativamente ai sistemi oggetto di studio. 4.Valutazione della sostenibilità dell’investimento per ogni opzione considerata, mediante l’applicazione del metodo economico del valore attuale netto (VAN), per ottimizzare il tempo di rientro dall’investimento. Le tipologie di intervento proposte sono: 1)Recupero dell’aria di raffreddamento del forno, che scaldandosi a contatto con la piastrella, ha un contenuto entalpico elevato e quindi può essere utilizzata nel reparto di essiccazione. 2)Sostituzione dei bruciatori esistenti ed obsoleti del forno di cottura bicanale con 192 nuovi kit di bruciatori "autorecuperativi". 3)Implementazione di un impianto di cogenerazione costituito da un motore a combustione interna, recuperando i gas esausti e parte dell’acqua del circuito di raffreddamento ad alta temperatura.

Modello di simulazione del processo di gestione ordini e di outbound in linguaggio Arena

La tesi ha l'obiettivo di analizzare e tradurre in un modello di simulazione il processo di evasione di ordini dal sito di stoccaggio di un’azienda di e-commerce al fine di valutarne le possibili evoluzioni. In prima analisi sono stati evidenziati i principali motivi che spingono i clienti a preferire gli store online rispetto a quelli fisici e come alcuni dei vantaggi siano il frutto dell’efficienza della gestione dell’outbound. Si è passati, quindi, all’esame del caso di studio, alla scomposizione delle singole fasi di lavorazione degli ordini e alla loro traduzione in linguaggio Arena. Il modello ottenuto è stato valutato grazie alla comparazione dei risultati di statistiche automatiche e manuali, frutto della simulazione, con i dati reali. La fase finale ha riguardato, invece, la valutazione in termini di efficienza di una possibile evoluzione del sistema che consiste nell’introduzione di un robot addetto al packing: il modello è stato modificato e le statistiche del caso as-is sono state confrontate con quelle frutto della nuova simulazione. Con i dati utilizzati è stato dimostrato come un unico robot garantisca prestazioni superiori rispetto allo stato attuale e risulti più che sufficiente per la mole di lavoro di una giornata tipo. Nei periodi dell’anno caratterizzati da un aumento esponenziale degli acquisti, tuttavia, potrebbe essere necessario affiancare alla soluzione automatica quella manuale.