An approach to document classification using verb-object pairs

The aim of this thesis is to present a new approach to document classification using verb-object pairs. We explore one possible strategy that uses the presence of relevant verb-object pairs in documents as features and a Naive Bayes classifier as a classifier on which the model is trained. Then, we assess the results from the case study which uses a software based on the strategy and make conclusions.

Tecniche di Deep Learning per il riconoscimento di errori nel codice

Il ruolo dell’informatica è diventato chiave del funzionamento del mondo moderno, ormai sempre più in progressiva digitalizzazione di ogni singolo aspetto della vita dell’individuo. Con l’aumentare della complessità e delle dimensioni dei programmi, il rilevamento di errori diventa sempre di più un’attività difficile e che necessita l’impiego di tempo e risorse. Meccanismi di analisi del codice sorgente tradizionali sono esistiti fin dalla nascita dell’informatica stessa e il loro ruolo all’interno della catena produttiva di un team di programmatori non è mai stato cosi fondamentale come lo è tuttora. Questi meccanismi di analisi, però, non sono esenti da problematiche: il tempo di esecuzione su progetti di grandi dimensioni e la percentuale di falsi positivi possono, infatti, diventare un importante problema. Per questi motivi, meccanismi fondati su Machine Learning, e più in particolare Deep Learning, sono stati sviluppati negli ultimi anni. Questo lavoro di tesi si pone l’obbiettivo di esplorare e sviluppare un modello di Deep Learning per il riconoscimento di errori in un qualsiasi file sorgente scritto in linguaggio C e C++.

Convolutional Neural Network Architectures for Template Matching

The Neural Networks customized and tested in this thesis (WaldoNet, FlowNet and PatchNet) are a first exploration and approach to the Template Matching task. The possibilities of extension are therefore many and some are proposed below. During my thesis, I have analyzed the functioning of the classical algorithms and adapted with deep learning algorithms. The features extracted from both the template and the query images resemble the keypoints of the SIFT algorithm. Then, instead of similarity function or keypoints matching, WaldoNet and PatchNet use the convolutional layer to compare the features, while FlowNet uses the correlational layer. In addition, I have identified the major challenges of the Template Matching task (affine/non-affine transformations, intensity changes...) and solved them with a careful design of the dataset.

Regolazione del ciclo di accensione spegnimento delle soffianti in vasca di areazione ed efficienza di rimozione dell’azoto: sperimentazioni presso il depuratore di Corpo Reno (FE)

Presso il depuratore di Corporeno, Comune di Cento (FE), si sono verificati dei superamenti dei limiti di legge per l’Azoto totale, Nitrico e Ammoniacale nei campioni di reflui in uscita. La società di gestione del depuratore ha iniziato a regolare il tenore di ossigeno in vasca di ossinitrificazione mediante il monitoraggio del potenziale Redox. Dall’analisi dei dati di monitoraggio e dai risultati delle analisi chimiche sui reflui in ingresso e uscita dall’impianto, si è evidenziato che tale operazione ha consentito di migliorare le prestazioni dell’impianto, tuttavia la modalità di gestione delle soffianti in vasca di ossinitrificaizione non consente un pieno controllo delle concentrazioni in uscita. Lo studio di alcune pubblicazioni (in particolare Charpentier et al. 1998 e Hao e Huang, 1996) ha consentito di individuare una metodologia di controllo dei processi in vasca che si basa sia sul potenziale di ossidoriduzione che sul pH, oltre alla concentrazione di ossigeno. L’analisi di alcuni dati di monitoraggio in continuo ha evidenziato una crisi del processo di denitrificazione. Si sono individuate tre differenti strategie di mitigazione della problematica: uno studio e sperimentazione sia in laboratorio che in vera grandezza per definire un sistema di monitoraggio real time dell’accensione delle soffianti basato sulla curva di Hao e Huang (1996), una modifica all’impianto che preveda il corretto ricircolo dalla miscela areata alle vasche di predenitrificazione, che allo stato attuale non stanno funzionando a regime ed infine una valutazione rispetto alla necessità di integrazione con fonte di carbonio esterna, in quanto i valori di BOD in ingresso potrebbero essere limitanti per la denitrificazione.

Development of a Robotic Wires Storage System for Switchgear Manufacturing Automation

