On-line system for faults detection in induction motors based on PCA

Dissertation to obtain the degree of Master in Electrical and Computer Engineering

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.

Evolução tectónica mesozóica da Bacia Lusitaniana

The evolution of the Lusitanian Basin, localized on the western Iberian margin, is closely associated with the first opening phases of the North Atlantic. It persisted from the Late Triassic to the Early Cretaceous, more precisely until the end of the Early Aptian, and its evolution was conditioned by inherited structures from the variscan basement. The part played by the faults that establish its boundaries, as regards the geometric and kinematic evolution and the organization of the sedimentary bodies, is discussed here, as well as with respect to important faults transversal to the Basin. A basin evolution model is proposed consisting of four rifting episodes which show: i) periods of symmetrical (horst and graben organization) and asymmetrical (half graben organization) geometric evolution; ii) diachronous fracturing; iii) rotation of the main extensional direction; iv) rooting in the variscan basement of the main faults of the basin (predominantly thick skinned style). The analysis and regional comparison, particularly with the Algarve Basin, of the time intervals represented by important basin scale hiatuses near to the renovation of the rifting episodes, have led to assume the occurrence of early tectonic inversions (Callovian–Oxfordian and Tithonian–Berriasian). The latter, however, had a subsequent evolution distinct from the first: there is no subsidence renovation, which is discussed here, and it is related to a magmatic event. Although the Lusitanian Basin is located on a rift margin which is considered non-volcanic, the three magmatic cycles as defined by many authors, particularly the second (approx. 130 to 110 My ?), performed a fundamental part in the mobilization of the Hettangian evaporites, resulting in the main diapiric events of the Lusitanian Basin. The manner and time in which the basin definitely ends its evolution (Early Aptian) is discussed here. Comparisons are established with other west Iberian margin basins and with Newfoundland basins. A model of oceanization of this area of the North Atlantic is also presented, consisting of two events separated by approximately 10 My, and of distinct areas separated by the Nazaré fault. The elaboration of this synthesis was based on: - information contained in previously published papers (1990 – 2000); - field-work carried out over the last years, the results of which have not yet been published; - information gathered from the reinterpretation of geological mapping and geophysical (seismic and well logs) elements, and from generic literature concerning the Mesozoic of the west iberian margin.

A reconnaissance study of Upper Jurassic sediments of the Lusitanian Basin

The Upper Jurassic evolution of the Lusitanian Basin is shown to be linked to the rifting phase which preceded the separation of Iberia and the Grand Banks. Structural controls on sedimentation include both NNE-SSW trending faults in the Hercynian basement, and contemporaneous movement of salt diapirs. At the beginning of Upper Oxfordian times, the entire basin had been levelled to within a few metres of sea level, so that the freshwater algal marsh and marginal marine facies of the Cabaços and Vale Verde Beds rest on Triassic to Callovian strata. In the latter part of the Upper Oxfordian. carbonate sedimentation continued, with fluctuating salinity lagoons in the north (Pholodomya protei Beds) separated from shallow open marine carbonates in the south (Montejunto Beds) by the Caldas da Rainha diapir-barrier island complex. The commencement of rifting is recorded in the Kimmeridgian by the sudden influx of terrigenous clastics (developed in both fluviatile and deltaic/submarine fan environments) and accelerated depositional rates in excess of 10cm/10 k.yrs in association with contemporaneous faulting along the SE margin of the Arruda sub-basin. The Caldas-Santa Cruz chain of diapiric structures continued to influence the distribution of carbonate and clastic sediments. In the Portlandian, a simpler facies pattern occurs, with fluviatile clastics interfingering to the south with shallow low energy carbonates.

Evolução paleogeográfica e paleobiogeográfica do Caloviano-Kimeridgiano do Algarve

The littoral and the «barrocal» of the Algarve correspond in part to a meso-cenozoic sedimentary basin with a deeping south monocline structure, cut by North-South faults and by two East-West longitudinal flexures. The lithostratigraphic and chronostratigraphic study of the Jurassic formations, undertaken during the last years, allow a better knowledge of the paleogeographic and paleobiogeographic evolution of these formations and particularly of the Callovian-Kimmeridgian. Lower Callovian facies, being similar from Sagres in the West to beyond Tavira, show the uniformity of the sedimentary conditions. Since Middle Callovian, the beginning of the regressive cycle is responsible for a major unconformity between Dogger and Malm. During the Lower Oxfordian a new sedimentary cycle begins with a transgression afecting the region south of the Albufeira-São Brás de Alportel-Tavira line thus originating a gulf centered in the Loulé area which rapidly diminishes since the Lower Kimmeridgian. The faunistic affinities are always tipically tethyan although some classic boreal fauna exist, in contrast with the Northern Tagus basin (where affinities are sub-boreal during the Callovian).

