Operatori simmetrici massimali in meccanica quantistica

Si è proposto una serie di 4 assiomi per la MQ più deboli, e quindi più fondamentali, da cui è possibile dedurre i concetti di misura di probabilità, equazione di Schrodinger e operatori autoaggiunti, considerati i pilastri della MQ. Si è cercato di trovare le motivazioni fisiche che rendevano necessaria la loro formulazione e si sono sviluppate le conseguenze matematiche. In particolare ci si è focalizzati nel dimostrare che non a tutte le osservabili possono essere associati operatori simmetrici definiti su tutto lo spazio di Hilbert, da cui l’introduzione negli assiomi della MQ degli operatori simmetrici massimali densamente definiti; il punto fondamentale è che da questi ultimi è stato provato che si può arrivare alla corrispondenza biunivoca tra operatori autoaggiunti ed osservabili fisiche. Si è infine dimostrato che la condizione che un operatore sia simmetrico massimale non implica che esso sia autoaggiunto.

Use of shared memory in the context of embedded multi-core processors: exploration of the technology and its limits

Modern embedded systems embrace many-core shared-memory designs. Due to constrained power and area budgets, most of them feature software-managed scratchpad memories instead of data caches to increase the data locality. It is therefore programmers’ responsibility to explicitly manage the memory transfers, and this make programming these platform cumbersome. Moreover, complex modern applications must be adequately parallelized before they can the parallel potential of the platform into actual performance. To support this, programming languages were proposed, which work at a high level of abstraction, and rely on a runtime whose cost hinders performance, especially in embedded systems, where resources and power budget are constrained. This dissertation explores the applicability of the shared-memory paradigm on modern many-core systems, focusing on the ease-of-programming. It focuses on OpenMP, the de-facto standard for shared memory programming. In a first part, the cost of algorithms for synchronization and data partitioning are analyzed, and they are adapted to modern embedded many-cores. Then, the original design of an OpenMP runtime library is presented, which supports complex forms of parallelism such as multi-level and irregular parallelism. In the second part of the thesis, the focus is on heterogeneous systems, where hardware accelerators are coupled to (many-)cores to implement key functional kernels with orders-of-magnitude of speedup and energy efficiency compared to the “pure software” version. However, three main issues rise, namely i) platform design complexity, ii) architectural scalability and iii) programmability. To tackle them, a template for a generic hardware processing unit (HWPU) is proposed, which share the memory banks with cores, and the template for a scalable architecture is shown, which integrates them through the shared-memory system. Then, a full software stack and toolchain are developed to support platform design and to let programmers exploiting the accelerators of the platform. The OpenMP frontend is extended to interact with it.

Mode-coupling theory: generalizations, high dimensions and microscopic dynamics

This work contains several applications of the mode-coupling theory (MCT) and is separated into three parts. In the first part we investigate the liquid-glass transition of hard spheres for dimensions d→∞ analytically and numerically up to d=800 in the framework of MCT. We find that the critical packing fraction ϕc(d) scales as d²2^(-d), which is larger than the Kauzmann packing fraction ϕK(d) found by a small-cage expansion by Parisi and Zamponi [J. Stat. Mech.: Theory Exp. 2006, P03017 (2006)]. The scaling of the critical packing fraction is different from the relation ϕc(d)∼d2^(-d) found earlier by Kirkpatrick and Wolynes [Phys. Rev. A 35, 3072 (1987)]. This is due to the fact that the k dependence of the critical collective and self nonergodicity parameters fc(k;d) and fcs(k;d) was assumed to be Gaussian in the previous theories. We show that in MCT this is not the case. Instead fc(k;d) and fcs(k;d), which become identical in the limit d→∞, converge to a non-Gaussian master function on the scale k∼d^(3/2). We find that the numerically determined value for the exponent parameter λ and therefore also the critical exponents a and b depend on the dimension d, even at the largest evaluated dimension d=800. In the second part we compare the results of a molecular-dynamics simulation of liquid Lennard-Jones argon far away from the glass transition [D. Levesque, L. Verlet, and J. Kurkijärvi, Phys. Rev. A 7, 1690 (1973)] with MCT. We show that the agreement between theory and computer simulation can be improved by taking binary collisions into account [L. Sjögren, Phys. Rev. A 22, 2866 (1980)]. We find that an empiric prefactor of the memory function of the original MCT equations leads to similar results. In the third part we derive the equations for a mode-coupling theory for the spherical components of the stress tensor. Unfortunately it turns out that they are too complex to be solved numerically.

Social Welfare and Behavioral Public Policies

