Studio e sviluppo di algoritmi di elaborazione di immagini da TC per analisi perfusionali

La Tomografia Computerizzata (TC) perfusionale rappresenta attualmente una importante tecnica di imaging radiologico in grado di fornire indicatori funzionali di natura emodinamica relativi alla vascolarizzazione dei tessuti investigati. Le moderne macchine TC consentono di effettuare analisi funzionali ad una elevata risoluzione spaziale e temporale, provvedendo ad una caratterizzazione più accurata di zone di interesse clinico attraverso l’analisi dinamica della concentrazione di un mezzo di contrasto, con dosi contenute per il paziente. Tale tecnica permette potenzialmente di effettuare una valutazione precoce dell’efficacia di trattamenti antitumorali, prima ancora che vengano osservate variazioni morfologiche delle masse tumorali, con evidenti benefici prognostici. I principali problemi aperti in questo campo riguardano la standardizzazione dei protocolli di acquisizione e di elaborazione delle sequenze perfusionali, al fine di una validazione accurata e consistente degli indicatori funzionali nella pratica clinica. Differenti modelli matematici sono proposti in letteratura al fine di determinare parametri di interesse funzionale a partire dall’analisi del profilo dinamico del mezzo di contrasto in differenti tessuti. Questa tesi si propone di studiare, attraverso l’analisi e l’elaborazione di sequenze di immagini derivanti da TC assiale perfusionale, due importanti modelli matematici di stima della perfusione. In particolare, vengono presentati ed analizzati il modello del massimo gradiente ed il modello deconvoluzionale, evidenziandone tramite opportune simulazioni le particolarità e le criticità con riferimento agli artefatti più importanti che influenzano il protocollo perfusionale. Inoltre, i risultati ottenuti dall’analisi di casi reali riguardanti esami perfusionali epatici e polmonari sono discussi al fine di valutare la consistenza delle misure quantitative ottenute tramite i due metodi con le considerazioni di natura clinica proposte dal radiologo.

Un Algoritmo di controllo ottimo di un sistema di aerodinamica mobile per una vettura sportiva

Approfondimento di tecniche di controllo ottimo per problemi di regolazione e di inseguimento di modello. Sintesi e implementazione di un algoritmo che si occupi del controllo della dinamica laterale di una vettura attraverso il sistema di aerodinamica mobile.

Previsioni di stati ecosistemici dell'intertidale sabbioso del Nord Adriatico in risposta ad eventi meteorologici estremi

Il presente elaborato di tesi si inserisce nell’ambito del progetto europeo THESEUS (Innovative technologies for safer European coasts in a changing climate) fra i cui principali obiettivi c’è quello di fornire un’adeguata metodologia integrata per la pianificazione di strategie di difesa costiera sostenibili. Le zone costiere sono sempre più soggette agli impatti antropici, legati all’intensificazione dell’urbanizzazione, e agli effetti del global climate change, ed in particolare al conseguente sea level rise. Diventa quindi importante, in un’ottica di preservazione e di gestione, capire come gli ecosistemi costieri e i beni e servizi che essi forniscono risponderanno a questi cambiamenti ambientali. Fra questi, preponderanti sono quelli rappresentati dalle spiagge sabbiose. Al fine di valutare come differenti strategie di gestione possono influenzare il sistema spiaggia, è stata analizzata la riposta del comparto bentonico della zona intertidale di due differenti spiagge lungo la costa emiliano-romagnola. Lido di Spina è fortemente antropizzato e caratterizzato dalla presenza di infrastrutture balneari-turistiche permanenti. E’ soggetto, inoltre, a interventi di ripascimento annuali e di pulizia della spiaggia. Bellocchio, invece, è un sito naturale che presenta una spiaggia caratterizzata dall’arretramento della linea di costa causata dell’erosione, e non è soggetta a interventi di gestione finalizzati alla sua mitigazione. In questo studio è stata utilizzata la componente meiobentonica, generalmente trascurata, come indicatore chiave della vulnerabilità ecologica, mentre la zona intertidale sabbiosa è stata indagata in quanto reputata uno dei primi habitat costieri “recettore” degli eventi di flooding e degli interventi di gestione. Globalmente è stato possibile evidenziare differenze di struttura di comunità fra i due siti indagati, sottolineando come, anche questa componente sia in grado di far emergere i cambiamenti dovuti a differenti approcci di gestione delle coste sabbiose. Nella seconda parte del lavoro, invece, è stato testato un approccio metodologico innovativo, denominato “Fuzzy Bayes Ecological Model” (FBEM), sviluppato nell’ambito del progetto THESEUS. L’applicazione del FBEM in THESEUS è finalizzata alla simulazione delle risposte ecosistemiche ad eventi di flooding costiero ed al fenomeno del sea level rise. In questo elaborato, il modello è stato adottato al fine di descrivere eventuali cambiamenti dei popolamenti meiobentonici. Nello specifico, l’utilizzo del modello è servito per poter confrontare la situazione attuale relativa, quindi, allo scenario di sea level rise pari a zero, con quella ipotizzata dall’IPCC per il 2080 di sea level rise pari a 0,22 m, prendendo in considerazione otto tempi di ritorno di eventi simulati di flooding a intensità crescente. Dalle simulazioni emerge come il driver del danno ecologico sia l’onda frangente il cui effetto risulta, però, mitigato dal sea level rise. I popolamenti meiobentonici sono risultati dei buoni indicatori per la valutazione dei rischi connessi al flooding e al sea level rise, dimostrando così il loro possibile utilizzo come descrittori dei cambiamenti ecologici delle zone costiere. Per questo, lo studio ed il monitoraggio della dinamica e della struttura dei popolamenti meiobentonici può diventare un mezzo fondamentale per la comprensione delle funzionalità ecosistemiche delle spiagge sabbiose. E’ inoltre in grado di produrre alcune delle informazioni necessarie allo sviluppo dei piani di gestione integrata della fascia costiera in un ottica di conservazione di questi habitat costieri e dei servizi e beni da essi forniti.

Tendenza evolutiva degli aggregati mucillaginosi nell’Adriatico nord-occidentale

Nelle coste dell’Adriatico nord-occidentale il manifestarsi di eventi mucillaginosi, dovuti alla microalga Gonyaulax fragilis, negli ultimi anni ha assunto andamenti più frequenti. Ciò ha creato numerose problematiche sia ambientali che legate alle attività produttive. L’obiettivo del lavoro è quello di ricercare i fattori che influenzano la comparsa, lo sviluppo e la persistenza degli aggregati mucillaginosi nella fascia di mare studiata. Sono stati analizzati (per gli anni 2002 – 2003 – 2005 - 2012) i dati registrati dalle campagne di monitoraggio della Struttura Oceanografica Daphne - ARPA ER dal Po di Goro a Cattolica. Sono stati individuati 4 transetti e 12 stazioni di monitoraggio, le più adatte allo studio per via delle loro caratteristiche e della loro distribuzione spaziale. La salinità, la temperatura, la clorofilla “a” e la profondità sono state relazionate, attraverso analisi statistiche, alla presenza/assenza dell’evento mucillaginoso, alla sua intensità ed alla sua persistenza. I risultati indicano che la salinità e la densità dell’aggregato (quest’ultima legata alla profondità) influenzano sia lo svilupparsi che il progredire dell’evento mucillaginoso a differenza della clorofilla “a” e della temperatura. Lo studio attira anche l’attenzione sull’idrodinamismo e sulle condizioni “ecologiche” che possono favorire la comparsa della dinoflagellata Gonyaulax fragilis, fattori ritenuti fondamentali sia per gli aspetti conoscitivi della dinamica del fenomeno che per quelli previsionali.

Implementazione di una nuova metodologia per la simulazione di un motore sovralimentato ad alte prestazioni

In questo lavoro verrà analizzato lo sviluppo di una nuova modellazione matematica per la simulazione della dinamica del flusso all’interno del sistema di aspirazione per motori sovralimentati. Tale modellazione si basa sulla risoluzione numerica mediante la formulazione proposta da Courant, Isaacson e Rees (CIR) nel 1952 per il set delle equazioni non conservative di Eulero per il caso monodimensionale. L’applicazione attraverso il software Matlab-Simulink di tali discretizzazioni numeriche garantisce la possibilità di calcolare la dinamica del flusso all’interno del condotto. L’innovazione proposta da questo lavoro consiste nel considerare l’intero stato da iterare come un vettore, permettendo di gestire parte delle operazioni da compiere con delle matrici. Questo approccio è stato adottato sia per una maggior velocità di calcolo, sia per rendere più agevole la modifica della geometria, ad esempio in fase di progettazione. La routine di lancio del nuovo modello, infatti, gestirà autonomamente la scrittura delle matrici, a partire dai pochi parametri necessari per la definizione della geometria all’interno del codice. Si andranno quindi a presentare i passaggi più importanti che hanno portato alla scrittura del codice, con particolare attenzione poi alla fase di validazione del modello. Essa sarà basata sia su un altro codice presente in letteratura, modellato anch’esso attraverso risoluzione CIR, sia mediante dati sperimentali utilizzati per la validazione di tale implementazione. Seguirà infine un’analisi dettagliata sui fattori che influenzano, positivamente e negativamente, l’esito delle simulazioni realizzate, come la discretizzazione spaziale e quella temporale, prestando sempre particolare attenzione alla stabilità del metodo.

