Estensioni trascendenti di campi

Sia F un’estensione del campo K, un sottoinsieme massimale S di elementi di F algebricamente indipendenti su K si dice una base di trascendenza di F su K. A partire da S, e precisamente considerando l'intersezione di tutti i sottocampi di F contenenti K e S, si ottiene un campo intermedio E che è un'estensione puramente trascendente di K, e tale che F è algebrico su E. Si dimostra che le basi di trascendenza di F su K hanno tutte la stessa cardinalità, detta grado di trascendenza dell'estensione. In questa tesi vengono studiate le principali proprietà delle estensioni trascendenti e, mediante la condizione di disgiunzione lineare, viene estesa la definizione di estensione separabile ad un'estensione qualsiasi. Vengono fornite diverse caratterizzazioni della separabilità, introducendo anche il concetto di estensione generata in modo separabile.

Progettazione ed efficientamento energetico di un campo umanitario.

UNHRD è un Network di Basi Operative di Pronto Intervento Umanitario delle Nazioni Unite, con sei sedi nel mondo, in grado di inviare aiuti di prima necessità in qualsiasi parte del mondo entro 24-48 ore. Creata nel 2000, quella di Brindisi è la prima base del Network. Nel 2014, all’interno di UNHRD di Brindisi, nasce una nuova unità di ricerca e sviluppo, chiamata UNHRD LAB, per revisionare, testare e sviluppare prodotti innovativi contribuendo al miglioramento delle risposte alle emergenze umanitarie. Il LAB, gestito da esperti del campo, lavora in collaborazione con centri di ricerca, fornitori, Organizzazioni Non Governative, Agenzie Governative e con l’Università di Bologna, grazie alla quale ho avuto la possibilità di trascorrere sei mesi all’interno di questa nuova unità. Lavorando in stretta collaborazione con Nicolas Messmer, esperto del campo e responsabile del LAB, ho appurato che la progettazione di un campo umanitario al giorno d’oggi non segue metodi standardizzati, ma si basa sul buon senso di tecnici esperti che stimano numero e tipologie di container da inviare per allestirlo, sulla base dei quali si definiscono i fabbisogni energetici da soddisfare. Al fine di migliorare e velocizzare l’allestimento di un campo umanitario, ho deciso di proporre la creazione di tre standard di campo: piccolo, medio e grande (in funzione del numero degli operatori destinati ad accogliere) definire tipologia e numero di prodotti da inviare nei tre casi, individuare il fabbisogno energetico e ottimizzarlo proponendo soluzioni a basso consumo. Uno dei focus del LAB è infatti la “green techonolgy”, ovvero la ricerca di soluzioni a basso impatto ambientale, da qui i miei studi verso l’efficientamento energetico e l’attenzione verso nuove tecnologie ecofriendly come il fotovoltaico.

Misure di rumore in corrente in un circuito per la generazione di un campo magnetico stabile

Questo lavoro di Tesi, svolto nell’ambito dell’esperimento BEC3 presso il LENS, costituisce il primo approccio al problema della stabilizzazione del campo magnetico di bias in una trappola per atomi ultra-freddi. Stabilizzare il campo magnetico generato da una coppia di bobine si traduce nello stabilizzare la corrente che le attraversa e il primo passo verso la soluzione di questo problema consiste nello stimare lo spettro di potenza del rumore in corrente del circuito. A questo scopo è stata misurata la PSD (Power Spectral Density) del segnale ai capi di diversi sensori per alcuni valori di corrente erogata da due diversi alimentatori. La PSD è stata misurata sia in maniera diretta, che indiretta, attraverso la trasformata di Fourier della Funzione di Autocorrelazione del segnale, misurata nelle stesse condizioni descritte. I dati raccolti costituiscono la base da cui partire per la progettazione e la realizzazione del circuito di stabilizzazione.

Analisi della migrazione cellulare in vitro in presenza e in assenza di un campo elettrico

