Análise por ultra-sons no controlo de condição

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Estudo dos sistema de automação da protecção diferencial de linha e comparação direccional

O tema do sistema de automação da protecção diferencial de linha e comparação direccional é merecedor de uma nova abordagem devido às recentes inovações tecnológicas ocorridas desde o aparecimento dos relés digitais e à consequente comunicação entre os sistemas de protecção, em particular na comunicação entre protecções diferenciais de linha. A protecção diferencial de linha apresenta claras vantagens face às protecções actualmente utilizadas para a protecção de linhas de transmissão e distribuição, tais como, Protecção de Máximo Intensidade de Fase, Máximo Intensidade Homopolar Direccionale Protecção de Distância. Contudo, existem alguns problemas associados a este tipo de protecções, nomeadamente na comunicação entre relés. Para automação e comunicação de protecções diferenciais de linhas de transmissão, no caso da ocorrência de defeitos na zona protegida pelo sistema de protecção diferencial foi empregue um método inovador para este tipo de sistema. Uma vez que a eficácia da actuação das protecções diferenciais depende do rigor das variáveis que são necessárias enviar entre protecções que se encontram localizadas em subestações distintas, recorreu-se à utilização de um automatismo para comunicação entre relés suportado pelo desenvolvimento de novos algoritmos para detectar quase instantaneamente um defeito em qualquer zona de protecção de uma linha de transmissão. Estes algoritmos são baseados na Transformada de Park, pelo que, é introduzido um novo conceito neste tipo de protecções. Através destes algoritmos é possível atenuar os problemas associados à protecção diferencial de linha. No sentido de verificar a aplicabilidade destes algoritmos à protecção diferencial de linha são apresentados diversos casos de estudo. Através dos resultados obtidos também foi possível verificar as vantagens associadas à utilização dos algoritmos propostos.

Replica management in real-time Ada 95 applications

In this paper, we present some of the fault tolerance management mechanisms being implemented in the Multi-μ architecture, namely its support for replica non-determinism. In this architecture, fault tolerance is achieved by node active replication, with software based replica management and fault tolerance transparent algorithms. A software layer implemented between the application and the real-time kernel, the Fault Tolerance Manager (FTManager), is the responsible for the transparent incorporation of the fault tolerance mechanisms The active replication model can be implemented either imposing replica determinism or keeping replica consistency at critical points, by means of interactive agreement mechanisms. One of the Multi-μ architecture goals is to identify such critical points, relieving the underlying system from performing the interactive agreement in every Ada dispatching point.

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.

Application mapping in NoC-Based many-cores

Many-core platforms based on Network-on-Chip (NoC [Benini and De Micheli 2002]) present an emerging technology in the real-time embedded domain. Although the idea to group the applications previously executed on separated single-core devices, and accommodate them on an individual many-core chip offers various options for power savings, cost reductions and contributes to the overall system flexibility, its implementation is a non-trivial task. In this paper we address the issue of application mapping onto a NoCbased many-core platform when considering fundamentals and trends of current many-core operating systems, specifically, we elaborate on a limited migrative application model encompassing a message-passing paradigm as a communication primitive. As the main contribution, we formulate the problem of real-time application mapping, and propose a three-stage process to efficiently solve it. Through analysis it is assured that derived solutions guarantee the fulfilment of posed time constraints regarding worst-case communication latencies, and at the same time provide an environment to perform load balancing for e.g. thermal, energy, fault tolerance or performance reasons.We also propose several constraints regarding the topological structure of the application mapping, as well as the inter- and intra-application communication patterns, which efficiently solve the issues of pessimism and/or intractability when performing the analysis.

Aplicação de redes neuronais artificiais à deteção e isolamento de falhas em processos industriais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Revisiting transactions in Ada

Classical lock-based concurrency control does not scale with current and foreseen multi-core architectures, opening space for alternative concurrency control mechanisms. The concept of transactions executing concurrently in isolation with an underlying mechanism maintaining a consistent system state was already explored in fault-tolerant and distributed systems, and is currently being explored by transactional memory, this time being used to manage concurrent memory access. In this paper we discuss the use of Software Transactional Memory (STM), and how Ada can provide support for it. Furthermore, we draft a general programming interface to transactional memory, supporting future implementations of STM oriented to real-time systems.