Reclutamento di invertebrati bentonici in una grotta sottomarina del Mar Mediterraneo

Le grotte marine sono habitat molto particolari che presentano situazioni molto diverse da quelle riscontrabili nell’ambiente esterno. La variabilità nella struttura geomorfologica, la topografia, la profondità, l’orientamento e l’idrodinamismo rappresentano una vasta gamma di situazioni che consentono la presenza di popolamenti caratteristici, la cui unicità determina l’importanza della loro salvaguardia. La composizione delle comunità dipende fortemente dall'arrivo dei propaguli dall'esterno, e non solo dalla riproduzione di adulti presenti. Quindi, per determinare la struttura e la dinamica delle popolazioni marine, è di fondamentale importanza comprendere i processi che agiscono sul reclutamento. In particolare per gli organismi sessili la fase larvale rappresenta l'unico stadio di dispersione. Lo scopo di questo lavoro è analizzare il reclutamento dei popolamenti bentonici sulle pareti laterali e sulla volta della grotta sottomarina della Colombara, nell’area marina protetta di Portofino (Genova), per valutare la loro diversità specifica, abbondanza e distribuzione. Per far ciò sono stati posti 14 pannelli quadrati in forex PVC all’interno della grotta (8 sulla volta e 6 sulle pareti laterali) per un periodo di tempo di venti mesi. L’abbondanza degli organismi è stata stimata in termini di ricoprimento percentuale utilizzando un reticolo di 400 sottoquadrati da 1 cm². Le possibili differenze tra le strutture dei popolamenti, l’abbondanza delle specie e gli indici di diversità tra parete e volta della grotta sono state testate con l’analisi della varianza basata su permutazioni (PERMANOVA) utilizzando il software PRIMER 6. Dai risultati ottenuti sono emerse differenze qualitative e quantitative nella distribuzione dei popolamenti fra la volta e le pareti della grotta. Analizzando le singole specie, è possibile osservare come molte di queste tendano a reclutare maggiormente sulla volta rispetto alle pareti. In generale, la distribuzione degli organismi dipende, oltre che dai più conosciuti gradienti ambientali (idrodinamismo, luce ecc) dai processi ecologici. Considerando che i fattori ambientali ed ecologici interagiscono nel definire la struttura dei popolamenti e sono interdipendenti tra loro, possiamo ipotizzare che le distribuzioni spaziali osservate per le diverse specie dipendano in gran parte dall’ecologia larvale, che porta ad un più elevato tasso di reclutamento sulla volta piuttosto che sulle pareti della grotta.

Idrologia di un cordone di dune costiere nella zona naturale a sud di Foce Bevano

