Il fascicolo sanitario elettronico tra Semantic Web e diritto alla privacy

Principale obiettivo della ricerca è quello di ricostruire lo stato dell’arte in materia di sanità elettronica e Fascicolo Sanitario Elettronico, con una precipua attenzione ai temi della protezione dei dati personali e dell’interoperabilità. A tal fine sono stati esaminati i documenti, vincolanti e non, dell’Unione europea nonché selezionati progetti europei e nazionali (come “Smart Open Services for European Patients” (EU); “Elektronische Gesundheitsakte” (Austria); “MedCom” (Danimarca); “Infrastruttura tecnologica del Fascicolo Sanitario Elettronico”, “OpenInFSE: Realizzazione di un’infrastruttura operativa a supporto dell’interoperabilità delle soluzioni territoriali di fascicolo sanitario elettronico nel contesto del sistema pubblico di connettività”, “Evoluzione e interoperabilità tecnologica del Fascicolo Sanitario Elettronico”, “IPSE - Sperimentazione di un sistema per l’interoperabilità europea e nazionale delle soluzioni di Fascicolo Sanitario Elettronico: componenti Patient Summary e ePrescription” (Italia)). Le analisi giuridiche e tecniche mostrano il bisogno urgente di definire modelli che incoraggino l’utilizzo di dati sanitari ed implementino strategie effettive per l’utilizzo con finalità secondarie di dati sanitari digitali , come Open Data e Linked Open Data. L’armonizzazione giuridica e tecnologica è vista come aspetto strategico per ridurre i conflitti in materia di protezione di dati personali esistenti nei Paesi membri nonché la mancanza di interoperabilità tra i sistemi informativi europei sui Fascicoli Sanitari Elettronici. A questo scopo sono state individuate tre linee guida: (1) armonizzazione normativa, (2) armonizzazione delle regole, (3) armonizzazione del design dei sistemi informativi. I principi della Privacy by Design (“prottivi” e “win-win”), così come gli standard del Semantic Web, sono considerate chiavi risolutive per il suddetto cambiamento.

Definizione di una metodica per il controllo in continuo delle proprietà meccaniche su prodotti di acciaio laminati e zincati mediante sensore di rilevamento della magnetizzazione residua e sviluppo del ciclo produttivo di un materiale bifasico

Questo elaborato presenta un metodo per lo sviluppo di correlazioni lineari con lo scopo di determinare le proprietà meccaniche di un acciaio laminato e zincato utilizzando un sensore che percepisce la magnetizzazione residua del materiale. Vengono utilizzati metodi statistici di analisi della varianza per lo studio delle funzioni di regressione lineari. Lo studio effettuato è stato sviluppato per la lavorazione di zincatura di coils presso Marcegaglia spa, stabilimento di Ravenna. È risultato evidente che la sola misurazione della magnetizzazione residua non fosse sufficiente per la determinazione delle proprietà meccaniche, a tale proposito sono stati sviluppati dei modelli di calcolo con funzioni multivariabili e, attraverso risolutori che minimizzano la differenza quadratica dell'errore, si sono determinati i coefficienti di regressione. Una delle principali problematiche riscontrate per la definizione delle correlazioni è stato il reperimento dei dati necessari per considerare affidabili i risultati ottenuti. Si sono infatti analizzate solamente le famiglie di materiale più numerose. Sono stati sviluppati tre modelli di calcolo differenti per parametri di processo di produzione utilizzati per la definizione delle correlazioni. Sono stati confrontati gli errori percentuali medi commessi dalle funzioni, gli indici di regressione che indicano la qualità della correlazione e i valori di significatività di ogni singolo coefficiente di regressione delle variabili. Si è dimostrato che la magnetizzazione residua influisce notevolmente, così come i parametri dei processo di ricottura del materiale, come le temperature in forno, lo spessore e le velocità. Questo modello di calcolo è stato utilizzato direttamente in linea per lo sviluppo di un ciclo ottimale per la produzione di un nuovo materiale bifasico. Utilizzando il modello per la predizione delle proprietà meccaniche si è concluso che per limiti impiantistici la chimica del materiale utilizzata non fosse idonea. Si è perciò utilizzato un acciaio con percentuali di carbonio, manganese e cromo differenti. In conclusione del progetto si sono formulate delle possibili alternative di funzioni di regressione che utilizzano il valore della durezza piuttosto che il valore di magnetizzazione residua. Si è appurato che l'utilizzo di un durometro, anziché il sensore studiato, potrebbe risultare una valida alternativa al sensore studiato.

