A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

A distributed, cloud-ready, digital content processing and transformation platform and a specific use case

Poster at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Distributed Repositories of Medieval Calendars and Crowd-Sourcing of Transcription

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

A Distributed Microservices Framework Integrating Taverna

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Robust current control of a phase shifted full-bridge buck converter

In this thesis, the main point of interest is the robust control of a DC/DC converter. The use of reactive components in the power conversion gives rise to dynamical effects in DC/DC converters and the dynamical effects of the converter mandates the use of active control. Active control uses measurements from the converter to correct errors present in the converter’s output. The controller needs to be able to perform in the presence of varying component values and different kinds of disturbances in loading and noises in measurements. Such a feature in control design is referred as robustness. This thesis also contains survey of general properties of DC/DC converters and their effects on control design. In this thesis, a linear robust control design method is studied. A robust controller is then designed and applied to the current control of a phase shifted full bridge converter. The experimental results are shown to match simulations.

Application of cerium oxide thin films grown by atomic layer deposition for soot removal

The objective of the thesis is to study cerium oxide thin films grown by the atomic layer deposition (ALD) for soot removal. Cerium oxide is one of the most important heterogeneous catalysts and can be used in particulate filters and sensors in a diesel exhaust pipe. Its redox/oxidation properties are a key factor in soot oxidation. Thus, the cerium oxide coating can help to keep particulate filters and sensors clean permanently. The literature part of the thesis focuses on the soot removal, introducing the origin and structure of soot, reviewing emissions standards for diesel particulate matter, and presenting methods and catalysts for soot removal. In the experimental part the optimal ALD conditions for cerium oxide were found, the structural properties of cerium oxide thin films were analyzed, and the catalytic activity of the cerium oxide for soot oxidation was investigated. Studying ALD growth conditions of cerium oxide films and determining their critical thickness range are important to maximize the catalytic performance operating at comparatively low temperature. It was found that the cerium oxide film deposited at 300 °C with 2000 ALD cycles had the highest catalytic activity. Although the activity was still moderate and did not decrease the soot oxidation temperature enough for a real-life application. The cerium oxide thin film deposited at 300 °C has a different crystal structure, surface morphology and elemental composition with a higher Ce3+ concentration compared to the films deposited at lower temperatures. The different properties of the cerium oxide thin film deposited at 300 °C increase the catalytic activity most likely due to higher surface area and addition of the oxygen vacancies.

Exit times for some processes with normally distributed noise

Denna avhandling handlar om metoder för att hitta begränsningar för det asymptotiska beteendet hos en förväntad uthoppstid från ett område omkring en xpunkt för processer som har normalfördelad störning. I huvudsak behandlas olika typer av autoregressiva processer. Fyra olika metoder används. En metod som använder principen för stora avvikelser samt en metod som jämför uthoppstiden med en återkomsttid ger övre begränsningar för den förväntade uthoppstiden. En martingalmetod och en metod för normalfördelade stokastiska variabler ger undre begränsningar. Metoderna har alla både förtjänster och nackdelar. Genom att kombinera de olika metoderna får man de bästa resultaten. Vi får fram gränsvärdet för det asymptotiska beteendet hos en uthoppstid för den multivariata autoregressiva processen, samt motsvarande gränsvärde för den univariata autoregressiva processen av ordning n.

Zinc accumulation in phosphate granules of Ucides cordatus hepatopancreas

Amorphous phosphate granules are present in vertebrate and invertebrate organisms. The functions attributed to these structures depend on their mineral contents and organic matrix composition. In the present study we have determined zinc concentrations in the hepatopancreas of the crab Ucides cordatus from regions contaminated with zinc, and the elemental composition of hepatopancreal phosphate granules. Organisms were collected from the contaminated areas of Sepetiba Bay (SB) and Guanabara Bay (GB), and from a non-contaminated area, Ribeira Bay (RB). The first two sites are located near the metropolitan region of Rio de Janeiro city, Brazil. Atomic absorption spectroscopy (AAS) showed a significant difference (P<0.05) for zinc concentration in the hepatopancreas from organisms collected at the contaminated sites GB (210 ± 20 µg/g dry weight) and SB (181 ± 16 µg/g dry weight) compared to the non-contaminated site RB (76 ± 14 µg/g dry weight). Phosphate granules isolated from hepatopancreatic tissue were studied by electron diffraction (ED), energy dispersive X-ray analysis (EDX) and electron spectroscopic imaging (ESI). ED of granules presented no diffraction spots, indicating that these structures are in an amorphous state, while EDX of granules isolated from a contaminated area contained P, Ca and Zn. Mg, Cl and Fe were also found in some of the spectra. ESI showed that O, P and Ca were colocalized in the mineralized layers of most granules observed. The correlation between the results obtained by AAS and those obtained by microanalytical techniques suggests that the hepatopancreatic granules of U. cordatus may be related to the phenomenon of heavy metal retention.

