Tavole semantiche e problemi di decidibilità

Trattazione del metodo delle tavole semantiche come modello per la ricerca della validità logica o insoddisfacibilità di un enunciato sia proposizionale che predicativo.

Modelli termici per componenti elettronici di potenza

L'elaborato illustra una serie di modelli termici, che si differenziano principalmente per la loro accuratezza e velocità di calcolo, per essere in grado di scegliere il modello più adatto da utilizzare in relazione all'applicazione prevista e alle esigenze richieste. Per una migliore comprensione del problema, vengono introdotti inizialmente alcuni concetti generali legati alle temperature in gioco nei componenti elettronici di potenza e alla trasmissione del calore, poi si passa alla determinazione della sorgente del calore (ovvero le perdite) in un modulo IGBT. Vengono quindi descritti alcuni modelli che siano in grado di rappresentare il sistema in esame dal punto di vista termico. Infine viene implementato in Simulink uno dei modelli proposti, mettendo così in pratica gran parte dei concetti esposti. Per il calcolo delle perdite, per i modelli e per la simulazione ci si è concentrati su un determinato componente elettronico di potenza per entrare nel cuore di un problema termico. È stato scelto l’IGBT perché è un dispositivo relativamente nuovo, in continuo miglioramento ed è sempre più utilizzato.

Coordinazione space-aware per dispositivi mobili in tucson

Lo scopo della tesi è quello di definire un modello di astrazione di coordinazione space-aware nell'ottica dei dispositivi mobili e del pervasive computing, concentrandosi in particolare sul modello TuCSoN e sui tuple centre ReSpecT.

Messa in operatività di simulatore di volo per aeromobili

Descrizione della messa in operatività del simulatore di volo DC9-30, del modello matematico realizzato in ambiente Simulink e dell'implementazione di Google Earth.

Principi di funzionamento della pet/tc e campi applicativi

Una delle aree di maggiore innovazione nella diagnostica per immagini è rappresentata dalla possibilità di fondere le scansioni PET e TC in un sistema di acquisizione ibrido che realizza entrambi gli studi in un'unica seduta. Questa tecnica abbina infatti la capacità di raccogliere le immagini ad alta definizione della TC che può essere eseguita anche con il mezzo di contrasto tradizionale, con informazioni metaboliche estremamente dettagliate raccolte dalla PET, unificandole in un sistema di immagini ibride. Attualmente la PET ha un preminente utilizzo in campo oncologico, tanto che circa l’80% degli esami effettuati è mirato a monitorare la risposta dei pazienti a trattamenti contro il cancro e a discriminare o caratterizzare lesioni dubbie evidenziate in studi morfologici effettuati con CT e MRI. Oltre all’ambito delle patologie neoplastiche, le tecniche di imaging PET/CT hanno dimostrato una importanza rilevante anche in applicazioni di cardiologia e neurologia.

Analisi della resistenza a fatica in accoppiamenti albero - mozzo

Le prove di fatica a flessione rotante su componenti in scala reale sono molto dispendiosi. Il metodo più veloce ed economico per ottenere gli stessi risultati è quello di operare su un provino in scala. Dal momento che non esiste nessun campione standardizzato è stato creato un provino ad-hoc e sono state eseguite le prove. Inoltre è stato creato un modello tridimensionale in grado di valutare le sollecitazioni. I due risultati sono stati comparati e i provini utilizzati per le prove sono stati attentamente analizzati.

Simulazioni di named data networking per reti veicolari

