Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Febrifugine derivative antimalarial activity: quantum mechanical predictors

Plasmodium falciparum resistant strain development has encouraged the search for new antimalarial drugs. Febrifugine is a natural substance with high activity against P. falciparum presenting strong emetic property and liver toxicity, which prevent it from being used as a clinical drug. The search for analogues that could have a better clinical performance is a current topic. We aim to investigate the theoretical electronic structure by means of febrifugine derivative family semi-empirical molecular orbital calculations, seeking the electronic indexes that could help the design of new efficient derivatives. The theoretical results show there is a clustering in well-defined ranges of several electronic indexes of the most selective molecules. The model proposed for achieving high selectivity was tested with success.

Quantum dots: synthesis, functionalization and bioconjugation for biological applications

Dissertation presented to obtain the Ph.D degree in Engineering Sciences and Technology

Electrochemical and quantum chemical investigations of the insecticide fipronil.

This work describes an electrochemical and quantum chemical investigation of the fipronil insecticide. Cyclic voltammetry (CV) and square wave voltammetry (SWV) experiments were performed over a graphite-polyurethane (GPU) composite electrode. The fipronil molecule presents an one?electron irreversible oxidation reaction. Profiting the SWV signal a square wave stripping voltammetry (SWSV) procedure to determine the fipronil molecule in a 0.10 mol L-1 Britton-Robinson buffer solution, pH 8.0 was developed with accumulation potential and time of 0.50 V and 120 s, respectively. The limits of detection and quantification were 0.80 and 2.67 ?g L-1, respectively. Recovery tests were performed in three natural waters samples with values ranging from 99.67 to 101.37%. Quantum chemical studies showed that the nitrogen atom of the pyrazole group is the most probable oxidation site of the fipronil molecule.

Diallelic analysis to obtain cowpea (Vigna unguiculata L. Walp.) populations tolerant to water deficit.

The purpose of this study was to identify parents and obtain segregating populations of cowpea (Vigna unguiculata L. Walp.) with the potential for tolerance to water deficit. A full diallel was performed with six cowpea genotypes, and two experiments were conducted in Teresina, PI, Brazil in 2011 to evaluate 30 F2 populations and their parents, one under water deficit and the other under full irrigation.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Solution processed quantum dot photodetectors

To find sustainable solutions for the production of energy, it is necessary to create photovoltaic technologies that make every photon count. To pursue this necessity, in the present work photodetectors of zinc oxide embedded with nano-structured materials, that significantly raise the conversion of solar energy to electric energy, were developed. The novelty of this work is on the development of processing methodologies in which all steps are in solution: quantum dots synthesis, passivation of their surface and sol-gel deposition. The quantum dot solutions with different capping agents were characterized by UVvisible absorption spectroscopy, spectrofluorimetry, dynamic light scattering and transmission electron microscopy. The obtained quantum dots have dimensions between 2 and 3nm. These particles were suspended in zinc acetate solutions and used to produce doped zinc oxide films with embedded quantum dots, whose electric response was tested. The produced nano-structured zinc oxide materials have a superior performance than the bulk, in terms of the produced photo-current. This indicates that an intermediate band material should have been produced that acts as a photovoltaic medium for solar cells. The results are currently being compiled in a scientific article, that is being prepared for possible submission to Energy and Environmental Science or Nanoscale journals.

Minimal computation structures for visual information applications based on printed electronics

In the early nineties, Mark Weiser wrote a series of seminal papers that introduced the concept of Ubiquitous Computing. According to Weiser, computers require too much attention from the user, drawing his focus from the tasks at hand. Instead of being the centre of attention, computers should be so natural that they would vanish into the human environment. Computers become not only truly pervasive but also effectively invisible and unobtrusive to the user. This requires not only for smaller, cheaper and low power consumption computers, but also for equally convenient display solutions that can be harmoniously integrated into our surroundings. With the advent of Printed Electronics, new ways to link the physical and the digital worlds became available. By combining common printing techniques such as inkjet printing with electro-optical functional inks, it is starting to be possible not only to mass-produce extremely thin, flexible and cost effective electronic circuits but also to introduce electronic functionalities into products where it was previously unavailable. Indeed, Printed Electronics is enabling the creation of novel sensing and display elements for interactive devices, free of form factor. At the same time, the rise in the availability and affordability of digital fabrication technologies, namely of 3D printers, to the average consumer is fostering a new industrial (digital) revolution and the democratisation of innovation. Nowadays, end-users are already able to custom design and manufacture on demand their own physical products, according to their own needs. In the future, they will be able to fabricate interactive digital devices with user-specific form and functionality from the comfort of their homes. This thesis explores how task-specific, low computation, interactive devices capable of presenting dynamic visual information can be created using Printed Electronics technologies, whilst following an approach based on the ideals behind Personal Fabrication. Focus is given on the use of printed electrochromic displays as a medium for delivering dynamic digital information. According to the architecture of the displays, several approaches are highlighted and categorised. Furthermore, a pictorial computation model based on extended cellular automata principles is used to programme dynamic simulation models into matrix-based electrochromic displays. Envisaged applications include the modelling of physical, chemical, biological, and environmental phenomena.

