MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.

System-on-a-Chip (SoC) based Hardware Acceleration in Register Transfer Level (RTL) Design

Today, modern System-on-a-Chip (SoC) systems have grown rapidly due to the increased processing power, while maintaining the size of the hardware circuit. The number of transistors on a chip continues to increase, but current SoC designs may not be able to exploit the potential performance, especially with energy consumption and chip area becoming two major concerns. Traditional SoC designs usually separate software and hardware. Thus, the process of improving the system performance is a complicated task for both software and hardware designers. The aim of this research is to develop hardware acceleration workflow for software applications. Thus, system performance can be improved with constraints of energy consumption and on-chip resource costs. The characteristics of software applications can be identified by using profiling tools. Hardware acceleration can have significant performance improvement for highly mathematical calculations or repeated functions. The performance of SoC systems can then be improved, if the hardware acceleration method is used to accelerate the element that incurs performance overheads. The concepts mentioned in this study can be easily applied to a variety of sophisticated software applications. The contributions of SoC-based hardware acceleration in the hardware-software co-design platform include the following: (1) Software profiling methods are applied to H.264 Coder-Decoder (CODEC) core. The hotspot function of aimed application is identified by using critical attributes such as cycles per loop, loop rounds, etc. (2) Hardware acceleration method based on Field-Programmable Gate Array (FPGA) is used to resolve system bottlenecks and improve system performance. The identified hotspot function is then converted to a hardware accelerator and mapped onto the hardware platform. Two types of hardware acceleration methods – central bus design and co-processor design, are implemented for comparison in the proposed architecture. (3) System specifications, such as performance, energy consumption, and resource costs, are measured and analyzed. The trade-off of these three factors is compared and balanced. Different hardware accelerators are implemented and evaluated based on system requirements. 4) The system verification platform is designed based on Integrated Circuit (IC) workflow. Hardware optimization techniques are used for higher performance and less resource costs. Experimental results show that the proposed hardware acceleration workflow for software applications is an efficient technique. The system can reach 2.8X performance improvements and save 31.84% energy consumption by applying the Bus-IP design. The Co-processor design can have 7.9X performance and save 75.85% energy consumption.

Cultural identity in landscape architecture, renovation of Managua's lakeside

This thesis examines a design approach in landscape architecture in which cultural and historical values are reinterpreted in a contemporary urban environment. The site of this project is located in Managua's lakeside area, which was destroyed by hurricane Mitch in 1998. The lakeside area has been an attraction to Managua's residents because of its beautiful views and fresh breezes. The majority of Nicaragua's population is of indigenous descent; however, Managua's urban environment is predominantly of European influence. The pre-Columbian heritage of Nicaraguans is hidden in their cultural expressions, such as the names of places and religious rituals. This project provides a new lakeside area for Managua in which cultural identity in landscape architecture is represented in the use of the site and in a rescue of Managua's residents' pride in their pre-Columbian heritage. The lakeside renovation was planned using pre-Columbian design methodology and vocabulary to create a functional and environmentally sens~velandscape.

Confrontation de l'architecture de l'Iran avec la modernité occidentale : constance de la question identitaire

À la fin du 19e siècle, l’Iran commence à se transformer radicalement. Ce changement est le résultat d’un processus de métamorphose socioculturelle, avec le désir d’effacer les méthodes du passé et de recommencer ; une ambition de faire un renouvellement fondamental dans la société, en bénéficiant des grandes idées progressistes de l'Occident moderne. Cette volonté s’est renforcée à la suite des premières visites en Europe d’étudiants et de Nassereddin Shah, le roi de l'Iran, dans les années 1870. Dans ce contexte, les Iraniens et leurs gouvernants, considérant leurs infériorités politico-économiques, ont décidé de remplacer les frustrations internationales par des idées nationalistes et une propagande de suprématie raciale ou religieuse, notamment concertant « l'identité culturelle ». Suivant ces tentatives pour réformer les infrastructures sociopolitiques de l'Iran, tous les domaines culturels du pays, incluant l’architecture, ont été modifiés, selon les idéologies des dirigeants de l’Iran pendant trois périodes historiques du pays : l'époque Qadjar (dès le règne de Nassereddin Shah en 1848), l'époque Pahlavi (1925-1979) et l'époque Post-révolution islamique (1979- jusqu'à présent). L'idée générale de notre mémoire est d'étudier le processus de modernisation de l'architecture de l'Iran, de même que les influences majeures de tous ces changements, concrétisés par des fusions éclectiques et des idées pluralistes – souvent basées sur la politique. De là, en usant des approches de l’histoire sociale et culturelle de l’art, nous analysons des exemples de monuments de l'architecture publique de l'Iran depuis l'entrée de l'Iran dans la modernité, pour chacune des trois périodes mentionnées. Cela, afin de comprendre si les architectes iraniens ont trouvé de nouvelles conceptions pour opérer un déploiement créatif des principes traditionnels et pour trouver de nouvelles orientations dans le processus général de leur évolution architecturale. Autrement dit, nous cherchons à savoir si l'architecture iranienne, avec tous les changements stylistiques dans le processus de conceptualisation, a pu trouver - depuis l'intervention de la modernité occidentale et de l'architecture moderne - son propre langage de la modernité en architecture.

Analyse comparative de l’approche bioclimatique et de la méthode LEED en architecture

Motivé par l’évolution de la production architecturale durable dans les pays d’Amérique latine, et plus particulièrement en Colombie, mon projet de recherche porte sur l’adaptation de l’architecture à ce nouveau contexte. L’approche architecturale traditionnelle à la prise en compte de l’énergie et du climat est l’architecture bioclimatique : reproduite à partir de connaissances et techniques ancestrales remontant à la conception de l’abri, cette dernière étudie les phénomènes physiques associés au confort thermique afin de les reproduire dans une nouvelle architecture. De nouvelles méthodes d’évaluation environnementale se sont développées dans les dernières décennies pour améliorer l’intégration environnementale des bâtiments. Ces méthodes privilégient la normalisation des solutions et utilisent des systèmes de certification pour reconnaître la performance environnementale et énergétique des bâtiments. Le résultat visé est la conformité aux standards internationaux de durabilité. Ce mémoire porte sur l’analyse comparative de l’architecture bioclimatique et de la certification environnementale à partir de la structure des sujets abordés par LEED, une des méthodes les plus connues d’une telle certification. Cette comparaison permet de constater que les deux approches sont motivées par les mêmes préoccupations environnementales mais que leurs méthodes d’intégration de ces préoccupations diffèrent, en particulier quant à la prise en compte des facteurs locaux et globaux.

The Pull of Beauty The Storefront for Art and Architecture

info:eu-repo/semantics/publishedVersion

Rethinking Le Corbusier: Urban Design and History

It is generally assumed that Le Corbusier’s urban planning made a break with the past, and that the public spaces designed by him had nothing to do with anything that existed before – a conviction fostered by both the innovative character of his proposals and by the proliferation in his manifestos of watchwords that mask any evocation of the past – words like civilisation machiniste, l’esprit nouveau, l’architecture de demain. However, in his writings, Le Corbusier often mentioned the powerful analogy that exists between the architecture of other times and the logic of modern production. Vers une architecture, for example, contains a mixture of photographs showing silos, cars, aeroplanes, ships (i.e. the fruits of 19th and 20th century civil architecture and mechanical engineering) alongside photographs of Greek and Roman buildings. While Le Corbusier, at the end of the 1920s, claimed “I have only one teacher: the past; only one education: the study of the past”, a series of sketches in the first volume of the Œuvre complète, done during his youth at the archaeological sites visited during his Grand Tour, shows that his interest in the past went far beyond a simple reference.

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.

Digital design of an EPC Gen2 controller for enhanced RFID tags

This thesis presents an improvement of the long range battery-less UHF RFID platform for sensor applications which is based on the open source Wireless Identification and Sensing Platform (WISP) project. The purpose of this work is to design a digital logic that performs the RFID EPC gen2 protocol communication, is able to acquire information by sensors and provide an accurate estimation of tag location ensuring low energy consumption. This thesis will describe the hardware architecture on which the digital logic was inserted, the Verilog code developed, the methods by which the digital logic was tested and an explorative study of chip synthesis on Cadence.

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.

Optimizing AI at the Edge: from network topology design to MCU deployment

The first topic analyzed in the thesis will be Neural Architecture Search (NAS). I will focus on two different tools that I developed, one to optimize the architecture of Temporal Convolutional Networks (TCNs), a convolutional model for time-series processing that has recently emerged, and one to optimize the data precision of tensors inside CNNs. The first NAS proposed explicitly targets the optimization of the most peculiar architectural parameters of TCNs, namely dilation, receptive field, and the number of features in each layer. Note that this is the first NAS that explicitly targets these networks. The second NAS proposed instead focuses on finding the most efficient data format for a target CNN, with the granularity of the layer filter. Note that applying these two NASes in sequence allows an "application designer" to minimize the structure of the neural network employed, minimizing the number of operations or the memory usage of the network. After that, the second topic described is the optimization of neural network deployment on edge devices. Importantly, exploiting edge platforms' scarce resources is critical for NN efficient execution on MCUs. To do so, I will introduce DORY (Deployment Oriented to memoRY) -- an automatic tool to deploy CNNs on low-cost MCUs. DORY, in different steps, can manage different levels of memory inside the MCU automatically, offload the computation workload (i.e., the different layers of a neural network) to dedicated hardware accelerators, and automatically generates ANSI C code that orchestrates off- and on-chip transfers with the computation phases. On top of this, I will introduce two optimized computation libraries that DORY can exploit to deploy TCNs and Transformers on edge efficiently. I conclude the thesis with two different applications on bio-signal analysis, i.e., heart rate tracking and sEMG-based gesture recognition.

