Le equazioni di London-London e la quantizzazione del flusso magnetico nella superconduttività

Nella prima sezione di questo lavoro verranno esposti i ragionamenti fisici alla base della scrittura delle equazioni di London-London (1935), capaci di descrivere due importanti fenomeni riguardanti i materiali superconduttori quali la conduttività perfetta (resistenza nulla) e il diamagnetismo perfetto (Effetto Meissner). Verrà in essa infine brevemente descritto l'effetto della più generale conservazione del flusso magnetico nei superconduttori secondo il modello classico. Nella seconda sezione verrà esposto il ragionamento alla base della scrittura del Modello Quantistico Macroscopico, proposto da F.London nel 1948 per cercare di unificare la descrizione elettrodinamica classica della superconduttività con la meccanica quantistica, attraverso la scrittura di una funzione d'onda macroscopica capace di descrivere l'intero ensemble di portatori di carica superelettronici nel loro moto di conduzione.Esso permetterà di prevedere il fenomeno della quantizzazione del flusso magnetico intrappolato da una regione superconduttrice molteplicemente connessa.

Fermioni di Dirac nel grafene

In questo lavoro si affronta l'argomento dei fermioni di Dirac nel grafene, si procederà compiendo nel primo capitolo un'analisi alla struttura reticolare del materiale per poi ricostruirne, sfruttando l'approssimazione di tigth-binding, le funzioni d'onda delle particelle che vivono negli orbitali del carbonio sistemate nella struttura reticolare e ricavarne grazie al passaggio in seconda quantizzazione l'Hamiltoniana. Nel secondo capitolo si ricavano brevemente le equazioni di Dirac e dopo una piccola nota storica si discutono le equazioni di Weyl arrivando all'Hamiltoniana dei fermioni a massa nulla mostrando la palese uguaglianza alla relazione di dispersione delle particelle del grafene. Nel terzo capitolo si commentano le evidenze sperimentali ottenute dalla ASPEC in cui si manifesta per le basse energie uno spettro lineare, dando così conferma alla teoria esposta nei capitoli precedenti.

Analisi numerico-sperimentale dell'influenza della pressione di compattazione in autoclave sulle proprietà meccaniche di un laminato

Sono state realizzate prove per verificare l'influenza della pressione di compattazione usata in autoclave sulle proprietà meccaniche di un laminato in fibra di carbonio e resina epossidica. Sono stati analizzati spessori e ILSS di rottura e, tramite un modello FEM, sono stati determinati i moduli di elasticità del laminato per i vari livelli di pressione indagati; inoltre sono state verificate le ILSS del modello con quelle risultate dalle prove realizzate.

Studio ed ottimizzazione di un sedile ammortizzato per auto sportiva

Ricerca di un sistema in grado di ridurre le vibrazioni trasmesse da un sedile di un'auto sportiva al guidatore, a causa delle asperità della strada, tramite lo sviluppo di un sistema di molle ad aria compressa, un sistema di regolazione del sedile e l'utilizzo di materiali innovativi ad elevato comfort.

Logiche proposizionali polivalenti

In questa tesi si intende presentare le logiche proposizionali polivalenti con alcuni esempi: esse sono estensioni dalla logica classica a insiemi (in generale ancora finiti come in questa tesi) di valori di verità maggiori di due. La sintassi è la stessa ma non la semantica, rappresentata però sempre da tavole di verità o interpretazioni. Nel primo capitolo sono presentate le definizioni e gli elementi della logica classica che serviranno per studiare questo nuovo tipo di logiche. Nel secondo capitolo è esposto l'esempio di una logica a quattro valori. Si dimostra la completezza di questo calcolo, in una forma diversa rispetto alla logica classica usando tecniche simili. Non valgono infatti il principio del terzo escluso e la Legge di Lewis. Si analizza la validità delle regole del calcolo della deduzione naturale e la riscrittura delle leggi di De Morgan. Nell'ultimo capitolo si affrontano le logiche a n valori con n>2 e varianti a tre valori (vero, falso e indefinito) con i principali esempi di Lukasiewicz-Tarski, Kleene, Priest e Bochvar. Nelle conclusioni si ricordano alcune applicazioni di questo tipo di logiche facendo riferimento alla meccanica quantistica, all'informatica e all'elettronica.

Studio e ottimizzazione di una trasmissione a infiniti rapporti per un motore automobilistico

Studio e ottimizzazione di una trasmissione a infiniti rapporti per un motore automobilistico per uso vettura sportiva. Riduzione della cilindrata a parità di rapporti.

Studio ed ottimizzazione di una caldaia a pellet ad elevata economia di produzione

Studio ed ottimizzazione di una stufa a pellet ad elevata economia di fabbricazione.

Studio ed ottimizzazione di un piccolo motore Diesel per aereo senza pilota

Studio di un motore Diesel due tempi veloce per utilizzo su aereo senza pilota (UAV).

Dimensionamento di azionamenti meccanici e idraulici per una pressa elicoidale disidratante

Dimensionamento di azionamenti meccanici e idraulici per una pressa elicoidale disidratante.

