364 resultados para teorema di rappresentazione di Riesz spazio duale
Resumo:
Questo elaborato nasce con l’obiettivo di trovare quali indicatori sono maggiormente indicativi delle reali performance ambientali ed economiche nella gestione dei rifiuti urbani al fine di studiare la situazione attuale e le cause che maggiormente influenzano la qualità della gestione del servizio. Il lavoro di analisi dei dati è stato diviso in quattro fasi principali. Inizialmente sono stati raccolti dati pubblici relativi ai vari Comuni della Provincia di Bologna per la successiva creazione di indicatori complessi, indispensabili sia per il confronto dei dati stessi, che delle varie categorie e delle classi create in seguito. Infine lo sviluppo dei grafici ha permesso di mettere in relazione i vari elementi in modo da fornire una chiara rappresentazione di come questi possano influire sui costi e sulle tematiche ambientali.
Resumo:
Fin dall'antichità, arte e geometria sono state spesso accostate, ma mai come nel caso delle opere di Maurits Cornelis Escher. Le celebri litografie del grafico olandese, infatti, traggono quasi sempre ispirazione dal mondo geometrico, in particolare le cosiddette ''stampe impossibili'', in cui compaiono edifici irrealizzabili, costruzioni illusorie e fenomeni che non rispettano le leggi della fisica. Oltre che su illusioni ottiche, esse sono basate su concetti matematici veri e propri, così come vedremo durante l'elaborato. Questa tesi, partendo dal Capitolo 8 del libro Yearning for the impossible di John Stillwell, studia gli spazi in cui immergere le costruzioni impossibili di Escher per renderle realizzabili, basandosi in particolare sul concetto di varietà topologica e di proiezione di rivestimento. Dopo un primo capitolo introduttivo sulla vita di Escher e sulle opere che andremo ad approfondire, la trattazione procede con un capitolo in cui si definiscono alcuni strumenti matematici: essi saranno utilizzati per giustificare la consistenza dei soggetti delle litografie precedentemente mostrate. Nell'ultima sezione ci dedichiamo a mostrare come tali strumenti matematici possano rendere possibili le visioni del grafico olandese, esplicando caso per caso come intervengano nella realizzazione e come conducano a un risultato impossibile nella realtà tridimensionale in cui viviamo ma non nello spazio in cui vengono immerse.
Resumo:
Il processo di localizzazione risponde all'esigenza dell'uomo di avere una percezione sempre più dettagliata e precisa del contesto in cui si trova, con l'intento di migliorare e semplificare l'interazione con oggetti e cose ivi presenti. L'idea attuale è quella di progettare sistemi di posizionamento con particolare riguardo agli ambienti indoor, caratterizzati da proprietà e densità di elementi che limitano fortemente le prestazioni dei consolidati sistemi di tracking, particolarmente efficienti in spazi aperti. Consapevole di questa necessità, il seguente elaborato analizza le prestazioni di un sistema di localizzazione sviluppato dall'Università di Bologna funzionante in tecnologia Ultra-Wide Bandwidth (UWB) e installato nei laboratori DEI dell'Alma Mater Studiorum con sede a Cesena. L'obiettivo è quello di caratterizzare l'accuratezza di localizzazione del sistema, suggerendo nuovi approcci operativi e de�finendo il ruolo dei principali parametri che giocano nel meccanismo di stima della posizione, sia in riferimento a scenari marcatamente statici sia in contesti in cui si ha una interazione dinamica degli oggetti con lo spazio circostante. Una caratteristica della tecnologia UWB è, infatti, quella di limitare l'errore di posizionamento nel caso di localizzazione indoor, grazie alle caratteristiche fisiche ed elettriche dei segnali, aprendo nuovi scenari applicativi favorevoli in termini economici, energetici e di minore complessità dei dispositivi impiegati.
Resumo:
La tesi ha come oggetto di studio la progettazione e realizzazione in autocostruzione del padiglione temporaneo dal nome Modulo Eco in Piazzale della Pace a Parma. Per “autocostruzione” si intende il processo in cui il committente di un immobile partecipa attivamente alla fase realizzativa dello stesso. È un percorso molto impegnativo, che richiede una forte motivazione ma allo stesso tempo molto appagante. Ad oggi in Italia non esiste una normativa nazionale che codifichi le modalità e le regole dell’edificare in autocostruzione. La partecipazione attiva nel processo realizzativo di personale non addetto ai lavori aumenta automaticamente i rischi legati all’inesperienza e alla mancanza di formazione in materia. L’attenzione quindi alla sicurezza e soprattutto all’iniziale formazione dei nuovi operai in cantiere permette di ridurre notevolmente tali pericoli. Il progetto è stato ideato dall’associazione culturale Manifattura Urbana in collaborazione con il Comune di Parma. Posizionato in Piazzale della Pace, in pieno centro, questo spazio ospiterà l’ufficio Sportello Energia del Comune stesso. È infatti interesse dell’amministrazione dare un’importanza significativa alle tematiche energetiche, non lasciando tutte le relative riflessioni solamente a tecnici ma rivolgendosi invece direttamente ai cittadini, per informarli e sensibilizzarli. È stato quindi deciso di progettare e realizzare un padiglione temporaneo, facilmente costruibile (con l’aiuto di studenti, volontari e interessati), con un minimo impatto ambientale e allo stesso tempo ad alta efficienza energetica, non solo rispettante ma superante tutti gli standard di bassi consumi energetici previsti dalla normativa per le nuove costruzioni. Il progetto è totalmente autofinanziato dalle aziende fornitrici partner, che sponsorizzano in forma gratuita il materiale da costruzione e formano direttamente in cantiere i volontari per imparare a gestirlo, in cambio di visibilità all’interno del progetto.
Resumo:
Il lavoro di tesi ha l'obiettivo di fornire un quadro conoscitivo preliminare della Conoide Enza, importante corpo idrico sotterraneo situato nella provincia di Reggio-Emilia. Unitamente viene data una sua rappresentazione cartografica digitale attraverso software GIS, utile a geo-referenziare l'acquifero. Tale lavoro permette di convogliare ed archiviare in un sistema informativo territoriale le osservazioni e i dati necessari a successive indagini quantitative sulla Conoide. In tal senso, viene fornito un esempio di modellazione di flusso nell'acquifero tramite software MODFLOW, così da mostrare l'analisi di uno scenario di prelievo a partire dai dati forniti. In particolare, è simulato il comportamento dell'acquifero in presenza di un pozzo di estrazione, valutando il conseguente effetto indotto sulla piezometria.
Resumo:
La tesi si occupa dell'uso di più tecniche fotogrammetriche e di strumenti GIS nel recupero digitale e nell'integrazione di una molteplicità di dati storici, opportunamente georeferenziati, inerenti l'area del Centro Cadore, ai fini anche della valorizzazione turistico-culturale del territorio. Un ampio spazio viene dato alla caratterizzazione del territorio e delle fonti - cartografiche, fotografiche e testuali - che sono state recuperate ed organizzate in archivio. Le applicazioni fotogrammetriche comprendono la generazione di ortofoto digitali a scala territoriale da immagini storiche e modelli 3D close-range ottenuti con tecniche SfM.
Resumo:
Questo elaborato si propone di approfondire lo studio dei campi finiti, in modo particolare soffermandosi sull’esistenza di una base normale per un campo finito, in quanto l'utilizzo di una tale base ha notevoli applicazioni in ambito crittografico. Vengono trattati i seguenti argomenti: elementi di base della teoria dei campi finiti, funzione traccia e funzione norma, basi duali, basi normali. Vengono date due dimostrazioni del Teorema della Base Normale, la seconda delle quali fa uso dei polinomi linearizzati ed è in realtà un po' più generale, in quanto si riferisce ai q-moduli.
Resumo:
Nel 1837 il matematico A.F. Möbius definì la funzione aritmetica mu(n) che vale 0 se n è divisibile per il quadrato di un numero primo, (-1)^k se n è il prodotto di k primi distinti e \mu(1)=1. Essa ricopre un ruolo di fondamentale importanza per quanto riguarda la distribuzione dei numeri primi, nonché per la sua duttilità nella risoluzione di diversi problemi di conteggio grazie alla formula di inversione di Möbius, che può essere pensata come un analogo formale del teorema fondamentale del calcolo integrale. Una sorprendente varietà di problemi di calcolo combinatorio si rivelano essere nient'altro che casi particolari di un problema più generale che riguarda la possibilità di invertire una somma fatta sugli elementi di un insieme parzialmente ordinato. L'obiettivo di questo elaborato è quello di illustrare come sia possibile generalizzare il concetto di funzione aritmetica estendendolo a quello di funzione di un'algebra di incidenza. Le algebre di incidenza hanno catturato l'interesse di svariati matematici a partire dagli anni '60 del secolo scorso, e si svilupparono come ambiente naturale nel quale generalizzare la formula di inversione di Mobius. La funzione di Möbius della teoria dei numeri, definita originariamente sull'insieme dei numeri interi positivi ordinato per divisibilità, può quindi essere definita su generici insiemi parzialmente ordinati.
Resumo:
In questa tesi cercherò di analizzare le funzioni di Sobolev su R}^{n}, seguendo le trattazioni Measure Theory and Fine Properties of Functions di L.C. Evans e R.F.Gariepy e l'elaborato Functional Analysis, Sobolev Spaces and Partial Differential Equations di H. Brezis. Le funzioni di Sobolev si caratterizzano per essere funzioni con le derivate prime deboli appartenenti a qualche spazio L^{p}. I vari spazi di Sobolev hanno buone proprietà di completezza e compattezza e conseguentemente sono spesso i giusti spazi per le applicazioni di analisi funzionale. Ora, come vedremo, per definizione, l'integrazione per parti è valida per le funzioni di Sobolev. È, invece, meno ovvio che altre regole di calcolo siano allo stesso modo valide. Così, ho inteso chiarire questa questione di carattere generale, con particolare attenzione alle proprietà puntuali delle funzioni di Sobolev. Abbiamo suddiviso il lavoro svolto in cinque capitoli. Il capitolo 1 contiene le definizioni di base necessarie per la trattazione svolta; nel secondo capitolo sono stati derivati vari modi di approssimazione delle funzioni di Sobolev con funzioni lisce e sono state fornite alcune regole di calcolo per tali funzioni. Il capitolo 3 darà un' interpretazione dei valori al bordo delle funzioni di Sobolev utilizzando l'operatore Traccia, mentre il capitolo 4 discute l' estensione su tutto R^{n} di tali funzioni. Proveremo infine le principali disuguaglianze di Sobolev nel Capitolo 5.
Resumo:
Lo scopo di questa tesi è quello di ottenere una rappresentazione grafica del profilo di velocità di un fluido all’interno di un condotto. In particolare si studieranno le equazioni di bilancio facendo alcune ipotesi semplificative riguardo il moto del fluido. Si considererà un moto laminare in condizione di completo sviluppo dinamico e convezione forzata. Grazie a queste ipotesi si riuscirà ad ottenere un’equazione semplificata di Navier-Stokes, che permetterà di calcolare l’andamento della velocità all’interno di condotti con qualsiasi forma della sezione. In questo caso si confronterà il profilo di velocità di un condotto a sezione circolare con uno a sezione circolare forata come in uno scambiatore di calore a tubi concentrici. Per risolvere l’equazione di Navier-Stokes e stampare l’andamento delle velocità all’interno della sezione del condotto si è utilizzato il software “Mathematica”, che è stato appreso durante l’attività di tirocinio curriculare. Questo software offre un supporto notevole allo studio matematico di qualsiasi problema. Permette inoltre di avere un riscontro grafico dei risultati ottenuti, direttamente nell’interfaccia utilizzata per la stesura del codice. Per rappresentare il profilo di velocità sarà inoltre utilizzato il metodo degli elementi finiti all’interno di Mathematica, che permetterà di ottenere una soluzione più uniforme e vicina alla realtà. Il metodo degli elementi finiti (FEM) permette di semplificare lo studio del moto di un fluido, in quanto ci dà la possibilità di avere un sistema di equazioni algebriche che ne descrivono il moto, invece di equazioni differenziali e le sue relative condizioni al contorno. Sarà quindi brevemente descritto questo metodo che è stato di grande aiuto tramite l’implementazione della “mesh” su Mathematica.
Resumo:
Questo elaborato si pone l’obiettivo principale di formulare una metodologia volta alla misura sperimentale della risposta impulsiva di ambienti indoor in ambito acustico. Lo studio della risposta impulsiva di una stanza trova diverse applicazioni nell’ambito dell’ingegneria acustica. Essa contiene infatti informazioni sulla geometria della stanza stessa, che può essere ricostruita con appositi algoritmi. È sovente impiegata anche in campo architettonico per progettare interventi di correzione o ottimizzazione acustica. In questo elaborato si darà spazio ad una terza applicazione: si utilizzerà la risposta impulsiva misurata in una determinata stanza per aggiungere effetti ambientali a suoni registrati in camere anecoiche. Per perseguire quest’obiettivo, nel capitolo 1 si richiamano i concetti di base riguardo i sistemi LTI, funzioni di trasferimento e risposta impulsiva, approfondendo gli aspetti legati alle tecniche tradizionalmente usate per la misura della risposta impulsiva in ambito acustico. Si pone poi la base teorica del metodo sperimentale che sarà sviluppato nel corso dell’elaborato, fondato sulla stima numerica dello spettro di segnali ad energia finita. Nel secondo capitolo s’illustra l’impostazione della catena di misura, chiarendo le scelte hardware intraprese, le motivazioni di tali scelte, il funzionamento generale dei dispositivi impiegati e le condizioni ottimali di misura. Il capitolo 3 rappresenta il cuore di questo elaborato, nel quale viene illustrata l’implementazione vera e propria della metodologia della misura della risposta impulsiva, a partire dal settaggio degli strumenti utilizzati, alla realizzazione del codice MATLAB per l’elaborazione dei dati, per giungere infine all’analisi dei risultati sperimentali ottenuti. Con il quarto ed ultimo capitolo si introduce il concetto di equalizzazione e si implementa una prima e grossolana soluzione al problema degli effetti distorcenti introdotti dai dispositivi non ideali.
Resumo:
La tesi tratta della modellistica e del controllo di un attuatore idraulico con valvola a quattro vie. Inizialmente si definiscono le grandezze e le formule fondamentali per descrivere un sistema idraulico e costruirne il modello matematico. Successivamente si ricava il modello non lineare del sistema nello spazio degli stati, quindi lo si linearizza per poterlo descrivere e studiare anche tramite funzioni di trasferimento. Si ricava quindi, utilizzando anche Matlab e Simulink, il controllo da applicare al modello linearizzato e si testa il comportamento del sistema in risposta a diversi segnali di ingresso. Infine si applica lo stesso controllore al sistema non lineare e si confrontano i due diversi comportamenti.
Resumo:
Questa tesi descrive alcune tecniche realizzative e algoritmi di controllo per il posizionamento delle testine di lettura/scrittura in hard disk drive magnetici. Viene presentata l'attuazione a due stadi delle testine per incrementare la banda frequenziale del sistema, in cui un motore VCM funge da primo stadio e come secondo stadio si utilizza un microattuatore, di tipo piezoelettrico o elettromagnetico o elettrotermico. Il posizionamento della testina sulle tracce magnetiche dei dischi contenenti i dati si divide in due fasi: track-seeking e track-following, che presentano diversi requisiti di velocità e precisione, per questo motivo si descrive il metodo dello switching control. Successivamente viene formulato un modello matematico nello spazio degli stati degli stati dell'attuatori a due stadi e il relativo controllo in retroazione, basato su osservatore dello stato. Inoltre per il track-seeking si propone il controllo a due gradi di libertà e per il track-following il metodo del disaccoppiamento della sensitività. Infine si riportano due novità tecnologiche per gli hard disk magnetici: l'attuazione a tre stadi, che sfrutta un secondo microattuatore, di tipo termico, e gli hard disk riempiti d'elio ed ermeticamente sigillati, che semplificano il controllo grazie alla minore turbolenza del gas e al suo minor peso.
Resumo:
Movimentazione, da parte di un braccio robotico, di un recipiente riempito con un liquido nello spazio tridimensionale. Sistema di trasferimento liquidi basato sul KUKA youBot, piattaforma open source per la ricerca scientifica. Braccio robotico a 5 gradi di libertà con struttura ortho-parallel e cinematica risolvibile in forma chiusa tramite l’applicazione di Pieper. Studio dei modi di vibrare dei liquidi e modellizzazione dei fenomeni ondosi tramite modello equivalente di tipo pendolo. Analisi delle metodologie di controllo di tipo feed-forward volte a sopprimere la risposta oscillatoria di un tipico sistema vibratorio. Filtraggio delle traiettorie di riferimento da imporre allo youBot, in modo tale da sopprimere le vibrazioni in uscita della massa d’acqua movimentata. Analisi e comparazione delle metodologie di input shaping e filtro esponenziale. Validazione sperimentale delle metodologie proposte implementandole sul manipolatore youBot. Misura dell’entità del moto ondoso basata su dati acquisiti tramite camera RGBD ASUS Xtion PRO LIVE. Algoritmo di visione per l’elaborazione offline dei dati acquisiti, con output l’andamento dell’angolo di oscillazione del piano interpolante la superficie del liquido movimentato.
Resumo:
Lo scopo della tesi è analizzare gli aspetti principali del progetto People Mover di Bologna, toccando gli aspetti costruttivi, ambientali e trasportistici, esaminando lo studio della domanda di trasporto e svolgendo infine un analisi swot dei punti di forza o debolezza. Il People Mover di Bologna è un sistema innovativo di trasporto pubblico che collegherà in 7 minuti la stazione ferroviaria all’aeroporto Marconi, effettuando una sola fermata intermedia presso il Lazzaretto, un’area destinata ad ospitare un nuovo insediamento abitativo nonché nuovi spazi per l’Università di Bologna. Il People Mover è un sistema di trasporto pubblico che offre: certezza sui tempi di percorrenza, mobilità silenziosa, zero emissioni (trazione elettrica), sicurezza di esercizio, costi ridotti rispetto ad una metropolitana. Dopo aver valutato in sede di analisi swot, i pro e contro di tale opera è giusto fare un confronto tra il People Mover e il Servizio Ferroviario Metropolitano. In passato il confronto fra i sostenitori del People mover e del Sistema ferroviario metropolitano è stato in parte ideologico, in parte politico e solo limitatamente tecnico. La tesi analizza le differenze tecniche dei due sistemi di trasporto. Voler far convivere sulla stessa infrastruttura due utenze molto diverse (quella aeroportuale e quella pendolare) è difficile e porterebbe alla non soddisfazione di entrambe. Se l’utenza aeroportuale chiede rapidità e spazio per i bagagli, i pendolari chiedono maggiori posti a sedere e maggiore intensità del servizio. In conclusione lo scopo di questa tesi non è porre dei dubbi sul progetto dell’opera stessa, peraltro già in fase di cantierizzazione, ma fornire un analisi più completa sul progetto.