A study of two Languages for Active Objects with Futures

In computer systems, specifically in multithread, parallel and distributed systems, a deadlock is both a very subtle problem - because difficult to pre- vent during the system coding - and a very dangerous one: a deadlocked system is easily completely stuck, with consequences ranging from simple annoyances to life-threatening circumstances, being also in between the not negligible scenario of economical losses. Then, how to avoid this problem? A lot of possible solutions has been studied, proposed and implemented. In this thesis we focus on detection of deadlocks with a static program analysis technique, i.e. an analysis per- formed without actually executing the program. To begin, we briefly present the static Deadlock Analysis Model devel- oped for coreABS−− in chapter 1, then we proceed by detailing the Class- based coreABS−− language in chapter 2. Then, in Chapter 3 we lay the foundation for further discussions by ana- lyzing the differences between coreABS−− and ASP, an untyped Object-based calculi, so as to show how it can be possible to extend the Deadlock Analysis to Object-based languages in general. In this regard, we explicit some hypotheses in chapter 4 first by present- ing a possible, unproven type system for ASP, modeled after the Deadlock Analysis Model developed for coreABS−−. Then, we conclude our discussion by presenting a simpler hypothesis, which may allow to circumvent the difficulties that arises from the definition of the ”ad-hoc” type system discussed in the aforegoing chapter.

Statistical analysis of written languages

La tesi presenta una serie di risultati dell'analisi quantitativa sulla linguistica. Inizialmente sono studiate due fra le leggi empiriche più famose di questo campo, le leggi di Zipf e Heaps, e vengono esposti vari modelli sullo sviluppo del linguaggio. Nella seconda parte si giunge alla discussione di risultati più specifici sulla presenza di fenomeni di burstiness e di correlazioni a lungo raggio nei testi. Tutti questi studi teorici sono affiancati da analisi sperimentali, svolte utilizzando varie traduzioni del libro "Guerra e pace" di Leo Tolstoj e concentrate principalmente sulle eventuali differenze riscontrabili tra le diverse lingue.

Acknowledging linguistic diversity in a multicultural society: the issue of indigenous languages in Colombia.

Nowadays, modern society is gradually becoming multicultural. However, only in the last few years awareness on its importance has been raised. In the case of Colombia, multiculturalism has existed since the pre-Columbian period and today there are more than 80 ethnic groups and 65 indigenous languages in the country. The aim of this work is to illustrate the status of indigenous languages in Colombia and to enlighten about the importance of recognizing, protecting and strengthening the use of these native languages. Subsequent to this, it will be point out that linguistic diversity should be considered a resource and not a barrier to achieve unity in diversity. Finally, ethno-education will be presented as an adequate educational program that may guarantee an equal linguistic representation in the country.

From F energy rating to Nearly ZEB: project of energy retrofit and architectural upgrade of a brick terraced house in Co. Dublin, Ireland

Questo progetto è stato sviluppato durante un periodo di ricerca presso il Dipartimento di Ingegneria Civile del Trinity College e continuato presso l’Università di Bologna. Il progetto ha l’obiettivo di analizzare le soluzioni per l’ampliamento, la sostituzione degli impianti e l’ottimizzazione energetica di un tipico edificio residenziale Irlandese, una end of terrace in mattoni costruita negli anni ’20, collocata a Blackrock (Dublino). Diversi studi sostengono che lo stock abitativo irlandese è il peggiore del nord Europa per quanto riguarda la performance energetica. Questa tesi consta di una prima parte di studio del contesto e delle tecniche costruttive tradizionali irlandesi; è presente un capitolo di approfondimento sulle leggi riguardanti le costruzioni e gli incentivi forniti dal governo irlandese per interventi di retrofit energetico. Il terzo capitolo è un’analisi dell'esistente, con disegni del rilievo geometrico, immagini dell’edificio originale, termogrammi e dati riguardanti l’attuale performance energetica. Vengono poi mostrate diverse ipotesi di progetto e, una volta determinata la disposizione degli spazi interni, vengono considerate due soluzioni simili, ma costruite con pacchetti costruttivi diversi. Nel Progetto A l’involucro dell’addizione ha una struttura in muratura, nel Progetto B la struttura è in X-lam. Le performance energetiche delle due proposte vengono confrontate tramite una simulazione attuata grazie all'utilizzo del software dinamico IES-VE. Viene valutata l’applicazione di energie rinnovabili, quali l’energia solare e eolica e l’apporto che queste possono dare al bilancio energetico. Infine viene fatta un’analisi dei costi, valutando possibili suddivisioni dei lavori e ipotizzando un piano di ritorno dell’investimento, anche in combinazione con l’applicazione di energie rinnovabili. Alla fine del progetto si trova una valutazione quantitativa dei miglioramenti dell’edificio e un’analisi critica dei limiti del progetto.

