Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Application of FTA and the perceived impact on employment policies: the case of nanotechnology in the Netherlands, Germany and Portugal

In this paper we will analyse the usage of FTA to support decision-making in employment policy relate to specific occupational groups. The examples can be better understood if one focus on the nanotechnology and its implications on some sectors (clothing, bio-medical engineering, micro-electronics). When this is done will be clear which occupations will engage a restructuring process (engineers, specialised technicians, qualified machine operators, quality controllers) and what policies are being designed to cope with it. This means toward which extend social partners have driven specific policies on these issues (focused in their sectors).

Assessment of climate change statistical downscaling methods: Application and comparison of two statistical methods to a single site in Lisbon

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente

Orchestration of heterogeneous middleware services and its application to a comand and control platform

MSC Dissertation in Computer Engineering

SmART: an application reconfiguration framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Non-volatile analysis in fruits by laser resonant ionization spectrometry: application to resveratrol (3,5,4 -trihydroxystilbene) in grapes

Applied Physics B Lasers and Optics, vol.71

Is ambient intelligence a truly human-centric paradigm in industry? Current research and application scenario

Based on the paper presented at the International Conference “Autonomous Systems: inter-relations of technical and societal issues”, organized by IET with the support of the Portuguese-German collaboration project on “Technology Assessment of Autonomous Robotics” (DAAD/CRUP) at FCT-UNL, Biblioteca da UNL, Campus de Caparica on 5-6 November 2009.

Anatase as an alternative application for preventing biodeterioration of mortars: evaluation and comparison with other biocides

International Biodeterioration & Biodegradation 64(2010)388 e 396

La biochronologie des Mammifères néogènes d'Europe. L'échelle MN, son application à la succession des faunes du Portugal

Similarly to other organisms, Vertebrates changed during the Cenozoic Era. Mammals are the only ones to change quickly; their well mineralised bones and teeth are often fossilised. They are highly diverse and even isolated teeth can be identified. They are thus a good tool for establishing a biochronological framewoork. Among Mammals, Rodents with a short lifetime evolve more quickly than the large Mammals. In Europe, the first elaborated zonation was investigated by the Regional Committee on Neogene Stratigraphy and issued as the MN Zonation (Mammals Neogene) by Mein, 1976. During the following years, progress in knowledge lead to new charts. The latest one resulted from collective work (de Bruijn et al., 1992). Bîochronology gives relative data; if we desire to have numerical age estimates, we must correlate these results with radiometrie data, marine biostratigraphîcal units or the Geomagnetic Polarity Time Scale. For Europe, these results are summarised by Steininger et al. (1989-1996) and Steininger (1999). After some recents developments on MN Zonation, here is discussed the succession of Neogene small mammals Portuguese localities. Fortunately these localities are in majority inbedded in marine context. Their assigment to MN Zones is proposed and correlations with the spanish Aragonian Scale (Daams el al., 1999) are also suggested. In fact, some differences appear between Portugal and Aragonian assemblages, probably for ecological reasons. Therefore, the MN zonation is always useful for short and long distance biochronological correlations.

EcoTerra Model - application of environmental fiscal reform in local government financing in Portugal

Critical Issues in Environmental Taxation: International and Comparative Perspectives: Volume VI, 699-715

Application de connaissances terminologiques dans le cadre de l'enseignement du Français langue etrangère I et II

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Terminologia

Sigla WEBGIS portal: an open source Web-based GIS application for the portuguese bluetongue Entomologiacal surveillance program.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Application of the EcoBlock method to eco-design - electric hand dryers versus paper towels

Sustainable Construction, Materials and Practice, p. 426-432

Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics