Storia e sviluppo del concetto di limite: fra matematica, filosofia e didattica

La letteratura mostra come siano innumerevoli le difficoltà e gli ostacoli nell'apprendimento del concetto di limite: la ricerca è volta ad ipotizzare un possibile aiuto e supporto alla didattica con l'utilizzo della storia della matematica relativa al concetto di limite.

Campi finiti e segnale GPS

Lo scopo della tesi è quello di studiare una delle applicazioni della teoria dei campi finiti: il segnale GPS. A questo scopo si descrivono i registri a scorrimento a retroazione lineare (linear feedback shift register, LFSR), dispositivi utili in applicazioni che richiedono la generazione molto rapida di numeri pseudo-casuali. I ricevitori GPS sfruttano il determinismo di questi dispositivi per identificare il satellite da cui proviene il segnale e per sincronizzarsi con esso. Si inizia con una breve introduzione al funzionamento del GPS, poi si studiano i campi finiti: sottocampi, estensioni di campo, gruppo moltiplicativo e costruzione attraverso la riduzione modulo un polinomio irriducibile, fattorizzazione di polinomi, formula per il numero e metodi per la determinazione di polinomi irriducibili, radici di polinomi irriducibili, coniugati, teoria di Galois (automorfismo ed orbite di Frobenius, gruppo e corrispondenza di Galois), traccia, polinomio caratteristico, formula per il numero e metodi per la determinazione di polinomi primitivi. Successivamente si introducono e si esaminano sequenze ricorrenti lineari, loro periodicità, la sequenza risposta impulsiva, il polinomio caratteristico associato ad una sequenza e la sequenza di periodo massimo. Infine, si studiano i registri a scorrimento che generano uno dei segnali GPS. In particolare si esamina la correlazione tra due sequenze. Si mostra che ogni polinomio di grado n-1 a coefficienti nel campo di Galois di ordine 2 può essere rappresentato univocamente in n bit; la somma tra polinomi può essere eseguita come XOR bit-a-bit; la moltiplicazione per piccoli coefficienti richiede al massimo uno shift ed uno XOR. Si conclude con la dimostrazione di un importante risultato: è possibile inizializzare un registro in modo tale da fargli generare una sequenza di periodo massimo poco correlata con ogni traslazione di se stessa.

Forward implied volatility expansions in LSV models

In this work we address the problem of finding formulas for efficient and reliable analytical approximation for the calculation of forward implied volatility in LSV models, a problem which is reduced to the calculation of option prices as an expansion of the price of the same financial asset in a Black-Scholes dynamic. Our approach involves an expansion of the differential operator, whose solution represents the price in local stochastic volatility dynamics. Further calculations then allow to obtain an expansion of the implied volatility without the aid of any special function or expensive from the computational point of view, in order to obtain explicit formulas fast to calculate but also as accurate as possible.

Analisi strutturale della facoltà di chimica industriale a Bologna.

Studio di vulnerabilità sismica sull'intero complesso della facoltà di chimica industriale a Bologna. Valutazione delle verifiche statiche e sismiche della struttura in muratura e in cemento armato in accordo con il DM2008.

Influence of advanced load simulation models on fatigue design of jackets for offshore wind turbines.

Constant developments in the field of offshore wind energy have increased the range of water depths at which wind farms are planned to be installed. Therefore, in addition to monopile support structures suitable in shallow waters (up to 30 m), different types of support structures, able to withstand severe sea conditions at the greater water depths, have been developed. For water depths above 30 m, the jacket is one of the preferred support types. Jacket represents a lightweight support structure, which, in combination with complex nature of environmental loads, is prone to highly dynamic behavior. As a consequence, high stresses with great variability in time can be observed in all structural members. The highest concentration of stresses occurs in joints due to their nature (structural discontinuities) and due to the existence of notches along the welds present in the joints. This makes them the weakest elements of the jacket in terms of fatigue. In the numerical modeling of jackets for offshore wind turbines, a reduction of local stresses at the chord-brace joints, and consequently an optimization of the model, can be achieved by implementing joint flexibility in the chord-brace joints. Therefore, in this work, the influence of joint flexibility on the fatigue damage in chord-brace joints of a numerical jacket model, subjected to advanced load simulations, is studied.

Verifica di un sistema a scomparsa di elementi di facciata in vetro stratificato e vetro camera.

La tesi è il risultato di un tirocinio, della durata di cinque mesi, svolto presso l'Azienda 'Aliva', che si occupa di sistemi di facciate. Lo scopo della tesi è la realizzazione di un nuovo sistema di fissaggio a scomparsa di lastre in vetro. Tutta la ricerca è scaturita dalla richiesta dell'azienda per realizzare un nuovo prodotto di fissaggio di lastre di grandi dimensioni in vetro con impatto visivo molto ridotto. Il sistema unisce due tecnologie: - sistema meccanico; - sistema adesivo strutturale di alte performance. Partendo da dei test di laboratorio, la tesi consisterà nell'effettuare le verifiche agli elementi finiti, con l'ausilio del software Strauss7, di lastre in vetro stratificato e vetro camera.

Simulazione di dispersioni di petrolio in mare