Governo, strutture e trasformazioni nel sistema universitario

L’elaborato costituisce la fase di approfondimento conclusivo del lavoro scientifico svolto negli anni precedenti. In quest’ottica, a circa tre anni dalla sua entrata in vigore, esso risulta prevalentemente incentrato sull’analisi delle principali innovazioni imposte dalla legge 30 dicembre 2010, n . 240, recante "Norme in materia di organizzazione delle università, di personale accademico e reclutamento, nonché delega al Governo per incentivare la qualità e l'efficienza del sistema universitario", nel tentativo di individuare quali soluzioni ,più o meno differenziate in base alle specificità delle diverse realtà, gli atenei italiani abbiano prefigurato mediante la revisione dei propri statuti, organi e strutture, al fine di rispettare ed attuare il dettato legislativo e non comprimere i propri spazi di autonomia. Contemporaneamente, esso approfondisce l’orientamento della giurisprudenza amministrativa in materia, la quale proprio nel corso di quest’anno ha avuto più di un’occasione di pronunciarsi in merito, per effetto dell’impugnazione ministeriale di molti dei nuovi statuti di autonomia. Infine, non viene tralasciata l’analisi dei profili e aspetti del sistema universitario italiano non intaccati dal cambiamento, ai fini del loro coordinamento con quelli riformati, cercando di percorrere parallelamente più strade: dalla ricognizione e lo studio dei più autorevoli contributi che la dottrina ha recentemente elaborato in materia, all’inquadramento delle scelte effettuate in sede di attuazione dai singoli atenei, anche alla luce dei decreti applicativi emanati. Il tutto al fine di individuare, anche grazie a studi di tipo comparato, con particolare riferimento all’ordinamento spagnolo, nuove soluzioni per il sistema universitario che, senza la pretesa di giungere a percorsi di cambiamento validamente applicabili per tutti gli atenei, possano risultare utili alla definizione di principi e modelli base, nel pieno rispetto del dettato costituzionale e dei parametri individuati a livello europeo con il processo di Bologna e la strategia di Lisbona.

La natura del contratto di societa' mista in relazione alle prestazioni del socio privato

Il lavoro mira a fornire un complessivo inquadramento dell'istituto della società mista, identificato in primo luogo quale strumento di diritto privato a cui partecipano soggetti pubblici e soggetti privati. L'indagine si svolge su differenti piani di valutazione. Si dà ragione delle caratteristiche peculiari di tale contratto associativo e dei limiti che il nostro ordinamento impone allo sviluppo della figura. L'attenzione si sposta poi sulla specifica declinazione che il modello di società mista ha assunto in ambito europeo attraverso l'analisi del partenariato pubblico privato istituzionalizzato. L'istituto è di particolare interesse perchè individua nella società mista un modello organizzativo dai tratti specifici, all'interno del quale il ruolo del socio privato assume connotazioni e forme non comuni a tutti i modelli societari. La ricerca mira a mostrare come tale figura ha trovato riscontro nell'ordinamento interno e quali possibili sviluppi la stessa possa trovare in differenti campi della vita economica. In questi termini, si cerca di valutare quale sia l'incidenza delle procedure competitive nella costituzione e nella vita della società mista ed in che termini lo svolgimento delle attività affidate al socio privato debba essere inquadrato all'interno del rapporto di partenariato. Sul punto è centrale la declinazione fornita all'istituto in relazione ad uno specifico ambito di attività: i servizi pubblici locali di rilevanza economica. In questo contesto, particolarmente rilevante sul piano sistematico è la ricerca di un equilibrio tra il rispetto delle disciplina posta a tutela della concorrenza, ed il perseguimento delle finalità che hanno portato alla scelta di costruire una società mista. La scelta in favore di tale modello organizzativo pare infatti giustificata solo qualora essa apporti un reale vantaggio nella gestione del servizio e la realizzazione di concrete sinergie positive.