Dalla collaborazione fra il Comune di Ravenna ed ENI ha preso origine il progetto “RIGED – Ra” ossia il “Progetto di ripristino e gestione delle dune costiere ravennati”. Nell’ambito di tale attività sperimentale si è voluto effettuare una caratterizzazione dell’idrologia di una limitata, ma rappresentativa, porzione dell’acquifero freatico costiero situata in un cordone di dune posto nella Pineta di Lido di Classe, a sud di Foce Bevano. Lo studio si pone di essere rappresentativo per le caratteristiche idrogeologiche delle dune costiere adriatiche nella zona di Ravenna. A tale fine è stato valutato l’andamento di alcuni parametri chimico-fisici delle acque sotterranee; inoltre, è stata monitorata mensilmente la profondità della tavola d’acqua (water table - WT). Questi monitoraggi hanno permesso di descrivere la distribuzione delle acque dolci e di quelle salate nonché la loro dinamica stagionale. Infine, è stata eseguita un’analisi idro-geochimica con l’intento di valutare la tipologia delle acque presenti nell’area in esame e la loro eventuale variazione stagionale. Per la raccolta dei campioni è stata sfruttata l’innovativa metodologia a minifiltri utilizzata da alcuni anni nel nord dell’Europa, in modo particolare in Olanda. Questa tecnica ha due caratteristiche peculiari: i tempi di campionamento vengono ridotti notevolmente ed, inoltre, permette un’ottima precisione e rappresentatività delle acque di falda a diverse profondità poiché si effettua un campionamento ogni 0,50 m. L’unico limite riscontrato, al quale vi è comunque rimedio, è il fatto che la loro posizione risulti fissa per cui, qualora vi siano delle fluttuazioni dell’acquifero al di sopra del minifiltro più superficiale, queste non vengono identificate. È consigliato quindi utilizzare questo metodo di campionamento poiché risulta essere più performante rispetto ad altri (ad esempio al sistema che sfrutta lo straddle packers SolinstTM ) scegliendo tra due diverse strategie per rimediare al suo limite: si aggiungono minifiltri superficiali che nel periodo estivo si trovano nella zona vadosa dell’acquifero oppure si accompagna sempre il campionamento con una trivellata che permetta il campionamento del top della falda. Per quanto concerne la freatimetria il campionamento mensile (6 mesi) ha mostrato come tutta l’area di studio sia un sistema molto suscettibile all’andamento delle precipitazioni soprattutto per la fascia di duna prossima alla costa in cui la scarsa vegetazione e la presenza di sedimento molto ben cernito con una porosità efficace molto elevata facilitano la ricarica dell’acquifero da parte di acque dolci. Inoltre, sul cordone dunoso l’acquifero si trova sempre al di sopra del livello medio mare anche nel periodo estivo. Per questa caratteristica, nel caso l’acquifero venisse ricaricato artificialmente con acque dolci (Managed Aquifer Recharge), potrebbe costituire un efficace sistema di contrasto all’intrusione salina. Lo spessore d’acqua dolce, comunque, è molto variabile proprio in funzione della stagionalità delle precipitazioni. Nell’area retro-dunale, invece, nel periodo estivo l’acquifero freatico è quasi totalmente al di sotto del livello marino; ciò probabilmente è dovuto al fatto che, oltre ai livelli topografici prossimi al livello medio mare, vi è una foltissima vegetazione molto giovane, ricresciuta dopo un imponente incendio avvenuto circa 10 anni fa, la quale esercita una notevole evapotraspirazione. È importante sottolineare come durante la stagione autunnale, con l’incremento delle precipitazioni la tavola d’acqua anche in quest’area raggiunga livelli superiori a quello del mare. Dal monitoraggio dei parametri chimico – fisici, in particolare dal valore dell’Eh, risulta che nel periodo estivo l’acquifero è un sistema estremamente statico in cui la mancanza di apporti superficiali di acque dolci e di flussi sotterranei lo rende un ambiente fortemente anossico e riducente. Con l’arrivo delle precipitazioni la situazione cambia radicalmente, poiché l’acquifero diventa ossidante o lievemente riducente. Dalle analisi geochimiche, risulta che le acque sotterranee presenti hanno una composizione esclusivamente cloruro sodica in entrambe le stagioni monitorate; l’unica eccezione sono i campioni derivanti dal top della falda raccolti in gennaio, nei quali la composizione si è modificata in quanto, il catione più abbondante rimane il sodio ma non si ha una dominanza di un particolare anione. Tale cambiamento è causato da fenomeni di addolcimento, rilevati dall’indice BEX, che sono causati all’arrivo delle acque dolci meteoriche. In generale, si può concludere che la ricarica superficiale e la variazione stagionale della freatimetria non sono tali da determinare un processo di dolcificazione in tutto l’acquifero dato che, nelle zone più profonde, si rivela la presenza permanente di acque a salinità molto superiore a 10 g/L. La maggior ricarica superficiale per infiltrazione diretta nelle stagioni a più elevata piovosità non è quindi in grado di approfondire l’interfaccia acqua dolce-acqua salata e può solamente causare una limitata diluizione delle acque di falda superficiali.

Le traitement de la terminologie dans les ressources lexicographiques. Etude du domaine des énergies renouvelables