Simulazione di dispersioni di petrolio in mare tramite software specialistico

Analisi sismica di torri campanarie. Caso di studio: il campanile di Reno Centese

Nel presente lavoro è stato fatto uno studio approfondito sul comportamento strutturale del campanile di Reno Centese e sono state eseguite analisi e verifiche sismiche.

Analisi di vulnerabilità sismica di un edificio scolastico nella provincia di Bologna

L'elaborato ha avuto come obiettivo l'analisi di vulnerabilità del liceo scientifico Sabin. Tramite le informazioni ricavate dai rilievi e dalla documentazione disponibile in merito allo stabile, è stato creato un modello agli elementi finiti per compiere una serie di analisi dinamiche lineari a spettro di risposta. Tali analisi sono servite per giungere ad una stima dell'accelerazione orizzontale al suolo di collasso per la struttura. Tale valore è stato poi messo a paragone con quello ottenuto tramite la metodologia speditiva denominata "resisto".

Soluzioni innovative per il tamponamento di telai in calcestruzzo con pannelli x-lam

Analisi dei vantaggi dell'utilizzo di pannelli in legno x-lam come elementi di tamponamento nelle strutture intelaiate in cemento armato a partire da prove sperimentali.

Characterization of thermoelectric commercial modules using a module test system

Il presente lavoro di tesi è stato svolto presso la DTU, Technical University of Denmark, nel Department of Energy Conversion and Storage, Riso Campus. Lo scopo del periodo di soggiorno estero è stato quello di caratterizzare appropriati moduli termoelettrici forniti da aziende del settore, utilizzando un opportuno apparato di caratterizzazione. Quest’ultimo è noto come “module test system” e, nello specifico, è stato fornito dalla PANCO GmbH, azienda anch’essa attiva nel campo delle tecnologie termoelettriche. Partendo da uno studio teorico dei fenomeni fisici interessati (effetto Seebeck per la produzione di potenza termoelettrica), si è cercato in seguito di analizzare le principali caratteristiche, ed elementi, del “module test system”. Successivamente a questa prima fase di analisi, sono stati condotti esperimenti che, con l’aiuto di modelli computazionali implementati attraverso il software Comsol Multiphysics, hanno permesso di studiare l’affidabilità del sistema di caratterizzazione. Infine, una volta acquisite le basi necessarie ad una corretta comprensione dei fenomeni fisici e delle caratteristiche relative alla strumentazione, sono stati analizzati moduli termoelettrici di tipo commerciale. In particolare, sono stati estrapolati dati quali correnti, tensioni, gradienti di temperatura, che hanno permesso di ricavare flussi termici, efficienze, e potenze che caratterizzano il modulo in questione durante le condizioni di funzionamento. I risultati ottenuti sono stati successivamente comparati con dati forniti dal produttore, presenti sul catalogo.

L'impatto della geometria urbana per applicazioni del telerilevamento in ambito energetico: l'influenza dello sky view factor.

Comprensione delle formulazioni analitiche e dei metodi tradizionali per il calcolo puntuale dello Sky View Factor (SVF), un parametro adimensionale in grado di esprimere con un singolo valore l’influenza dei fattori morfologici sulla porzione di volta celeste visibile da un punto. Valutazione delle performance dei software di mappatura dello SVF in area urbana al variare di tipologia e qualità del dato di input e dei parametri utilizzati. Al fine di studiare degli aspetti algoritmici dei modelli esistenti, è stato sviluppato uno script in linguaggio MATLAB per apportare miglioramenti alle tecniche esaminate.

Applicazione di materiali compositi nel consolidamento statico delle strutture in legno

L’uso di materiali compositi nel rinforzo delle strutture in legno sotto l’azione dei carichi, richiede particolare attenzione ad importanti aspetti. Per esempio, è molto importante pianificare il tipo di intervento da realizzare. Infatti esistono varie tecniche per rinforzare elementi lignei usando diversi “layouts” degli FRP, ognuno dei quali può conferire risultati diversi. Come riporta la figura 55 [31], ci possono essere diverse tipologie di applicazione dei rinforzi.

Sistema di certificazione leed e valutazioni sull'applicazione ai terminal aeroportuali: Il caso del nuovo molo partenze dell'aeroporto di Bologna

Analisi del sitema di certificazione LEED ed applicazione del protocollo Nuove Costruzioni e Ristrutturazioni al progetto del Nuovo Molo Partenze dell'Aeroporto G. Marconi di Bologna. Individuazione delle criticità di tale sistema e proposta di un protocollo specifico per le realtà aeroportuali.

Verifica di vulnerabilita' sismica del padiglione n.15 del complesso ospedaliero Sant'Orsola

Verifica di vulnerabilità sismica di una struttura in cemento armato composta da telai longitudinali e setti. La conoscenza della struttura si è basata su sopralluoghi e, non essendo in possesso di informazioni strutturali per gli elementi resistenti, sulla base di un "progetto simulato". Per ogni elemento resistente sono state svolte analisi e verifiche statiche e sismiche riscontrando una carenza degli elementi orizzontali. La modellazione è stata eseguita sia manualmente che con un programma di calcolo agli elementi finiti.