In this work I discuss several key aspects of welfare economics and policy analysis and I propose two original contributions to the growing field of behavioral public policymaking. After providing a historical perspective of welfare economics and an overview of policy analysis processes in the introductory chapter, in chapter 2 I discuss a debated issue of policymaking, the choice of the social welfare function. I contribute to this debate by proposing an original methodological contribution based on the analysis of the quantitative relationship among different social welfare functional forms commonly used by policy analysts. In chapter 3 I then discuss a behavioral policy to contrast indirect tax evasion based on the use of lotteries. I show that the predictions of my model based on non-expected utility are consistent with observed, and so far unexplained, empirical evidence of the policy success. Finally, in chapter 4 I investigate by mean of a laboratory experiment the effects of social influence on the individual likelihood to engage in altruistic punishment. I show that bystanders’ decision to engage in punishment is influenced by the punishment behavior of their peers and I suggest ways to enact behavioral policies that exploit this finding.

Progetto di un sistema a microcontrollore per modulazione back-scattering uwb

La tesi tratta il progetto di una piattaforma di simulazione per modulazioni back-scatter UWB su un sistema a microcontrollore PIC. Il sistema utilizza uno switch a UWB per eseguire la modulazione, modificando le condizioni di carico d'antenna; il software implementa la modulazione attraverso la variazione del segnale di controllo dello switch e si interfaccia con l'utente attraverso l'uso di una periferica USB, permettendo la modifica runtime della configurazione. Si interfaccia inoltre con strumenti esterni attraverso segnali di sincronizzazione.

Risposta dei popolamenti meiobentonici al calpestio umano in habitat roccioso nel SIC Berchida-Bidderosa (Sardegna Nord-Orientale)

Il presente lavoro di tesi si propone di confrontare la risposta delle comunità bentoniche associate a una macroalga “habitat-former”, Cystoseira crinita (Duby), sottoposte a diverse intensità e frequenze di calpestio, tramite un esperimento di manipolazione in campo. Tale simulazione si è svolta in un tratto di costa rocciosa nel SIC (Sito di Importanza Comunitaria) di “Berchida-Bidderosa”, Sardegna Nord-Orientale. I risultati di questo esperimento mostrano come, in conseguenza del calpestio, si possa osservare una significativa perdita di biomassa di Cystoseira crinita. La perdita di biomassa si registra principalmente nei campioni sottoposti a calpestio con frequenze/intensità maggiori di 50 passi per unità di area. Le aree sottoposte a medio-alta frequenza/intensità di calpestio non mostrano nel breve periodo un significativo recupero della biomassa algale. Nel presente studio il confronto tra intensità e frequenze di calpestio rivela che il calpestio ripetuto in più giornate non mostra differenze significative rispetto a quello effettuato in un unica giornata. Il fattore che sembra incidere maggiormente sulla perdita di biomassa di Cystoseira crinita è dunque l’intensità di calpestio. L’analisi dei campioni meiobentonici ha rivelato una ricca comunità animale associata a Cystoseira crinita, con 29 taxa identificati. Analizzando gli effetti del calpestio si osserva come la meiofauna risenta negativamente dell’effetto del calpestio in termini di perdita di densità totale e di riduzione del numero di taxa, anche a basse intensità. I campioni meiofaunali sottoposti a medio alte intensità di calpestio non mostrano un recupero nel breve periodo. I risultati ottenuti sull’insieme dei popolamenti, in termini multivariati mostrano un evoluzione della struttura di comunità nel tempo, indicando una variazione delle relazioni di dominanza fra i taxa, che si modificano fra i diversi trattamenti e tempi. Anche nel caso delle analisi condotte sulla meiofauna non si riscontrano differenze tra intensità di calpestio e frequenze. Per valutare quanto la risposta dei popolamenti meiobentonici sia correlata alle variazioni di biomassa di Cystoseira crinita rispetto che ad un effetto diretto del calpestio, tutte le analisi sono state condotte pesando le densità dei diversi taxa in funzione della biomassa algale. Le analisi multivariate mostrano una chiara correlazione tra la biomassa algale e struttura della comunità meiobentoniche. L’effetto del calpestio riduce le abbondanze di organismi meiobentonici in maniera diretta, mentre il successivo ripopolamento dei differenti taxa è legato al recupero o meno di biomassa di Cystoseira crinita. In conclusione, i risultati di questo studio confermano che il calpestio umano sulle coste rocciose possa danneggiare una specie considerata ad alto valore ecologico, come Cystoseira crinita, producendo inoltre effetti negativi diretti ed indiretti sui popolamenti meiobentonici ad essa associati.

Rigorous results in Spin Glasses and Monomer-Dimer systems

