Studio e realizzazione dell’emulatore μARM e del progetto JaeOS per la didattica dei Sistemi Operativi

La maggior parte degli strumenti per la didattica dei sistemi operativi sono basati sull'architettura MIPS, che è ampiamente superata. Questo lavoro introduce μARM, un emulatore, basato su architettura ARM7TDMI adeguato all'insegnamento a livello universitario. Inoltre viene presentato JaeOS, un manuale di specifiche per un sistema operativo multi-strato che supporti esecuzione multi-processo, memoria virtuale, sincronizzazione dei thread, gestione di dispositivi esterni ed un file system. I progetti tradizionali, come OSP2 o OS/161, forniscono un buon quantitativo di codice già sviluppato agli studenti, i quali devono modificare i moduli del sistema già implementati ed aggiungerne di nuovi. Con μARM/JaeOS gli studenti sono sottoposti ad un'esperienza pedagogicamente differente, partendo dal solo emulatore hardware e finendo con un sistema operativo, interamente sviluppato da loro, in grado di eseguire programmi sviluppati dagli studenti stessi.

Para una crítica de la educación democrática

El propósito central de este trabajo consiste en hacer un análisis crítico de la idea de educación democrática. Como hilo conductor se discute la tesis desarrollada por Amy Gutmann, según la cual, la educación democrática tiene como fin garantizar la reproducción consciente de la sociedad. En este contexto, la tesis que se defiende afirma que la educación democrática exige, además de los principios de no represión y la no discriminación desarrollados por Gutmann, un principio de reconocimiento, que articule la orientación de las acciones educativas a fuentes de normatividad asociadas con una interpretación intersubjetivista de la autonomía, de manera que se puedan generar más elementos de juicio, sobre todo, aquellos incorporados en las dimensiones moral, ética, política, legal y social de la persona, al momento de proponer prácticas educativas encaminadas a la formación de una ciudadanía participativa y crítica. Para esto se propone una interpretación que integra las perspectivas deliberativa y agonal de la democracia, se defiende que la expresión clave del ejercicio de la ciudadanía democrática es la participación, que el ejercicio de la participación tiene por condición la realización de la autonomía personal, por lo cual, en la parte final se elabora una lectura intersubjetivista de la autonomía, a partir de los trabajos de Axel Honneth y Rainer Forst.

Mathematics and fiber arts

Mathematics can be found all over the world, even in what could be considered an unrelated area, like fiber arts. In knitting, crochet, and counted-thread embroidery, we can find concepts of algebra, graph theory, number theory, geometry of transformations, and symmetry, as well as computer science. For example, many fiber art pieces embody notions related with groups of symmetry. In this work, we focus on two areas of Mathematics associated with knitting, crochet, and cross-stitch works – number theory and geometry of transformations.

Essays in Economic Geography and Long-Term Development

This dissertation has two main themes: first, the economic impact of tourism on cities and, secondly, the determinants of European long-run development, with a focus on the pre-Industrial era. The common thread is the attempt to develop economic geography models that incorporate spatial frictions and are liable to be given empirical content. Chapter 1, written in conjunction with G. Alfredo Minerva, provides an empirical analysis of the relationship between tourism and economic activity across Italian municipalities, and lays down the basic elements of an urban theory of tourism in an a-spatial setting. Chapter 2 extends these ideas to a quantitative urban framework to study the economic impact and the welfare consequences of tourism into the city of Venice. The model is given empirical content thanks to a large collection of data at the Census tract level for the Municipality of Venice, and then used to perform counterfactual policty analysis. In chapter 3, with Matteo Santacesaria, we consider a setting where agents are continuously distributed over a two-dimensional heterogeneous geography, and are allowed to do business at a finite set of markets. We study the equilibrium partition of the economic space into a collection of mutually-exclusive market areas, and provide condition for this equilibrium partition to exist and to be unique. Finally, chapter 4 "The rise of (urban) Europe: a Quantitative-Spatial analysis", co-authored with Matteo Cervellati and Alex Lehner, sets up a quantitative economic geography model to understand the roots of the Industrial Revolution, in an attempt to match the evolution of the European urban network, and the corresponding city-size distribution, over the period A.D. 1000-1850. It highlights the importance of agricultural trade across cities for the emergence of large manufacturing hubs.

Leonardo Ricci in the United States (1952-1972). A twenty-year American transfer as a turning experience in teaching and design.