La nostra tesi affronta il tema del trattamento della terminologia nelle risorse lessicografiche monolingui e bilingui. Nella società contemporanea, il progresso tecnico-scientifico e la democratizzazione del sapere attuano una migrazione del lessico specialistico verso la lingua corrente. Una delle conseguenze di questa dinamica linguistica è la necessità di includere i tecnicismi nei dizionari destinati al grande pubblico. L'attenzione dei lessicografi si focalizza su quei settori che hanno un forte impatto sociale. Il nostro studio riguarda,nello specifico, il trattamento lessicografico riservato alla terminologia delle energie rinnovabili.

Un museo archeologico per le necropoli villanoviane di Verucchio

Ogni luogo, ogni città, reca i segni dell’evoluzione e della trasformazione dettata dal tempo. In alcuni casi il passato viene visto con un’accezione negativa, in altri positiva a tal punto da monumentalizzarla. Nel caso della città di Verucchio non è possibile mettere in ombra il valore, e la forza della Rocca del Sasso, che per la sua storia e la sua posizione, che la rende visibile sia dall’interno che dall’esterno del centro storico, la attesta come simbolo della città. Allo stesso tempo questa città di piccole dimensioni possiede un ricco passato che non è rintracciabile all’interno della città storica ma che emerge dal verde, nonchè dagli spazi nascosti sotto il parco che cinge perimetralmente la città. Questi momenti della storia, importanti e riconoscibili, possono essere connessi nonostante sia notevole il salto temporale che li divide. Lo strumento deve essere una forma che li unisca, uno spazio pubblico, limitato ma aperto, distinguibile ma integrato nel paesaggio, un nuovo “layer” che si sovrapponga a quelli precedenti esaltandone il valore. Il tema della direzione, del percorso, è alla base dei ragionamenti e delle soluzioni proposte per la realizzazione di un museo archeologico. A differenza dei luoghi pubblici come la piazza o il teatro, in questo caso l’esposizione prevede che l’utente si muova negli ambienti, che segua in maniera dinamica una serie di spazi, di figure, di affacci, che devono essere in grado si susseguirsi in maniera fluida, attraverso un “respiro” che mantenga alta l’attenzione del visitatore. Adottato questo tema si ha la possibilità di declinarlo più volte, attraverso non solo la disposizione degli spazi ma anche con la posizione dei volumi e degli assi che li generano. Il progetto del nuovo museo si pone in una zona che può essere definita come “di cerniera” tra il centro storico e il parco archeologico. A livello territoriale questa può essere giudicata una zona critica, poiché sono più di trenta i metri di dislivello tra queste due zone della città. La sfida è quindi quella di trasformare la lontananza da problema a opportunità e relazionarsi con la conformazione del territorio senza risultare eccessivamente impattanti ed invasivi su quest’ultimo. Poiché la città di Verucchio possiede già un museo archeologico, inserito all’interno dell’ex convento e della chiesa di Sant’Agostino, il percorso archeologico, che vede il museo progettato come fulcro del tutto, prevede che il turista abbia la possibilità di conoscere la civiltà villanoviana visitando sia il museo di progetto che quello esistente, avendo questi differenti allestimenti che non creano delle “sovrapposizioni storiche”, poiché sono uno tematico e l’altro cronologico. Il museo esistente si inserisce all’interno di un edificio esistente, adattando inevitabilmente i propri spazi espositivi alla sua conformazione. La realizzazione di un una nuova struttura porterebbe a una migliore organizzazione degli spazi oltre che ad essere in grado di accogliere anche i reperti presenti all’interno dei magazzini dell’ex convento e dei beni culturali di Bologna. La necropoli Lippi è solo una delle necropoli individuate perimetralmente alla città e i reperti, rilevati, catalogati e restaurati, sono in numero tale da poter essere collocati in una struttura museale adeguata. Il progetto si sviluppa su più fronti: l’architettura, l’archeologia ed il paesaggio. Il verde è una componente fondamentale del sistema della città di Verucchio, risulta essere un elemento di unione, che funge talvolta da perimetro del centro, talvolta da copertura della nuda roccia dove l’inclinazione del terreno non ha permesso nel tempo la realizzazione di edifici e strutture urbane, si mette in contrapposizione con la forma e i colori della città.

Buenos Aires 2100. Quattro progetti per una metropoli.