Spectroscopic Studies of III-V Semiconductor Materials for Improved Devices

Defects in semiconductor crystals and at their interfaces usually impair the properties and the performance of devices. These defects include, for example, vacancies (i.e., missing crystal atoms), interstitials (i.e., extra atoms between the host crystal sites), and impurities such as oxygen atoms. The defects can decrease (i) the rate of the radiative electron transition from the conduction band to the valence band, (ii) the amount of charge carriers, and (iii) the mobility of the electrons in the conduction band. It is a common situation that the presence of crystal defects can be readily concluded as a decrease in the luminescence intensity or in the current flow for example. However, the identification of the harmful defects is not straightforward at all because it is challenging to characterize local defects with atomic resolution and identification. Such atomic-scale knowledge is however essential to find methods for reducing the amount of defects in energy-efficient semiconductor devices. The defects formed in thin interface layers of semiconductors are particularly difficult to characterize due to their buried and amorphous structures. Characterization methods which are sensitive to defects often require well-defined samples with long range order. Photoelectron spectroscopy (PES) combined with photoluminescence (PL) or electrical measurements is a potential approach to elucidate the structure and defects of the interface. It is essential to combine the PES with complementary measurements of similar samples to relate the PES changes to changes in the interface defect density. Understanding of the nature of defects related to III-V materials is relevant to developing for example field-effect transistors which include a III-V channel, but research is still far from complete. In this thesis, PES measurements are utilized in studies of various III-V compound semiconductor materials. PES is combined with photoluminescence measurements to study the SiO2/GaAs, SiNx/GaAs and BaO/GaAs interfaces. Also the formation of novel materials InN and photoluminescent GaAs nanoparticles are studied. Finally, the formation of Ga interstitial defects in GaAsN is elucidated by combining calculational results with PES measurements.

On Distributed Storage Codes

Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are many kinds of solutions for storing the information into distributed devices regarding the needs of the system designer. This thesis studies the questions of designing such storage systems and also fundamental limits of such systems. Namely, the subjects of interest of this thesis include heterogeneous distributed storage systems, distributed storage systems with the exact repair property, and locally repairable codes. For distributed storage systems with either functional or exact repair, capacity results are proved. In the case of locally repairable codes, the minimum distance is studied. Constructions for exact-repairing codes between minimum bandwidth regeneration (MBR) and minimum storage regeneration (MSR) points are given. These codes exceed the time-sharing line of the extremal points in many cases. Other properties of exact-regenerating codes are also studied. For the heterogeneous setup, the main result is that the capacity of such systems is always smaller than or equal to the capacity of a homogeneous system with symmetric repair with average node size and average repair bandwidth. A randomized construction for a locally repairable code with good minimum distance is given. It is shown that a random linear code of certain natural type has a good minimum distance with high probability. Other properties of locally repairable codes are also studied.

Atomic Force Microscopy Investigation of NI Particles Deposited on Porous Silicon

In this thesis properties and influence of modification techniques of porous silicon were studied by Atomic Force Microscope (AFM). This device permits to visualize the surface topography and to study properties of the samples on atomic scale, which was necessary for recent investigation. Samples of porous silicon were obtained by electrochemical etching. Nickel particles were deposited by two methods: electrochemical deposition and extracting from NiCl2 ethanol solution. Sample growth was conducted in Saint-Petersburg State Electrotechnical University, LETI. Kelvin probe force microscopy (KPFM) and Magnetic force microscopy (MFM) were utilized for detailed information about surface properties of the samples. Measurements showed the difference in morphology correlating with initial growth conditions. Submicron size particles were clearly visible on surfaces of the treated samples. Although their nature was not clarified due to limitations of AFM technique. It is expected that surfaces were covered by nanometer scale Ni particles, which can be verified by implication of RAMAN device.

Roll-to-roll atomic layer deposition process for flexible electronics applications

