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.

Verso una teoria delle differenze tra documenti semi-strutturati

I sistemi di versionamento moderni quali "git" o "svn" sono ad oggi basati su svariati algoritmi di analisi delle differenze (detti algoritmi di diffing) tra documenti (detti versioni). Uno degli algoritmi impiegati con maggior successo a tal proposito è il celebre "diff" di Unix. Tale programma è in grado di rilevare le modifiche necessarie da apportare ad un documento al fine di ottenerne un altro in termini di aggiunta o rimozione di linee di testo. L'insieme di tali modifiche prende nome di "delta". La crescente richiesta e applicazione dei documenti semi-strutturati (ed in particolar modo dei documenti XML) da parte della comunità informatica soprattutto in ambito web ha motivato la ricerca di algoritmi di diffing più raffinati che operino al meglio su tale tipologia di documenti. Svariate soluzioni di successo sono state discusse; algoritmi ad alte prestazioni capaci di individuare differenze più sottili della mera aggiunta o rimozione di testo quali il movimento di interi nodi, il loro riordinamento finanche il loro incapsulamento e così via. Tuttavia tali algoritmi mancano di versatilità. L'incapsulamento di un nodo potrebbe essere considerata una differenza troppo (o troppo poco) generale o granulare in taluni contesti. Nella realtà quotidiana ogni settore, pubblico o commerciale, interessato a rilevare differenze tra documenti ha interesse nell'individuarne sempre e soltanto un sottoinsieme molto specifico. Si pensi al parlamento italiano interessato all'analisi comparativa di documenti legislativi piuttosto che ad un ospedale interessato alla diagnostica relativa alla storia clinica di un paziente. Il presente elaborato di tesi dimostra come sia possibile sviluppare un algoritmo in grado di rilevare le differenze tra due documenti semi-strutturati (in termini del più breve numero di modifiche necessarie per trasformare l'uno nell'altro) che sia parametrizzato relativamente alle funzioni di trasformazione operanti su tali documenti. Vengono discusse le definizioni essenziali ed i principali risultati alla base della teoria delle differenze e viene dimostrato come assunzioni più blande inducano la non calcolabilità dell'algoritmo di diffing in questione.

On land management: landowners' attitudes to land and farming in Valdera, Tuscany

This thesis aims at explaining the intersecting dynamics of structural changes in agriculture and urbanisation, which involves changes in urban-rural relationships. The research questions are: how and why do landowners differ in their attitudes to land and farming? what are the main implications on rural landscapes and the policy implications? Relationships between urbanisation and agriculture are firstly analysed through a critical literature review; the analysis focuses on the 'landowner' as the key actor who actively takes decisions on the rural landscape From the empirical study – which is based on a Tuscan area (Valdera), and addressed through qualitative methods – a great diversity of landowners' attitudes to land and farming emerge, thus contributing to the agricultural restructuring, such as: 1) the emphasis on recreational function of the countryside for urban people 2) contracting out of land management, especially when landowners live or/and have 'urban' employment 3) the active role of hobby farmers in land management 4) agricultural operations simplification and lack of investments (especially in case of property rights expropriation). The thesis is framed in three papers, with the same methods and research questions. It seems evident that rural landscapes is subjected to functional changes (e.g. residential) and structural changes (landscape polarisation), which requires the need 1) to consider that rural landscape management is increasingly less connected to agricultural production as economic activity; 2) to give a coherence to the range of policy interventions (physical planning, landscape, sectoral).

Famiglie Normali per Operatori Sub-ellittici e i Teoremi di Montel e Koebe

Scopo della tesi è di estendere un celebre teorema di Montel, sulle famiglie normali di funzioni olomorfe, all'ambiente sub-ellittico delle famiglie di soluzioni u dell'equazione Lu=0, dove L appartiene ad un'ampia classe di operatori differenziali alle derivate parziali reali del secondo ordine in forma di divergenza, comprendente i sub-Laplaciani sui gruppi di Carnot, i Laplaciani sub-ellittici su arbitrari gruppi di Lie, oltre all'operatore di Laplace-Beltrami su varietà di Riemann. A questo scopo, forniremo una versione sub-ellittica di un altro notevole risultato, dovuto a Koebe, che caratterizza le funzioni armoniche come punti fissi di opportuni operatori integrali di media con nuclei non banali. Sarà fornito anche un adeguato sostituto della formula integrale di Cauchy.

Sviluppo di un approccio congiunto fuzzy-Bayesiano per l'analisi e la modellizzazione degli ecosistemi: applicazione ad ecosistemi marini costieri.

