Sistemi integrati per la domotica e per il risparmio energetico tramite micro elaboratori su singola scheda e basso costo.

Nella tesi viene presentata una introduzione generale all'Internet of Things, gli utilizzi che ne vengono fatti attualmente e le eventuali modifiche che verranno apportate in futuro, inoltre vengono presentati i problemi che ne derivano e le soluzioni che attualmente risolvono questi problemi. E' presente una introduzione al protocollo presentato da IBM MQTT che attualmente rappresenta uno standard in questo campo. In seguito vengono mostrati i requisiti e le fasi di progettazione di un sistema domotico, quali sono i suoi principali utilizzi quali i vantaggi e i suoi svantaggi. E' presente una introduzione ai dispositivi maggiormente usati per la realizzazione di sistemi del genere, con le loro caratteristiche, in particolare di dispositivi Arduino e Raspberry Pi. Viene mostrato l'uso del protocollo mqtt per la comunicazione tra dispositivi Raspberry Pi e client Android. In fine viene mostrata una realizzazione di un sistema di domotica attraverso l'uso di questo protocollo.

Un modello di asset allocation strategica

La tesi affronta il problema di Finanza Matematica dell'asset allocation strategica che consiste nel processo di ripartizione ottimale delle risorse tra diverse attività finanziarie presenti su un mercato. Sulla base della teoria di Harry Markowitz, attraverso passaggi matematici rigorosi si costruisce un portafoglio che risponde a dei requisiti di efficienza in termini di rapporto rischio-rendimento. Vengono inoltre forniti esempi di applicazione elaborati attraverso il software Mathematica.

Opzioni asiatiche in modelli discreti

In questa tesi si cerca di fornire un quadro generale sulle Opzioni Asiatiche dandone prima una descrizione in termini economici e successivamente una classificazione matematica più rigorosa. Nel primo capitolo vengono presentati strumenti matematici e finanziari indispensabili per affrontare la comprensione dell'argomento centrale: vengono esposti i concetti di derivato e di strategia d'arbitraggio ed inoltre viene mostrato il modello di mercato a tempo discreto; in particolar modo viene descritto il modello binomiale come esempio di mercato completo. Nel secondo capitolo viene fatta una breve introduzione sulle Opzioni Esotiche di cui sono un particolare esempio le Opzioni Asiatiche, le quali vengono successivamente classificate e descritte più dettagliatamente. Infine nel terzo capitolo viene introdotto il problema della valutazione e della copertura di un'Opzione Asiatica, trattando una particolare tecnica utilizzata nei modelli di mercato discreti di tipo binomiale, la tecnica ad albero, che viene poi applicata ad un esempio reale.

Progettazione e realizzazione di prove meccaniche comparative su un fissatore esterno articolato per correzioni angolari

La fissazione esterna ha subito una forte evoluzione nel corso degli anni, passando dall’essere una tecnica utilizzata esclusivamente nella stabilizzazione delle fratture, fino a diventare una risorsa importante in ortopedia ricostruttiva per il trattamento di molte patologie ossee e dei tessuti molli. Il prototipo di fissatore esterno monolaterale articolato Kore (Citieffe S.r.l.), oggetto di questo studio, consente di effettuare correzione di deformità angolari e piccoli allungamenti su ossa lunghe. Il lavoro sperimentale si è concentrato sul testare le prestazioni meccaniche del dispositivo e della sua componentistica, con l'obiettivo di mettere in evidenza eventuali problemi. I risultati sono stati confrontati con quelli ottenuti in prove realizzate precedentemente in azienda, e con quelli ricavati su dispositivi concorrenti da altri autori. Sono state svolte una prova di compressione assiale statica, una prova a fatica di compressione assiale, una prova a flessione a quattro punti ed una prova di regolazione dinamometrica sul meccanismo di attuazione del dispositivo. E’ stata poi progettata una configurazione per studiare le principali caratteristiche dei morsetti. Nel caso del morsetto a compensazione si è verificata l'effettiva capacità di scorrimento del morsetto, mentre nel morsetto a traliccio, dotato di un meccanismo di snodo, ne viene accertata la tenuta. Al termine dei test, in base ai risultati raccolti dalle prove meccaniche e dalle prove svolte su osso artificiale, sono state fatte valutazioni riguardanti alcune modifiche da apportare al prototipo. Per quanto riguarda il dispositivo dovrà essere ridotta la dimensione del corpo centrale, al fine di avere un dispositivo più duttile, leggero e vicino al corpo. Questa modifica inoltre limiterà l'influenza della flessione delle pins sul comportamento meccanico del fissatore, migliorandone le prestazioni. Relativamente al morsetto a traliccio dovrà essere ridotta la lunghezza dello snodo, per limitare lo sforzo sulla vite di serraggio del meccanismo. Nel morsetto a compensazione dovrà essere modificato il profilo, per garantire un migliore scorrimento.