Progetto e valutazione di una piattaforma sperimentale di Internet of Energy per veicoli elettrici

This dissertation deals with the development of a project concerning a demonstration in the scope of the Supply Chain 6 of the Internet of Energy (IoE) project: the Remote Monitoring Emulator, which bears my personal contribution in several sections. IoE is a project of international relevance, that means to establish an interoperability standard as regards the electric power production and utilization infrastructure, using Smart Space platforms. The future perspectives of IoE have to do with a platform for electrical power trade-of, the Smart Grid, whose energy is produced by decentralized renewable sources and whose services are exploited primarily according to the Internet of Things philosophy. The main consumers of this kind of smart technology will be Smart Houses (that is to say, buildings controlled by an autonomous system for electrical energy management that is interoperable with the Smart Grid) and Electric Mobility, that is a smart and automated management regarding movement and, overall, recharging of electrical vehicles. It is precisely in the latter case study that the project Remote Monitoring Emulator takes place. It consists in the development of a simulated platform for the management of an electrical vehicle recharging in a city. My personal contribution to this project lies in development and modeling of the simulation platform, of its counterpart in a mobile application and implementation of a city service prototype. This platform shall, ultimately, make up a demonstrator system exploiting the same device which a real user, inside his vehicle, would use. The main requirements that this platform shall satisfy will be interoperability, expandability and relevance to standards, as it needs to communicate with other development groups and to effectively respond to internal changes that can affect IoE.

Multicelled Behaviour in E. coli: Design and experimental characterization of an engineered library of hybrid promoters.

Synthetic biology has recently had a great development, many papers have been published and many applications have been presented, spanning from the production of biopharmacheuticals to the synthesis of bioenergetic substrates or industrial catalysts. But, despite these advances, most of the applications are quite simple and don’t fully exploit the potential of this discipline. This limitation in complexity has many causes, like the incomplete characterization of some components, or the intrinsic variability of the biological systems, but one of the most important reasons is the incapability of the cell to sustain the additional metabolic burden introduced by a complex circuit. The objective of the project, of which this work is part, is trying to solve this problem through the engineering of a multicellular behaviour in prokaryotic cells. This system will introduce a cooperative behaviour that will allow to implement complex functionalities, that can’t be obtained with a single cell. In particular the goal is to implement the Leader Election, this procedure has been firstly devised in the field of distributed computing, to identify the process that allow to identify a single process as organizer and coordinator of a series of tasks assigned to the whole population. The election of the Leader greatly simplifies the computation providing a centralized control. Further- more this system may even be useful to evolutionary studies that aims to explain how complex organisms evolved from unicellular systems. The work presented here describes, in particular, the design and the experimental characterization of a component of the circuit that solves the Leader Election problem. This module, composed of an hybrid promoter and a gene, is activated in the non-leader cells after receiving the signal that a leader is present in the colony. The most important element, in this case, is the hybrid promoter, it has been realized in different versions, applying the heuristic rules stated in [22], and their activity has been experimentally tested. The objective of the experimental characterization was to test the response of the genetic circuit to the introduction, in the cellular environment, of particular molecules, inducers, that can be considered inputs of the system. The desired behaviour is similar to the one of a logic AND gate in which the exit, represented by the luminous signal produced by a fluorescent protein, is one only in presence of both inducers. The robustness and the stability of this behaviour have been tested by changing the concentration of the input signals and building dose response curves. From these data it is possible to conclude that the analysed constructs have an AND-like behaviour over a wide range of inducers’ concentrations, even if it is possible to identify many differences in the expression profiles of the different constructs. This variability accounts for the fact that the input and the output signals are continuous, and so their binary representation isn’t able to capture the complexity of the behaviour. The module of the circuit that has been considered in this analysis has a fundamental role in the realization of the intercellular communication system that is necessary for the cooperative behaviour to take place. For this reason, the second phase of the characterization has been focused on the analysis of the signal transmission. In particular, the interaction between this element and the one that is responsible for emitting the chemical signal has been tested. The desired behaviour is still similar to a logic AND, since, even in this case, the exit signal is determined by the hybrid promoter activity. The experimental results have demonstrated that the systems behave correctly, even if there is still a substantial variability between them. The dose response curves highlighted that stricter constrains on the inducers concentrations need to be imposed in order to obtain a clear separation between the two levels of expression. In the conclusive chapter the DNA sequences of the hybrid promoters are analysed, trying to identify the regulatory elements that are most important for the determination of the gene expression. Given the available data it wasn’t possible to draw definitive conclusions. In the end, few considerations on promoter engineering and complex circuits realization are presented. This section aims to briefly recall some of the problems outlined in the introduction and provide a few possible solutions.