The research solved the historiographic lacuna about Leonardo Ricci’s work in the United States focusing on the span 1952-1972 as a fundamental period for the architect's research, which moved from the project for the community space to macrostructures. The considered period is comprised between Ricci’s first travel to the United States and the date of his resignation from the University of Florida, one year before his resignation from the deanship of the faculty of architecture of Florence (1973). The research retraced philologically the stages of Ricci’s activity in the U.S.A. unveiling the premises and results of his American transfer, and to what extent it marked a turning period for his work as educator and designer and for the wider historiographic contest of the Sixties. The American transfer helped him grounding his belief in avoiding a priori morphological results in favor of what he called the “form-act” design method. Ricci’s research in the U.S.A. is described in his books Anonymous (XX century) and City of the Earth (unpublished). In them and in Ricci’s projects one common thread is traceable: the application of the “form-act” as the best tool to conceive urban design, a discipline established in the United States during Ricci’s first stay at M.I.T., in which he encountered the balance point between architecture and urban planning, between the architect’s sign and his being anonymous, between the collective and the individual dimension. With the notions of “anonymous architecture” and “form-act”, Urban Design and “open work” are the key words to understand Ricci’s work in the United States and in Italy. Urban design’s main goal to design the city as a collective work of art was the solution of that dychothomous research that enlivened Ricci’s work and one possible answer to that tension useful for him to seek the truth of architecture.

“È per un bambino o una bambina?” Stereotipi di genere nella letteratura per l'infanzia: proposta di traduzione di due albi illustrati

The aim of this dissertation is to propose a translation into Italian of two American picturebooks: Is That For a Boy or a Girl? written by S. Bear Bergman and illustrated by Rachel Dougherty, and Jacob's New Dress written by Sarah and Ian Hoffman and illustrated by Chris Case. The common thread of the two books is the critique of gender stereotypes in children’s literature and in other aspects of childhood at large, such as gender expression. The two titles were in fact selected from the bibliography created by the European project G-BOOK (Gender Identity: Child Readers and Library Collections), which was spearheaded by Centro MeTRa, an Italian research centre affiliated with the University of Bologna which aims to promote gender-positive and inclusive literature. The thesis is divided into four chapters, the first of which is devoted to a discussion of children's literature as a whole and to the analysis of the illustrated fiction subgenre, the category to which the above-mentioned volumes belong. The second chapter focuses on diversity, highlighting its key role in education and the relevant trends in publishing and translation studies. The third chapter consists of a brief presentation of the works I have chosen. Following the introduction of the plot and the biography of the authors, the chapter focuses on the analysis of the two illustrated books from a linguistic, stylistic, iconographic and commercial point of view, in preparation for translation. Finally, in the fourth chapter I present my translation proposal, complete with a commentary on the problems I encountered and the translation techniques that allowed me to overcome them.

Do mundo das mulheres à etnografia das instituições. Um traçado em retrospectiva

Este artigo recupera o percurso profissional de sua autora e busca alinhavar, em torno do fio condutor da moralidade e dos valores na política, desdobramentos teóricos e metodológicos relevantes para o debate antropológico contemporâneo. Desta perspectiva, apresenta as investigações realizadas e suas conexões com publicações, cursos ministrados e orientações na graduação e pós-graduação, grupos e laboratórios de pesquisa, bem como redes nacionais e internacionais com as quais se articularam (e articulam). Como o título já sugere, parte de estudos sobre o movimento feminista, seguindo-se investigações em contextos institucionais diversos com a inclusão de instâncias de políticas de governo que se constituíram sob o princípio da cidadania participativa.

Design, realization, and characterization of complex reaction networks in dynamic mechanically interlocked molecules

The experimental projects discussed in this thesis are all related to the field of artificial molecular machines, specifically to systems composed of pseudorotaxane and rotaxane architectures. The characterization of the peculiar properties of these mechano-molecules is frequently associated with the analysis and elucidation of complex reaction networks; this latter aspect represents the main focus and central thread tying my thesis work. In each chapter, a specific project is described as summarized below: the focus of the first chapter is the realization and characterization of a prototype model of a photoactivated molecular transporter based on a pseudorotaxane architecture; in the second chapter is reported the design, synthesis, and characterization of a [2]rotaxane endowed with a dibenzylammonium station and a novel photochromic unit that acts as a recognition site for a DB24C8 crown ether macrocycle; in the last chapter is described the synthesis and characterization of a [3]rotaxane in which the relative number of rings and stations can be changed on command.