Aumento dell'oee di assemblaggio - il caso del frutto dk in Elettrotecnica Rold spa

Il lavoro effettuato ha lo scopo di ridefinire il complesso delle attività organizzative, gestionali ed operative effettuate dall’unità produttiva della Rold per quel che riguarda il frutto DK, un blocca porta magnetico. L’INTRODUZIONE si sviluppa con la volontà di presentare il contesto di riferimento nel quale è stato svolto il lavoro, andando quindi a descrivere Rold, l’azienda all’interno della quale viene prodotto il frutto DK e Inema, la società di consulenza incaricata di ridefinire le attività collegate ad alcune fasi del processo produttivo del frutto DK, al fine di efficientare la realizzazione dei prodotti. Il CAPITOLO 1 richiama la letteratura di riferimento, sulla base della quale è stato sviluppato il progetto che viene esposto all’interno dell’elaborato. Il CAPITOLO 2 espone i risultati dell’analisi condotta per ricercare i problemi che affliggono la linea di produzione del frutto DK, determinandone una scarsa produttività. Il CAPITOLO 3 costituisce il cuore della tesi: presenta le possibili proposte di soluzione dei problemi individuati, scegliendo quelle che vengono ritenute più efficaci al raggiungimento dell’obiettivo di miglioramento di Rold. La CONCLUSIONE espone i risultati ottenuti attraverso le analisi svolte e le soluzioni proposte.

Potenzialità di riuso delle industrie dismesse. Un'ipotesi per le ex officine reggiane.

L’oggetto di questa tesi di laurea è un intervento di riqualificazione delle Ex Officine Meccaniche Reggiane, un’area industriale, sita a Reggio Emilia, che nel corso degli anni ha subìto una graduale dismissione, sino allo stato attuale di completo abbandono. Il tema riveste un’importanza focale nelle città moderne, affette da un elevato livello di migrazione e riorganizzazione dell’industria, che trasforma vaste aree di produzione in vuoti urbani di difficile gestione. I problemi fondamentali sono infatti la notevole dimensione degli stabilimenti abbandonati e la loro posizione, un tempo strategica, ma che ora risulta critica per una lettura unitaria della città e delle sue connessioni. L’area in oggetto, dedicata nel corso degli anni a diversi tipi di produzione, tra le quali quelle ferroviaria e dell’aviazione, è locata in prossimità del centro storico di Reggio Emilia, separati solamente dalla linea ferroviaria storica con cui si interfaccia direttamente. L’espansione della città ha portato ad inglobare lo stabilimento, che risulta quindi chiuso in se stesso e fortemente vincolante per le connessioni della città. Gli scopi dell’intervento sono quindi quelli di generare connessioni tra le parti di città circostanti e di permettere il riappropriamento dell’area alla popolazione. Per raggiungere tali scopi è stato necessario aprire il forte limite perimetrale esistente ed individuare nuovi percorsi di attraversamento, ma anche nuove funzioni ed attrattività da inserire. Vista la frammentazione dell’area in una serie di edifici, lo studio si è poi concentrato su un edificio tipo, allo scopo di individuare un’ipotesi di intervento più dettagliata. Le strategie degli interventi sono il risultato di interazione tra le necessità di mantenere le strutture ed il carattere dell’area, di introdurre funzioni attrattive e di ottenere adeguati livelli di comfort ambientale e prestazioni energetiche.