Nell’attuale contesto di aumento degli impatti antropici e di “Global Climate Change” emerge la necessità di comprenderne i possibili effetti di questi sugli ecosistemi inquadrati come fruitori di servizi e funzioni imprescindibili sui quali si basano intere tessiture economiche e sociali. Lo studio previsionale degli ecosistemi si scontra con l’elevata complessità di questi ultimi in luogo di una altrettanto elevata scarsità di osservazioni integrate. L’approccio modellistico appare il più adatto all’analisi delle dinamiche complesse degli ecosistemi ed alla contestualizzazione complessa di risultati sperimentali ed osservazioni empiriche. L’approccio riduzionista-deterministico solitamente utilizzato nell’implementazione di modelli non si è però sin qui dimostrato in grado di raggiungere i livelli di complessità più elevati all’interno della struttura eco sistemica. La componente che meglio descrive la complessità ecosistemica è quella biotica in virtù dell’elevata dipendenza dalle altre componenti e dalle loro interazioni. In questo lavoro di tesi viene proposto un approccio modellistico stocastico basato sull’utilizzo di un compilatore naive Bayes operante in ambiente fuzzy. L’utilizzo congiunto di logica fuzzy e approccio naive Bayes è utile al processa mento del livello di complessità e conseguentemente incertezza insito negli ecosistemi. I modelli generativi ottenuti, chiamati Fuzzy Bayesian Ecological Model(FBEM) appaiono in grado di modellizare gli stati eco sistemici in funzione dell’ elevato numero di interazioni che entrano in gioco nella determinazione degli stati degli ecosistemi. Modelli FBEM sono stati utilizzati per comprendere il rischio ambientale per habitat intertidale di spiagge sabbiose in caso di eventi di flooding costiero previsti nell’arco di tempo 2010-2100. L’applicazione è stata effettuata all’interno del progetto EU “Theseus” per il quale i modelli FBEM sono stati utilizzati anche per una simulazione a lungo termine e per il calcolo dei tipping point specifici dell’habitat secondo eventi di flooding di diversa intensità.

Electrospun nanofibrous interleaves in composite laminate materials

The present work aims for investigate the influence of electrospun Nylon 6,6 nanofibrous mat on the behavior of composite laminates. The main idea is that nanofibrous interleaved into particular ply-to-ply interfaces of a laminate can lead to significant improvements of mechanical properties and delamination/damage resistance. Experimental campaigns were performed to investigate how nanofibers affect both the static and dynamic behavior of the laminate in which they are interleaved. Fracture mechanics tests were initially performed on virgin and 8 different configuration of nanomodified specimens. The purposes of this first step of the work are to understand which geometrical parameters of the nanointerleave influence the behavior of the laminate and, to find the optimal architecture of the nanofibrous mat in order to obtain the best reinforcement. In particular, 3 morphological parameters are investigated: nanofibers diameter, nanofibers orientation and thickness of the reinforce. Two different values for each parameter have been used, and it leads to 8 different configurations of nanoreinforce. Acoustic Emission technique is also used to monitor the tests. Once the optimum configuration has been found, attention is focused on the mechanism of reinforce played by the nanofibers during static and dynamic tests. Low velocity impacts and free decay tests are performed to attest the effect of nanointerlayers and the reinforce mechanism during the dynamic loads. Bump tests are performed before and after the impact on virgin and two different nanomodified laminates configurations. The authors focused their attention on: vibrational behavior, low velocity impact response and post-impact vibration behavior of the nano-interleaved laminates with respect to the response of non-nanomodified ones. Experiments attest that nanofibers significantly strength the delamination resistance of the laminates and increase some mechanical properties. It is demonstrated that the nanofibers are capable to continue to carry on the loads even when the matrix around them is broken.

Analisi di problematiche d'urto per macchine semoventi ed individuazione di soluzioni atte a controllarne gli effetti

Nel presente elaborato di tesi vengono analizzate le principali casistiche d’urto che possono affliggere i robot semoventi per l’imballaggio in grandi magazzini industriali; inoltre vengono proposti miglioramenti tecnico-costruttivi per contenere i danni che i frequenti impatti contro oggetti o macchinari possono provocare. Nello specifico verrà dimensionato un paraurti anteriore in grado di resistere ad urti con macchinari di elevato peso.

Valutazione economica e funzionale dell'applicazione di un motore asincrono e di un motore coppia ad un estrusore di materie plastiche