Pavement and alignment design of a new rural road in the province of Bologna

This thesis aims to give a general view of pavement types all over the world, by showing the different characteristics of each one and its different life steps starting from construction, passing by maintenance and arriving until recycling phase. The flexible pavement took the main part of this work because it has been used in the last part of this thesis to design a project of a rural road. This project is located in the province of Bologna-Italy (‘Comune di Argelato’, 26 km in the north of Bologna), and has 5677, 81 m of length. A pavement design was made using the program BISAR 3.0 and a fatigue life study was made, also, in order to estimate the number of loads (in terms of heavy vehicles axle) to cause road’s failure . An alignment design was made for this project and a safety study was established in order to check if the available sight distance at curves respects the safety norms or not, by comparing it to the stopping sight distance. Different technical sheets are demonstrated and several cases are discussed in order to clarify the main design principles and underline the main hazardous cases to be avoided especially at intersection. This latter, its type’s choice depends on several factors in order to make the suitable design according to the environmental data. At this part of the road, the safety is a primordial point due to the high accident rate in this zone. For this reason, different safety aspects are discussed especially at roundabouts, signalized intersections, and also some other common intersection types. The design and the safety norms are taken with reference to AASHTO (American Association of State Highway and Transportation Officials), ACT (Transportation Association of Canada), and also according to Italian norms (Decreto Ministeriale delle Starde).

The role of language in tv shows and its impact on the audience: A linguistic analysis of Game of Thrones

Through the analysis of American TV show Game of Thrones, this dissertation will focus on the linguistic issues concerning the adaptation from books to television, the power of language over the audience, and the creation of two languages, with all the linguistic and cultural implications related to this phenomenon.

Traduzione tecnica e internazionalizzazione d'impresa: Il caso di Technologica S.r.l.

This dissertation is part of the Language Toolkit project which is a collaboration between the School of Foreign Languages and Literature, Interpreting and Translation of the University of Bologna, Forlì campus, and the Chamber of Commerce of Forlì-Cesena. This project aims to create an exchange between translation students and companies who want to pursue a process of internationalization. The purpose of this dissertation is demonstrating the benefits that translation systems can bring to businesses. In particular, it consists of the translation into English of documents supplied by the Italian company Technologica S.r.l. and the creation of linguistic resources that can be integrated into computer-assisted translation (CAT) software, in order to optimize the translation process. The latter is claimed to be a priority with respect to the actual translation products (the target texts), since the analysis conducted on the source texts highlighted that the company could streamline and optimize its English language communication thanks to the use of open source CAT tools such as OmegaT. The work consists of five chapters. The first introduces the Language Toolkit project, the company (Technologica S.r.l ) and its products. The second chapter provides some considerations about technical translation, its features and some misconceptions about it. The difference between technical translation and scientific translation is then clarified and an overview is offered of translation aids such as those used for computer-assisted translation, machine translation, termbases and translation memories. The third chapter contains the analysis of the texts commissioned by Technologica S.r.l. and their categorization. The fourth chapter describes the translation process, with particular attention to terminology extraction and the creation of a bilingual glossary based on a specialized corpus. The glossary was integrated into the OmegaT software in order to facilitate the translation process both for the present task and for future applications. The memory deriving from the translation represents a sort of hybrid resource between a translation memory and a glossary. This was found to be the most appropriate format, given the specific nature of the texts to be translated. Finally, in chapter five conclusions are offered about the importance of language training within a company environment, the potentialities of translation aids and the benefits that they would bring to a company wishing to internationalize itself.

Sicurezza stradale: Proposta di traduzione di un estratto del research report "The Nature of Errors Made by Drivers"

The aim of this dissertation is to provide a translation from English into Italian of an extract from the research report “The Nature of Errors Made by Drivers”. The research was conducted by the MUARC (the Monash University Accident Research Centre) and published in June 2011 by Austroads, the association of Australasian road transport and traffic agencies. The excerpt chosen for translation is the third chapter, which provides an overview of the on-road pilot study conducted to analyse why drivers make mistakes during their everyday drive, including the methodology employed and the results obtained. This work is divided into six sections. It opens with an introduction on the topic and the formal structure of the report, followed by the first chapter, which provides an overview of the main features of the languages for special purposes and the specialised texts, an analysis of the text type and a presentation of the extract chosen for translation. In the second chapter the linguistic and extralinguistic resources available to specialised translators are presented, focussing on the ones used to translate the text. The third chapter is dedicated to the source text and its translation, while the fourth one provides an analysis of the strategies chosen to translate the text and a comment on the solutions to problematic passages. Finally, the last section – the conclusion – provides a comment on the entire work and on the professional activity of translators. The work closes with an appendix, which contains a glossary of the terms extracted from the translated text.

Documentare gli incidenti omofobici e transfobici: Traduzione dall'inglese in italiano di un manuale informativo di ilga-europe.

The aim of this dissertation is to provide a translation from English into Italian of a handbook published online by the non-governmental organization Ilga-Europe, which aims to strengthen human rights and equality for LGBTI people at European level. Translating the whole handbook was not possible for this project, this is the reason why I decided to translate the introduction, the first chapter and one of the three appendices listed in the handbook. This work is divided into six chapters. The first one introduces the main themes of the text, i.e. what does the acronym LGBT stands for, the issue of homophobia and the measures taken against it at international and national level. The second one provides a description of the three organizations ILGA, ILGA-Europe and Arcigay, focusing on their roles and purposes. The third chapter contains the description of specialized languages, with special attention to the juridical one; moreover, it provides an analysis of the text type. The fourth chapter focuses on the resources used to translate this text. The fifth chapter includes the source text, alongside with its actual translation. Finally, the sixth and last chapter offers a detailed comment on translation difficulties and translation choices.

La comunicazione aziendale tra redazione e traduzione: Il caso di ipack srl.