Ontology-based representation and generation of workflows for micro-task human-machine computation

Doctoral Program in Computer Science

Combining data mining and evolutionary computation for multi-criteria optimization of earthworks

Earthworks tasks aim at levelling the ground surface at a target construction area and precede any kind of structural construction (e.g., road and railway construction). It is comprised of sequential tasks, such as excavation, transportation, spreading and compaction, and it is strongly based on heavy mechanical equipment and repetitive processes. Under this context, it is essential to optimize the usage of all available resources under two key criteria: the costs and duration of earthwork projects. In this paper, we present an integrated system that uses two artificial intelligence based techniques: data mining and evolutionary multi-objective optimization. The former is used to build data-driven models capable of providing realistic estimates of resource productivity, while the latter is used to optimize resource allocation considering the two main earthwork objectives (duration and cost). Experiments held using real-world data, from a construction site, have shown that the proposed system is competitive when compared with current manual earthwork design.

Secure multiParty computation protocols

Dissertação de Mestrado em Engenharia Informática

Abstract computation in schizophrenia detection through artificial neural network based systems

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the main problem with identifying schizophrenia is the difficulty to distinguish its symptoms from those associated to different untidiness or roles. Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.

Effect of polymeric matrix on morphology and photoelectric properties of polymer-quantum dots nanocomposites

Recently, CdTe semiconductor quantum dots (QDs) have attracted great interest due to their unique properties [1]. Their dispersion into polymeric matrices would be very for several optoelectronics applications. Despite its importance, there has been relatively little work done on charge transport in the QD polymeric films [2], which is mainly affected by their structural and morphological properties. In the present work, polymer-quantum dot nanocomposites films based on optically transparent polymers in the visible spectral range and CdTe QDs with controlled particle size and emission wavelength, were prepared via solvent casting. Photoluminescent (PL) measurements indicate different emission intensity of the nanocomposites. A blue shift of the emission peak compared to that of QDs in solution occurred, which is attributed to the QDs environment changes. The morphological and structural properties of the CdTe nanocomposites were evaluated. Since better QDs dispersion was achieved, PMMA seemed to be the most promising matrix. Electrical properties measurements indicate an ohmic behavior.

Design of assemblies based on polymer-coated quantum dots and organic dye

During last years, photophysical properties of complexes of semiconductor quantum dots (QDs) with organic dyes have attracted increasing interest. The development of different assemblies based on QDs and organic dyes allows to increase the range of QDs applications, which include imaging, biological sensing and electronic devices.1 Some studies demonstrate energy transfer between QDs and organic dye in assemblies.2 However, for electronic devices purposes, a polymeric matrix is required to enhance QDs photostability. Thus, in order to attach the QDs to the polymer surface it is necessary to chemically modify the polymer to induce electronic charges and stabilize the QDs in the polymer. The present work aims to investigate the design of assemblies based on polymer-coated QDs and an integrated acceptor organic dye. Polymethylmethacrylate (PMMA) and polycarbonate (PC) were used as polymeric matrices, and nile red as acceptor. Additionally, a PMMA matrix modified with 2-mercaptoethylamine is used to improve the attachment between both the donor (QDs) and the acceptor (nile red), as well as to induce a covalent bond between the modified PMMA and the QDs. An enhancement of the energy transfer efficiency by using the modified PMMA is expected and the resulting assembly can be applied for energy harvesting.

Strain induced edge magnetism at zigzag edge of a graphene quantum dot

We study the temperature dependent magnetic susceptibility of a strained graphene quantum dot by using the determinant quantum Monte Carlo method. Within the Hubbard model on a honeycomb lattice, our unbiased numerical results show that a relative small interaction $U$ may lead to a edge ferromagnetic like behavior in the strained graphene quantum dot, and a possible room temperature transition is suggested. Around half filling, the ferromagnetic fluctuations at the zigzag edge is strengthened both markedly by the on-site Coulomb interaction and the strain, especially in low temperature region. The resultant strongly enhanced ferromagnetic like behavior may be important for the development of many applications.