Le reti veicolari, anche dette VANET, sono da tempo oggetto di studio. Durante il periodo di ricerca svolto presso l'Università della California Los Angeles (UCLA) è stato possibile studiare i protocolli adatti allo scambio di contenuti fra i veicoli secondo il paradigma del Named Data Networking (NDN). Il Named Data Networking rappresenta un nuovo modello di comunicazione per il reperimento dei contenuti all'interno della rete. Nelle VANET ogni veicolo è potenzialmente un fornitore di contenuti, oltre che un richiedente. L'infrastruttura di riferimento posta all'interno del campus universitario permette il reperimento di dati necessario allo studio del problema, non solo da un punto di vista pratico ma anche da un punto di vista teorico. Infatti, data la tipologia dei test e le difficoltà intrinseche che essi comportano, l'attività di simulazione svolge un ruolo importante per lo sviluppo e lo studio del protocollo all'interno delle reti veicolari. L'attività di ricerca svolta si articola nei seguenti aspetti: introduzione al nuovo paradigma di comunicazione: principi del Named Data Networking, funzionamento di NDN, reti veicolari, applicabilità di NDN alle VANET; modelli di mobilità per le reti veicolari: linee guida per la costruzione di un modello di mobilità, situazione attuale dei modelli disponibili, simulatori di rete, strumenti utilizzati e il loro funzionamento; attività di simulazione: pianificazione e implementazione di diverse tipologie di scenari di reti veicolari; analisi dei dati raccolti dalla fase precedente: vengono elaborati i dati raccolti e si cerca di catturarne gli aspetti più significativi. L'obiettivo è quello di condurre uno studio di fattibilità sull'applicazione di NDN alle reti mobili, in particolare alle reti veicolari in ambito urbano. Al momento in cui è iniziata la collaborazione con il gruppo di ricerca del Network Research Lab di UCLA, era da poco stata rilasciata la prima versione di NDN contenente l'estensione pensata per il veicolare, quindi non erano presenti in letteratura studi condotti per questo tipo di scenari. Lo scopo è quello di estrarre informazioni e ricavarne significative indicazioni sulle prestazioni del sistema.

Stima della portata cardiaca dalla pressione aortica

Questo elaborato illustra il problema della determinazione di una tecnica per rendere la misura della cardiac output il più possibile accurata, economica e poco invasiva. A tale scopo è preso in esame un nuovo metodo basato sul modello WindKessel per la stima continua battito a battito di CO e TPR, partendo dall’analisi delle forme d’onda della pressione arteriosa periferica. Tale metodo ideato nel 2007 da T.A. Parlikar considera informazioni pressorie intrabattito e interbattito, in modo da ottenere stime soddisfacenti, che migliorano ulteriormente assumendo una complianza pressione-dipendente. Applicando il metodo a un data set di animali suini, contenente misurazioni della CO di riferimento su base battito-battito, si riscontra un errore di stima complessivo pari a un RMNSE medio variabile tra l’11% ed il 13%, inferiore alla soglia del 15% ritenuta accettabile in letteratura per scopi clinici. Confrontando questi risultati con quelli ottenuti attraverso l’applicazione di altri metodi riportati in letteratura allo stesso set di dati, è stato dimostrato che il metodo risulta tra i migliori. Le CO e TPR stimate, dopo le infusioni farmacologiche endovenose effettuate sugli animali, corrispondono abbastanza fedelmente alle risposte emodinamiche attese. Successivamente viene considerato l’obbiettivo di verificare l’applicabilità della procedura matematica sulla quale si fonda il metodo. Si implementa il procedimento e si applica il metodo su un data set simulato su base battito-battito, comprendente dati relativi a varie condizioni di funzionamento fisiologiche. Le stime di CO e TPR ottenute in questa fase inseguono discretamente le variazioni delle variabili emodinamiche simulate, dimostrandosi migliori nel caso di calibrazione con complianza pressione-dipendente.

Apprendimento organizzativo: Teorie e metodi nella gestione d'impresa.

Apprendere nelle organizzazioni, analisi della letteratura afferente con particolare attenzione al modello della "learning organization". Applicazioni e casi pratici per un raffronto con gli aspetti teorici precedentemente approfonditi e per l'individuazione dei trend attuali della gestione della conoscenza e dei processi di apprendimento all'interno delle organizzazioni con particolare attenzione al mondo del business internazionale.

Analisi, modellizzazione e calibrazione di un dispositivo, impiantabile su catetere, per la misura di flusso all'interno di vasi sanguigni.