Realizzazione di un sistema di controllo per l'automazione dei test su veicolo a banco rulli

Per eseguire dei test automatizzati su una moto posta su banco a rulli, è necessario un software che permetta di gestire determinati attuatori sulla moto, in modo da poter simulare le condizioni di guida desiderate. Nel modello preso in esame, sono stati utilizzati Simulink e NI VeriStand. Simulink è un ambiente grafico di simulazione e analisi di sistemi dinamici completamente integrato con Matlab, caratterizzato dalla tipica interfaccia a blocchi, che possono essere personalizzati o scelti dalla libreria. Ni VeriStand è invece un ambiente software che permette di elaborare modelli scritti in Simulink in real time. Il presente lavoro è stato incentrato proprio su quest’ultimo aspetto. Per prima cosa è stata esaminata a fondo la parte del modello in Simulink, dopo di che è stata valutata la possibilità di riscrivere alcune parti del modello con un’applicazione interna a Simulink (StateFlow), che si potrebbe prestare meglio a simulare la logica di controllo rispetto a com’è gestita attualmente.

Studio e implementazione di un autopilota su un UAV ad ala fissa

Si riporta inizialmente un’analisi tecnica dell’autopilota Ardupilot, utilizzato con il firmware Arduplane, che predispone la scheda all’utilizzo specifico su velivoli senza pilota ad ala fissa. La parte sostanziale della tesi riguarda invece lo studio delle leggi di controllo implementate su Arduplane e la loro modellazione, assieme ad altre parti del codice, in ambiente Matlab Simulink. Il sistema di controllo creato, chiamato Attitude Flight System, viene verificato con la tecnica del Software In the Loop in un simulatore di volo virtuale modellato anch’esso in Simulink, si utilizza la dinamica di un velivolo UAV di prova e il software FlightGear per l’ambiente grafico. Di fondamentale importanza è la verifica della compatibilità fra il firmware originale e il codice generato a partire dai modelli Simulink, verifica effettuata mediante test di tipo Hardware in the Loop. L’ultima parte della tesi descrive le prove di volo svolte per verificare le prestazioni della scheda su un aeromodello trainer.

"A la búsqueda de nuevos horizontes". La scrittura della migrazione africana in Spagna

La migrazione genera spesso nei soggetti migranti forme di spaesamento, poiché lo spostamento fisico condiziona la sfera emotiva: in loro può emergere il senso di nostalgia verso la patria e il desiderio del ritorno, oppure la volontà di annullare le proprie radici e di conformarsi ai modelli della società ricevente. Spesso tali sensazioni di spaesamento possono essere superate grazie alla pratica creativa della scrittura; è per questo che nelle varie realtà di immigrazione ha preso campo la pratica della scrittura migrante, dove si dà spazio all’altro che cerca di far sentire la propria voce, ricorrendo alla lingua del Paese d’arrivo, senza rinunciare ai tratti distintivi della sfera culturale d’origine, creando testi ibridi, che disegnano un ponte tra le culture. Focus della ricerca è la scrittura della migrazione africana in Spagna, studiata sia in prospettiva generale che specifica, mediante quattro autori e le relative opere selezionate: Laila (2010) della marocchina Laila Karrouch, Las tres vírgenes de Santo Tomás (2008) dell’equatoguineana Guillermina Mekuy, Una vida de cuento (2006) del camerunese Boniface Ofogo, Amina (2006) del senegalese Sidi Seck. L’analisi dei testi è effettuata sulla base di due filoni tematici, la famiglia e il rapporto con la società d’arrivo, ed è corredata dallo studio del lessico relativo ai due temi di riferimento. Leggere fra le righe il microcosmo della famiglia significa porre l’attenzione sulle diverse dinamiche affettive che stanno dietro alla parola “migrazione” e sulle particolari dimensioni familiari che caratterizzano la vita odierna, dove spesso avviene il contatto fra più culture. Un contatto che si riflette nel macrocontesto della realtà ospite dove si ha modo di avviare un dialogo fra nativi e stranieri, poiché spesso le iniziali forme di contrasto si tramutano in sete di conoscenza e volontà di avvicinarsi, facendo emergere l’idea che la diversità non separa ma arricchisce.

