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.

Nouvelles données sur la datation des dépôts miocènes de l’Algarve (Portugal), et l’évolution géologique regionale

This paper presents a resume of the results achieved by researchers of the Centro de Estratigrafia e Paleobiologia da U. N. L. on the Neogene of Algarve, since 1977. The detailed study of several profiles as well as that af calcareous nannoplanton, planktonic foraminifera, ostracoda, fishes and mammals allowed to obtain data and correlation elements leading to a new interpretation of the Miocene of Algarve. It was possible to date and to characterize the following units: a) Carbonate formation of Lagos-Portimão, of marine facies, ascribed to the Lower Miocene (Aquitanian? and mainly Burdigalian), possibly attaining the Lower Langhian. b) Essentially arenaceous series of continental facies with a marine intercalation of Arrifão, Olhos de Água and Auramar Hotel beach, middle Miocene (Langhian-Serravallian) in age. c) Marine (tripoli, conglomerates, sands and limestones) deposits of Tunes-Mem Moniz, Ponte das Lavadeiras (Faro), Arroteia (Fuzeta) and Luz de Tavira, corresponding, at least partially, to the first part of the upper Miocene (Lower Tortonian). d) Cacela formation with three members: The lower member (conglomerates and sands), the middle (yellow silts) and the upper ones (gray silts), uppermost Tortonian and mainly Messinian in age. An interpretation of the tectonic and paleogeographic evolution of the portuguese littoral during the Miocene is also presented considering its insertion in the meridional part of the Peninsula (Guadalquivir depression, Betic massif basins and in the spanish Levant in general). Comparisons among the Neogene vulcanism of this region and similar manifestations documented in Algarve (basanite of Figueira-Portimão, etc) are established.

Âges K-Ar de glauconites des environs de Luz de Tavira, Algarve