La galvanotassi, la migrazione cellulare stimolata dalla presenza di un campo elettrico esogeno o endogeno, `e stata oggetto di studi sin dalla fine del diciannovesimo secolo. Nonostante la molteplicità di lavori a riguardo, non c’`e uniformità. a nelle tecniche sperimentali, se non per il fatto che il campo elettrico viene generato tramite una configurazione a cella elettrolitica, detta anche a generazione interna di campo elettrico. Scopo di questa tesi `e analizzare e caratterizzare la migrazione di cellule isolate in vitro in presenza e in assenza di un campo elettrostatico esterno, rendendola originale rispetto a studi precedenti. La differenza nella configurazione sperimentale `e fondamentale per spiegare le caratteristiche dei moti osservati. Per la procedura sperimentale sono state usate come campione cellule di linea di origine tumorale denominate T98G adese a una piastra in polistirene posta, non a contatto, tra due piastre in rame cariche. Sono state acquisite micrografie in contrasto di fase a intervalli regolari inizialmente in una fase di controllo, quindi applicando un campo elettrostatico, cos`ı da poter analizzare il moto cellulare nelle diverse condizioni. In particolare, l’analisi del tracking di singole cellule selezionate sulla base di criteri stabiliti a priori ha permesso di evidenziare un moto isotropo, indipendentemente dalla presenza del campo elettrostatico. Invece, mostrando che i dati sperimentali delle distanze e delle velocita seguono distribuzioni Gamma, si osserva che dipende dalla presenza del campo elettrostatico la maggiore probabilità che una cellula si sposti pi`u della media. Infine, `e stato possibile determinare che l’influenza del campo elettrostatico sul moto delle cellule non dipende dalla posizione di queste rispetto alle piastre. Il lavoro svolto in questa tesi sarà parte dei risultati inseriti in una pubblicazione su rivista internazionale.

La Madrid di Alberto Campo Baeza = Alberto Campo Baeza's Madrid

La Madrid di Alberto Campo Baeza = Alberto Campo Baeza's Madrid. Texto en italiano e inglés.

Tra gratuità e onerosità : la donazione gravata da un onere : studio di diritto romano e di diritto svizzero

Introduzione : Plinio il Giovane erogò una somma di denaro per costruire una biblioteca e assicurarne il funzionamento. Una cittadina donò al Municipio di Balerna due case di appartamenti con lo scopo di mantenervi pigioni moderate e di mettere i vani a disposizione quale abitazione primaria per la popolazione del Comune. Questi due esempi illustrano casi di donazioni gravate da un onere. Da essi si evince che la donazione modale consta di due elementi: un dono e una finalità posta allo stesso. Una tale donazione esemplifica l'idea di alterità dell'unità, come Giano - dio del Pantheon romano - il quale è rappresentato con due volti, che gli permettevano di vedere il passato e di scrutare il futuro. Così, il presente lavoro - anch'esso paradigma dell'alterità dell'unità - si prefigge lo scopo di creare un ponte tra il passato e il potenziale futuro, sulla scorta anche di testi filosofici e letterari, senza tacere la sua dimensione giuridica. Un'invocazione a Giano si giustifica: anche Seneca, nel suo canzonatorio poema sulla trasformazione in zucca dell'imperatore Claudio - l'Apocolocintosi - narra che il dio patrocinò l'interessato, siccome abile oratore e aduso all'arte forense poiché i suoi due volti indicano in senso metaforico - e ironico - la capacità di esaminare le questioni sotto tutti i loro aspetti. Ciò posto, giovi considerare che la donazione modale è costituita di due scorciatoie cognitive che espongono la sua alterità: l'una, il dono, rimanda all'idea di gratuità, di benevolenza, di amicizia, di reciprocità; l'altra, l'onere, riconduce all'onerosità, allo scambio, al contratto, alla commutatività. Così, per enucleare l'unità della donazione gravata da un onere occorre chinarsi sulla sua alterità e percorrere i cammini che essa propone: la gratuità e l'onerosità, per poi ridurre gli esiti nell'unitarietà dell'istituto. Il presente lavoro vaglia invero la donazione modale. Esso è nondimeno condito di riflessioni più generali inerenti alla teoria dei contratti e alla filosofia del diritto, in una digressione temporale che dal diritto romano porta al diritto svizzero, passando per alcuni glossatori e umanisti e, anche, attraverso alcune legislazioni regionali del XIX secolo. Donde un lavoro che, in ultima analisi, abbraccia più tematiche, suddivise come esposto in appresso. Il primo capitolo, di introduzione al tema, è un compendio della terminologia latina del dono, ottenuto individuando esempi addotti dalle fonti giuridiche e fatti narrati da scrittori latini. Dacché la legge si palesa mediante uno scritto insieme di segni che esprimono concetti - mi è parso opportuno soffermarmi sulle sfaccettature linguistiche del "dono". La società romana era tributaria di molteplici rapporti di amicizia, i cui contenuti hanno poi dato adito ai cosiddetti contratti gratuiti. A Roma, la gratuità era un concetto bicefalo. Esisteva una gratuità propriamente detta e una gratuità qualificata di lucrativa. L'una escludeva l'altra. Esse godevano di un campo d'applicazione autonomo e indipendente. Queste due nozioni sono l'oggetto del secondo capitolo. Dato che la donazione modale è una commistione tra gratuità e onerosità, dopo aver esposto i criteri della gratuità, il terzo capitolo si incentra sull'analisi del modus testamentario e del concetto di donazione remuneratoria. Lungo le pagine del quarto capitolo, preludio al nucleo stesso della tesi, si tratteggia lo sviluppo giuridico della donazione nel diritto romano: da causa di atti a contratto indipendente. Dopo avere tracciato i contorni degli elementi che si fondono nel concetto di donazione gravata da un onere (dono, gratuità, onerosità), il quinto capitolo contiene la base del presente studio: l'analisi della donazione modale. Assemblando i risultati emersi nei capitoli precedenti, si definisce e si delimita questo istituto, si elabora la sua maturazione storica e concettuale. L'incedere della tesi, in ambito svizzero, segue quasi pedissequamente la struttura romanistica del primo titolo. Dopo una presentazione di alcune legislazioni del XIX secolo, nel preludio, il secondo capitolo si concentra sulla nozione di gratuità, quale può essere estrapolata dal Codice civile, dal Codice delle obbligazioni e dalla Legge federale sulla esecuzione e sul fallimento. Il terzo capitolo tratta dell'onerosità, limitata al Codice civile e, principalmente, all'onere successorio. La tesi si chiude, nel quarto capitolo, con una digressione sulla donazione gravata da un onere nel diritto svizzero. In questo lavoro i quesiti di fondo, cui si cerca di fornire una risposta, riguardano la natura e la struttura dell'istituto in esame: di che tipo di contratto si tratta? È gratuito, lucrativo o oneroso? Come risponde il donatario inadempiente? Permettetemi un'avvertenza preliminare: i testi letterari, giuridici e filosofici su cui poggia il primo titolo sono vecchi di un paio di millenni, e, prima di giungere nelle nostre biblioteche e nelle nostre case, hanno subito un percorso tortuoso. Alcuni sono stati alterati, altri modificati. Errori di trascrizione si sommano ad adeguamenti alle nuove realtà storiche. Ciò premesso, i testi letterari e filosofici sono presentati nelle versioni indicate nelle pagine della bibliografia e non sono stati l'oggetto di particolari attenzioni interpolazionistiche, critiche che affiorano tuttavia per i frammenti giuridici più interessanti per il presente lavoro.

Produzione e funzionamento di un dispositivo spin valve

Il fenomeno della magnetoresistenza gigante (GMR) consiste nella marcata variazione della resistenza elettrica di una struttura in forma di film sottile, composta da un’alternanza di strati metallici ferromagnetici (FM) e non magnetici (NM), per effetto di un campo magnetico esterno. Esso è alla base di un gran numero di sensori e dispositivi magnetoelettronici (come ad esempio magnetiche ad accesso casuale, MRAM, ad alta densità) ed ulteriori innovazioni tecnologiche sono in via di elaborazione. Particolarmente rilevanti sono diventate le Spin Valve, dispositivi composti da due strati FM separati da uno spaziatore NM, metallico. Uno dei due film FM (free layer) è magneticamente più soffice rispetto all’altro (reference layer), la cui magnetizzazione è fissata mediante accoppiamento di scambio all’interfaccia con uno strato antiferromagnetico (AFM) adiacente. Tale accoppiamento causa l’insorgenza di una anisotropia magnetica unidirezionale (anisotropia di scambio) per lo strato FM, che si manifesta in uno shift orizzontale del ciclo di isteresi ad esso associato (effetto di exchange bias), solitamente accompagnato anche da un aumento del campo coercitivo. Questo lavoro di tesi riporta la deposizione e la caratterizzazione magnetica e magnetoresistiva di due valvole spin, una a struttura top (SVT) composta da strati di Si/Cu[5 nm]/Py[5 nm]/Cu[5 nm]/Py[5 nm]/IrMn[10 nm], ed una a struttura bottom (SVB), di composizione Si/Cu[5 nm]/IrMn[10 nm]/Py[5 nm]/Cu[5 nm]/Py[5 nm], allo scopo di verificare il comportamento magnetoresistivo gigante del dispositivo per questa particolare scelta dei materiali. I campioni sono stati depositati mediante DC Magnetron sputtering, e caratterizzati magneticamente mediante magnetometro SQUID; la caratterizzazione resistiva è stata eseguita tramite metodo di van der Pawn. Vengono infine presentati i risultati sperimentali, in cui si osserva una variazione di magnetoresistenza nei campioni nell’ordine del punto percentuale.

Invarianti polinomiali sotto l'azione di gruppi finiti

Il teorema di Chevalley-Shephard-Todd è un importante risultato del 1954/1955 nella teoria degli invarianti polinomiali sotto l'azione del gruppo delle matrici invertibili. Lo scopo di questa tesi è presentare e dimostrare il teorema nella versione in cui l'anello dei polinomi ha come campo base R e di vedere alcuni esempi concreti di applicazione del teorema. Questa dimostrazione può essere generalizzata facilmente avendo come campo base un qualsiasi campo K di caratteristica 0.

Preparazione mediante elettrofilatura di membrane catalitiche per l'ossidazione dell'HMF

L’aumento della domanda di energia ha portato a un elevato sfruttamento delle fonti fossili. Per questo motivo si sono cercate risorse di tipo rinnovabili per produrre energia e prodotti chimici. Le biomasse rispettano tali requisiti. Tra gli aspetti più importanti nell’utilizzo di biomasse c’è la possibilità di produrre prodotti chimici, in altre parole molecole piattaforma dalla quale ottenere prodotti con elevato valore aggiunto. Il 5-idrossimetilfurfurale (HMF) presenta dei gruppi funzionali che permettono di ottenere molecole interessanti come l’FDCA, il quale grazie alla struttura simile all’acido terfatlico può essere utilizzato per l’ottenimento di un bio-polimero (PEF). La reazione di ossidazione selettiva tra i vari sistemi catalitici testati, i catalizzatori a base di metalli nobili quali Au e Pd, presentano elevata attività e selettività, ma scarsa produttività ottenibile nei sistemi discontinui rendendo difficile l’applicazione industriale. La messa a punto di membrane ibride polimero-inorganiche per scopi catalitici vengono prodotte inserendo una fase attiva inorganica all’interno della matrice polimerica; una telle tecniche di produzione è l’elettrofilatura. La tecninca consiste nell’applicazione di un campo elettrico che permette di ottenere delle fibre con diametro ub-micrometrico. In questo lavoro si sono preparate delle membrane polimeriche catalitiche mediante elettrofilatura con matrice polimerica a base di polivinil alcol e acidopoliacrilico e un polimero commerciale della DuPont (Hytrel® G4777), contenenti come fase attiva Au e Pd. Queste membrane poi sono state testate per l’ossidazione selettiva del 5-idrossimetilfurfurale (5-HMF) ad acido 2,5 furan-dicarbossilico (FDCA), prima in ossigeno con un reattore batch e successivamente utilizzando acqua ossigenata in un reattore semicontinuo.

BabelNet e il problema della Word Sense Disambiguation

La Word Sense Disambiguation è un problema informatico appartenente al campo di studi del Natural Language Processing, che consiste nel determinare il senso di una parola a seconda del contesto in cui essa viene utilizzata. Se un processo del genere può apparire banale per un essere umano, può risultare d'altra parte straordinariamente complicato se si cerca di codificarlo in una serie di istruzioni esguibili da una macchina. Il primo e principale problema necessario da affrontare per farlo è quello della conoscenza: per operare una disambiguazione sui termini di un testo, un computer deve poter attingere da un lessico che sia il più possibile coerente con quello di un essere umano. Sebbene esistano altri modi di agire in questo caso, quello di creare una fonte di conoscenza machine-readable è certamente il metodo che permette di affrontare il problema in maniera più diretta. Nel corso di questa tesi si cercherà, come prima cosa, di spiegare in cosa consiste la Word Sense Disambiguation, tramite una descrizione breve ma il più possibile dettagliata del problema. Nel capitolo 1 esso viene presentato partendo da alcuni cenni storici, per poi passare alla descrizione dei componenti fondamentali da tenere in considerazione durante il lavoro. Verranno illustrati concetti ripresi in seguito, che spaziano dalla normalizzazione del testo in input fino al riassunto dei metodi di classificazione comunemente usati in questo campo. Il capitolo 2 è invece dedicato alla descrizione di BabelNet, una risorsa lessico-semantica multilingua di recente costruzione nata all'Università La Sapienza di Roma. Verranno innanzitutto descritte le due fonti da cui BabelNet attinge la propria conoscenza, WordNet e Wikipedia. In seguito saranno illustrati i passi della sua creazione, dal mapping tra le due risorse base fino alla definizione di tutte le relazioni che legano gli insiemi di termini all'interno del lessico. Infine viene proposta una serie di esperimenti che mira a mettere BabelNet su un banco di prova, prima per verificare la consistenza del suo metodo di costruzione, poi per confrontarla, in termini di prestazioni, con altri sistemi allo stato dell'arte sottoponendola a diversi task estrapolati dai SemEval, eventi internazionali dedicati alla valutazione dei problemi WSD, che definiscono di fatto gli standard di questo campo. Nel capitolo finale vengono sviluppate alcune considerazioni sulla disambiguazione, introdotte da un elenco dei principali campi applicativi del problema. Vengono in questa sede delineati i possibili sviluppi futuri della ricerca, ma anche i problemi noti e le strade recentemente intraprese per cercare di portare le prestazioni della Word Sense Disambiguation oltre i limiti finora definiti.

Control and navigation of a rover for agricultural purposes

L’obiettivo di questa tesi è di descrivere e implementare via software un modello di rover autonomo per uso in ambito agricolo. La scelta di questo argomento deriva dal fatto che al laboratorio CASY dell’Università di Bologna è stato commissionato un robot che possa aiutare piccoli imprenditori agricoli a essere competitivi con i più grandi. Le funzionalità che il robot avrà, una volta ultimato, andranno dal tagliare l’erba allo spruzzare fertilizzante sugli alberi da frutto. Questa tesi si interessa del progetto del sistema di navigazione. Inizialmente viene introdotto il modello cinematico e in particolare la configurazione differential drive in cui il rover rientra. Successivamente viene elaborato un sistema di controllo basato sulla linearizzazione statica del feedback. Una volta completati il modello e il sistema di controllo si procede con la generazione di traiettoria: vengono analizzati e confrontati alcuni algoritmi per l’inseguimento di una traiettoria definita tramite waypoint. Infine è presentato un algoritmo per la navigazione all’interno di un campo di filari di alberi da frutto. Le uniche informazioni esterne disponibili in questo contesto sono le rilevazioni di sensori di distanza frontali e laterali, in quanto un GPS sarebbe troppo impreciso per gli scopi. Questa tesi costituisce la base per ulteriori sviluppi del progetto. In particolare la realizzazione di un programma di supervisione che stabilisca la modalità di moto da attuare e programmi specifici per le varie funzionalità agricole del rover.

A robotic platform for precision agriculture and applications

Agricultural techniques have been improved over the centuries to match with the growing demand of an increase in global population. Farming applications are facing new challenges to satisfy global needs and the recent technology advancements in terms of robotic platforms can be exploited. As the orchard management is one of the most challenging applications because of its tree structure and the required interaction with the environment, it was targeted also by the University of Bologna research group to provide a customized solution addressing new concept for agricultural vehicles. The result of this research has blossomed into a new lightweight tracked vehicle capable of performing autonomous navigation both in the open-filed scenario and while travelling inside orchards for what has been called in-row navigation. The mechanical design concept, together with customized software implementation has been detailed to highlight the strengths of the platform and some further improvements envisioned to improve the overall performances. Static stability testing has proved that the vehicle can withstand steep slopes scenarios. Some improvements have also been investigated to refine the estimation of the slippage that occurs during turning maneuvers and that is typical of skid-steering tracked vehicles. The software architecture has been implemented using the Robot Operating System (ROS) framework, so to exploit community available packages related to common and basic functions, such as sensor interfaces, while allowing dedicated custom implementation of the navigation algorithm developed. Real-world testing inside the university’s experimental orchards have proven the robustness and stability of the solution with more than 800 hours of fieldwork. The vehicle has also enabled a wide range of autonomous tasks such as spraying, mowing, and on-the-field data collection capabilities. The latter can be exploited to automatically estimate relevant orchard properties such as fruit counting and sizing, canopy properties estimation, and autonomous fruit harvesting with post-harvesting estimations.

Análise energética, otimização e modernização dos sistemas de um grande edifício de serviços na ótica da melhoria da eficiência energética

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica Perfil Energia, Refrigeração e Climatização