Photoactive (supra)molecular devices in double layer membranes

Biological systems are complex and highly organized architectures governed by non-covalent interactions responsible for the regulation of essential tasks in all living organisms. These systems are a constant source of inspiration for supramolecular chemists aiming to design multicomponent molecular assemblies able to perform elaborated tasks, thanks to the role and action of the components that constitute them. Artificial supramolecular systems exploit non-covalent interactions to mimic naturally occurring events. In this context, stimuli-responsive supramolecular systems have attracted attention due to the possibility to control macroscopic effects through modifications at the nanoscale. This thesis is divided in three experimental chapters, characterized by a progressive increase in molecular complexity. Initially, the preparation and studies of liposomes functionalized with a photoactive guest such as azobenzene in the bilayer were tackled, in order to evaluate the effect of such photochrome on the vesicle properties. Subsequently, the synthesis and studies of thread-like molecules comprising an azobenzene functionality was reported. Such molecules were conceived to be intercalated in the bilayer membrane of liposomes with the aim to be used as components for photoresponsive transmembrane molecular pumps. Finally, a [3]rotaxane was developed and studied in solution. This system is composed of two crown ether rings interlocked with an axle containing three recognition sites for the macrocycles, i.e. two pH-switchable ammonium stations and a permanent triazolium station. Such molecule was designed to achieve a change in the ratio between the recognition sites and the crown ethers as a consequence of acid-base inputs. This leads to the formation of rotaxanes containing a number of recognition sites respectively larger, equal or lower than the number of interlocked rings and connected by a network of acid-base reactions.

Embedded systems and advanced signal processing for Acousto- Ultrasonic Inspections

Non Destructive Testing (NDT) and Structural Health Monitoring (SHM) are becoming essential in many application contexts, e.g. civil, industrial, aerospace etc., to reduce structures maintenance costs and improve safety. Conventional inspection methods typically exploit bulky and expensive instruments and rely on highly demanding signal processing techniques. The pressing need to overcome these limitations is the common thread that guided the work presented in this Thesis. In the first part, a scalable, low-cost and multi-sensors smart sensor network is introduced. The capability of this technology to carry out accurate modal analysis on structures undergoing flexural vibrations has been validated by means of two experimental campaigns. Then, the suitability of low-cost piezoelectric disks in modal analysis has been demonstrated. To enable the use of this kind of sensing technology in such non conventional applications, ad hoc data merging algorithms have been developed. In the second part, instead, imaging algorithms for Lamb waves inspection (namely DMAS and DS-DMAS) have been implemented and validated. Results show that DMAS outperforms the canonical Delay and Sum (DAS) approach in terms of image resolution and contrast. Similarly, DS-DMAS can achieve better results than both DMAS and DAS by suppressing artefacts and noise. To exploit the full potential of these procedures, accurate group velocity estimations are required. Thus, novel wavefield analysis tools that can address the estimation of the dispersion curves from SLDV acquisitions have been investigated. An image segmentation technique (called DRLSE) was exploited in the k-space to draw out the wavenumber profile. The DRLSE method was compared with compressive sensing methods to extract the group and phase velocity information. The validation, performed on three different carbon fibre plates, showed that the proposed solutions can accurately determine the wavenumber and velocities in polar coordinates at multiple excitation frequencies.

RF energy harvesting solutions for electromagnetic harsh environments: from industrial plants to wearable/implantable devices

The presented Thesis describes the design of RF-energy harvesting systems with applications on different environments, from the biomedical side to the industrial one, tackling the common thread problem which is the design of complete energy autonomous tags each of them with its dedicated purpose. This Thesis gathers a work of three years in the field of energy harvesting system design, a combination of full-wave electromagnetic designs to optimize not only the antenna performance but also to fulfill the requirements given by each case study such as dimensions, insensitivity from the surrounding environment, flexibility and compliance with regulations. The research activity has been based on the development of highly-demanded ideas and real-case necessities which are in line with the environment in which modern IoT applications can really make a positive contribution. The Thesis is organized as follows: the first application, described in Chapter 2, regards the design and experimental validations of a rotation-insensitive WPT system for implantable devices. Chapter 3 presents the design of a wearable energy autonomous detector to identify the presence of ethanol on the body surface. Chapter 4 describes investigations in the use of Bessel Beam launchers for creating a highly-focused energy harvesting link for wearable applications. Reduced dimensions, high focusing and decoupling from the human body are the key points to be addressed during the full-wave design and nonlinear optimization of the receiver antenna. Finally, Chapter 5 presents an energy autonomous system exploiting LoRa (Long Range) nodes for tracking trailers in industrial plants. The novelty behind this design lies on the aim of obtaining a perfectly scalable system that exploits not only EH basic operating system but embeds a seamless solution for collecting a certain amount of power that varies with respect the received power level on the antenna, without the need of additional off-the-shelf components.