Progetto SCATh allo ZHAW. Il dipartimento di meccatronica (IMS) dell'Università di scienze applicate di Winterthur (ZHAW), ha partecipato attivamente al progetto SCATh concentrandosi principalmente sullo sviluppo, il condizionamento, e la modellizzazione di un sensore di flusso che fosse facilmente applicabile e di piccole dimensioni in modo da poter essere applicato su catetere e permettere la misura diretta della grandezza fisica sopracitata. All'interno della struttura universitaria è stato possibile inizialmente analizzare il fenomeno che sta alla base del sensore, utilizzando conoscenze già presenti in dispositivi quali l'anemometria a filo caldo, che sfruttano lo scambio di calore tra sensore (riscaldato) e fluido sanguigno. La realizzazione del circuito di condizionamento è stato il passo successivo, necessario sia per mantenere il sensore ad una temperatura voluta e sia per leggere i dati di flusso mediante una tensione in uscita. Una volta effettuato ciò si è proceduto alla calibrazione del sensore (relazione tra flusso e tensione) ed infine alla trasposizione del circuito su LTspice. Nell' Introduzione (Capitolo 1) verranno presentati tutti i concetti preliminari, ossia i principi fisici, necessari a comprendere il funzionamento del sensore. Dunque dopo una breve definizione di flusso (riferito a liquidi) saranno presentati i principi di trasmissione del calore con particolare attenzione riservata alla convezione. Infine, parte dello stesso capitolo sarà dedicata ad una descrizione anatomica dell'aorta e dei rami collaterali. Successivamente nel secondo capitolo verrà analizzato, sia dal punto di vista statico che dal punto di vista dinamico, il circuito di condizionamento, ossia la circuiteria che sta a valle del sensore. Questo circuito permette al sensore di acquisire talune caratteristiche fondamentali per la misura di velocità ed inoltre consente la trasduzione da variabile fisica (velocità del flusso) a variabile elettrica (Tensione). In questo capitolo verrà inoltre fornita una descrizione delle relazioni matematiche fondamentali che legano la temperatura del sensore, la velocità del flusso e la tensione in uscita. Una descrizione del set sperimentale utilizzato per raccogliere dati sarà presente nel terzo capitolo. Qui si troverà una descrizione di tutte le attrezzature utilizzate al fine di poter testare il funzionamento del sensore. Nel quarto capitolo verranno visualizzati i risultati ottenuti facendo riferimento ai test effettuati prima su acqua e successivamente su sangue (suino). Verrà inoltre trovata la curva di calibrazione che permetterà di trovare una relazione biunivoca tra velocità del flusso e tensione in uscita. Infine, nel quinto capitolo verrà proposto un modello del circuito di condizionamento ottenuto mediante LTspice. Mediante il modello sarà possibile simulare un flusso di una velocità voluta e seguire l'andamento della tensione e della temperatura del sensore.

Mandeville e l'uomorismo del male minore

Questa ricerca propone una lettura comparata degli scritti di Bernard Mandeville. L'intento è di porre in relazione gli argomenti morali, etici e politici con le "gandi voci" dell'epoca: primi fra tutti Hobbes e Locke. L'impianto interpretativo è strutturato in modo da delineare il metodo adottato nelle riflessioni filosofiche mandevilliane e da qui, mantenendo una divisione di piani, rintracciare i concetti di riferimento sia dal punto di vista metafico sia da quello ontologico. Si ritiene, allora, che il metodo basato sull'uomorismo, come forma oggettivante del fenomeno – sociale e non – porti alla definizione della nozione di natura umana a partire da una conzione di natura in sé corrotta metafisicamente. Ciò trova nel paradigma di "naturalismo fisiologico" un riferimento da cui muovere l'analisi antropologica e morale degli uomini in società. Un'indagine che rintraccia nell'"etica del male minore" un modello con cui valutare le scelte e le azioni in ambito collettivo e pubblico. La lettura dei vari testi, allora, mostra come la politica sia influenzata da questo modello nello strutturare istituzioni che stimolino la produzione e l'incremento della ricchezza, seppur questo non sia alla portata di tutti. La sperequazione economica, allora, a fronte di un benessere collettivo elevato appare come un "male minore".

I profili fiscali delle operazioni di riorganizzazione societaria transfrontaliere nell'Unione Europea: Il regime fiscale comune della direttiva 2009/133/CE e le prospettive di sviluppo normativo

La tesi affronta le problematiche fiscali della riorganizzazione societaria e la soluzione adoperata nell’Unione europea per le operazioni di carattere transfrontaliere. Si parte dalla definizione del termine “riorganizzazione societaria”, evidenziando le sue matici economiche e la varietà del suo contenuto secondo l’ordinamento giuridico e la branca del diritto di riferimento. Si prosegue sulla correlazione fra l’ampliazione del contenuto della libertà di stabilimento, dovuta maggiormente all’attività interpretativa della Corte di giustizia, e l’allargamento del concetto di riorganizzazione societaria nel quadro normativo dell’Unione. Si procede dunque all’analisi del regime fiscale comune della direttiva 2009/133/CE intravedendosi i suoi sviluppi successivi. In sede di conclusioni, si apporta un breve riassunto sullo stato della questione in Brasile e si riflette sull’attendibilità del modello impositivo dell’Unione quale parametro per una futura riforma fiscale in Brasile.

L’alternativa democratica: Umberto Zanotti Bianco, il sud Italia e il Mediterraneo tra grande guerra e fascismo.