Estudo Estratigráfico e Paleontológico do Jurássico do Algarve Ocidental

Algarve Province, Southern Portugal, corresponds in part to a meso-cenozoic basin running along the coast from Cabo S. Vicente to beyond Spanish border. Structurally it is a big monocline plunging southwards much deformed mainly by two East-West longitudinal flexures. Lithostratigraphical and chronostratigraphical studies dealt specially with Jurassic formations. This and the geological mapping of the post-Hercynian sedimentary formations allow us to define the following units: Triassic-Lower Liassic Arenitos de Silves (Silves sandstones sensu P. Choffat, pro parte) - At their base the Silves sandstones (0-150m) are represented mainly by cross-bedded red sandstones. This unit is Upper Triassic (Keuper) in age, on the evidence of some Brachiopoda. Complexo margo-carbonatado de Silves (Silves marl-limestone complex=Silves sandstones sensu P. Choffat, pro parte) (80-200m) overlies the preceding, it may be reported to the Upper Triassic-Hettangian. It consists of a thick pelite-marl-dolomite-limestone series with many intercalations of greenstones. Since no fossils were found it is not possible to conclude whether it is still Hettangian or if it does correspond, in the whole or in part, already to the Sinemurian. Liassic Dolomitos e calcários dolomíticos de Espiche (Espiche dolomite-rocks and dolomitic-limestones) - The usually massive and finely crystalline or saccharoidal dolomites and dolomitic-limestones are the toughest strata of the Algarve margin giving rise to several hills. Its thickness attains in certain points 60 metres at least. Based on geometry and on lithological similarities with the carbonated complex of the northern basin of Tagus river (Peniche, São Pedro de Muel, Quiaios), this formation can be accepted as Sinemurian in age. As it happens with the carbonated complex, here also the first dolomite beds are non-isochronal throughout the region; upper time-limit of the dolomitic facies is either Lower Carixian, Lower Toarcian or even Lower Dogger. The dolomitization is secondary but not much later than sedimentation. However, between Cabo S. Vicente-Vila do Bispo there is evidence of an even later secondary dolomitization related to the regional fault complex. Calcário dolomítico com nódulos de silex da praia de Belixe (Belixe beach dolomitic-limestone with silex nodules) (50-55m) - Ascribed to Lower or Middle Carixian on the basis of Platypleuroceras sp., Metaderoceras sp. nov. and M. gr. Venarense. Calcário cristalino compacto com Protogrammoceras, Fuciniceras e ? Argutarpites de Belixe (Belixe compact crystalline limestone with Protogrammoceras, Fuciniceras and ? Argutarpites) (30m) - Ascribed to Lower Domerian. Middle and Upper Domerian are indicated but by a single specimen of ? Argutarpites. Calcários margosos e margas com Dactylioceras semicelatum e Harpoceratídeos de Armação Nova (Armação Nova marly limestones and marls with D. semicelatum and Harpoceratidae) (25m) -Ascribed to Lower Toarcian. Middle and Upper Toarcian formations are not known in the Algarve. Dogger Calcários oolíticos, c. corálicos, c. pisolíticos, c. calciclásticos, c. dolomíticos e dolomitos de Almadena (Almadena oolitic-limestones, coral-reef-limestones, pisolite-limestones, limeclastic-limestones, dolomitic-limestones and dolomite-rocks) (more than 50 metres), with lagoonal facies. Ascribed to Aalenian-Bathonian-? Callovian. Margas acinzentadas e calcários detríticos com Zoophycos da praia de Mareta (Mareta beach greyish marls and detritical limestones with Zoophycos) (40m) - Pelagic transreef facies with Upper Bajocian and Bathonian ammonites. Calcários margosos e margas da praia de Mareta (Mareta beach pelagic marly-limestones and marls) (110m) - Ascribed to the Callovian on its ammonites. Malm Near Cabo S. Vicente and Sagres the first Upper Jurassic level consists of a yellowish-brown nodular, compact, locally phosphated and ferruginous, sometimes conglomeratic, marly limestone (0,35-1,50m) containing a rich macrofauna, which includes: 1) Callovian forms unknown at Lower Oxfordian; 2) Upper Callovian forms that still survived in Lower and Middle Oxfordian; 3) Lower Oxfordian forms (Mariae and Cordatum Zones); 4) Lower and Middle Oxfordian forms (Mariae to Plicatilis Zone); 5) Middle Oxfordian forms (plicatilis Zone), and some ones appearing in Middle Oxfordian. This condensed deposit is therefore dated from Middle Oxfordian (Plicatilis Zone). The other Upper Jurassic lithostratigraphical units were also mapped but their detailed study is not presented in this work. Correlations between lithostratigraphical and chronostratigraphical scales from P. Choffat, J. Pratsch, C. Palain and from the author are stated. Further correlations are attempted between zonc scales of Carixian-Lower Toarcian and Upper Bajocian-Middle Oxfordian of France, Spain (Asturias, Iberian and Betic Chains), Argel (Orania) and Portugal (northern Tagus basin and Algarve). The study of pyritous fossil assemblages common in Upper Bathonian-Lower Callovian marly levels of the praia da Mareta seems to suggest that these sediments were deposited in a bay or in an almost closed coastal re-entrance virtually without deep water circulation. Although such conditions may occur at any depth one may suppose that these ones actually correspond to an infralittoral neritic environment. The thaphocoenosis collected there are almost entirely composed of nektonic (ammonites, Belemnites) and planktonic (Bositra) faunas. The sedentary (crinoids, brachiopods) or free (sea-urchins, gastropods) epibenthonic forms are very scarce; endobenthonic forms are not known. The palaeontological study of all Nautiloids and Ammonoids of the Liassic and Dogger is presented (except Kosmoceratidae and Perisphinctaceae). Among the thirty one taxa dealt with, one is new (Metaderoceras sp. nov.) and the great majority of the others has been identified for the first time in Algarve. Some others have never been reported before in Portuguese formations. The evolution, during Jurassic times, of the sedimentary basins of the Portuguese plate margin is described. The absence of Cephalopods in the very extensive marly and dolomitic limestones, partly marine, suggests that, during Lower Liassic, palaeogeography underwent no great changes. Dolomitic-limestone with silex nodules from Cabo S. Vicente contain the first ammonites recorded at the base of the Middle Liassic. This facies, although very common in Tethys, is unknown north of the Tagus. The faunal assemblage has a mediterranean to submediterranean character. Comparisons between faunal assemblage" from Algarve with the ones known north of the Tagus show that communications between Boreal Europe and Tethys, virtually non-existent during Lower and Middle Carixian, became very easy during Lower Domerian. In earlier Pliensbachian times two distinct seas were adjacent to the Iberian plate. One, an epicontinental sea with a tethyan fauna, extended southwards from the Meseta margin. Another, was a boreal sea; during its transgressive episodes boreal faunas attained into the basin north of the Tagus. During Middle Carixian and Lower Domerian, owing to simultaneous transgressions, these two seas joined together allowing faunal exchanges along the epicontinental areas which limited the emerging hercynian chains belts. During Liassic, the Algarve belonged undoubtedly to the tethyan submediterranean province. The area north of the Tagus, on the contrary, was a complex realm where subboreal and tethyan affinities alternatively prevailed. In the Algarve the first Middle Jurassic deposits do frequently show lateral thickness reductions as well as unconformities contemporaneous with other generalized disturbances on the sedimentation processes in other parts of Europe. By this time, near Sagres, a barrier reef developed separating lagoonal or ante-reef facies from the transreef pelagic zone. The presence of tethyan fauna, the abundance of Phylloceratidae and the absence of boreal forms allow us to consider the Algarve basin as a submediterranean province. The presence of Callovian pelagic fossiliferous formations in the Loulé area shows that during Middle Jurassic the marl-limestone transreef sedimentation was not confined to the western Algarve. They would extend eastwards where they only can be seen in the core of some anticlines. This is due to the progressive sinking of the meso-cenozoic formations as we proceed towards the South of the Sagres-Algoz-Querença flexure. In the whole of the Peninsule, and as for the Middle Callovian, an important regression can be clearly recognized on the evidence of an erosion surface which strikes obliquely the Middle and Upper Callovian strata. The geographic boundaries of the different faunal provinces are not changed by the presence of many Kosmoceratidae in the phosphate nodules since they are but a minority in comparison with the tethyan forms. An abstract model can be constructed showing that in Western Europe the Kosmoceratidae may have migrated South and westwards through a channel of the sea that linked Paris basin to Poitou and Aquitaine. By migrating between the Iberian meseta and the Armorican massif this fauna reached northern Tagus basin at the beginning of Upper Callovian (Athleta Zone); this south and southwest bound migration would have proceeded, allowing such forms to reach Algarve basin only in latest Callovian times (Lamberti Zone). This migration means that during Middle Jurassic a widely spread North Atlantic sea would exist, flooding the western part of Portugal up to the Poitou.

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.