About stabilization of non-minimum phase systems by output feedback

This thesis work has been motivated by an internal benchmark dealing with the output regulation problem of a nonlinear non-minimum phase system in the case of full-state feedback. The system under consideration structurally suffers from finite escape time, and this condition makes the output regulation problem very hard even for very simple steady-state evolution or exosystem dynamics, such as a simple integrator. This situation leads to studying the approaches developed for controlling Non-minimum phase systems and how they affect feedback performances. Despite a lot of frequency domain results, only a few works have been proposed for describing the performance limitations in a state space system representation. In particular, in our opinion, the most relevant research thread exploits the so-called Inner-Outer Decomposition. Such decomposition allows splitting the Non-minimum phase system under consideration into a cascade of two subsystems: a minimum phase system (the outer) that contains all poles of the original system and an all-pass Non-minimum phase system (the inner) that contains all the unavoidable pathologies of the unstable zero dynamics. Such a cascade decomposition was inspiring to start working on functional observers for linear and nonlinear systems. In particular, the idea of a functional observer is to exploit only the measured signals from the system to asymptotically reconstruct a certain function of the system states, without necessarily reconstructing the whole state vector. The feature of asymptotically reconstructing a certain state functional plays an important role in the design of a feedback controller able to stabilize the Non-minimum phase system.

On the Wick product and Wong-Zakai approximations.

This thesis is a compilation of 6 papers that the author has written together with Alberto Lanconelli (chapters 3, 5 and 8) and Hyun-Jung Kim (ch 7). The logic thread that link all these chapters together is the interest to analyze and approximate the solutions of certain stochastic differential equations using the so called Wick product as the basic tool. In the first chapter we present arguably the most important achievement of this thesis; namely the generalization to multiple dimensions of a Wick-Wong-Zakai approximation theorem proposed by Hu and Oksendal. By exploiting the relationship between the Wick product and the Malliavin derivative we propose an original reduction method which allows us to approximate semi-linear systems of stochastic differential equations of the Itô type. Furthermore in chapter 4 we present a non-trivial extension of the aforementioned results to the case in which the system of stochastic differential equations are driven by a multi-dimensional fraction Brownian motion with Hurst parameter bigger than 1/2. In chapter 5 we employ our approach and present a “short time” approximation for the solution of the Zakai equation from non-linear filtering theory and provide an estimation of the speed of convergence. In chapters 6 and 7 we study some properties of the unique mild solution for the Stochastic Heat Equation driven by spatial white noise of the Wick-Skorohod type. In particular by means of our reduction method we obtain an alternative derivation of the Feynman-Kac representation for the solution, we find its optimal Hölder regularity in time and space and present a Feynman-Kac-type closed form for its spatial derivative. Chapter 8 treats a somewhat different topic; in particular we investigate some probabilistic aspects of the unique global strong solution of a two dimensional system of semi-linear stochastic differential equations describing a predator-prey model perturbed by Gaussian noise.

Synthesis, characterization and potential applications of novel metal-organic frameworks

​The research work described in this thesis concerns the synthesis, characterization, and applications of two kinds of metal-organic frameworks (MOFs), Copper based MOF (Cu-MOF) and zirconium based MOF (Zr-MOF) functionalized with new linkers. ​The common thread of this research project can be summarized in three work phases: ​first, the synthesis and characterization of new organic linkers is described, followed by the presentation of the different optimization conditions for the MOFs synthesis. ​Second, the new materials were fully characterized using several complementary techniques, such as infrared (ATR-FTIR) and Raman spectroscopy, X-ray powder diffraction spectroscopy (PXRD), scanning electron microscopy (SEM), X-ray photoelectron spectroscopy (XPS), atomic absorption spectroscopy (AAS) as well as thermal and surface area measurements. ​Final, to obtain a complete work the possible environmental applications of the new materials were explored.