Il concetto di “direct drive”, cioè l’applicazione diretta del motore all’utilizzatore, in modo da eliminare elementi di connessione intermedi (riduttori, pulegge, ecc…) con il vantaggio di migliorare il rendimento, ridurre gli ingombri, semplificare l’intera struttura, ridurre la manutenzione, è applicato con sempre maggior frequenza. L’azienda Graham Packaging Company Italia s.r.l. produce macchinari industriali per la produzione di packaging plastico, i quali montano un gruppo di estrusione a monte della macchina che alimenta il gruppo di soffiaggio: si possono, quindi, intuire alcuni vantaggi derivanti dall’applicazione del “direct drive”. Nella soluzione attualmente adottata dall’azienda la vite di estrusione, che gira a velocità relativamente basse, è collegata tramite un riduttore ad un motore asincrono trifase, che ruota a velocità significativamente superiori. L’ipotesi di una soluzione differente prevederebbe l’accoppiamento della vite ad un motore coppia (torque motor) caratterizzato da una elevata coppia e giri relativamente bassi. I vantaggi di tale accoppiamento sarebbero fondamentalmente il risparmio energetico derivante dall’esclusione del riduttore dal meccanismo e la maggiore facilità di regolazione della velocità e di conseguenza anche della portata dell’estrusore. La tesi ha lo scopo di analizzare nel particolare l’attuale situazione dal punto di vista del consumo energetico delle 11 taglie di estrusori, di valutare una soluzione con motore coppia consultando diversi fornitori di motori, di comparare le due varianti dal punto di vista dell’efficienza e dei vantaggi economici.

Propuesta de una norma cubana sobre pruebas para evaluar el comportamiento relativo a scuffing de lubricantes en las ruedas dentadas, a partir de la adopciòn de la norma ISO 14635-1, 2000

Studio della prova FZG svolta per misurare il comportamento degli olii utilizzati per la lubrificazione di ruote dentate, relativamente alla loro efficienza contro il verificarsi di scuffing, puntando all'ottenimento di una proposta di norma basata sullo studio della ISO 14635-1:2000.

Sviluppo e validazione di metodologie di analisi numerica per flussi cavitanti all'interno di iniettori ad alta pressione

Il continuo sviluppo dei sistemi di iniezione, rispondente ad aumento di performance unito alla riduzione delle emissioni inquinanti, evidenzia sempre più la necessità di studiare i fenomeni cavitanti che si instaurano all’interno degli iniettori. La cavitazione, infatti, se particolarmente intensa e prolungata nel tempo porta all’erosione del materiale con la conseguente rottura dell’organo elettromeccanico. Attraverso un confronto tra le diverse tipologie di fori iniettore, si è messa a punto una metodologia di analisi per prevedere quali siano le zone dell’iniettore a maggior rischio di danneggiamento per erosione da cavitazione e quale sia l’influenza della geometria su queste. Lo studio è stato effettuato con il software commerciale FLUENT, codice di simulazione fluidodinamica di ANSYS.

Ottimizzazione di un motore diesel aeronautico per volo stratosferico

Studio e dimensionamento di un compressore assiale da inserire in un gruppo turbofan in cui la camera di combustione verrebbe sostituita da un motore diesel ad alte prestazioni che a sua volta andrebbe, tramite un riduttore, a trascinare il gruppo delle eliche; inoltre i gas combusti fornirebbero energia ad una turbina per il funzionamento del compressore assiale stesso.

Valutazione sperimentale della resistenza a fatica di elementi albero-mozzo accoppiati per interferenza

Esposizione dell’attività di laboratorio basata sullo svolgimento di prove sperimentali di resistenza a fatica su accoppiamenti albero-mozzo realizzati mediante calettamento forzato con riscaldamento in forno del mozzo, con l’obiettivo di determinare l’influenza di tale tipo di accoppiamento sulla vita a fatica del componente. Gli accoppiamenti albero – mozzo, anche detti collegamenti forzati, sono collegamenti fissi o semi–permanenti utilizzati per unire due organi tra loro che permettono di trasmettere elevate forze tangenziali anche con interferenze non elevate, realizzando un’unione sicura, quanto quella ottenibile con linguetta o chiavetta. Inoltre l’assenza di masse esterne non genera squilibri dinamici. Il lavoro di sperimentazione in laboratorio è stato preceduto da uno studio mediante modellatore FEM. I risultati ottenuti dallo studio per mezzo di Ansys Workbench 12.0 sono stati il punto di partenza della sperimentazione, la quale è stata effettuata con l’obiettivo di verificare la validità dei risultati ottenuti mediante modellatore.