La consulenza in materia di investimenti

Il lavoro propone un’analisi critica delle disciplina italiana ed europea della consulenza in materia di investimenti. Si considerano innanzitutto le problematiche generali del rapporto tra cliente e intermediario nella prestazione della consulenza, con particolare riferimento ad asimmetrie informative e conflitti di interesse. Si discute, in particolare, il tradizionale paradigma regolamentare fondato sulla trasparenza: le indicazioni della finanza comportamentale suggeriscono, infatti, un intervento normativo più deciso, volto a caratterizzare in maniera fiduciaria la relazione tra cliente e intermediario. Dopo aver analizzato, alla stregua dei modelli teorici illustrati in precedenza, l’evoluzione storica della disciplina della consulenza nell’ordinamento italiano, si sottolinea il ruolo svolto dall’autorità di vigilanza nella sistematizzazione dell’istituto, nel contempo rilevando, tuttavia, la complessiva insufficienza delle norme vigenti al fine di un’adeguata tutela dell’investitore. Si esamina poi la disciplina introdotta dalla MiFID, con specifica attenzione alle implicazioni sistematiche dell’estensione della nozione di consulenza operata dalle autorità di vigilanza: la nuova configurazione del servizio ha determinato un’intensificazione dei doveri fiduciari imposti agli intermediari, testimoniando un superamento del paradigma di trasparenza e un percorso indirizzato verso un approccio maggiormente interventista sul lato dell’offerta. Le conclusioni sono, peraltro, nel senso di uno sviluppo solo parziale di tale processo, risultando dubbio il valore per il cliente di una consulenza non indipendente e potenzialmente esposta, soprattutto negli intermediari polifunzionali, al conflitto di interessi. Particolare enfasi viene posta sulla necessità di introdurre un’effettiva consulenza indipendente, pur nelle difficoltà che la relativa disciplina incontra, anche in ragione delle caratteristiche specifiche del mercato, nell’ordinamento italiano.

Ict security: Defence strategies against targeted attacks

L’avanzare delle tecnologie ICT e l’abbattimento dei costi di produzione hanno portato ad un aumento notevole della criminalità informatica. Tuttavia il cambiamento non è stato solamente quantitativo, infatti si può assistere ad un paradigm-shift degli attacchi informatici da completamente opportunistici, ovvero senza un target specifico, ad attacchi mirati aventi come obiettivo una particolare persona, impresa o nazione. Lo scopo della mia tesi è quello di analizzare modelli e tassonomie sia di attacco che di difesa, per poi valutare una effettiva strategia di difesa contro gli attacchi mirati. Il lavoro è stato svolto in un contesto aziendale come parte di un tirocinio. Come incipit, ho effettuato un attacco mirato contro l’azienda in questione per valutare la validità dei sistemi di difesa. L’attacco ha avuto successo, dimostrando l’inefficacia di moderni sistemi di difesa. Analizzando i motivi del fallimento nel rilevare l’attacco, sono giunto a formulare una strategia di difesa contro attacchi mirati sotto forma di servizio piuttosto che di prodotto. La mia proposta è un framework concettuale, chiamato WASTE (Warning Automatic System for Targeted Events) il cui scopo è fornire warnings ad un team di analisti a partire da eventi non sospetti, ed un business process che ho nominato HAZARD (Hacking Approach for Zealot Attack Response and Detection), che modella il servizio completo di difesa contro i targeted attack. Infine ho applicato il processo all’interno dell’azienda per mitigare minacce ed attacchi informatici.