In this work I reported recent results in the field of Statistical Mechanics of Equilibrium, and in particular in Spin Glass models and Monomer Dimer models . We start giving the mathematical background and the general formalism for Spin (Disordered) Models with some of their applications to physical and mathematical problems. Next we move on general aspects of the theory of spin glasses, in particular to the Sherrington-Kirkpatrick model which is of fundamental interest for the work. In Chapter 3, we introduce the Multi-species Sherrington-Kirkpatrick model (MSK), we prove the existence of the thermodynamical limit and the Guerra's Bound for the quenched pressure together with a detailed analysis of the annealed and the replica symmetric regime. The result is a multidimensional generalization of the Parisi's theory. Finally we brie y illustrate the strategy of the Panchenko's proof of the lower bound. In Chapter 4 we discuss the Aizenmann-Contucci and the Ghirlanda-Guerra identities for a wide class of Spin Glass models. As an example of application, we discuss the role of these identities in the proof of the lower bound. In Chapter 5 we introduce the basic mathematical formalism of Monomer Dimer models. We introduce a Gaussian representation of the partition function that will be fundamental in the rest of the work. In Chapter 6, we introduce an interacting Monomer-Dimer model. Its exact solution is derived and a detailed study of its analytical properties and related physical quantities is performed. In Chapter 7, we introduce a quenched randomness in the Monomer Dimer model and show that, under suitable conditions the pressure is a self averaging quantity. The main result is that, if we consider randomness only in the monomer activity, the model is exactly solvable.

Analisi preliminare di combustioni innovative su un motore diesel di piccola cilindrata

Analisi delle emissioni di inquinanti per combustioni innovative Dual-Fuel e Premixed Charge Compression Ignition (PCCI) operate su un motore Diesel, nel laboratorio di propulsione e macchine della Scuola d'Ingegneria e Architettura con sede a Forlì. Tale studio è stato realizzato in quanto la riduzione delle emissioni e dei consumi sono caratteristiche di primo impatto per la competitività sul mercato di un motore e poiché le emissioni di inquinanti sono regolate da standard europei che ne esigono la continua riduzione. L'obiettivo della ricerca è quello di definire un pattern di combustioni, variando il valore e la sincronizzazione dei parametri delle attuazioni, che consenta la riduzione di inquinanti senza compromettere le prestazioni. Capire come ottenere minori emissioni di inquinanti significa poter far rientrare anche i motori diesel nelle future normative EURO 6 (già definite ed in vigore da Settembre 2014), e di seguire studi paralleli sulla riduzione dei consumi sui quali sono già stati riscontrati risultati positivi.

Il metodo di steepest descent per la regolarizzazione di immagini

Scopo della tesi è la descrizione di un metodo per il calcolo di minimi di funzionali, basato sulla steepest descent. L'idea principale è quella di considerare un flusso nella direzione opposta al gradiente come soluzione di un problema di Cauchy in spazi di Banach, che sotto l'ipotesi di Palais-Smale permette di determinare minimi. Il metodo viene applicato al problema di denoising e segmentazione in elaborazione di immagini: vengono presentati metodi classici basati sull'equazione del calore, il total variation ed il Perona Malik. Nell'ultimo capitolo il grafico di un'immagine viene considerato come varietà, che induce una metrica sul suo dominio, e viene nuovamente utilizzato il metodo di steepest descent per costruire algoritmi che tengano conto delle caratteristiche geometriche dell'immagine.

Bone-implant interface. Evaluation of osteoblastic cells behavior on nanopatterned titanium surfaces: an in vitro analysis

Protein-adsorption occurs immediately following implantation of biomaterials. It is unknown at which extent protein-adsorption impacts the cellular events at bone-implant interface. To investigate this question, we compared the in-vitro outcome of osteoblastic cells grown onto titanium substrates and glass as control, by modulating the exposure to serum-derived proteins. Substrates consisted of 1) polished titanium disks; 2) polished disks nanotextured with H2SO4/H2O2; 3) glass. In the pre-adsorption phase, substrates were treated for 1h with αMEM alone (M-noFBS) or supplemented with 10%-foetal-bovine-serum (M-FBS). MC3T3-osteoblastic-cells were cultured on the pre-treated substrates for 3h and 24h, in M-noFBS and M-FBS. Subsequently, the culture medium was replaced with M-FBS and cultures maintained for 3 and 7days. Cell-number was evaluated by: Alamar-Blue and MTT assay. Mitotic- and osteogenic-activities were evaluated through fluorescence-optical-microscope by immunolabeling for Ki-67 nuclear-protein and Osteopontin. Cellular morphology was evaluated by SEM-imaging. Data were statistically analyzed using ANOVA-test, (p<0.05). At day3 and day7, the presence or absence of serum-derived proteins during the pre-adsorption phase had not significant effect on cell-number. Only the absence of FBS during 24h of culture significantly affected cell-number (p<0.0001). Titanium surfaces performed better than glass, (p<0.01). The growth rate of cells between day3 and 7 was not affected by the initial absence of FBS. Immunolabeling for Ki-67 and Osteopontin showed that the mitotic- and osteogenic- activity were ongoing at 72h. SEM-analysis revealed that the absence of FBS had no major influence on cell-shape. • Physico-chemical interactions without mediation by proteins are sufficient to sustain the initial phase of culture and guide osteogenic-cells toward differentiation. • The challenge is avoiding adsorption of ‘undesirables’ molecules that negatively impact on the cueing cells receive from surface. This may not be a problem in healthy patients, but may have an important role in medically-compromised-individuals in whom the composition of tissue-fluids is altered.