Nell’ambito del Laboratorio di sintesi finale “ Progetto Buenos Aires”, siamo entrati in contatto con la realtà sociale, culturale ed architettonica sudamericana, che si presenta attualmente molto complessa e dinamica. Partendo dalle dieci conferenze tenute in Sudamerica dal demiurgico Le Corbusier nel 1929, abbiamo intrapreso un’analisi critica dei progetti proposti dall’architetto svizzero al fine di comprendere il suo approccio progettuale in relazione alle specificità urbane di Buenos Aires, Montevideo, San Paolo e Rio de Janeiro. L’obiettivo del corso è stato poi quello di sviluppare un progetto di architettura individuale per la realtà urbana di Buenos Aires e a tal scopo, nel mese di maggio, abbiamo intrapreso un primo viaggio per comprendere direttamente alcuni aspetti legati alla “natura” della città. Con la volontà di cogliere al meglio le articolate ed eterogenee sfaccettature che una metropoli come Buenos Aires può offrire, siamo tornati, nei mesi di ottobre e novembre, per vivere, osservare e studiare la città. Tale esperienza ci ha permesso di acquisire una migliore visione critica e di comprendere con maggiore consapevolezza le sue molteplici sfumature. Al fine di avviare il progetto abbiamo inizialmente svolto ricerche documentali presso la Biblioteca Nacional, la biblioteca del FADU (Facultad de Arquitectura, Disegno y Urbanismo di Buenos Aires), e la biblioteca della Societad Central de Arquitectos ed altri archivi, che ci hanno acconsentito di reperire testi e materiali essenziali non disponibili in Italia. Il percorso è stato arricchito da una serie d’incontri e dibattiti sulla città, i suoi continui cambiamenti e le sue criticità, con architetti e professori della FADU e della Facultad de Arquitectura y Urbanismo de la Universidad de La Plata, quali il professor Miguel Angel Roca, Javier Fernandez Castro e Fernando Aliata. Intrecci che hanno rappresentato un momento di riflessione importante per una visione generale dell’ambiente culturale in cui stavamo lavorando, e hanno proposto alcune chiare idee per un ridisegno generale della città di Buenos Aires e alcune suggestioni per i progetti portati avanti individualmente. Abbiamo avuto inoltre il grande onore di esporre e mostrare i nostri primi elaborati davanti agli studenti e professori delle suddette facoltà, avviando così un momento di scambio e confronto sui diversi approcci metodologici adottati nei due paesi, al tempo stesso così lontani e così vicini. Il coronamento di questa esperienza è stato l’incontro con due figure fondamentali nel processo architettonico argentino del secondo Novecento, l’architetto Justo Solsona e l’architetto Clorindo Testa. La tesi si articola in cinque diversi momenti. Il primo, a scala territoriale, propone una suggestione sui possibili sviluppi della Ciudad autonoma de Buenos Aires, mentre gli altri, sulla base di un’idea di fondo, rappresentano i progetti architettonici sviluppati individualmente.

Sviluppo e validazione di un codice per il calcolo e la verifica di edifici industriali in acciaio

