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.

Studies on the wine spoilage yeast Brettanomyces bruxellensis: 4-ethylphenol production and improved detection

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Establishing a cell biology platform: isolation and preservation of human blood products

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Geospatial assessment of pest-induced forest damage through the use of UAV-bases NIR imaging and Gi-technology

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Evolution of Teeth and Quadrate in Non-avian Theropoda (Dinosauria: Saurischia), with the Description of Torvosaurus Remains from Portugal

Theropods form a highly successful and morphologically diversified group of dinosaurs that gave rise to birds. They include most, if not all, carnivorous dinosaurs, yet many theropod clades were secondarily adapted to piscivory, omnivory and herbivory, and theropods show a large array of skull and dentition morphologies. This work aims to investigate aspects of the evolution of theropod dinosaurs by analyzing in detail both the anatomy and ontogeny of teeth and quadrates in non-avian theropods, and by studying embryonic and adult material of a new species of theropod. A standardized list of terms and notations for each anatomical entity of the tooth, quadrate, and maxilla is here proposed with the goal of facilitating descriptions of these important cranial and dental elements. The distribution of thirty dental characters among 113 theropod taxa is investigated, and a list of diagnostic dental characters is proposed. As an example, four isolated theropod teeth from the Lourinhã Formation (Kimmeridgian‒Tithonian) of Portugal are described and identified based on a cladistic analysis performed on a data matrix of 141 dentition-based characters coded in 60 taxa. Two shed teeth are referred to an abelisaurid, providing the first record of Abelisauridae in the Jurassic of Laurasia and the one of the oldest records of this clade in the world, suggesting a possible radiation of Abelisauridae in Europe well before the Upper Cretaceous. The consensus tree resulting from this phylogenetic analysis, the most extensive on theropod teeth, indicates that theropod teeth provide reliable data for identification at approximately family level, and this method will help identifying theropod teeth with more confidence. A detailed description of the dentition of Megalosauridae is also provided, and a discriminant analysis performed on a dataset of numerical data collected on the teeth of 62 theropod taxa reveals that megalosaurid teeth are hardly distinguishable from other theropod clades with ziphodont dentition. This study highlights the importance of detailing anatomical descriptions and providing additional morphometric data on teeth with the purpose of helping to identify isolated theropod teeth. In order to evaluate the phylogenetic potential and investigate the evolutionary transformations of the quadrate, a phylogenetic morphometric analysis as well as a cladistic analysis using 98 discrete quadrate related characters were conducted. The quadrate morphology by its own provides a wealth of data with strong phylogenetic signal, and the phylogenetic morphometric analysis reveals two main morphotypes of the mandibular articulation of the quadrate linked to function. As an example, six isolated quadrates from the Kem Kem beds (Cenomanian) of Morocco are determined to be from juvenile and adult individuals of Spinosaurinae based on phylogenetic, morphometric, and phylogenetic morphometric analyses. Morphofunctional analysis of the spinosaurid mandibular articulation has shown that the posterior parts of the two mandibular rami displaced laterally when the jaw was depressed due to a mediolaterally oriented intercondylar sulcus of the quadrate. Such lateral movement of the mandibular ramus was possible due to a movable mandibular symphysis in spinosaurids, allowing the pharynx to be widened. A new species of theropod from the Lourinhã Formation of Portugal, Torvosaurus gurneyi, is erected based on a right maxilla and an incomplete caudal centrum. This taxon supports the mechanism of vicariance that occurred in the Iberian Meseta during the Late Jurassic when the proto-Atlantic was already well formed. A theropod clutch containing several crushed eggs and embryonic material is also assigned to this new species of Torvosaurus. Investigation on the maxilla ontogeny in basal tetanurans reveals that crown denticles, elongation of the anterior ramus, and fusion of interdental plates appear at a posthatchling stage. On the other hand, maxillary pneumaticity is already present at an embryonic stage in non-avian theropods.