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.

Phase behaviour of alternative solvents

Dissertation presented to obtain the Ph.D. degree in Chemistry (Physical Chemistry) at the Instituto de Tecnologia Química e Biológica da Universidade Nova de Lisboa

Medium-short-term and repetition effects of advergames on children consumer behaviour

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Risky behaviour and HIV/AIDS-related stigma in Zimbabwe

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Pozzolanic components in lime mortars: correlating behaviour, composition and microstructure.

Int. J. for Restoration of Buildings and Monuments, vol.11, nº 2 (2005), p.111-118

Long-term behaviour of railway transitions under dynamic loading application to soft soil sites

Dissertação para obtenção do Grau de Doutor em Engenharia Civil

Children consumer behaviour field lab: The Nestum consumer

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

The influence of brick residues in the behaviour of lime mortars

XXXVI IAHS World Congress on Housing - National Housing Programs-New Visions, November 03–07, 2008, Kolkata, India

Dissolved organic nitrogen behaviour during denitrification with suspended and attached biomass

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil Engenharia Sanitária

Corporate social responsible behaviour in the financial industry

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Lime mortars with ceramic wastes: characterization of components and their influence on the mechanical behaviour

Considering the fundamental importance of preserving the built heritage and of ensuring the good performance achieved by incorporating ceramic particles in lime mortars in ancient times, it is important to study solutions that use materials the available today, in order to produce mortars intended to repair and replace the old ones. Solutions incorporating industrial ceramic waste might be profitable for several reasons, namely for economic, environmental and technical aspects. In this paper, seven ceramic waste products collected from ceramics factories are characterized. Their mineralogy, dimensional features and pozzolanicity were determined. Three of these products, with different particle size fractions (obtained directly from milling, dust only and fragment fractions only), were selected, incorporated into air lime mortars, and their mechanical strength was determined. In the present work, evidence of mechanical efficiency, when common sand or air lime were partially replaced by ceramic wastes, was made clear, drawing attention to the sustainability of this type of mortars, hence, encouraging further research.

Hygrothermal behaviour of earthen plasters for sustainable housing construction

A ready-mixed and several laboratory formulated mortars were produced and tested in fresh state and after hardening, simulating a masonry plaster for indoor application. All the mortars used a clayish earth from the same region and different compositions of aggregates, eventually including fibres and a phase change material. All the formulated mortars were composed by 1:3 volumetric proportions of earth and aggregate. Tests were developed for consistency, fresh bulk density, thermal conductivity, capillary absorption and drying, water vapour permeability and sorption-desorption. The use of PCM changed drastically the workability of the mortars and increased their capillary absorption. The use of fibres and variations on particle size distribution of the mixtures of sand that were used had no significant influence on tested properties. But particularly the good workability of these mortars and the high capacity of sorption and desorption was highlighted. With this capacity plasters made with these mortars are able to adsorb water vapour from indoor atmosphere when high levels of relative humidity exist and release water vapour when the indoor atmosphere became too dry. This fact makes them able to contribute passively for a healthier indoor environment. The technical, ecological and environmental advantages of the application of plasters with this type of mortars are emphasized, with the aim of contributing for an increased use for new or existent housing.

Determinants of Portuguese bank’s provisioning policies: Discretionary behaviour of generic and specific allowances

In this paper we test for the impact of the regulatory environment on a bank’s discretionary provisioning practices. We develop a model that structures the dynamics of the provision policy for the two classes of provisions: generic provisions and specific provisions. The model is tested using a comprehensive database of all financial institutions operating in Portugal for 1990-2000. This unique dataset comprises banks subject to the Portuguese rules as well as bank subsidiaries subject to their home-country regulation and we were able to identify distinct behaviours between them. Our results show the importance of handling he two types of provisions separately. They support the hypothesis that banks have a discretionary behaviour in setting up their provisions, and find evidence of income smoothing and capital management. We also find that the regulatory regime impacts on discretionary provisioning policies because banks when forced to increase one type of provision react by reducing the iscretionary component of the other, a finding we designated as a substitution effect.

Essays in health economics: Volume-Outcome Effect, upcoding behaviour and the evaluation of a short-term intervention program

Evidence in the literature suggests a negative relationship between volume of medical procedures and mortality rates in the health care sector. In general, high-volume hospitals appear to achieve lower mortality rates, although considerable variation exists. However, most studies focus on US hospitals, which face different incentives than hospitals in a National Health Service (NHS). In order to add to the literature, this study aims to understand what happens in a NHS. Results reveal a statistically significant correlation between volume of procedures and better outcomes for the following medical procedures: cerebral infarction, respiratory infections, circulatory disorders with AMI, bowel procedures, cirrhosis, and hip and femur procedures. The effect is explained with the practice-makes-perfect hypothesis through static effects of scale with little evidence of learning-by-doing. The centralization of those medical procedures is recommended given that this policy would save a considerable number of lives (reduction of 12% in deaths for cerebral infarction).

Analysis of chromium behaviour and speciation during the electrodialytic process

The interest in chromium (Cr) arises from the widespread use of this heavy metal in various industrial processes that cause its release as liquid, solid and gaseous waste into the environment. The impact of Cr on the environment and living organisms primarily depends on its chemical form, since Cr(III) is an essential micronutrient for humans, other animals and plants, and Cr(VI) is highly toxic and a known human carcinogen. This study aimed to evaluate if the electrodialytic process (ED) is an appropriate treatment for Cr removal, through a critical overview of Cr speciation, before and after the ED experiments, to assess possible Cr(III)-Cr(VI) interconversions during the treatment. ED was the treatment technique applied to two types of matrices containing Cr: chromate copper arsenate (CCA) contaminated soil and municipal solid waste incineration (MSWI) fly ash. In order to study Cr remediation, three EDR set-ups were used: a new set-up, the combined cell (2/3C or 3/2C), with three compartments, alternating current between two anodes and different initial experimental conditions, one set-up with three compartments (3C cell) and the other set-up with two compartments (2C cell). The Cr removal rates obtained in this study were between 10-36% for the soil, and 1-13% for the fly ash. The highest Cr removal rates were achieved in the 26 days experiments: 36% for the soil, 13% for the fly ash. Regarding the 13 days experiments, the highest Cr removal rates were attained with the 2/3C set-up: 24% for the soil, 5% for the fly ash. The analysis of Cr(VI) was performed before and after ED experiments to evaluate eventual changes in Cr speciation during the treatment. This analysis was conducted by two methods: USEPA Method 3060A, for the extraction of Cr(VI); and Hach Company Method 8023, for the detection of Cr(VI). Despite the differences in Cr total concentration, both matrices presented a similar speciation, with Cr(III) being the main species found and Cr(VI) less than 3% of Cr total, before and after the treatment. For fly ash, Cr(VI) was initially below the detection limit of the method and remained that way after the treatment. For soil, Cr(VI) decreased after the treatment. Oxidation of Cr(III) to Cr(VI) did not occur during the ED process since there was no increase in Cr(VI) in the matrices after the treatment. Hence, the results of this study indicate that ED is an appropriate technique to remediate matrices containing Cr because it contributes to Cr removal, without causing Cr(III)-Cr(VI) interconversions.