L’impegno civile di Umberto Zanotti Bianco (1889-1963) intrecciandosi ai principali eventi storici della prima metà del Novecento ha concorso a fare del Mezzogiorno d’Italia un laboratorio per una concreta emancipazione delle fasce sociali più umili. In queste coordinate l’azione di Zanotti Bianco è emblematica: supera la visione conservatrice di un sud incapace di fare emergere saperi e capacità organizzative mirando invece attraverso chiari, determinati e moderni progetti di riforma a far crescere il lievito della consapevolezza e della capacità di governarsi. Si può legittimamente sostenere che la complessa azione di Zanotti Bianco, pur partendo dalle migliori e più avanzate forme del pensiero meridionalista di inizio secolo, nella pratica tende a superare anche queste collocando la questione del Mezzogiorno d’Italia non solo nello scenario nazionale, tipico della fondamentale e già innovativa riflessione intorno al sud sviluppatasi da Villari a Salvemini, ma proietta le problematiche del meridione all’interno di un quadro europeo con una spiccata vocazione mediterranea. In sostanza i piani dell’intervento sociale, studiati e messi a punto inizialmente in Calabria e nelle regioni economicamente depresse del nostro Mezzogiorno, per Zanotti Bianco sembrano essere da modello anche per le più complesse questioni sociali di altri popoli del bacino del Mediterraneo i quali (come le popolazioni dell’Italia meridionale in quegli anni) apparivano deficitarii di strumenti per lo sviluppo economico, sociale, politico: è questa la tesi qui proposta.

Il viaggio celeste di Paolo (2Cor 12,1-10). Particolarità e funzionalità di una forma di contatto con il soprannaturale

L’obiettivo principale di questa ricerca è quello di affrontare le questioni critiche poste all’esegesi da uno dei passi paolini più discussi. Grazie all’impiego delle categorie connesse all’esperienza religiosa, si vuole argomentare la possibilità di leggere il viaggio celeste in termini di modello culturale attraverso il quale interpretare un’esperienza di contatto con il soprannaturale. L’approccio individuato può consentire di rivalutare la funzione di tale narrazione non solo nel contesto di 2 Corinzi, bensì anche in relazione ai paralleli letterari di matrice tanto giudaica e protocristiana quanto greco-romana. Conseguenza di simile analisi ad ampio raggio è il riconoscimento dell’importanza attribuita da Paolo ad esperienze di questo tipo, come testimoniato da alcuni brani centrali delle sue lettere.

Sviluppo e caratterizzazione di bulk superconduttori in MgB2 per sistemi di levitazione

Superconduttori bulk in MgB2, ottenuti con tecnologia Mg-RLI brevettata da Edison Spa, sono stati oggetto di un'approfondita analisi in termini di forze di levitazione. Questo studio è stato preliminare per la progettazione di un innovativo sistema di levitazione lineare. I risultati ottenuti sperimentalmente sono stati validati attraverso modelli numerici sviluppati ad hoc. I campioni oggetto dello studio sono tre bulk in MgB2 rappresentativi delle tipiche forme usate nelle applicazioni reali: un disco, un cilindro, una piastra. I bulk sono stati misurati con un sistema di misura per le forze di levitazione realizzato a tale scopo. Un protocollo sperimentale è stato seguito per la caratterizzazione di base, sia in condizioni Field Cooling sia Zero Field Cooling, al quale sono state affiancate prove specifiche come la possibilità di mantenere inalterate le proprietà superconduttive attraverso la giunzione di più campioni con la tecnologia Mg-RLI. Un modello numerico è stato sviluppato per convalidare i risultati sperimentali e per studiare l'elettrodinamica della levitazione. Diverse configurazioni di rotori magnetici sono state accoppiate con un cilindro in MgB2 con lo scopo di valutare la soluzione ottimale; questo tema è stato apporofondito attraverso lo sviluppo di un software di simulazione che può tenere conto sia del numero di magneti sia della presenza di anelli in materiale magneti intercalati fra di essi. Studi analoghi sono stati portati avanti su una piastra di MgB2 per simulare il comportamento di una geometria piana. Un sistema di raffreddamento innovativo basato sull'azoto solido è stato studiato per poterlo accoppiare con un sistema di levitazione. Il criostato progettato è costituito da due dewar, uno dentro l'altro; quello interno ha lo scopo di raffreddare l'MgB2 mentre quello esterno di limitare delle perdite verso l'esterno. Il criopattino così ottenuto è accoppiato in condizioni FC ad una rotaia formata da magneti permanenti in NdFeB.