Glauconite K-Ar ages (6.88±0.4; 7.03±0.4 MY) confirm earlier reports to Upper Tortonian of silt beds near Morgadinho, Luz de Tavira and Tavira. Taking stratigraphical position and age into account it is possible now to correlate these beds with similar ones at Quelfes and Cacela (Formação de Cacela, lower member, ascribed to the upper part of N16 or to NI7 Blow's zone, Globorotalia humerosa - G. dutertrei; Tortonian to Messinian, according to the ostracod fauna). Limit between the above quoted zones is thus placed at about 7 MY. New K-Ar ages greatly improve the knowledge about Upper Miocene in eastern Algarve, and on regional tectonic evolution. This is particulary so in what concerns an intra-Tortonian phase.

Analyse paléoécologique des formations récifales du golfe de Skoura (bordure méridionale du sillon Sud rifain; SE de Fés; Maroc). Implications paléogéographiques: communications Atlantique - Méditerranée au Miocène Terminal

The reef levels of the gulf of Skoura belong to the reef formation of the Upper Miocene of the South-Rifan straits. A detailed analysis of the vertical distribution of various forms of colonies has led to the establishment of precise coral morphologies zonation. This palaeoecological approach leads us to distinguish between two environments in the Skoura gulf, probably corresponding to two reef episodes. The palaeogeographical implications (relationships between the Atlantic ocean and the Mediterranean sea) will be pointed out.

Répartition des foraminifères benthiques dans les gisements de surface du Miocène d'Aquitaine (SW de la France)

The Aquitaine Basin (southwestern France) is known since long ago for its richness in marine miocene deposits of various facies. A few stratotypes concerning this period have been described in the investigated area. The stratigraphical framework has been recently revised and the study of new exposures completes our knowledge on these levels. In the present work, the authors produce a biostratigraphical distribution of about 160 species (larger and smaller foraminifera), found in the surface exposures of Aquitaine, from the topmost Oligocene (Chattian) through to Middle Miocene (including Serravallian). As a rule, the common species without significant ranges have not bcen mentioned. The microfaunas of several exposures have been thoroughly revised, which has allowed to precise the distribution of many species and induced a few modifications of the results previously produced. Synonymy problems and new taxonomical revisions have been taken into account. Of course, this work will be probably submitted to some changes according to new research on the already known exposures or other more recently discovered.

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia do Ambiente, Gestão de Sistemas Ambientais

Water treatments in semi-closed cooling circuits and their impact on the quality of effluents discharged by CERN

Mestrado integrado em Engenharia do Ambiente, perfil: Gestão de Sistemas Ambientais

Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Low-voltage low-power CMOS analogue circuits for Gaussian and uniform noise generation

IEEE International Symposium on Circuits and Systems, MAY 25-28, 2003, Bangkok, Thailand. (ISI Web of Science)

La forme sonore des ancêtres. Phonogrammes et séquences-mémoires sonores chez les Bijagó (Guinée-Bissau)

Cahiers d'ethnomusicologie, V.22, pp. 223-237

Mots(dits) écrits:formes et valeurs de la diffusion des idées au 18ème siècle, au Portugal

Les rapports complexes entre les différentes façons de faire circuler les idées et les informations ne datent pas de nos jours. A toutes les époques, les messages qui circulent emploient toutes sortes de véhicules et de langages, très souvent complémentaires. Ces véhicules et ces langages n'ont peut-être rien d'extraordinaire. Ils appartiennent au monde des gestes de tous les jours, des gestes qui se répètent et dont la répétition est elle-même importante pour la construction du sens de chaque message. Ces gestes qui sont répétés, qui sont attendus et qui sont reconnus incluent des sons, des images, des comportements, des mots, ou des citations. Il y a donc un rapport qui s'y établit entre répétition et nouveauté, rapport dans lequel la répétition fournit chaque fois une nouvelle information, même si elle est déjà attendue, tandis que leur absence peut représenter l'anxiété, ou même le scandale.

Télédetection en milieu périurbain. Détection et localisation du changement de l'occupation du sol par intégration des donnés-satellite SPOT HRV dans un système d'information géographique

Thèse pour obtenir le grade de DOCTEUR DE L' UNIVERSITÉ PARIS XII, Discipline: Urbanisme Aménagement

Analyse paléoécologique des formations récifales du golfe de Skoura (bordure méridionale du sillon Sud rifain; SE de Fés; Maroc) implications paléogéographiques: communications Atlantique - Méditerranée au Miocène Terminal

The reef levels of the gulf of skoura belong to the reef formation of the Upper Miocene of the South-Rifan straits. A detailed analysis of the vertical distribution of various forms of colonies has led to the establishment of precise coral morphologies zonation. This palaeoecological approach leads us to distinguish between two environments in the Skoura gulf, probably corresponding to two reef episodes. The palaeogeographical implications (relationships between the Atlantic ocean and the Mediterranean sea) will be pointed out.

Répartition des foraminifères benthiques dans les gisements de surface du Miocène d'Aquitaine (SW de la France)

The Aquitaine Basin (southwestem France) is known since long ago for its richness in marine miocene deposits ofvarious facies. A few stratotypes concerning this period have bccn described in the investigated area. The stratigraphical framework has becn recently revised and the study of new exposures completes our knowledge on these levels. In the present work, the authors produce a biostratigraphical distribution of about 160 species (Iarger and smaller foraminifera), found in the surface exposures of Aquitaine, from the topmost Oligocene (Chattian) through to Middle Miocene (including Serravallian). As a rule, the common species without significant ranges have not bcen mentioned. The microfaunas of several exposures have been thoroughly revised, which has allowcd to precise the distribution of many species and induced a few modifications of the results previously produced. Synonymy problems and new taxonomical revisions have been taken into account. Of course, this work will be probably submitted to some changes according to new research on the already known exposures or other more recently discovered.

Nouvelles données sur le Miocène moyen marin ("Sallomacien") de Gironde (Bassin d'Aquitaine-France) Approche des paléoenvironnements New data about the maine Middle Miocene ("Sallomacian") of Gironde (Aquitaine Basin); paleoecological outline

The Mid Miocene marine formations of Salles area (former "Sallomacian" stage) have been studied again from numerous outcrops and cores. The deep structural framework influences notably of the characteristics and distribution of the deposits, which are neritic. The stratigraphy is stated precisely thanks to the planktonic fauna and floradetailed examination (probably Serravallian zones NN6 - N12). Several paleobiofacies are reconstituted from the rich invertebrate faunas, which give also paleoclimatic data.