Stratigraphie du Dogger et crise lusitanienne dans la Serra de Candeeiros

New elements about the stratigraphy of the Serra de Candeeiros Dogger and Lower «Lusitanian» are presented. The Lower Aalenian was recognized for the first time. Bathonian (more than 50 metres thick) is dated on brachiopods and foraminifera. It corresponds to a series of massive micritic, biodetritical, coral-reef, chaetetid, bryozoa and oolitic-limestones. Callovian (120 m) begins by whitish or yellowish limestones with ammonites and brachiopods of the Gracilis zone. It is followed by regressive limestone sequences ending with thick oncolitic layers. The «Lusitanian» base is formed by greyish lagoon brackish limestones; it lies unconformably on the Dogger, with or without angular and/or cartographic unconformity. This radical facies change is related to tectonic deformation of several blocks between the Nazaré and Tagus faults during Oxfordian times.

A high level e-maintenance architecture to support on-site teams

Emergent architectures and paradigms targeting reconfigurable manufacturing systems increasingly rely on intelligent modules to maximize the robustness and responsiveness of modern installations. Although intelligent behaviour significantly minimizes the occurrence of faults and breakdowns it does not exclude them nor can prevent equipment’s normal wear. Adequate maintenance is fundamental to extend equipments’ life cycle. It is of major importance the ability of each intelligent device to take an active role in maintenance support. Further this paradigm shift towards “embedded intelligence”, supported by cross platform technologies, induces relevant organizational and functional changes on local maintenance teams. On the one hand, the possibility of outsourcing maintenance activities, with the warranty of a timely response, through the use of pervasive networking technologies and, on the other hand, the optimization of local maintenance staff are some examples of how IT is changing the scenario in maintenance. The concept of e-maintenance is, in this context, emerging as a new discipline with defined socio-economic challenges. This paper proposes a high level maintenance architecture supporting maintenance teams’ management and offering contextualized operational support. All the functionalities hosted by the architecture are offered to the remaining system as network services. Any intelligent module, implementing the services’ interface, can report diagnostic, prognostic and maintenance recommendations that enable the core of the platform to decide on the best course of action.

Assinatura tectono-sedimentar do auge da compressão bética em Portugal: a descontinuidade sedimentar Valesiano terminal-Turoliano

An Upper Miocene important sedimentary break can be accurately recognised in the Portuguese basins and is reflected by a drastic palaeogeographic change in relation to a large-scale tectonic event of probable uppermost Vallesian-Turolian (9,5 Ma; middle Tortonian) age. The characterisation of the sedimentary record of this tectonic event, as well as its relations with interpreted active faults is made for different situations: Douro (NW border), Mondego, Lower-Tagus and Sado Tertiary basins. The sedimentary record, considered upper Tortonian-Messinian ? (uppermost Vallesian-Turolian ?) is interpreted mainly as endorheic alluvial fans (internal drainage), developed along active NNE-SSW indent-linked strike-slip faults and NE-SW reverse faults. At NE Portugal, proximal fluvial systems of an endorheic hydrographic network drained eastwards to the Spanish Duero interior Basin. The main evidences of the betic compression clímax in Portugal mainland are presented; the interpreted active tectonic structures are in accordance with an intense NNW-SSE crustal shortening, but some regional differences are also documented.

Depósitos continentais e marinhos na plataforma litoral da região do Porto. Importância da tectónica na sua organização espacial

One of the most common characteristics of Portuguese littoral is the existence of a planed surface (the so-called "littoral platform"), situated at different altitudes and bordered from the inland by a straight relief, strongly contrasting with that planed surface. This one is generally covered with several outcrops of the so-called Plio-Pleistocene deposits. Till the eighties this platform has been interpreted as stable staircase of old marine levels, registering in a passive way the eustatic variations. The rigid step bordering it easterly should be a fossil cliff. However, our study has proved that many of these deposits have a continental origin. These continental deposits have fluvial or alluvial fan facies and they are lying above 40 meters. Marine deposits seem to be quite rare and they only occupy a small western area, beneath the altitude of 40 meters and developing into three different marine levels. There is a rigid step between the two kinds of deposits. We think that the clear geometric separation between these deposits together with this rigid step, indicates a tectonic origin. It seems that the sea must have touched only the western part of this surface, when neotectonic movements lowered it down. There are more evidences for neotectonic movements: a) there are faults (mainly inverse faults) affecting the higher deposits of this littoral platform; b) the same marine level seems to appear at different altitudes, developing an irregular pattern with a general trend dipping from the North to the South.