An architecture for network acceleration as a service in the cloud continuum

The pervasive availability of connected devices in any industrial and societal sector is pushing for an evolution of the well-established cloud computing model. The emerging paradigm of the cloud continuum embraces this decentralization trend and envisions virtualized computing resources physically located between traditional datacenters and data sources. By totally or partially executing closer to the network edge, applications can have quicker reactions to events, thus enabling advanced forms of automation and intelligence. However, these applications also induce new data-intensive workloads with low-latency constraints that require the adoption of specialized resources, such as high-performance communication options (e.g., RDMA, DPDK, XDP, etc.). Unfortunately, cloud providers still struggle to integrate these options into their infrastructures. That risks undermining the principle of generality that underlies the cloud computing scale economy by forcing developers to tailor their code to low-level APIs, non-standard programming models, and static execution environments. This thesis proposes a novel system architecture to empower cloud platforms across the whole cloud continuum with Network Acceleration as a Service (NAaaS). To provide commodity yet efficient access to acceleration, this architecture defines a layer of agnostic high-performance I/O APIs, exposed to applications and clearly separated from the heterogeneous protocols, interfaces, and hardware devices that implement it. A novel system component embodies this decoupling by offering a set of agnostic OS features to applications: memory management for zero-copy transfers, asynchronous I/O processing, and efficient packet scheduling. This thesis also explores the design space of the possible implementations of this architecture by proposing two reference middleware systems and by adopting them to support interactive use cases in the cloud continuum: a serverless platform and an Industry 4.0 scenario. A detailed discussion and a thorough performance evaluation demonstrate that the proposed architecture is suitable to enable the easy-to-use, flexible integration of modern network acceleration into next-generation cloud platforms.

Computational design of a new type of sandwich cross-section for a defined solution of a tree-like column produced by wire-and-arc additive manufacturing

When it comes to designing a structure, architects and engineers want to join forces in order to create and build the most beautiful and efficient building. From finding new shapes and forms to optimizing the stability and the resistance, there is a constant link to be made between both professions. In architecture, there has always been a particular interest in creating new shapes and types of a structure inspired by many different fields, one of them being nature itself. In engineering, the selection of optimum has always dictated the way of thinking and designing structures. This mindset led through studies to the current best practices in construction. However, both disciplines were limited by the traditional manufacturing constraints at a certain point. Over the last decades, much progress was made from a technological point of view, allowing to go beyond today's manufacturing constraints. With the emergence of Wire-and-Arc Additive Manufacturing (WAAM) combined with Algorithmic-Aided Design (AAD), architects and engineers are offered new opportunities to merge architectural beauty and structural efficiency. Both technologies allow for exploring and building unusual and complex structural shapes in addition to a reduction of costs and environmental impacts. Through this study, the author wants to make use of previously mentioned technologies and assess their potential, first to design an aesthetically appreciated tree-like column with the idea of secondly proposing a new type of standardized and optimized sandwich cross-section to the construction industry. Parametric algorithms to model the dendriform column and the new sandwich cross-section are developed and presented in detail. A catalog draft of the latter and methods to establish it are then proposed and discussed. Finally, the buckling behavior of this latter is assessed considering standard steel and WAAM material properties.

GUI design for in-car message diagnosis

Electronics needs communication to serve the vehicular world, to let all ECUs to com- municate with each other are needed buses, each bus serves different stuffs and is able to communicate. In the evolution of automotive architecture, integration of multiple func- tionalities in a single ECU will be one of the key aspects. The analysis of in-vehicle data, both for diagnosis and study-case of a particular behaviour, is the basis for future’s technologies and applications. Starting from these ideas, the need of creating a correlation between the Vehicle state and the anomaly. In order to create a link among them, has been created an interface able to simplify the in-car diagnosis and creating a link among vehicle stateand anomaly, looking also to the study-case of the driver's behaviour.

SmartForge: An event-driven architecture for simulator-based process optimization

In the metal industry, and more specifically in the forging one, scrap material is a crucial issue and reducing it would be an important goal to reach. Not only would this help the companies to be more environmentally friendly and more sustainable, but it also would reduce the use of energy and lower costs. At the same time, the techniques for Industry 4.0 and the advancements in Artificial Intelligence (AI), especially in the field of Deep Reinforcement Learning (DRL), may have an important role in helping to achieve this objective. This document presents the thesis work, a contribution to the SmartForge project, that was performed during a semester abroad at Karlstad University (Sweden). This project aims at solving the aforementioned problem with a business case of the company Bharat Forge Kilsta, located in Karlskoga (Sweden). The thesis work includes the design and later development of an event-driven architecture with microservices, to support the processing of data coming from sensors set up in the company's industrial plant, and eventually the implementation of an algorithm with DRL techniques to control the electrical power to use in it.