Citta' e territorio: La formazione della citta' romana nell'ager gallicus

La presente ricerca affronta lo studio della formazione delle realtà urbane nell'area dell'antico Ager Gallicus, grossomodo corrispondente all'attuale territorio delle Marche settentrionali. Nel quadro della colonizzazione romana il fenomeno urbano rappresenta, infatti, l'elemento cardine nell'organizzazione di un territorio. Per tale ragione, si è scelto di condurre un lavoro finalizzato alla comprensione dei tempi e dei modi che portarono alla formazione dei municipi e delle colonie nella strutturazione romana del territorio, cercando anche di comprendere le scelte insediative alla base delle singole forme strutturali. L'analisi della genesi e dello sviluppo del fenomeno urbano nell'ager Gallicus ha come obiettivo ultimo l'approfondimento della conoscenza sulla colonizzazione e romanizzazione in area medio adriatica. La ricerca si articola in: uno stato dell'arte delle più recenti interpretazioni storiografiche; una sintesi sulle cosiddette “forme della conquista” (frequentazioni “precoloniali”, realtà santuariali, fondazioni coloniarie, realtà proto-urbane legate all'agro); una dettagliata e aggiornata schedatura storico-archeologica e urbanistico-topografica delle singole realtà urbane dell'ager Gallicus (le colonie di Sena Gallica, Pisaurum, Fanum Fortunae e Aesis, e i municipi di Forum Sempronii, Suasa e Ostra, e Sentinum); una parte conclusiva dove, mettendo a confronto gli elementi alla base della definizione urbana delle realtà esaminate, vengono delineati e sintetizzati i principali modelli di formazione delle città nell'ager Gallicus così individuati (fondazione coloniaria; fondazione coloniaria preceduta da una fase precoloniale nella forma di conciliabulum; nucleo di aggregazione precedente (conciliabulum) scelto quale polo di riferimento del popolamento sparso nel territorio al momento delle distribuzioni viritane; centro di servizio creato in funzione di assegnazioni di terre ai coloni). Infine, viene tracciato un quadro complessivo della romanizzazione dell'ager Gallicus, che, in estrema sintesi, si configura come un processo progressivo di occupazione del territorio rispecchiato dallo sviluppo stesso del fenomeno urbano, ma che si differenzia dalle aree limitrofe o dall'area cisalpina per alcune importanti dinamiche etnico-demografiche.

La casa ellenistica in Epiro ed Illiria meridionale

Il ritrovamento della Casa dei due peristili a Phoinike ha aperto la strada a un’intensa opera di revisione di tutti i dati relativi all’edilizia domestica nella regione, con studi comparativi verso nord (Illiria meridionale) e verso sud (il resto dell’Epiro, ovvero Tesprozia e Molossia). Tutta quest’area della Grecia nord-occidentale è stata caratterizzata nell’antichità da un’urbanizzazione scarsa numericamente e tardiva cronologicamente (non prima del IV sec. a.C.), a parte ovviamente le colonie corinzio-corciresi di area Adriatico- Ionica d’età arcaica (come Ambracia, Apollonia, Epidamnos). A un’urbanistica di tipo razionale e programmato (ad es. Cassope, Orraon, Gitani in Tesprozia, Antigonea in Caonia) si associano numerosi casi di abitati cresciuti soprattutto in rapporto alla natura del suolo, spesso diseguale e montagnoso (ad es. Dymokastro/Elina in Tesprozia, Çuka e Aitoit nella Kestrine), talora semplici villaggi fortificati, privi di una vera fisionomia urbana. D’altro canto il concetto classico di polis così come lo impieghiamo normalmente per la Grecia centro-meridionale non ha valore qui, in uno stato di tipo federale e dominato dall’economia del pascolo e della selva. In questo contesto l’edilizia domestica assume caratteri differenti fra IV e I sec. a.C.: da un lato le città ortogonali ripetono schemi egualitari con poche eccezioni, soprattutto alle origini (IV sec. a.C., come a Cassope e forse a Gitani), dall’altro si delinea una spiccata differenziazione a partire dal III sec., quando si adottano modelli architettonici differenti, come i peristili, indizio di una più forte differenziazione sociale (esemplari i casi di Antigonea e anche di Byllis in Illiria meridionale). I centri minori e fortificati d’altura impiegano formule abitative più semplici, che sfruttano l’articolazione del terreno roccioso per realizzare abitazioni a quote differenti, utilizzando la roccia naturale anche come pareti o pavimenti dei vani.