Il principio dei lavori virtuali e sue applicazioni

Scopo di questa tesi è la trattazione del Principio dei lavori virtuali, il quale si inserisce nel contesto della meccanica classica dei sistemi di punti materiali. Tale principio viene utilizzato per affrontare problemi di statica quali l'equilibrio di un sistema meccanico, ma risulta centrale anche nel contesto più generale della dinamica. Per quanto riguarda i problemi di statica, il principio dei lavori virtuali è un metodo alternativo alle equazioni cardinali, che rappresentano una condizione necessaria e sufficiente per l'equilibrio dei soli corpi rigidi, quindi si occupano di un contesto più limitato.

L'approccio interdisciplinare BIM e la sostenibilità integrata: progetto residenziale per una villetta monofamiliare in Sicilia.

Il BIM (Building Information Modeling ) è un processo coordinato per agevolare l’integrazione delle informazioni pertinenti alle varie fasi di progettazione dell’opera edilizia. La rappresentazione digitale di un edificio, completa di tutte le sue parti ed informazioni sempre aggiornate, affidabili ed accessibili, aiuta il confronto decisionale, la produzione di elaborati, la stima dei costi e tanti altri aspetti del processo edilizio che vengono così ad essere trattati in maniera più efficiente, immediata e con meno sprechi rispetto a molti approcci tradizionali ancora in uso. Con queste premesse la tesi ha voluto indagare potenzialità e criticità di strumenti progettuali avanzati per giungere ad una costruzione efficace e sostenibile. A questo scopo Revit di Autodesk si è dimostrato un software che permette di avere in un unico spazio di lavoro tutti i dati pertinenti alle figure professionali che intervengono durante il processo edilizio. Nel modello BIM realizzato per progettare realisticamente una villetta monofamiliare localizzata a Mezzojuso, in provincia di Palermo, sono stati esaminati molteplici aspetti: dal modello fisico, alla visualizzazione grafica 2D e 3D, alla modellazione parametrica di un modello concettuale energetico che coinvolge analisi di comfort termico ed igrometrico, ad un modello dei venti (per arrivare ad un design energetico ottimale). Il metodo di progetto è stato applicato facendo largo uso di elementi parametrici non standard nei modelli 3D e di altri prodotti realmente esistenti nel mercato italiano. Il risultato finale è stato quello di giungere ad una valutazione delle geometrie più idonee per il controllo degli spazi rispetto alla normativa locale, allo studio di più tipologie di pacchetti murari per risolvere i problemi di raffrescamento estivo e isolamento invernale, alla realizzazione di un computo metrico di massima: sono stati solo questi alcuni degli aspetti considerati per approcciare la tematica da un più ampio punto di vista multidisciplinare.

Outdoor e indoor: Abitare il comfort. Strategie di riqualificazione del quartiere Pilastro a Bologna

