975 resultados para autenticazione protocolli crittografia simulink implementazione stateflow
Resumo:
L’ambito videoludico è in forte espansione, andando a coinvolgere diversi settori ed ambiti. Infatti, i videogiochi possono avere scopi diversi e più articolati oltre al semplice intrattenimento e questo è proprio l'obiettivo dei Serious Game. Questi hanno come scopo quello di insegnare qualcosa tramite il gameplay stesso e vengono quindi utilizzati nel contesto educativo e dell'apprendimento. In questo contesto, il volume di tesi presenta il design e l'implementazione di un prototipo di serious game sviluppato per uno scopo ben definito: supporto e potenziamento dell’attenzione visuospaziale, facendo concentrare per l’appunto l’attenzione del giocatore sulle sue azioni, combinando facoltà visive, riflessi e anche memoria. Il gioco è pensato per essere adatto a tutti i giocatori, ma è stato sviluppato con un'attenzione particolare agli studenti che soffrono di Disturbi Specifici dell’Apprendimento (DSA). Il progetto è stato infatti sviluppato con Develop-Player, una Spin-off dell’Università di Bologna in cui psicologi, neuropsicologi e logopedisti hanno individuato nuovi metodi per potenziare i meccanismi più profondi dell’apprendimento e collaborano con informatici esperti nelle tecnologie più avanzate per l’implementazione di nuove esperienze interattive.
Resumo:
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.
Resumo:
L’elaborato di tesi presentato è stato svolto con l’obiettivo 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 l’obiettivo 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 all’azienda Ravaglioli S.p.A. di Sasso Marconi (BO), che ha permesso di svolgere ed implementare tutti gli steps e le analisi elencate nell’elaborato 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 dell’elaborato.
Resumo:
In questa tesi si introdurranno i concetti fondamentali della crittografia, per poi concentrarci sui cifrari di flusso. Dopo aver definito le basi teoriche necessarie, si andrà a vedere il progetto eSTREAM e in particolare si analizzerà i suoi principali cifrari di flusso.
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 all’interno che all’esterno di un’organizzazione. 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:
I problemi di ottimizzazione di dimensione finita di larga scala spesso derivano dalla discretizzazione di problemi di dimensione infinita. È perciò possibile descrivere il problema di ottimizzazione su più livelli discreti. Lavorando su un livello più basso di quello del problema considerato, si possono calcolare soluzioni approssimate che saranno poi punti di partenza per il problema di ottimizzazione al livello più fine. I metodi multilivello, già ampiamente presenti in letteratura a partire dagli anni Novanta, sfruttano tale caratteristica dei problemi di ottimizzazione per migliorare le prestazioni dei metodi di ottimizzazione standard. L’obiettivo di questa tesi è quello di implementare una variante multilivello del metodo del gradiente (MGM) e di testarlo su due diversi campi: la risoluzione delle Equazioni alle Derivate Parziali la ricostruzione di immagini. In questo elaborato viene illustrata la teoria dello schema multilivello e presentato l’algoritmo di MGM utilizzato nei nostri esperimenti. Sono poi discusse le modalità di utilizzo di MGM per i due problemi sopra presentati. Per il problema PDE, i risultati ottenuti mostrano un ottimo comportamento di MGM rispetto alla implementazione classica ad un livello. I risultati ottenuti per il problema di ricostruzione di immagini, al contrario delle PDEs, evidenziano come MGM sia efficace solo in determinate condizioni.
Resumo:
Il presente lavoro di tesi ha lo scopo di implementare un modello previsionale del comportamento magnetico di leghe Fe-Si in regime statico e dinamico, mediante l’identificazione e l’ottimizzazione dei parametri caratteristici del modello di Jiles-Atherton. Tale fine è stato perseguito attraverso l’uso del software di calcolo Matlab-Simulink. Il modello, validato mediante i dati reperibili in letteratura, permette di simulare la curva di prima magnetizzazione e il ciclo di isteresi per materiali ferromagnetici soft mediante la conoscenza di un set limitato di dati sperimentali ricavabili dalle prove magnetiche. Il modello è stato impiegato per eseguire la simulazione anche su campioni prodotti industrialmente in acciaio al silicio a grano non orientato forniti allo stato fully-processed M470-50A preventivamente sottoposti a caratterizzazione microstrutturale, mediante microscopia ottica, elettronica e analisi EBSD, e meccanica, attraverso le prove di trazione. I risultati ottenuti dalla simulazione presentano ottimale accuratezza, in particolar modo nel caso statico sia in termini di estrazione dei parametri sia di definizione del ciclo; risulta ancora da migliorare ulteriormente il grafico in frequenza. Al fine di rendere fruibile il modello realizzato è stata progettata una Graphical User Interface. Nell’ottica di una mobilità green in accordo con gli obiettivi globali, l’implementazione del presente modello pone quindi le basi per uno studio futuro del comportamento dei materiali magnetici per la realizzazione di motori elettrici sempre più performanti in funzione dei parametri di produzione e delle condizioni di utilizzo, aspetti che incidono notevolmente sulle proprietà di tale materiale.
Resumo:
L’attività di Tesi svolta presso l’azienda Magni Telescopic Handlers è stata finalizzata all’implementazione e l’ottimizzazione dei principi fondamentali della teoria della Lean Manufacturing. Lo scopo del percorso si è concentrato in prima battuta sulla valutazione e analisi delle previsioni dei consumi delle macchine, per poi proseguire con la realizzazione di un database aggiornato costituito esclusivamente dal materiale gestito a Kanban. In questa maniera è stato possibile predisporre la formulazione della mappatura dei componenti a Kanban lungo le tre linee di montaggio dell’azienda, per riuscire a verificare il corretto collocamento dei codici. Sono quindi successivamente sviluppate due metodologie di implementazione per il dimensionamento del Kanban al fine di ottimizzare i processi interni, in accordo con la filosofia Lean Thinking. Al termine dell'elaborato sono illustrati i risultati e i vantaggi che si sono ottenuti per consentire un miglior livello di ottimizzazione delle attività di montaggio lungo la linea e uno standard di efficienza produttiva più elevato.
Resumo:
La volontà da parte degli studenti di acquisire maggiore consapevolezza rispetto ai loro interessi, da poter sfruttare nel percorso professionale post-laurea, non riesce a trovare fondamento all’interno di percorsi di apprendimento preconfezionati. Attraverso l’analisi delle esigenze degli studenti, la loro profilazione in personas e l’analisi del contesto imprenditoriale, nello specifico all’interno dell’ecosistema delle StartUp, l’elaborato propone la progettazione di un minor in entrepreneurship presso l’Alma Mater Studiorum – Università di Bologna, offrendo una modalità di implementazione di supporto per gli stessi scopi all’interno di altri Atenei, fornendo un metodo e delle linee guida di supporto al progettista. Fondamentali strumenti per l’analisi e la progettazione sono stati il Design Thinking e il Personal Business Model Canvas.
Resumo:
L’obiettivo della tesi è l’analisi delle potenzialità di produzione di una linea di processo dell’azienda Basf, trovando i colli di bottiglia e proponendo delle modifiche per migliorare il processo, sia in efficienza che in volumi prodotti. L’impianto è suddiviso in tre sezioni: sintesi, estrazione e distillazione del prodotto P1. Produrre maggiori quantità di P1 è fondamentale per mantenere lo stabilimento al passo con le richieste del mercato. Lo studio è stato caratterizzato dall’analisi delle apparecchiature della linea nelle condizioni di esercizio e da verifiche secondo le portate attuali; successivamente sono state valutate delle modifiche, intere o parziali, della sezione di distillazione. Le proposte si differenziano nell’investimento necessario, esse sono definite: "low cost”, “high cost 1”, “high cost 2”. La prima opzione equivale ad un classico revamping, in cui vengono sostituiti i riempimenti delle colonne di distillazione per migliorare l’efficienza fluidodinamica e assicurare un punto di esercizio sotto il limite dell’ingolfamento. La proposta high cost 1 suggerisce, invece, oltre ai riempimenti strutturati, la sostituzione di una colonna con un’altra di diametro maggiore nella sezione di esaurimento. La terza proposta prevede di modificare la quasi totalità della linea di processo, effettuando uno scambio delle tre colonne di distillazione, in cui la minore viene eliminata, con l’installazione di una terza di dimensioni superiori. Ogni proposta permette di ottenere delle quantità di P1 maggiori generando un beneficio economico stimato con il Valore Attuale Netto, il punto di ritorno e il Tasso Interno di Rendimento. Per ridurre la necessità di vapore e acqua di torre è stato valutato un recupero energetico che ha come ulteriore beneficio la diminuzione delle emissioni di CO2 in atmosfera. L’elaborato si conclude con la scelta della proposta più conveniente sulla base dei criteri sopra citati e della possibilità realistica di implementazione.
Resumo:
Nel presente elaborato si prende in esame il modello di un motore sincrono a magneti permanenti alimentato in bassa tensione, avente BEMF sinusoidale, ed il suo sistema di controllo. Nella trattazione, viene studiato il comportamento del motore sulla base delle equazioni caratteristiche della macchina e del controllo ad orientamento di campo, così da poter mettere in luce i parametri che influenzano direttamente le prestazioni oggetto di interesse in ambito industriale e di ricerca. Si illustra, inoltre, la costruzione di un modello del motore e del suo controllo, considerando il motore s602b402 prodotto da SIBONI, in ambiente di simulazione. Tale modello permetterà di osservare la risposta della macchina ai più comuni ingressi forniti dall’utente, quali posizione e velocità, sulla base della taratura dei regolatori del sistema di controllo. A questo proposito, l'elaborato spiega come ottenere i parametri di macchina, necessari per la simulazione e per identificare il modello del motore, attraverso le prove sperimentali e quali differenze emergono tra i risultati ottenuti dall’ambiente di simulazione e quelli al banco. Questo consente, infine, di verificare l’attendibilità del modello e di fornire spunti per poterne migliorare i risultati in vista di sviluppi futuri.
Resumo:
Il settore farmaceutico è regolato da numerose norme e linee guida al fine di tutelare la salute del consumatore. Infatti, il principio generale che governa lo sviluppo e l’operabilità di un impianto farmaceutico prevede che l’utilizzatore debba fornire l’evidenza documentale che il sistema sia “qualificato” e che il processo produttivo che in esso risiede sia “convalidato” e mantenuto in tale stato. Sulla base di quanto detto risulta essenziale, prima dell'accettazione alla produzione di un nuovo farmaco, che venga confermata una valutazione esatta e affidabile per la sua realizzazione e per la sicurezza degli utilizzatori, garantendone la qualità. Tale elaborato è volto ad analizzare suddetta gestione delle richieste normative in ambito di qualifica dei sistemi farmaceutici, come frutto di un’esperienza formativa svolta presso lo stabilimento di Termoli (CB) della F.I.S. – Fabbrica Italiana Sintetici S.p.A. Il processo di qualifica è stato messo in atto per l’installazione di una nuova centrifuga e per la mappatura termo-igrometrica del nuovo magazzino automatizzato dello stabilimento. Nello specifico, i due casi studio esaminati sono stati individuati grazia ad una prima presentazione del sistema inquadrato nella produzione di principi attivi farmaceutici, seguita dall’analisi dei protocolli (standard e non) di qualifica da compilare nella fase esecutiva. Nell’elaborato sono stata presentate e comparate le normative e le linee guide vigenti del settore, quali EU GMP Guidelines, ISPE Baseline Guide e UNI EN ISO 9001:2015 per la gestione della qualità, e le procedure aziendali, nell’ottica delle norme di buona documentazione e del rispetto del data integrity. L’esecuzione dei due progetti ha permesso l’avvio e la messa in esercizio di sistemi critici per la produzione di principi attivi farmaceutici, garantendo il miglioramento delle prestazioni complessive dell’impianto.
Resumo:
La maggiore consapevolezza dell’importanza dello sfruttamento di risorse ha contribuito a favorire una transizione da un modello di economia lineare ad uno circolare, basato sulla chiusura dei cicli di risorse e l’allungamento del ciclo di vita di un prodotto o servizio. La simbiosi Industriale si colloca in questo contesto come strategia per l’ottimizzazione delle risorse e prevede il trasferimento di scarti e sottoprodotti da un’azienda output ad una input, che le utilizzerà come risorse per i loro processi. L’instaurazione di rapporti di simbiosi industriale non è così immediata e necessita di un ente esterno che faciliti la collaborazione tra le aziende e fornisca supporto tecnico per la sua implementazione. In Italia ENEA rappresenta il principale ente di riferimento per l’implementazione di progetti di simbiosi industriale e ha sviluppato un ecosistema di strumenti al fine di guidare le aziende all’interno di percorsi di simbiosi industriale. L’obiettivo di questo lavoro è quello di formulare una metodologia per la valutazione preliminare di potenziali sinergie a livello territoriale, utilizzando dati storici riguardanti sinergie e presentare uno strumento applicativo basato su di essa. La prima parte è del lavoro è dedicata ad una ricerca bibliografica sui temi della simbiosi industriale, evidenziando vantaggi e il ruolo di ENEA. Di seguito verrà illustrata la metodologia sviluppata con i suoi step operativi, il cui obiettivo è quello di valutare la presenza di potenziali sinergie a livello territoriale, partendo da un database di aziende classificate per codici Ateco e uno di sinergie già attivate in precedenza. Infine, verrà presentato lo strumento di lavoro Microsoft Excel, programmato in VBA, che permette l’applicazione della metodologia. Per mostrarne il funzionamento si utilizzano dati estratti dalla banca dati AIDA per le aziende e dati dai database MAESTI e IS-DATA per le sinergie.
Resumo:
Il presente lavoro di tesi si pone come obiettivo l’individuazione di modelli matematici che possano essere utilizzati per la configurazione di simulatori di volo aerei elettrici dell’aviazione generale. In particolare, sono state trovate in letteratura delle formule da utlizzare per modellare eliche, motori elettrici di varie tipologie e batterie. Per meglio comprendere l’impatto dell’adozione dei motori elettrici sui velivoli dell’aviazione generale sono stati effettuati dei confronti di dati, in cui si è preso come riferimento il motore a combustione interna Continental O-300 montato sui Cessna C172. Successivamente, sono stati implementati i modelli dinamici in Simulink di motori elettrici che potrebbero sostituire il motore a combustione interna sopra citato. Sono, poi, state eseguite alcune comparazioni tra i risultati ottenuti in termini di spinte ottenibili, potenze e autonomie, e numero di giri di rotazione dell’elica per diversi motori elettrici. Per effettuare le simulazioni è stato utilizzato il software Simulink: ambiente in cui sono stati sviluppati modelli dinamici di propulsione sia tradizionale che elettrica. Nella parte conclusiva della tesi, sono riportate alcune considerazioni volte a stimare l'autonomia di un velivolo simile al Cessna C172, in cui si sotituisce il motore a combustione interna con un motore elettrico a parità di peso massimo al decollo e l’andamento di quest'ultimo in funzione dell’autonomia per un velivolo elettrico. I risultati ottenuti da queste ultime simulazioni suggeriscono che la conversione ad elettrico è attualmente critica in quanto la ridotta densità di energia delle batterie porta ad un significativo decadimento dell'autonomia generale.
Resumo:
A causa dei cambiamenti climatici sempre più frequentemente si verificano disastri ambientali come frane, alluvioni e incendi. Il suolo italiano risente particolarmente di questi eventi, considerati molto gravosi, sia in termini di vite umane che in senso economico. Una soluzione affidabile e con tempi di risposta veloci per il rilevamento delle frane potrebbe migliorare la prevenzione di questi fenomeni. I tradizionali metodi di rilevamento aereo possono richiedere ingenti risorse finanziarie e necessitano di una fase di pianificazione dei voli che rischia di essere incompatibile con i tempi di risposta richiesti. Una possibile alternativa per risolvere i problemi della raccolta di immagini tramite aerei ed elicotteri potrebbe essere basata sull’uso di droni con a bordo videocamere e l'applicazione di algoritmi in grado di elaborare immagini in tempi veloci per individuare le aree soggette a dissesto idrogeologico. Riguardo all'elaborazione delle immagini, sono stati recentemente introdotti degli algoritmi che sembrano promettenti per identificare in maniera quasi immediata le frane grazie a piattaforme aeree sia piloate che autonome. In questo elaborato di tesi si propongono i risultati ottenuti da prove svolte su un modello di reti convoluzionali denominato U-Net e si fa una valutazione della sua efficacia nel riconoscimento automatico delle frane. I risultati ottenuti suggeriscono che la presente implementazione della rete potrebbe, però, presentare criticità nell'individuazione di frane in un'immagine. Per gli sviluppi futuri, si suggerisce di modificare la rete convoluzionale, oppure di utilizzare banche dati differenti per l'allenamento dell'algoritmo.