Le Crétacé inférieur de la marge atlantique portugaise: biostratigraphie, organization séquentielle, evolution paléogéographique

This paper gives a short description of main stratigraphic unities from the early Cretaceous in Estremadura and Algarve, with their lithological, sedimentological and paleontological characteristics. The distribution of facies enable to propose a paleogeographic frame including eroded high areas and sedimentary low areas roughly parallel to the present coast. The early Cretaceous from Estremadura is splited up into three megasequences each one with regressive then transgressive tendencies: this fact must be connected with the leading action of distensive, slow or sudden, movements. Beyond the hercynian fault of Messejana, Algarve presents a different sedimentary evolution during the early Cretaceous.

Towards real multi-criticality scheduling

Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends the unified rate-based scheduling framework RBED in several dimensions to fit the requirements of such systems: we have removed the requirement that the deadline of a task is equal to its period. The introduction of inter-process communication reflects the need to communicate. Additionally we also discuss server tasks, budget replenishment and the low level details needed to deal with the physical reality of systems. While a number of these issues have been studied in previous work in isolation, we focus on the problems discovered and lessons learned when integrating solutions. We report on our experiences implementing the proposed mechanisms in a commercial grade OKL4 microkernel as well as an application with soft real-time and best-effort tasks on top of it.

The 1531 Lisbon Earthquake: A Tsunami In the Tagus Estuary?

