922 resultados para MIPv6 ABPS LISP Reti Mobilita Simulazione OMNeT INET
Resumo:
Il machine learning negli ultimi anni ha acquisito una crescente popolarit nellambito della ricerca scientifica e delle sue applicazioni. Lo scopo di questa tesi stato quello di studiare il machine learning nei suoi aspetti generali e applicarlo a problemi di computer vision. La tesi ha affrontato le difficolt del dover spiegare dal punto di vista teorico gli algoritmi alla base delle reti neurali convoluzionali e ha successivamente trattato due problemi concreti di riconoscimento immagini: il dataset MNIST (immagini di cifre scritte a mano) e un dataset che sar chiamato MELANOMA dataset (immagini di melanomi e nevi sani). Utilizzando le tecniche spiegate nella sezione teorica si sono riusciti ad ottenere risultati soddifacenti per entrambi i dataset ottenendo una precisione del 98% per il MNIST e del 76.8% per il MELANOMA dataset
Resumo:
Il trasformatore uno degli elementi pi importanti di una rete di trasmissione; essendo il tramite fra reti di alta e media tensione, il suo corretto funzionamento garantisce lalimentazione di tutti i dispositivi e carichi connessi alla linea. Oltre a questo, il trasformatore anche lelemento pi costoso di tutta la linea elettrica; la sua manutenzione di vitale importanza per evitare costi elevati per la sostituzione e disagi lungo la linea. Qui entra in gioco il ruolo della diagnostica; attraverso misure periodiche e mirate sul trasformatore possibile agire tempestivamente ed evitare tutti i fenomeni precedentemente elencati. Nellelaborato si tratter lanalisi del trasformatore elettrico trifase durante il suo funzionamento, evidenziando i sottocomponenti e le rispettive criticit; inoltre, verranno mostrate le varie tecniche di diagnostica del trasformatore, in modo tale da poter estrarre un indice legato allo stato di vita, ossia lHealth Index. Ad oggi esistono diverse tecniche di approccio al calcolo dellHealth Index, quella che viene presentata una tecnica del tutto innovativa, ossia sviluppare una rete neurale artificiale (Artificial Neural Network, ANN) in grado di prevedere lo stato del trasformatore basandosi su misure effettuate sullo stesso. Dunque, verranno presentante le basi per lo sviluppo di una rete neurale, partendo dallanalisi e formattazione dei dati, fino alla fase di ottimizzazione delle prestazioni. Infine, si attraverseranno tutte le fasi intermedie di realizzazione del progetto da cui lelaborato prende il titolo; osservando levoluzione di una rete neurale che si trasforma da un programma scritto in ambiente Python a una applicazione pronta alluso per gli operatori durante le operazioni di diagnostica.
Resumo:
Allinterno dell'elaborato verr approfondito il Servizio Idrico Integrato, in particolare saranno descritti i processi di trattamento dellacqua dalla captazione fino al rilascio in ambiente e introdotte le Autorit che regolano il Servizio Idrico con la relativa normativa. In particolare, oggetto di questa tesi lapplicativo Geocall, implementato dalla Direzione Acqua del Gruppo Hera S.p.A. nel 2018, a supporto dei processi di Pronto Intervento e di Conduzione e Manutenzione delle reti e impianti idrici. In seguito alla descrizione delle modalit di gestione di questi processi da parte del Gruppo prima dellimplementazione di Geocall, la piattaforma, messa a confronto con gli strumenti a disposizione del Gruppo prima della sua introduzione, verr approfondita nelle sue applicazioni e nelle sue funzionalit allinterno dei processi coinvolti dallanalisi, con lobbiettivo di mettere in luce le differenze con le modalit di gestione passate e in particolare i vantaggi e gli eventuali svantaggi ottenuti con lutilizzo del nuovo software.
Resumo:
Il lavoro di tesi presentato nato da una collaborazione con il Politecnico di Macao, i referenti sono: Prof. Rita Tse, Prof. Marcus Im e Prof. Su-Kit Tang. L'obiettivo consiste nella creazione di un modello di traduzione automatica italiano-cinese e nell'osservarne il comportamento, al fine di determinare se sia o meno possibile l'impresa. Il trattato approfondisce l'argomento noto come Neural Language Processing (NLP), rientrando dunque nell'ambito delle traduzioni automatiche. Sono servizi che, attraverso l'ausilio dell'intelligenza artificiale sono in grado di elaborare il linguaggio naturale, per poi interpretarlo e tradurlo. NLP una branca dell'informatica che unisce: computer science, intelligenza artificiale e studio di lingue. Dal punto di vista della ricerca, le pi grandi sfide in questo ambito coinvolgono: il riconoscimento vocale (speech-recognition), comprensione del testo (natural-language understanding) e infine la generazione automatica di testo (natural-language generation). Lo stato dell'arte attuale stato definito dall'articolo "Attention is all you need" \cite{vaswani2017attention}, presentato nel 2017 a partire da una collaborazione di ricercatori della Cornell University.\\ I modelli di traduzione automatica pi noti ed utilizzati al momento sono i Neural Machine Translators (NMT), ovvero modelli che attraverso le reti neurali artificiali profonde, sono in grado effettuare traduzioni o predizioni. La qualit delle traduzioni particolarmente buona, tanto da arrivare quasi a raggiungere la qualit di una traduzione umana. Il lavoro infatti si concentrer largamente sullo studio e utilizzo di NMT, allo scopo di proporre un modello funzionale e che sia in grado di performare al meglio nelle traduzioni da italiano a cinese e viceversa.
Resumo:
Il monitoraggio basato su emissioni acustiche (AE) guidate si confermato tra le tecniche pi affidabili nel campo del Non-Destructive Testing delle strutture planari, vista anche la sua semplicit implementativa, i bassi costi che lo caratterizzano, la non invasivit e la possibilit di realizzare un sistema che agisca in maniera continuativa ed in tempo reale sfruttando reti di sensori permanentemente installati, senza la necessit di ispezioni periodiche. In tale contesto, possibile sfruttare labilit dellapprendimento automatico nellindividuazione dei pattern nascosti allinterno dei segnali grezzi registrati, ottenendo cos informazioni utili ai fini dellapplicazione considerata. Lesecuzione on-edge dei modelli, ovvero sul punto di acquisizione, consente di superare le limitazioni imposte dal processamento centralizzato dei dati, con notevoli vantaggi in termini di consumo energetico, tempestivit nella risposta ed integrit degli stessi. A questo scopo, si rivela per necessario sviluppare modelli compatibili con le stringenti risorse hardware dei dispositivi a basso costo tipicamente impiegati. In questo elaborato verranno prese in esame alcune tipologie di reti neurali artificiali per lestrazione dellistante di arrivo (ToA) di unemissione acustica allinterno di una sequenza temporale, in particolare quelle convoluzionali (CNNs) ed una loro variante pi recente, le CapsNet basate su rounting by agreement. Lindividuazione dei ToA relativi al medesimo evento su segnali acquisiti in diverse posizioni spaziali consente infatti di localizzare la sorgente da cui esso scaturito. Le dimensioni di questi modelli permettono di eseguire linferenza direttamente su edge-device. I risultati ottenuti confermano la maggiore robustezza delle tecniche di apprendimento profondo rispetto ai metodi statistici tradizionali nel far fronte a diverse tipologie di disturbo, in particolare negli scenari pi critici dal punto di vista del rapporto segnale-rumore.
Resumo:
Lelaborato di tesi presentato stato svolto con lobiettivo di identificare una metodologia chiara ed efficacie per consentire alle aziende di classificare correttamente i codici presenti a magazzino e assegnarvi la politica di approvvigionamento pi idonea. Il focus del lavoro si incentrato sulla realizzazione di un trade off tra lobiettivo delle aziende di evitare lo stock out di merce, e quello di riuscire a contenere le giacenze medie dei codici a magazzino e delle corrispettive scorte di sicurezza, che rappresentano sempre un insieme di costi ingenti. Partendo quindi da una analisi dettagliata delle politiche di approvvigionamento dettate dalla letteratura, ci si sofferma sul metodo a punto di riordino, individuato come il pi idoneo a perseguire questa mission. Segue quindi una descrizione dei passi da seguire per riuscire a determinare il perimetro di azione pi compatibile con le caratteristiche del modello, fino a giungere alla reale simulazione di calcolo e successiva implementazione dei nuovi dati a sistema. Il tutto viene svolto facendo riferimento ai dati appartenenti allazienda Ravaglioli S.p.A. di Sasso Marconi (BO), che ha permesso di svolgere ed implementare tutti gli steps e le analisi elencate nellelaborato di tesi e sta attualmente lavorando utilizzando gli output del lavoro presentato. La tesi si conclude con la valutazione degli effettivi benefici derivanti dal progetto e una proposta di possibile sviluppo futuro dellelaborato.
Resumo:
In questa tesi stata analizzata attraverso una modellazione numerica tramite Xbeach la batimetria delle coste di Cesenatico Ponente e la sua modifica dopo eventi meteomarini del clima tipico della durata di 12 ore. Verr analizzata in primis l'area di studio attraverso la descrizione delle caratteristiche e delle opere presenti, si delineeranno quali funzioni vengono adottate nel modello e seguiranno poi le spiegazioni di tutti i passi svolti e quali parametri sono stati utilizzati per lanciare una simulazione. Infine, verranno mostrati e commentati i risultati pi significativi.
Resumo:
In questi anni, c stato un grande sviluppo negli standard wireless nel mondo della televisione, della radio e delle comunicazioni mobili. Questo ha portato con s problemi di compatibilit tra le reti wireless e ha limitato lo sviluppo di nuove funzionalit e servizi. La Software Defined Radio rappresenta una soluzione di flessibilit per affrontare questa serie di problematiche. In un sistema di comunicazione digitale, le informazioni viaggiano su un canale che soggetto a rumore ed interferenza; perci, per garantire robustezza e affidabilit alle applicazioni nella comunicazione digitale, i sistemi richiedono luso di codici di correzione degli errori, basati su schemi di codifica di canale. Esistono diverse tipologie di codici per la correzione degli errori, tra le quali il turbo codice, utilizzato nei sistemi LTE. Questo lavoro presenta la progettazione e la successiva ottimizzazione di un turbo encoder per sistemi LTE su una scheda FPGA, la quale, a differenza di altri dispositivi, meglio si presta a questo scopo, grazie alla caratteristica di riprogrammabilit. Dapprima viene presentato un turbo encoder sequenziale, il quale viene ottimizzato creandone una versione parallela. I risultati mostrano che larchitettura parallela presenta prestazioni, in termini di throughput, quattro volte migliori di quella sequenziale, a fronte di un lieve aumento delluso delle risorse della scheda. Confrontando questo turbo encoder ottimizzato con un progetto presente in letteratura, si nota che lefficienza darea risulta maggiore con un fattore circa pari a 3.
Resumo:
Nella sede dellazienda ospitante Alexide, si ravvisata la mancanza di un sistema di controllo automatico da remoto dellintero impianto di climatizzazione HVAC (Heating, Ventilation and Air Conditioning) utilizzato, e la soluzione migliore risultata quella di attuare un processo di trasformazione della struttura in uno smart building. Ho quindi eseguito questa procedura di trasformazione digitale progettando e sviluppando un sistema distribuito in grado di gestire una serie di dati provenienti in tempo reale da sensori ambientali. Larchitettura del sistema progettato stata sviluppata in C# su ambiente dotNET, dove sono stati collezionati i dati necessari per il funzionamento del modello di predizione. Nella fattispecie sono stati utilizzati i dati provenienti dallHVAC, da un sensore di temperatura interna dell'edificio e dal fotovoltaico installato nella struttura. La comunicazione tra il sistema distribuito e lentit dellHVAC avviene mediante il canale di comunicazione ModBus, mentre per quanto riguarda i dati della temperatura interna e del fotovoltaico questi vengono collezionati da sensori che inviano le informazioni sfruttando un canale di comunicazione che utilizza il protocollo MQTT, e lo stesso viene utilizzato come principale metodo di comunicazione allinterno del sistema, appoggiandosi ad un broker di messaggistica con modello publish/subscribe. L'automatizzazione del sistema dovuta anche all'utilizzo di un modello di predizione con lo scopo di predire in maniera quanto pi accurata possibile la temperatura interna all'edificio delle ore future. Per quanto riguarda il modello di predizione da me implementato e integrato nel sistema la scelta stata quella di ispirarmi ad un modello ideato da Google nel 2014 ovvero il Sequence to Sequence. Il modello sviluppato si struttura come un encoder-decoder che utilizza le RNN, in particolare le reti LSTM.
Resumo:
La complessit dei satelliti e la difficolt nellanalizzare e risolvere eventuali malfunzionamenti che occorrono dopo la messa in funzione, comportano la necessit di completare estensive campagne di verifica sperimentale prima del lancio in orbita. Nel caso del sistema di determinazione e controllo di assetto (ADCS) necessario riprodurre a terra le condizioni di microgravit e quasi totale assenza di attrito che si riscontrano in orbita. Per simulare lambiente spaziale a terra si usano quindi dei banchi prova progettati e costruiti appositamente per questo scopo: vengono solitamente impiegati dei cuscinetti ad aria sferici, piani oppure di entrambi i tipi per dare al sistema da verificare gradi di libert rotazionali. Il Laboratorio Microsatelliti Microsistemi Spaziali dellUniversit di Bologna ha sviluppato un banco prova in cui possono essere utilizzati alternativamente due cuscinetti sferici, uno realizzato in PVC e laltro in alluminio. Al fine di certificare laffidabilit dei risultati ottenuti dalle prove sperimentali, necessario caratterizzare tutte le fonti di disturbo e in particolare verificare che i disturbi introdotti dai cuscinetti siano sufficientemente bassi da assicurare una fedele simulazione dellambiente spaziale. Nel presente elaborato descritta la progettazione e la realizzazione di una piattaforma sperimentale necessaria per quantificare le coppie di disturbo dei due cuscinetti utilizzati presso il laboratorio. I risultati sperimentali ottenuti sono stati comparati con un modello analitico ricavato da precedenti conclusioni pubblicate nella letteratura scientifica. In seguito, la tesi esamina lapproccio utilizzato per stimare le coppie di disturbo e compara i risultati per entrambi i cuscinetti disponibili. Il lavoro svolto mette a servizio del laboratorio gli strumenti necessari a dimensionare i cuscinetti che verranno sviluppati e utilizzati in futuro.
Resumo:
I principi Agile, pubblicati nellomonimo Manifesto pi di 20 anni fa, al giorno doggi sono declinati in una moltitudine di framework: Scrum, XP, Kanban, Lean, Adaptive, Crystal, etc. Nella prima parte della tesi (Capitoli 1 e 2) sono stati descritti alcuni di questi framework e si analizzato come un approccio Agile utilizzato nella pratica in uno specifico caso duso: lo sviluppo di una piattaforma software a supporto di un sistema di e-grocery da parte di un team di lab51. Si sono verificate le differenze e le similitudini rispetto alcuni metodi Agile formalizzati in letteratura spiegando le motivazioni che hanno portato a differenziarsi da questi framework illustrando i vantaggi per il team. Nella seconda parte della tesi (Capitoli 3 e 4) stata effettuata unanalisi dei dati raccolti dal supermercato online negli ultimi anni con lobiettivo di migliorare lalgoritmo di riordino. In particolare, per prevedere le vendite dei singoli prodotti al fine di avere degli ordini pi adeguati in quantit e frequenza, sono stati studiati vari approcci: dai modelli statistici di time series forecasting, alle reti neurali, fino ad una metodologia sviluppata ad hoc.
Resumo:
La sicurezza informatica la pratica di proteggere i sistemi critici e le informazioni sensibili dagli attacchi digitali. Note anche come sicurezza IT, le misure della sicurezza informatica sono progettate per combattere le minacce contro sistemi in rete e applicazioni, che hanno origine sia allinterno che allesterno di unorganizzazione. Al giorno d'oggi, la minaccia informatica globale continua a evolversi ad un ritmo rapido, con un numero crescente di violazioni dei dati ogni anno. Lo scopo di questo documento di offrire inizialmente una panoramica su quelli che sono i contesti della sicurezza informatica e le varie tipologie di attacco, per poi mostrare, attraverso la realizzazione di tre casi d'uso, delle modalit con cui violare la sicurezza di una rete tramite costruzione di pacchetti ARP anomali sfruttando l'utilizzo della libreria Scapy. La prima di queste simuler una casistica di attacco noto come ARP Spoofing dove si tenta di andare ad avvelenare la tabella ARP di un host. Il secondo caso d'uso genera dei pacchetti ARP anomali con all'interno del payload relativo a datagrammi UDP o segmenti TCP causando un possibile sovraccarico della rete, potendo perci simulare degli attacchi DoS. Il terzo e ultimo caso d'uso genera uno scambio di informazioni ARP tra host di due LAN differenti attraverso l'uso di pacchetti TCP o UDP creando una specie di tunneling tra i due host. I risultati finali permettono di verificare che tramite l'utilizzo di un semplice protocollo come ARP, si possano in realt generare nuove modalit con cui minacciare la sicurezza informatica. Questo ci fa quindi dedurre la possibilit di poter creare numerose metodologie di attacco, utilizzando la vastit di protocolli utilizzati nelle reti, confermando che il cybercrimine sempre in continua evoluzione
Resumo:
L'erogazione dei servizi informatici tramite cloud ormai una delle soluzioni pi in voga nel mercato odierno, tant' che, analizzando le statistiche fornite dalle piattaforme principali, anche il futuro sembra andare proprio in quella direzione. Quest'evoluzione avr un forte impatto persino nelle telecomunicazioni, dove le tecniche di virtualizzazione e softwarizzazione vengono gi oggi impiegate per facilitare la gestione delle infrastrutture di rete, creando le cosiddette SDN (Software Defined Network). I provider che scelgono di adottare queste soluzioni ottengono un elevato grado di flessibilit dei propri servizi, facilitando notevolmente lo sviluppo di nuove funzionalit, grazie alla presenza di controller esterni a cui vengono demandati gli aspetti di gestione della rete stessa. In uno scenario di questo tipo fondamentale che gli strumenti volti allo studio e alla sperimentazione di reti software-based siano in grado di stare al passo con i tempi, utilizzando tecnologie all'avanguardia ed accessibili anche agli utenti che si interfacciano per la prima volta con queste metodologie. Perch questo sia possibile necessario che telecomunicazioni e sviluppo software, aspetti storicamente appartenenti a due mondi dell'informatica paralleli, si uniscano. Ad oggi gli strumenti che permettono di operare su SDN sono innumerevoli, ma spesso accomunati dalla mancanza di qualsivoglia interfaccia grafica, restringendo l'utenza di riferimento ad un gruppo ancor pi di nicchia, escludendo gli utilizzatori alle prime armi. L'obiettivo di questo progetto proporre uno strumento alternativo, basato su Ryu, che permetta allutente di creare, configurare e gestire secondo le proprie esigenze una rete virtuale, attraverso uninterfaccia grafica e un simulatore interattivo per controllare e visualizzare lo stato dei dispositivi connessi. Infine, verranno analizzati i vantaggi didattici ottenuti dall'impiego dell'applicativo rispetto alle metodologie classiche.
Resumo:
Obiettivo dello studio condotto limplementazione di cicli di operazioni per lassemblaggio automatizzato di componenti che costituiscono un sistema di trasporto a catena presente in alcune macchine automatiche. Lautomazione del processo, fino ad oggi svolto manualmente, prevede lutilizzo di un robot e, per il controllo di questultimo, di un sistema di visione artificiale. Lattivit di tirocinio associata alla tesi di laurea, che ha incluso una parte sperimentale oltre alla scrittura degli algoritmi di controllo del robot, stata svolta allinterno del laboratorio TAILOR (Technology and Automation for Industry LabORatory) presso Siropack Italia S.r.l dove presente una cella dotata di robot antropomorfo (Mitsubishi Electric) e di sistema di visione artificiale con camere 2D (Omron). La presenza di questultimo risultata strategica in termini di possibilit di adattare il montaggio anche a diversi posizionamenti degli oggetti allinterno dello spazio di lavoro, fermo restando che gli stessi risultassero appoggiati su una superficie piana. In primo luogo, affinch fosse garantita la ripetibilit del processo, sono state testate le prestazioni del sistema di visione tramite opportuna calibrazione della camera e del sistema di illuminazione ad esso collegata, al fine di ottenere unacquisizione delle immagini che fosse sufficientemente robusta e risoluta mediante lo sfruttamento del software di elaborazione Omron FH Vision System. Unopportuna programmazione della traiettoria del robot in ambiente di simulazione RT Toolbox 3, software integrato nel sistema di controllo del robot Mitsubishi Electric, ha infine consentito le regolari operazioni di assemblaggio, garantendo un processo affidabile ed, allo stesso tempo, adattabile ad ambienti eventualmente non strutturati in cui esso si trova ad operare.
Resumo:
Linquinamento olfattivo, negli ultimi anni, ha acquisito rilevanza a livello istituzionale e varie Regioni italiane hanno adottato Regolamenti e Linee Guida in materia. Queste, individuano gli studi di impatto olfattivo come strumenti per valutare la necessit di interventi correttivi, a seguito di simulazioni effettuate con modelli di dispersione atmosferica. In studi di primo livello uno dei modelli utilizzabili quello gaussiano, con cui vengono ricercate le concentrazioni di inquinante massime possibili nelle situazioni di simulazione considerate, a scopo di screening. In questo elaborato gli output di queste simulazioni saranno confrontati e correlati con quelli ottenuti da un modello di dispersione non stazionario di tipo lagrangiano a particelle, utilizzato invece negli studi di impatto olfattivo di secondo livello. Le variabili studiate sono state la concentrazione odorigena di picco, confrontata con il 98 percentile delle concentrazioni di picco orario su base annua, e la relativa distanza dalla sorgente. Il setting sperimentale presume una singola sorgente puntiforme, di cui stata variata laltezza della ciminiera. Per tutte le altezze emissive considerate, ogni run di simulazione stato effettuato con entrambi i modelli. Le operazioni di regressione eseguite sugli output cos ottenuti, hanno evidenziato delle buone funzioni di correlazione per entrambe le variabili considerate, valutate attraverso il parametro R2. Questo permette unanalisi di impatto olfattivo di primo livello molto pi accurata, poich, utilizzando allatto pratico un modello di tipo gaussiano, si possono stimare da esso i risultati che si sarebbero ottenuti con lapplicazione di quello lagrangiano, pi complesso e in linea con quanto richiesto dalla normativa. Si ottengono, quindi, valutazioni di impatto pi aderenti al territorio analizzato senza, tuttavia, la necessit di utenti con competenze tecniche specifiche e di strumenti informatici con potenze di calcolo molto elevate.