Controlled reproduction in Anguilla anguilla (L.): advanced studies on broodstock management, spawning techniques and system design for artificial seed production.

The thesis aims to expose the advances achieved in the practices of captive breeding of the European eel (Anguilla anguilla). Aspects investigated concern both approaches livestock (breeding selection, response to hormonal stimulation, reproductive performance, incubation of eggs) and physiological aspects (endocrine plasma profiles of players), as well as engineering aspects. Studies conducted on various populations of wild eel have shown that the main determining factor in the selection of wild females destined to captive breeding must be the Silver Index which may determine the stage of pubertal development. The hormonal induction protocol adopted, with increasing doses of carp pituitary extract, it has proven useful to ovarian development, with a synchronization effect that is positively reflected on egg production. The studies on the effects of photoperiod show how the condition of total darkness can positively influence practices of reproductions in captivity. The effects of photoperiod were also investigated at the physiological level, observing the plasma levels of steroids ( E2, T) and thyroid hormones (T3 and T4) and the expression in the liver of vitellogenin (vtg1 and vtg2) and estradiol membrane receptor (ESR1). From the comparison between spontaneous deposition and insemination techniques through the stripping is inferred as the first ports to a better qualitative and quantitative yield in the production of eggs capable of being fertilized, also the presence of a percentage of oocytes completely transparent can be used to obtain eggs at a good rate of fertility. Finally, the design and implementation of a system for recirculating aquaculture suited to meet the needs of species-specific eel showed how to improve the reproductive results, it would be preferable to adopt low-flow and low density incubation.

Integrazione di macchine virtuali User-Mode Linux relativistiche nell'ambiente di emulazione Marionnet

Una macchina relativistica è una macchina il cui tempo scorre ad una velocità diversa da quella del tempo reale. Macchine di questo tipo possono essere utili ad esempio per simulare tempi di trasferimento dei dati più veloci, oppure per testare protocolli di sincronizzazione degli orologi. La possibilità di definire la velocità del tempo virtuale è stata aggiunta a User-Mode Linux. Grazie ad una modifica a Marionnet che include un'interfaccia grafica è stato reso semplice il processo di creazione di reti di macchine virtuali relativistiche.

Essays on the Economic Analysis of Tort Law

The analysis of tort law is one of the most influential and extensively developed applications of the economic approach in the study of law. Notwithstanding the exhaustive number of contributions on tort law and economics, several open questions remain that warrant further investigation. The general aim of this research project is to refine the traditional model of tort law in order to make it more realistic, updated with the recent technological progress and in line with the experimental results concerning prosocial behavior. This book is divided into six chapters: Chapters 1 and 6 provide an introduction and conclusions, respectively, while the remaining chapters are written in the form of separate yet related articles.

Progettazione e realizzazione di una piattaforma DBAAS per Jackrabbit/JCR

Lo scopo di questa tesi è presentare un progetto per la realizzazione di una piattaforma DBAAS per il database Jackrabbit. Per piattaforma DBAAS si intende un sistema in grado di offrire ai clienti un database su richiesta (DataBase As A Service), e di amministrare automaticamente i database per conto dei clienti. Il progetto viene realizzato in un primo momento tramite un prototipo della piattaforma, in cui vengono effettuati test intensivi per controllare ogni funzionalità della piattaforma. Il prototipo viene sviluppato in un singolo host, nel quale è possibile simulare tutte le operazioni base della piattaforma DBAAS, come se fosse il sistema finale. In un secondo momento, il progetto sarà realizzato nella sua versione finale, con tutto l'hardware necessario a garantire un servizio ottimale. Questa tesi contiene la base per realizzare il sistema finale, che può essere realizzato in modi diversi a seconda delle scelte che farà il progettista. Ad esempio, è possibile comprare tutto l'hardware necessario e implementare la piattaforma DBAAS in-house, oppure si può scegliere di affidare tutta la gestione hardware ad un servizio di hosting.

Data integration, real-time synchronization and RESTful Web Service

Analisi e sviluppo di procedure di importazione dati per un integratore di annunci immobiliari dedicato alla vendita di soggiorni turistici in case vacanza. Il documento tratta inoltre l'implementazione di un Web Service conforme all'architettura RESTful per l'accesso e l'esportazione dei dati a soggetti terzi autorizzati tramite Digest Authentication.