On 26 January 1531, a strong-magnitude earthquake heavily impacted Lisbon downtown. Immediately after the earthquake, the eyewitnesses reported large waves in the Tagus estuary, mainly north of the city and along the northern bank of the river. Descriptions include large impacts on ships anchored in the estuary and even morphological changes in the riverbed. We present a synthesis of the available information concerning both the earthquake and the water disturbance as a basis for the discussion of the probable tectonic source and the magnitude of the associated river oscillations. We hypothesize that the initial disturbance of the water can be attributed to the coseismic deformation of the estuary riverbed, and we use a nonlinear shallow water model to simulate the tsunami propagation and inundation. We show that the Vila Franca de Xira fault is the most probable source of the 1531 event. The largest inundation effects of the model correlate well with the historical descriptions: the impact is relevant in the inner Tagus estuary, but inundation in downtown Lisbon is small.

A shared-disk parallel cluster file system

Dissertação apresentada para obtenção do Grau de Doutor em Informática Pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Geodynamics of the eastern sector of the Arrábida chain (W Portugal)

N.º4, p.263-267

Specialized care for people with AIDS in the state of Ceara, Brazil

OBJECTIVE To analyze if the distribution of specialized care services for HIV/AIDS is associated with AIDS rates. METHODS Ecological study, for which the distribution of 10 specialized care services in the Ceara state, Northeastern Brazil, was obtained, and the mean rates of the disease were estimated per mesoregion. We evaluated 7,896 individuals who had been diagnosed with AIDS, were aged 13 years or older, lived in Ceara, and had been informed of their condition between 2001 and 2011. Maps were constructed to verify the relationship between the distribution of AIDS cases and institutionalized support networks in the 2001-2006 and 2007-2011 periods. BoxMap and LisaMap were used for data analysis. The Voronoi diagram was applied for the distribution of the studied services. RESULTS Specialized care services concentrated in AIDS clusters in the metropolitan area. The Noroeste Cearense and west of the Sertoes Cearenses had high AIDS rates, but a low number of specialized care services over time. Two of these services were implemented where clusters of the disease exist in the second period. The application of the Voronoi diagram showed that the specialized care services located outside the metropolitan area covered a large territory. We identified one polygon that had no services. CONCLUSIONS The scenario of AIDS cases spread away from major urban areas demands the creation of social support services in areas other than the capital and the metropolitan area of the state; this can reduce access barriers to these institutions. It is necessary to create specialized care services for HIV/AIDS in the Noroeste Cearense and north of Jaguaribe.