Il caso studio affrontato nella tesi è il complesso residenziale Pilastro, costruito tra gli anni 1962 e 1985 a Bologna. Collocato nella parte nord-est della città, all’interno del quartiere San Donato, il quartiere si presenta come una delle periferie più adatte ad ospitare i nuovi progetti di sviluppo urbano, in virtù della sua posizione strategica rispetto ai diversi poli e alla rete infrastrutturale principale. Questo studio consiste in una serie di analisi, effettuate al fine di giungere a trattare gli aspetti progettuali, che rispondono a una serie di problematiche riscontrate nella parte conosciuta come “Primo Impianto”. Le criticità affrontate sono: - Fenomeno di Canyon Urbano dovuto al rapporto tra la morfologia urbana e il microclima; - Limiti nella fruibilità degli spazi esterni (outdoor), a causa della presenza di spazi non caratterizzati, dotati di uno scarso livello di comfort termico durante il periodo estivo; - Problemi riguardo l’aspetto viabilistico e le sezioni stradali; - Bassa prestazione energetica correlata alla vetustà degli edifici; - Basso livello di comfort interno (indoor) degli edifici. La Tesi ha come obiettivo la definizione di diverse strategie progettuali che tengano conto delle condizioni climatiche relative al benessere termico come criterio per la riqualificazione degli spazi esterni e degli edifici esistenti. Quest’ultima terrà altresì conto della prestazione energetica dei fabbricati. Un aspetto complementare è quello del ragionamento sull’incidenza della progettazione degli spazi esterni (outdoor) sugli aspetti relativi al benessere negli spazi interni (indoor). Metodo L’approccio seguito nel trattare le problematiche ha come punto di partenza lo studio degli spazi esterni, che continua anche al livello del costruito. Attraverso diverse analisi a livello urbanistico, sono stati indagati una serie di aspetti come la morfologia urbana, i servizi, gli spazi aperti, la popolazione e la mobilità, etc. Il comparto studio, collocato nella parte nord-est del Primo Impianto in Via Lodovico Frati, è composto da edifici residenziali in linea e lo spazio “in between” che si affaccia alla strada. Al fine di considerare le condizioni climatiche e la loro incidenza nel comfort urbano, sono stati studiati diversi parametri fisici incidenti, valutati con l’ausilio del software di simulazione Envi-met, con l’output di cui, è stato possibile ottenere mappe di valori del comfort outdoor, sia della condizione esistente che in quella dopo l’intervento progettuale. Per quanto riguarda gli edifici, per valutare il livello di comfort negli ambienti interni è stato usato il software di simulazione EnergyPlus, mentre per valutare la prestazione energetica è stato usato il software Termolog Epix 5. L’output dei risultati ottenuti dai software di simulazione è uno strumento importante di verifica per le diverse scelte progettuali.

Le funzioni circolari ed esponenziali

Nei capitoli I e II ho costruito rigorosamente le funzioni circolari ed esponenziali rispettivamente attraverso un procedimento analitico tratto dal libro Analisi Matematica di Giovanni Prodi. Nel III capitolo, dopo aver introdotto il numero di Nepero e come limite di una particolare successione monotona, ho calcolato i limiti notevoli dell'esponenziale e della sua inversa, che sono alla base del calcolo differenziale di queste funzioni, concludendo poi la sezione dimostrando l'irrazionalità del numero e, base dei logaritmi naturali. Nel capitolo successivo ho dato, delle funzioni circolari ed esponenziali, i rispettivi sviluppi in serie di Taylor ma solamente nel V capitolo potremo renderci veramente conto di come i risultati ottenuti siano fra loro dipendenti. In particolare verrà messa in evidenza come il legame del tutto naturale che si osserva fra le funzioni circolari e le funzioni esponenziali rappresenta le fondamenta di argomenti molto notevoli e pieni di significato, come l'estensione ai numeri complessi dell'esponenziale o le celebri identità di Eulero. L'ultimo capitolo vedrà come protagonista pi greco, così misterioso quanto affascinante, che per secoli ha smosso gli animi dei matematici intenzionati a volerne svelare la natura. Come per il numero di Nepero, non potrà mancare un paragrafo dedicato alla dimostrazione della sua non razionalità.

Analysis and partial solutions of security problems in automotive environments