Studio e ottimizzazione di un generatore eolico a velocità autolimitante

Studio e ottimizzazione di un rotore monopala a resistenza aerodinamica che, tramite deformazioni strutturali causate dal carico del vento, limiti autonomamente la propria velocità in caso di vento troppo forte.

Ottimizzazione di un motore Diesel per uso aereo

Studio su una ottimizzazione di un motore Diesel per uso aereo. Ad esso è accoppiato un gruppo turbogas che entra in funzione alle altitudini elevate dove l'aria è meno densa e funge anche da ausilio al decollo del velivolo stesso.

Sviluppo e ottimizzazione di algoritmi per predire la risposta alla terapia di resincronizzazione cardiaca

La necessità di indagine sul fronte dell’insufficienza cardiaca deriva dall’elevato impatto sociale della patologia, non soltanto per l’effetto invalidante sulla condizione del paziente che ne è affetto, bensì anche per la notevole incidenza sui servizi sanitari nazionali, per l’importante valore di mortalità e morbilità che ne è associato. Il numero di ospedalizzazioni per scompenso cardiaco è consistente; ciò rende ragione dell’elevato assorbimento di risorse dovuto a questa patologia. Il razionale dell’impiego della Terapia di Resincronizzazione Cardiaca (CRT) consiste nella correzione della dissincronia cardiaca come causa di disfunzione meccanica atriale e ventricolare. Il metodo analitico sviluppato origina dalle indagini sugli spostamenti dell’elettrocatetere posizionato in Seno Coronarico, sulla base del fatto che il sito di stimolazione risulta un fattore determinante per la buona risposta alla terapia. Dovendo studiare le posizioni nel tempo del catetere, si è pensato di valutarne le variazioni nel periodo pre e post attivazione della CRT ricostruendone la traiettoria in 3D. Lo studio parametrico di quest’ultima ha permesso di individuare un indice predittore della risposta alla CRT al follow-up a sei mesi. La prosecuzione della ricerca presentata ha l’intento di migliorare gli algoritmi di elaborazione dei dati per rendere più robuste le misure, sfruttando tecniche che possano aumentare riproducibilità, ripetibilità, e ininfluenza rispetto alla variabilità delle condizioni analitiche. Sviluppando nuovi modelli si è eliminata l'interazione dell'operatore nelle fasi d'indagine, rendendo le analisi completamente automatiche. I metodi sono stati testati e applicati.

Studio di fattibilità di un ausilio di manipolazione per persone con deficit all'arto superiore

Partendo da uno studio preliminare riguardante le specifiche di progetto, è stato sviluppato un dispositivo di supporto statico atto all’ausilio di persone con deficit all’arto superiore. Il dispositivo è stato pensato per permettere il bloccaggio (sul piano o nello spazio) di una determinata categoria di oggetti, in modo da rendere possibile ai soggetti ai quali è indirizzato tutta una serie di mansioni, per loro altrimenti impossibili o comunque molto difficili da svolgere. Il dispositivo, completo di ogni sua parte, è stato disegnato al CAD, ne è stato spiegato il funzionamento qualitativo ed è stato sviluppato un modello matematico grazie al quale è possibile il calcolo di alcune variabili in gioco, in particolare del valore delle costanti elastiche delle molle presenti.

Analisi del processo di estrusione di leghe leggere con il software Qform: validazione e previsione della microstruttura

Il gruppo di tecnologie e sistemi di lavorazione del Dipartimento di Ingegneria Industriale, D.I.N, dell’Università di Bologna ha compiuto in collaborazione con il Dipartimento IUL della TU di Dortmund, negli ultimi anni, due campagne sperimentali effettuando processi di estrusione di leghe di alluminio. Nella prima, utilizzando leghe AA6060 e il metodo della visioplasticità, sono stati raccolti dati volti a ricavare le condizioni di attrito di tali processi, tramite confronto con valori ottenuti in simulazioni agli elementi finiti. Nella seconda, utilizzando invece una lega AA6082, è stata valutata la microstruttura al fine di permettere, tramite programmi agli elementi finiti, la determinazione di correlazioni fra variabili che prevedano la dimensione della microstruttura della lega stessa a seguito di lavorazioni per deformazione plastica. Basandosi quindi su queste prove sperimentali e utilizzando il software “QuantorForm versione 7.2.4”, è stato svolto il lavoro di tesi finalizzato a conseguire i seguenti obiettivi: • individuare il modello di attrito che si sviluppa nei processi di estrusione analizzati per la lega di alluminio AA6060; • determinare i parametri di settaggio ottimale del software, confrontando i risultati ottenuti nelle simulazioni con quelli sperimentali; • determinare le curve che descrivono la dimensione di un grano cristallino di AA6082 in funzione della deformazione; • implementare come subroutine in Qform, tramite l’utilizzo del linguaggio “Lua”, il modello di microstruttura ottenuto.

Studio e ottimizzazione di un piccolo propulsore Diesel common rail, sovralimentato per un drone

Studio e ottimizzazione di un piccolo propulsore Diesel di piccola potenza common rail, sovralimentato per un drone.