Contribuição para a análise tectono-sedimentar do Fosso de Aljezur (SW de Portugal)

The Aljezur "graben" is a crucial piece in understanding the Caenozoic evolution of the SW atlantic portuguese edge. Detailed study of the sedimentary filling and bordering accidents allows the identification of several evolution steps since the Miocene. The graben is bordered by accidents that dislocate geomorphologic surfaces (Littoral Platform to the W, Interior Platform to the E), and also Neogene sedimentary units. The sedimentary filling is composed by conglomerates and sands grading into clays and bioclastic limestones (Burdigalian to Serravalian), upon which lie unconformably fine reddish sands, sometimes with abundant micas. Genetic and geometric relationships between these sands, those in higher surfaces outside the "graben" and the main bordering faults, are discussed. As a conclusion, the reconstruction of the tectono-sedimentary evolution is attempted, integrating it in a "pull-apart" context associated with the Messejana-fault system and it's reactivation by the differently orientated alpine compressions.

L’instabilité dynamique pendant le Toarcien dans le Moyen Atlas (Maroc): mise en évidence de glissements synsédimentaires dans le synclinal de Bou Angar

During the Toarcian, shelves undergo block-faulting with mechanisms of tilting. It results the break up of the Middle Atlas basin in subsident sectors separated by resistant ridges. This device is highlighted by strong variations of facies, more or less extended lacunar zones, reefs aligned on the ridges and of synsedimentary tectonics structures. Within the framework of mapping survey carried out in the south-west of Middle Atlas, a meticulous prospection of Bou Angar synclinal allowed the description of a new outcrop of Toarcian. This one offers good examples of extensional structures and bio-accumulations. These data, supplemented by other witnesses of the dynamic instability in the rest of the Middle Atlas, permit to propose a paleogeographic map of the Middle Atlas basin during the Toarcian.

A comparative study between centralization and decentralization of diagnostic reasoning in EPS

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa de Lisboa para obtenção do grau de mestre em Engenharia Electrotécnica e de Computadores

Tectónica da região de Sintra

Photo-interpretation of aerial stereopairs of the Sintra region on the approx. 1/32 000 scale together with field work allowed the production of the present Tectonic Map of the Sintra region. It is now possible to separate structures which resulted from two different tectonic events: one, corresponding to the intrusion of the Late Cretaceous Sintra igneous diapir, and the other the Miocene compressive event, the most important tectonic inversion phase of the Lusitanian Basin. The former are present to the south, southeast and east of the intrusion and within the intrusion itself, affecting the peripheral granites and their contacts with the gabbro-syenite core. These structures comprehend: i) faults and conical fractures striking parallel to the massif boundary, which were intruded by dykes, ii) vertical faults and fractures of two conjugate sets, dextral NNW-SSE and sinistral NNE-SSW. These faults are certainly associated with the E-W striking massif's northwards directed thrust and indicate a N-S oriented horizontal maximum compressive stress. The Miocene compressive event reactivated most of the inherited structures as follows. The NNWSSE faults located on the Sintra southern platform were reactivated as dextral strike slip faults and the E-W thrust along the northern boundary of the massif was also reactivated. This thrust propagated to the east. It also enhanced the asymmetry of the rim-syncline, uplifted the massif and reactivated the NNE-SSW faults as sinistral lateral ramps, which also accommodated vertical throw. The present Tectonic Map of Sintra together with the available geophysical data (MOREIRA, 1984, KULLBERG et al., 1991, SILVA & MIRANDA, 1994) allowed reassessment of the models proposed for the emplacement of the Sintra, Sines and Monchique igneous massifs, which intruded during Late Cretaceous times along the deep dextral NNW-SSE oriented strike slip fault (RIBEIRO et al., 1979; TERRINHA, 1998; TERRINHA & KULLBERG, 1998).

Tectónica da cadeia da Arrábida

Geociências, Museu Nac. Hist. Nat. Univ. Lisboa, nº 2, 35-84

TSKY: a dependable middleware solution for data privacy using public storage clouds

Dissertação para obtenção do Grau de Mestre em Engenharia Informática