Considering the great development of robotics in industrial automation, the Remodel project aims to reproduce, through the use of Cobots, the wiring activity typical of a human operator and to realize an autonomous storage work. My researches focused on this second topic. In this paper, we will see how to realize a gripper compatible with an Omron TM5X-900, able to perform a pick and place of different types of cables, but also how to compute possible trajectories. In particular, what I needed, was a trajectory going from the Komax, the cables production machine, to a Warehouse taking into account the possible entangles of cables with the robot during its motion. The last part has been dedicated to the synchronization between robot and main machine work.

Obiettivo NZEB nella riqualificazione di condomini: studio di fattibilità di impianto centralizzato a pompa di calore tramite simulazioni in regime dinamico

Molti edifici realizzati negli anni ‘80-‘90 sono caratterizzati da impianti con caldaie autonome e nell’ambito degli interventi di riqualificazione energetica solo raramente vengono inserite delle pompe di calore a causa della temperatura di funzionamento dell’impianto, che spesso deve essere mantenuta elevata per i sistemi di emissione a radiatori. Tuttavia la riduzione dei carichi termici dovuti all'isolamento degli edifici consente di utilizzare i terminali esistenti facendoli lavorare a bassa temperatura, con temperature medie di 45-50°C. Obiettivo principale della tesi è quindi la valutazione della fattibilità e dei vantaggi energetici nell’ambito della sostituzione di un sistema di riscaldamento autonomo a gas con un sistema a pompa di calore. Viene preso in esame un edificio condominiale formato da 47 alloggi sito a San Lazzaro di Savena e in particolare verrà valutata la fattibilità di inserire un impianto centralizzato a pompa di calore per ogni corpo scala di cui è composto l’edificio, alimentando l’impianto con pannelli fotovoltaici installati in copertura. Per valutare i vantaggi energetici è stato utilizzato il software di simulazione dinamica Design Builder che consente di analizzare i fabbisogni energetici e la produzione di energia con step orario. Il modello dinamico permette anche di studiare le strategie d’involucro più opportune per diminuire il fabbisogno energetico e poter far lavorare la pompa di calore con i radiatori esistenti a bassa temperatura. I risultati attesi dal lavoro sono molteplici: in primo luogo verificare che la scelta dell’introduzione della pompa di calore consenta all'edificio di ridurre i consumi di energia primaria da fonti non rinnovabili, con lo scopo di portare l’edificio ad una richiesta di quasi zero energia (NZEB) in linea con le nuove normative europee e nazionali; in secondo luogo che l’utilizzo della simulazione oraria consenta di valutare il matching reale tra produzione e consumo di energia.

Sviluppo ed ingegnerizzazione di nuovi sistemi ibridi a base di nanoparticelle inorganiche e bio-tensioattivi

In questo lavoro di tesi è stata investigata la sintesi di compositi a base di nano particelle di biossido di titanio rivestite da un bio-tensioattivo naturale. Il noto fotocatalizzatore (Nano-TiO2) è stato accoppiato ad un bio-tensioattivo dalle riconosciute proprietà antibatteriche, antivirali e anti-tumorali per ottenere un materiale composito multifunzionale. Diverse opzioni di design sono state investigate e la sintesi ottimizzata attraverso una caratterizzazione sistematica dei materiali prodotti, sia sulle sospensioni (DLS, ELS, TEM) sia sui prodotti granulati e calcinati (XRD, FT-IR, SEM, UV-Vis., BET). Per comprendere il ruolo del bio-tensioattivo e i potenziali effetti sinergici che il materiale composito potesse generare, si sono effettuate diverse caratterizzazioni funzionali testando il materiale per la realizzazione di nano-fasi fotocatalitiche da impiegare in processi di adsorbimento/degradazione di inquinanti acquosi, per la realizzazione di rivestimenti tessili antibatterici e come composito utile per l’assorbimento di metalli pesanti.

Conceptual design of the integral measurement system of the radiation dose of the fuel elements for the ALFRED reactor.

Conceptual design of the integral measurement system of the radiation dose of the fuel elements for the ALFRED reactor.

Un framework per la graficazione di dati in Scala