Atomic Layer Deposition (ALD) is the technology of choice where very thin and highquality films are required. Its advantage is its ability to deposit dense and pinhole-free coatings in a controllable manner. It has already shown promising results in a range of applications, e.g. diffusion barrier coatings for OLED displays, surface passivation layers for solar panels. Spatial Atomic Layer Deposition (SALD) is a concept that allows a dramatic increase in ALD throughput. During the SALD process, the substrate moves between spatially separated zones filled with the respective precursor gases and reagents in such a manner that the exposure sequence replicates the conventional ALD cycle. The present work describes the development of a high-throughput ALD process. Preliminary process studies were made using an SALD reactor designed especially for this purpose. The basic properties of the ALD process were demonstrated using the wellstudied Al2O3 trimethyl aluminium (TMA)+H2O process. It was shown that the SALD reactor is able to deposit uniform films in true ALD mode. The ALD nature of the process was proven by demonstrating self-limiting behaviour and linear film growth. The process behaviour and properties of synthesized films were in good agreement with previous ALD studies. Issues related to anomalous deposition at low temperatures were addressed as well. The quality of the coatings was demonstrated by applying 20 nm of the Al2O3 on to polymer substrate and measuring its moisture barrier properties. The results of tests confirmed the superior properties of the coatings and their suitability for flexible electronics encapsulation. Successful results led to the development of a pilot scale roll-to-roll coating system. It was demonstrated that the system is able to deposit superior quality films with a water transmission rate of 5x10-6 g/m2day at a web speed of 0.25 m/min. That is equivalent to a production rate of 180 m2/day and can be potentially increased by using wider webs. State-of-art film quality, high production rates and repeatable results make SALD the technology of choice for manufacturing ultra-high barrier coatings for flexible electronics.

Load balancing in P2P smartphone based distributed IoT systems

With the new age of Internet of Things (IoT), object of everyday such as mobile smart devices start to be equipped with cheap sensors and low energy wireless communication capability. Nowadays mobile smart devices (phones, tablets) have become an ubiquitous device with everyone having access to at least one device. There is an opportunity to build innovative applications and services by exploiting these devices’ untapped rechargeable energy, sensing and processing capabilities. In this thesis, we propose, develop, implement and evaluate LoadIoT a peer-to-peer load balancing scheme that can distribute tasks among plethora of mobile smart devices in the IoT world. We develop and demonstrate an android-based proof of concept load-balancing application. We also present a model of the system which is used to validate the efficiency of the load balancing approach under varying application scenarios. Load balancing concepts can be apply to IoT scenario linked to smart devices. It is able to reduce the traffic send to the Cloud and the energy consumption of the devices. The data acquired from the experimental outcomes enable us to determine the feasibility and cost-effectiveness of a load balanced P2P smart phone-based applications.

Optimization and validation of a methodology to determine total arsenic, As(III) and As(V), in water samples, through graphite furnace atomic absorption spectrometry

The Graphite furnace atomic absorption spectrometry (GF AAS) was the technique chosen by the inorganic contamination laboratory (INCQ/ FIOCRUZ) to be validated and applied in routine analysis for arsenic detection and quantification. The selectivity, linearity, sensibility, detection, and quantification limits besides accuracy and precision parameters were studied and optimized under Stabilized Temperature Platform Furnace (STPF) conditions. The limit of detection obtained was 0.13 µg.L-1 and the limit of quantification was 1.04 µg.L-1, with an average precision, for total arsenic, less than 15% and an accuracy of 96%. To quantify the chemical species As(III) and As(V), an ion-exchange resin (Dowex 1X8, Cl- form) was used and the physical-chemical parameters were optimized resulting in a recuperation of 98% of As(III) and of 90% of As(V). The method was applied to groundwater, mineral water, and hemodialysis purified water samples. All results obtained were lower than the maximum limit values established by the legal Brazilian regulations, in effect, 50, 10, and 5 µg.L-1 para As total, As(III) e As(V), respectively. All results were statistically evaluated.

Energy Management System for LVDC Island Networks

Recent developments in power electronics technology have made it possible to develop competitive and reliable low-voltage DC (LVDC) distribution networks. Further, islanded microgrids—isolated small-scale localized distribution networks— have been proposed to reliably supply power using distributed generations. However, islanded operations face many issues such as power quality, voltage regulation, network stability, and protection. In this thesis, an energy management system (EMS) that ensures efficient energy and power balancing and voltage regulation has been proposed for an LVDC island network utilizing solar panels for electricity production and lead-acid batteries for energy storage. The EMS uses the master/slave method with robust communication infrastructure to control the production, storage, and loads. The logical basis for the EMS operations has been established by proposing functionalities of the network components as well as by defining appropriate operation modes that encompass all situations. During loss-of-powersupply periods, load prioritizations and disconnections are employed to maintain the power supply to at least some loads. The proposed EMS ensures optimal energy balance in the network. A sizing method based on discrete-event simulations has also been proposed to obtain reliable capacities of the photovoltaic array and battery. In addition, an algorithm to determine the number of hours of electric power supply that can be guaranteed to the customers at any given location has been developed. The successful performances of all the proposed algorithms have been demonstrated by simulations.