This dissertation is the result of my participation in the Language Toolkit project, a recent collaboration between the Chamber of Commerce of Forlì and the School of Foreign Languages and Literatures, Interpreting and Translation at the University of Bologna, which aims to make students meet with the companies of our territory, in this case Ipack, based in Mercato Saraceno (FC). My dissertation is a specialized translation work from Italian into English of two documents that were entrusted to me: the declaration of compliance of Ipack’s products and a summary of the quality manual. They are two high technical texts and, therefore, the translation task required a preliminary phase of research on the topics and on the terminology of this specific domain. The dissertation consists of five chapters. The first chapter briefly introduces the company with which I collaborated for my dissertation project and provides an overview of business communication and a brief classification of Ipack’s communication tools. The second chapter covers the background topics, namely food packaging and quality management systems within companies. The third chapter concerns the analysis of the two texts, describing the intra-textual and extra-textual aspects, as well as the morphosyntaxical and lexical features. The fourth chapter is dedicated to the revision work on one of the two texts, the one about quality procedures. In the commentary following my review, I explain the methodology and the strategies that I used and I also provide some extended examples of the main changes applied to the original text, with respect to both content and linguistic features. Finally, the fifth chapter focuses on the translation of the texts followed by a commentary that explains the work methodology, resources and my translation choices, accompanied by practical examples.

Study on health status and remediation potential of Phragmites australis employed in an Emilia Romagna (IT) Constructed Wetland to assess zonal variability of the facility.

Phragmites australis (Cav.) Trin. ex Steud. is a hydrophyte particularly resistant to harsh conditions, e.g. drought, high salinity, contaminants, such as heavy metals and toxic molecules, and high nutrients concentrations. These resistances render the plant suitable for water depuration, where its particular metabolism is exploited to remove pollutants and excessive nutrients from the environment. In constructed wetlands, this principle is applied to phyto-purify wastewater with various origins, such as industrial, agricultural and household, with the aim to improve its quality to an extent which would render its reuse possible. In the framework of a pre-existing project of Department of Agricultural and Food Sciences (DiSTAl), this work integrates the knowledge and data relative to an Emilia Romagna (IT) constructed wetland plant, in order to expand the knowledge about this particular facility and of the system in general. By assaying antioxidants, both non- enzymatic and enzymatic, chlorophylls content and net photosynthetic rates, and by measuring the elemental composition of the specimens, the health status and the elemental uptake of the wetland plants sampled in different areas were investigated. The results were compared amongst the examined specimens with the aim to detect areas where there may be a higher stress due to a different wastewater composition, potentially varying along the constructed route. In addition, different parameters regarding the extraction and assay protocols were investigated, in order to optimise the procedure and to select the best conditions to perform the analyses, as well as to integrate information missing in literature or found as contradictory.

Analysis and development of interface components and procedures for the design and commissioning toolchains in automation systems

The objective of the thesis project, developed within the Line Control & Software Engineering team of G.D company, is to analyze and identify the appropriate tool to automate the HW configuration process using Beckhoff technologies by importing data from an ECAD tool. This would save a great deal of time, since the I/O topology created as part of the electrical planning is presently imported manually in the related SW project of the machine. Moreover, a manual import is more error-prone because of human mistake than an automatic configuration tool. First, an introduction about TwinCAT 3, EtherCAT and Automation Interface is provided; then, it is analyzed the official Beckhoff tool, XCAD Interface, and the requirements on the electrical planning to use it: the interface is realized by means of the AutomationML format. Finally, due to some limitations observed, the design and implementation of a company internal tool is performed. Tests and validation of the tool are performed on a sample production line of the company.

Development and testing of a safety module for diagnostics and protection from hazards in secondary woodworking machinery

The main theme covered by this dissertation is safety, set in the context of automatic machinery for secondary woodworking. The thesis describes in detail the project of a software module for CNC machining centers to protect the operator against hazards and to report errors in the machine safety management. Its design has been developed during an internship at SCM Group technical department. The development of the safety module is addressed step by step in a detailed way: first the company and the reference framework are introduced and then all the design choices are explained and justified. The discussion begins with a detailed analysis of the standards concerning woodworking machines and safety-related software. In this way, a clear and linear procedure can be established to develop and implement the internal structure of the module, its interface, and its application to specific safety-critical conditions. Afterwards, particular attention is paid to software testing, with the development of a comprehensive test procedure for the module, and to diagnostics, especially oriented towards signal management in IoT mode. Finally, the safety module is used as an anti-regression tool to initiate a design improvement of the machine control program. The refactoring steps performed in the process are explained in detail and the SCENT approach is introduced to test the result.