La tesi si incentra nello studio e utilizzo del linguaggio Scala per aspetti di ingestion, processing e plotting di dati, prestando enfasi su time series. Questa è costituita da una prima parte introduttiva sui principali argomenti, per poi concentrarsi sull’analisi dei requisiti, il modello del dominio, il design architetturale e la sua implementazione. Termina infine con qualche nota conclusiva riguardante possibili sviluppi futuri. La parte progettuale consiste nello sviluppo di un’applicazione che supporti le librerie scelte e che favorisca il processo in modo agevole. La validazione del progetto software realizzato viene fatta tramite una sequenza di varie configurazioni a dimostrarne la differenza tra la scelta di determinate opzioni: ciascuna viene accompagnata da una o pi`u immagini che ne dimostrano i risultati ottenuti a seguito dell’uso del programma.

Progettazione di un impalcato da ponte a sezione mista acciaio-calcestruzzo

In questa tesi si è sviluppata la progettazione di un impalcato da ponte a sezione mista acciaio-calcestruzzo dal punto di vista statico in accordo con le normative vigenti. In particolare, è stato studiato il caso di impalcato bitrave, secondo uno schema di ponte a travata continua. La progettazione ha riguardato le principali componenti di un impalcato misto, a partire dal primo elemento di trasmissione dei carichi, ovvero la soletta di calcestruzzo, per poi proseguire con le travi longitudinali principali, gli irrigidimenti, i connettori a taglio, i collegamenti e i traversi. Per ognuno di essi, sono state effettuate le verifiche secondo il metodo semiprobabilistico agli stati limite descritto negli Eurocodici.

Modellazione del Digital Twin e simulazioni di Virtual Commissioning di un centro di lavoro

Lo studio condotto è relativo allo sviluppo del Digital Twin di macchine automatiche finalizzato all’implementazione del cosiddetto Virtual Commissioning, cioè simulazioni virtuali della messa in servizio delle macchine per la verifica preliminare e/o ottimizzazione dei codici di controllo (Part Program o G-code). In particolare, il caso di studio trattato in questa tesi è la macchina F2F prodotta dall’Azienda GIULIANI (gruppo Bucci Automations S.p.a., Faenza – RA), con centro di lavoro bi-mandrino con tavola rotante azionato tramite controllore Fanuc. Dopo aver creato il Digital Twin della macchina, che ha richiesto come primo passo la digitalizzazione di alcuni componenti di cui non si avevano a disposizione i modelli CAD 3D, sono state effettuate simulazioni di cicli di lavoro di diversi semigrezzi, così da validare il modello in modo approfondito sulla base dell’esame di varie casistiche. In questa tesi si analizzano nel dettaglio il processo di sviluppo del modello e le procedure di simulazioni di Virtual Commissioning implementate sul software Eureka Virtual Machining (Roboris S.r.l., Pisa), delle quali vengono presentati i maggiori problemi riscontrati e illustrate le relative soluzioni. L’obiettivo è quello di fornire linee guida di carattere generale per affrontare anche in futuro le criticità più significative durante la fase di digitalizzazione delle macchine prodotte dall’Azienda. Inoltre, come applicazione particolare delle simulazioni Virtual Commissiong, è stata svolta un’attività di ottimizzazione per la riduzione del tempo di ciclo di lavoro di un pezzo, con lo scopo di incrementare la produttività della macchina. Infine, si fa notare che il produttore del software ha eseguito modifiche alla versione corrente di Eureka sulla base delle criticità che sono state riscontrate e segnalate durante lo sviluppo di questa tesi.

Sintesi ed ottimizzazione di una pressa a ginocchiera per stampaggio di materiale plastico

L’elaborato affronta l’ottimizzazione di una pressa a doppia ginocchiera a 5 punti impiegata nello stampaggio a iniezione. Il processo di ottimizzazione coinvolge la sintesi dimensionale dei membri del meccanismo e la pianificazione della traiettoria del suo organo cedente. L’obiettivo finale è di ottenere una geometria del meccanismo ed una legge oraria che minimizzino il picco di coppia richiesto all’attuatore, oltre a rispettare i vincoli fisici dell’applicazione (ingombri, velocità massima, forza massima, ecc.). La soluzione ottima viene raggiunta applicando in serie l’algoritmo genetico e l’algoritmo SQP (programmazione quadratica sequenziale) ad un modello dinamico rigido del meccanismo. I due algoritmi vengono scelti in quanto efficaci nel risolvere un problema di ottimizzazione vincolato. Per quanto riguarda la loro applicazione in serie, l’algoritmo genetico permette l’esplorazione dello spazio di progettazione e l’individuazione di una soluzione "buona", a partire da questa l’algoritmo SQP trova l’ottimo locale. L’intero processo di modellazione ed ottimizzazione è implementato tramite il software MATLAB. I risultati sono validati con un software di analisi dinamica (SolidWorks Motion) ed in parte in maniera sperimentale. Infine, la soluzione attuale viene confrontata con quelle ottenute. Il confronto è descritto nel dettaglio nella Sezione 6.5 ed in forma riassuntiva nella Sezione 6.5.5.

Studio di fattibilità e realizzazione di un veicolo a guida automatica per linee di assemblaggio

Lo scopo del progetto di IMA Automation, segmento di IMA S.p.A., è progettare un sistema di automazione da collocare nei magazzini e nell’intera catena logistica, con il fine di aumentare la produttività sia all’interno dei propri magazzini che rappresentare una valida soluzione per i clienti, automatizzando la supply chain. Il lavoro di tesi è stato strutturato in una fase preliminare di ricerca e di studio sullo stato dell’arte, atto ad approfondire le peculiarità delle soluzioni attualmente in commercio, seguita da una intensa attività di progettazione. Nello specifico, l’iter progettuale ha preso in considerazione vari aspetti, a partire dai requisiti di progetto e lo studio dell’identificazione della tipologia di batteria, fino al dimensionamento elettrico dei moduli componenti l’hardware della macchina, programmazione della sensoristica e la progettazione del telaio.

Valutazione della stabilità ossidativa di tre oli destinati all'alimentazione animale addizionati con antiossidanti sintetici e naturali

Al fine di produrre alimenti di origine animale in grado di soddisfare le richieste del consumatore da un punto di vista del valore nutrizione e della conservabilità del prodotto, si ricorre, in fase di formulazione dei mangimi, all’aggiunta di additivi tecnologici che possano stabilizzare il mangime, preservandolo dall’ossidazione lipidica. Lo scopo di questo lavoro di tesi è stato quello di valutare l’effetto antiossidante dell’olio essenziale di Rosmarinus officinalis, aggiunto a tre tipologie di olio (olio di lino, olio di salmone ed olio di germe di grano), confrontandolo con 3 additivi sintetici (il butilidrossianisolo (BHA), il butilidrossitoluene (BHT) e l’etossichina). Al fine di valutare l’effetto degli antiossidanti, i campioni di olio di controllo e quelli addizionati con i vari antiossidanti sono stati sottoposti a termossidazione in stufa a 60°C e campionati a 0, 7, 15 e 30 giorni. La stabilità ossidativa dei diversi oli è stata valutata mediante analisi compositive (acidi grassi totali e steroli totali) ed analisi dei composti primari (numero di perossidi) e secondari (composti volatili) dell’ossidazione.

Amostragem por aspiração de citologia dos tecidos moles

Tutorial publicado pela Universidade Estadual do Amazonas (UEA) em parceiria com a Unidade de Citologia do Hospital Universitário de Ancona (Itália) sobre amostragem por aspiração. Neste caso o enfoque é para massas de tecidos moles superficiais. Pela simplicidade na coleta da amostra, viável também ao profissional de saúde não especialista, a citologia por aspiração, ainda que não tenha capacidade de substituir a histologia, é de grande apoio ao diagnóstico de doenças oncológicas em ambiente remoto, quando a transferência do paciente é complicada. A Universidade do Estado de Amazonas está muito comprometida em apoiar a aprendizagem e a capacitação dos profissionais da saúde no contexto de floresta, decentralizando procedimentos diagnósticos e evitando assim a transferência do paciente. O tutorial mostra como um profissional de saúde, em qualquer posto de saúde que atue, com equipamentos basicos. Em sequência, são mostradas as técnicas de punção do linfonodo, colocação da amostra em cima da lâmina, esfregaço, fixação e encaminhamento da amostra para o centro mais próximo de citopatologia.