In questa Tesi di Laurea viene presentata un’interessante esperienza di implementazione numerica: lo sviluppo di un codice agli elementi finiti in grado di calcolare, verificare e ottimizzare edifici industriali in acciaio. Al giorno d’oggi, la tendenza delle imprese nel campo dell’ingegneria strutturale ed in particolare nel campo dell’edilizia industriale, è quella della specializzazione. E’ sempre più frequente, ad esempio nel campo dei capannoni industriali, che le aziende concentrino la loro attività solo su determinate tipologie costruttive, sulle quali ottimizzano il lavoro riducendo al massimo i tempi di progettazione, di costruzione e abbassando il prezzo. Il mondo dei programmi di calcolo, per la maggior parte, sembra aver preso una direzione di sviluppo opposta. Le case di produzione software mettono a disposizione dei progettisti strumenti sempre più raffinati, capaci di modellare dettagliatamente qualsiasi tipo di struttura, materiale, azione statica o dinamica; spesso questi programmi contengono anche un codice integrato CAD per il disegno della struttura e altri tools per lasciare all’utente la più grande libertà di azione possibile. Se da un lato questi strumenti danno al progettista la possibilità di una modellazione sempre più dettagliata, dall’altra parte hanno il limite di essere poco pratici per un tipo di progettazione standardizzato. Spesso quello di cui le imprese hanno bisogno è invece un programma creato ‘ad hoc’ per le loro attività che, grazie all’inserimento di pochi parametri, possa garantire una progettazione rapida e magari gestire non solo la fase di calcolo, ma anche quella di verifica e di ottimizzazione. In quest’ottica si inserisce lo sviluppo del codice eseguito in questa tesi. L’esposizione si articola in quattro parti. La prima, introduttiva, è dedicata alla descrizione delle tipologie di edifici monopiano in acciaio maggiormente diffuse, dei diversi tipi materiale, dei principali aspetti della normativa per queste costruzioni. Viene inoltre descritta la tipologia costruttiva implementata nel codice sviluppato. Il secondo capitolo è dedicato alla descrizione del metodo agli elementi finiti, esponendone i fondamenti teorici e le principali fasi della costruzione di un codice di calcolo numerico per elementi monodimensionali. Nella terza parte è illustrato il codice sviluppato. In particolare vengono dettagliatamente descritti i moduli di generazione del modello, del solutore, del post-processore in grado di eseguire le verifiche secondo le normative vigenti, e quello dedicato all’ottimizzazione strutturale. In fine, nell’ultimo capitolo viene illustrato un esempio progettuale con il quale si è potuta effettuare la validazione del codice confrontando i risultati ottenuti con quelli di riferimento forniti da programmi attualmente in commercio. La presente dissertazione non mira alla “certificazione” di un software che sia in grado di fare calcoli complessi nell’ambito dell’ingegneria strutturale, ma lo scopo è piuttosto quello di affrontare le problematiche e gestire le scelte operative che riguardano la scrittura di un codice di calcolo. Programmatori non si nasce, ma si diventa attraverso anni di esperienza che permettono di acquisire quella sensibilità numerica che è definibile come una vera e propria “arte”. Ed è in questa direzione che si è svolta la Tesi, ovvero comprendere prima di tutto l’atteggiamento da assumere nei confronti di un elaboratore elettronico e, solo successivamente, passare ad un utilizzo consapevole per scopi progettuali.

Quantum field theory of (p,0)-forms on kaehler manifolds

In questa tesi abbiamo studiato la quantizzazione di una teoria di gauge di forme differenziali su spazi complessi dotati di una metrica di Kaehler. La particolarità di queste teorie risiede nel fatto che esse presentano invarianze di gauge riducibili, in altre parole non indipendenti tra loro. L'invarianza sotto trasformazioni di gauge rappresenta uno dei pilastri della moderna comprensione del mondo fisico. La caratteristica principale di tali teorie è che non tutte le variabili sono effettivamente presenti nella dinamica e alcune risultano essere ausiliarie. Il motivo per cui si preferisce adottare questo punto di vista è spesso il fatto che tali teorie risultano essere manifestamente covarianti sotto importanti gruppi di simmetria come il gruppo di Lorentz. Uno dei metodi più usati nella quantizzazione delle teorie di campo con simmetrie di gauge, richiede l'introduzione di campi non fisici detti ghosts e di una simmetria globale e fermionica che sostituisce l'iniziale invarianza locale di gauge, la simmetria BRST. Nella presente tesi abbiamo scelto di utilizzare uno dei più moderni formalismi per il trattamento delle teorie di gauge: il formalismo BRST Lagrangiano di Batalin-Vilkovisky. Questo metodo prevede l'introduzione di ghosts per ogni grado di riducibilità delle trasformazioni di gauge e di opportuni “antifields" associati a ogni campo precedentemente introdotto. Questo formalismo ci ha permesso di arrivare direttamente a una completa formulazione in termini di path integral della teoria quantistica delle (p,0)-forme. In particolare esso permette di dedurre correttamente la struttura dei ghost della teoria e la simmetria BRST associata. Per ottenere questa struttura è richiesta necessariamente una procedura di gauge fixing per eliminare completamente l'invarianza sotto trasformazioni di gauge. Tale procedura prevede l'eliminazione degli antifields in favore dei campi originali e dei ghosts e permette di implementare, direttamente nel path integral condizioni di gauge fixing covarianti necessari per definire correttamente i propagatori della teoria. Nell'ultima parte abbiamo presentato un’espansione dell’azione efficace (euclidea) che permette di studiare le divergenze della teoria. In particolare abbiamo calcolato i primi coefficienti di tale espansione (coefficienti di Seeley-DeWitt) tramite la tecnica dell'heat kernel. Questo calcolo ha tenuto conto dell'eventuale accoppiamento a una metrica di background cosi come di un possibile ulteriore accoppiamento alla traccia della connessione associata alla metrica.