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.

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

Factorization of elliptic boundary value problems by invariant embedding and application to overdetermined problems

Dissertação para obtenção do Grau de Doutor em Matemática

Benchmarking in primary health care: An application of the stochasticd frontier analysis and the grades of membership approach to Portuguese family health units

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

Spray coating of oxide and chalcogenide semiconductor layers for TFT application

This work documents the deposition and optimization of semiconductor thin films using chemical spray coating technique (CSC) for application on thin-film transistors (TFTs), with a low-cost, simple method. CSC setup was implemented and explored for industrial application, within Holst Centre, an R&D center in the Netherlands. As zinc oxide had already been studied within the organization, it was used as a standard material in the initial experiments, obtaining typical mobility values of 0.14 cm2/(V.s) for unpatterned TFTs. Then, oxide X layer characteristics were compared for films deposited with CSC at 40°C and spin-coating. The mobility of the spin-coated TFTs was 103 cm2/(V.s) higher, presumably due to the lack of uniformity of spray-coated film at such low temperatures. Lastly, tin sulfide, a relatively unexplored material, was deposited by CSC in order to obtain functional TFTs and explore the device’s potential for working as a phototransistor. Despite the low mobilities of the devices, a sensitive photodetector was made, showing drain current variation of nearly one order of magnitude under yellow light. CSC technique’s simplicity and versatility was confirmed, as three different semiconductors were successfully implemented into functional devices.

Development and validation of gold nanoprobes for human SNP detection towards commercial application

Conventional molecular techniques for detection and characterization of relevant nucleic acid (i.e. DNA) sequences are, nowadays, cumbersome, expensive and with reduced portability. The main objective of this dissertation consisted in the optimization and validation of a fast and low-cost colorimetric nanodiagnostic methodology for the detection of single nucleotide polymorphisms (SNPs). This was done considering SNPs associated to obesity of commercial interest for STAB VIDA, and subsequent evaluation of other clinically relevant targets. Also, integration of this methodology into a microfluidic platform envisaging portability and application on points-of-care (POC) was achieved. To warrant success in pursuing these objectives, the experimental work was divided in four sections: i) genetic association of SNPs to obesity in the Portuguese population; ii) optimization and validation of the non-cross-linking approach for complete genotype characterization of these SNPs; iii) incorporation into a microfluidic platform; and iv) translation to other relevant commercial targets. FTO dbSNP rs#:9939609 carriers had higher body mass index (BMI), total body fat mass, waist perimeter and 2.5 times higher risk to obesity. AuNPs functionalized with thiolated oligonucleotides (Au-nanoprobes) were used via the non-cross-linking to validate a diagnostics approach against the gold standard technique - Sanger Sequencing - with high levels of sensitivity (87.50%) and specificity (91.67%). A proof-of-concept POC microfluidic device was assembled towards incorporation of the molecular detection strategy. In conclusion a successful framework was developed and validated for the detection of SNPs with commercial interest for STAB VIDA, towards future translation into a POC device.