Dispositivi per la diagnostica basati su biomembrana lipidica artificiale

Il presente elaborato ha lo scopo di descrivere le principali caratteristiche e applicazioni delle biomembrane lipidiche artificiali utilizzate nel campo biochimico e biomedico. Nel Capitolo 1. viene presentata una panoramica generale della membrana cellulare, descrivendo la sua struttura a “mosaico fluido” e i principali componenti che la costituiscono, cioè i lipidi e le proteine transmembrana. Viene quindi descritto uno dei ruoli fondamentali della membrana cellulare, ovvero il trasporto di soluti all’interno e all’esterno della cellula. Vengono schematizzate le tipologie di trasporto, attivo e passivo, e la funzione dei canali ionici, un particolare tipo di proteina transmembrana che permette il passaggio selettivo di ioni dall'esterno all'interno della cellula o viceversa. Il Capitolo 2. si focalizza sui principali modelli di biomembrane lipidiche artificiali. Infatti, a seconda del tipo di metodo e di materiale utilizzato, è possibile ottenere dei prototipi che differiscono per caratteristiche e funzionalità. Verranno illustrate le membrane lipidiche nere (BLM), i doppi strati lipidici (bilayer) con supporto solido (SLB), i bilayer lipidici ibridi e i doppi strati con ammortizzatore polimerico. Per ognuna di queste biomembrane artificiali verranno analizzati i metodi di formazione e gli utilizzi in campo biomedico. Verranno poi descritti i metodi di incorporazione delle proteine nel doppio strato lipidico e le tecniche per stabilizzare il bilayer e realizzare una piattaforma sensoriale. Nel Capitolo 3 verranno presentate le principali applicazioni che utilizzano membrane artificiali, sia per lo studio dei principali processi cellulari di membrana e screening dei farmaci sia per la realizzazione di piattaforme sensorizzate. Infine nel Capitolo 4. si considereranno le innovazioni attese nel campo delle biomembrane artificiali anticipando le loro potenziali applicazioni future. Infatti, le prospettive in questo campo sono molto promettenti soprattutto per quel che riguarda lo screening di nuovi farmaci.

Applicazione della logica fuzzy al docking tra dirigibili

Progetto e analisi delle performance di un controllore realizzato con la metodologia fuzzy per una manovra di docking fra due dirigibili. Propedeutica a questo, è stata la campagna, presso la galleria del vento messa a disposizione dalla Clarkson University, di raccolta di dati sperimentali, che sono stati poi utilizzati per realizzare un simulatore con cui testare il controllore. Nel primo capitolo, si è presentato la tecnologia dei dirigibili, le varie tipologie ed una descrizione dei moderni concepts. Successivamente, sono state presentate le applicazioni nelle quali i moderni dirigibili possono essere impiegati. L’ultima parte tratta di due esempi di docking fra mezzi aerei: il rifornimento in volo e i “parasite aircrafts”. Il secondo capitolo, tratta della logica utilizzata dal controllore: la logica fuzzy. Le basi della teoria insiemistica classica sono state il punto di partenza per mostrare come, introducendo le funzioni di appartenenza, sia possibile commutare tra la teoria classica e fuzzy. La seconda parte del capitolo affronta le nozioni della teoria fuzzy, esponendo la metodologia con la quale è possibile inserire un controllore di questo tipo in un sistema “tradizionale”. Il terzo capitolo presenta il modello di volo dei dirigibili. Partendo dalla legge di Newton, introdotto il concetto di inerzia e massa aggiunte, si arriva alle equazioni del moto non lineari. L’ultima parte è stata dedicata alla linearizzazione delle equazioni e alla condizione di trim. Il quarto capitolo riguarda la campagna sperimentale di test in galleria del vento, con la realizzazione dei modelli in scala e la calibrazione della bilancia; successivamente, nel capitolo si commentano i dati sperimentali raccolti. Il quinto capitolo, mostra la metodologia con cui è possibile progettare un controllore fuzzy per il controllo della manovra di docking fra dirigibili. La seconda parte mostra le performance ottenute con questo tipo di sistema.

Validazione preliminare del modello dinamico di un turboalbero aeronautico

Il bisogno di creare dei metodi per l’identificazione delle performance e strumenti di diagnosi è sempre maggiore nelle turbomacchine. Le case costruttrici di motori, in generale, sono guidate dalle richieste del mercato e da normative sempre più severe, e ricercano quindi da un lato, sempre migliori prestazioni come ad esempio la diminuzione dei consumi e, dall’altro, l’abbattimento degli agenti inquinanti. In ambito industriale si ha l’esigenza di rendere più rapidi i tempi di progettazione e sviluppo dei motori per l’abbattimento dei costi di progettazione e per minimizzare il tempo di commercializzazione. Ecco perché entra in gioco, ed assume importanza, l’uso della simulazione numerica che fornisce informazioni utili sia in fase di verifica, che in fase di progetto di tutti i componenti del motore, anche quelli che sarebbero difficilmente accessibili per misure sperimentali. Al contempo i calcolatori moderni diventano facilmente e rapidamente sempre più potenti riducendo così i tempi di calcolo, e ciò ha consentito l’uso di tecniche numeriche che prima sarebbero risultate impensabili da utilizzare. Per mezzo dell’uso di codici di tipo bi o tri-dimensionale è possibile conoscere e valutare i valori delle grandezze termodinamiche del fluido che attraversa il motore punto per punto. Questi metodi presentano un elevata accuratezza ma hanno anche lo svantaggio di richiedere un elevato costo computazionale con conseguente aumento dei tempi di calcolo. In più hanno bisogno di molti dati di input per il modello matematico, e dipendono fortemente dalle condizioni iniziali e dalle condizioni al contorno. Nasce quindi l'esigenza di un ambiente di sviluppo che consenta una modellazione semplificata degli elementi costituenti il motore, ed un rapido interfacciamento con modelli locali più sofisticati. Inoltre, se si vogliono ottimizzare dei parametri relativi all’impianto globale oppure se si desidera avere un quadro generale delle prestazioni del motore è sufficiente usare modelli 0-D e 1-D per i vari componenti del motore. Sono stati svolti molti studi concentrati sullo sviluppo di strumenti capaci di supportare operazioni di pianificazione e/o per validare analisi di diagnosi.

Correlations and Quantum Dynamics of 1D Fermionic Models: New Results for the Kitaev Chain with Long-Range Pairing

In the first part of the thesis, we propose an exactly-solvable one-dimensional model for fermions with long-range p-wave pairing decaying with distance as a power law. We studied the phase diagram by analyzing the critical lines, the decay of correlation functions and the scaling of the von Neumann entropy with the system size. We found two gapped regimes, where correlation functions decay (i) exponentially at short range and algebraically at long range, (ii) purely algebraically. In the latter the entanglement entropy is found to diverge logarithmically. Most interestingly, along the critical lines, long-range pairing breaks also the conformal symmetry. This can be detected via the dynamics of entanglement following a quench. In the second part of the thesis we studied the evolution in time of the entanglement entropy for the Ising model in a transverse field varying linearly in time with different velocities. We found different regimes: an adiabatic one (small velocities) when the system evolves according the instantaneous ground state; a sudden quench (large velocities) when the system is essentially frozen to its initial state; and an intermediate one, where the entropy starts growing linearly but then displays oscillations (also as a function of the velocity). Finally, we discussed the Kibble-Zurek mechanism for the transition between the paramagnetic and the ordered phase.