Questo scritto mira a fare una panoramica dei problemi legati alla sicurezza della comunicazione tra componenti interne dei veicoli e delle soluzioni oggigiorno disponibili. Partendo con una descrizione generale del circuito interno dell’auto analizzeremo i suoi punti di accesso e discuteremo i danni prodotti dalla sua manomissione illecita. In seguito vedremo se ´è possibile prevenire tali attacchi dando un’occhiata alle soluzioni disponibili e soffermandoci in particolare sui moduli crittografici e le loro applicazioni. Infine presenteremo l’implementazione pratica di un protocollo di autenticazione tra ECUs e una dimostrazione matematica della sua sicurezza.

Ottimizzazione di strutture reticolari mediante algoritmi genetici

La tesi tratta dell'ottimizzazione di alcune tipologie di strutture reticolari. Per sviluppare i problemi analizzati ci si è avvalsi del software Grasshopper, conducendo poi l'ottimizzazione mediante un algoritmo genetico.

Chargaff symmetric stochastic processes

Scopo della modellizzazione delle stringhe di DNA è la formulazione di modelli matematici che generano sequenze di basi azotate compatibili con il genoma esistente. In questa tesi si prendono in esame quei modelli matematici che conservano un'importante proprietà, scoperta nel 1952 dal biochimico Erwin Chargaff, chiamata oggi "seconda regola di Chargaff". I modelli matematici che tengono conto delle simmetrie di Chargaff si dividono principalmente in due filoni: uno la ritiene un risultato dell'evoluzione sul genoma, mentre l'altro la ipotizza peculiare di un genoma primitivo e non intaccata dalle modifiche apportate dall'evoluzione. Questa tesi si propone di analizzare un modello del secondo tipo. In particolare ci siamo ispirati al modello definito da da Sobottka e Hart. Dopo un'analisi critica e lo studio del lavoro degli autori, abbiamo esteso il modello ad un più ampio insieme di casi. Abbiamo utilizzato processi stocastici come Bernoulli-scheme e catene di Markov per costruire una possibile generalizzazione della struttura proposta nell'articolo, analizzando le condizioni che implicano la validità della regola di Chargaff. I modelli esaminati sono costituiti da semplici processi stazionari o concatenazioni di processi stazionari. Nel primo capitolo vengono introdotte alcune nozioni di biologia. Nel secondo si fa una descrizione critica e prospettica del modello proposto da Sobottka e Hart, introducendo le definizioni formali per il caso generale presentato nel terzo capitolo, dove si sviluppa l'apparato teorico del modello generale.

Catene di Markov nascoste e giochi stocastici.

In questa trattazione si introduce il concetto di catena di Markov nascosta: una coppia di processi stocastici (X,O), dove X è una catena di Markov non osservabile direttamente e O è il processo stocastico delle osservazioni, dipendente istante per istante solo dallo stato corrente della catena X. In prima istanza si illustrano i metodi per la soluzione di tre problemi classici, dato un modello di Markov nascosto e una sequenza di segnali osservati: valutare la probabilità della osservazione nel modello, trovare la sequenza nascosta di stati più probabile e aggiornare il modello per rendere più probabile l'osservazione. In secondo luogo si applica il modello ai giochi stocastici, nel caso in cui solo uno dei giocatori non è a conoscenza del gioco in ogni turno, ma può cercare di ottenere informazioni utili osservando le mosse dell'avversario informato. In particolare si cercano strategie basate sul concetto di catena di Markov nascoste e si analizzano i risultati ottenuti per valutare l'efficienza dell'approccio.

Insegnanti vs polinomi: un carosello tra appunti e libri di testo

Il mio lavoro di tesi parte dall’idea di voler indagare su quanto fatto in una normale azione d’aula nel momento in cui vengono presentati i polinomi, ovvero nel momento in cui si presenta agli studenti quello che comunemente viene chiamato “calcolo letterale”. In questo passaggio, un ruolo fondamentale è quello rivestito dagli insegnanti, oltre che dai libri di testo, e per questo ho deciso di seguire come i primi affrontano l’argomento polinomi in classe: come e se questi vengono definiti, e se le definizioni utilizzate sono delle vere e proprie definizioni formali, o seguono altri schemi.