Geologia do depósito de ouro de C1-Santaluz no greenstone belt do rio Itapicuru, Brasil

Pós-graduação em Geociências e Meio Ambiente - IGCE

Geomorfologia e quaternário do rio Vaza-Barris, Nordeste, Brasil

Pós-graduação em Geociências e Meio Ambiente - IGCE

Proposta de um algoritmo eficiente para a localização de faltas por relé diferencial numérico para proteção de linhas de transmissão com compensação série controlada por tiristores (TCSC)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Currículo, Infância e Educação Corporal: Fundamentos na perspectiva histórico-cultural e orientações no campo da interdisciplinaridade

Pós-graduação em Docência para a Educação Básica - FC

Estudo comparativo da proteção da rede secundária de uma distribuidora de energia elétrica utilizando chave fusível e seccionalizador monofásico

The objective of this work is to conduct a comparative study between the fuse key and the single-phase seccionalizador, which are protective equipment used in an electricity distribution networks. This study has also the purpose to reduce the number of electrical power breakdown. Distribution networks are not free from faults, disturbances and failures, then the occurrence of adversities on the network, which may be transient or permanent faults, results in the interruption of electric power. Thus, there are protective systems of distribution networks, which aims to ensure that the electric system continues to function. The incidence of transient faults in the distribution network of this electricity company was used to generate immediate shutdown of customers due to the bad use of fuses as protective equipment by the reclosers. With the use of the fuse switch in the distribution network, there was the immediate shutdown of customers, however, using the single-phase seccionalizador as protective equipment by the reclosers, there are three attempts to restart the electricity power. As the attempts to restart the electricity power are able to eliminate a transient fault, not causing shutdown of any costumer, with the implementation of single-phase sectionalizers to replace the fuses, the number of company shutdowns due to transient faults was reduced by 47.6%

Efeito do filme de carbono DLC aplicado por plasma como recobrimento em Polietileno de Ultra Densidade e Alto Peso Molecular (UHWPE) e planejamento virtual utilizando a técnica de elementos finitos em cirúrgias de próteses totais da ATM

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Helping End-User Programmers “Engineer” Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults, and stories abound of spreadsheet faults that have led to multi-million dollar losses. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software.

Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization

Test case prioritization techniques schedule test cases for regression testing in an order that increases their ability to meet some performance goal. One performance goal, rate offault detection, measures how quickly faults are detected within the testing process. In previous work we provided a metric, APFD, for measuring rate of fault detection, and techniques for prioritizing test cases to improve APFD, and reported the results of experiments using those techniques. This metric and these techniques, however, applied only in cases in which test costs and fault severity are uniform. In this paper, we present a new metric for assessing the rate of fault detection of prioritized test cases, that incorporates varying test case and fault costs. We present the results of a case study illustrating the application of the metric. This study raises several practical questions that might arise in applying test case prioritization; we discuss how practitioners could go about answering these questions.

Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets

Spreadsheets are widely used but often contain faults. Thus, in prior work we presented a data-flow testing methodology for use with spreadsheets, which studies have shown can be used cost-effectively by end-user programmers. To date, however, the methodology has been investigated across a limited set of spreadsheet language features. Commercial spreadsheet environments are multiparadigm languages, utilizing features not accommodated by our prior approaches. In addition, most spreadsheets contain large numbers of replicated formulas that severely limit the efficiency of data-flow testing approaches. We show how to handle these two issues with a new data-flow adequacy criterion and automated detection of areas of replicated formulas, and report results of a controlled experiment investigating the feasibility of our approach.

Moving Under, Around, and Through the Miocene Reconstruction of Southern California

Modern southern California is fragmented by faults that juxtapose blocks with contrasting topographies and differing geologic histories. Many of the tectonic events that have shaped southern California were initiated during the Miocene, as subduction along the ancient trench margin off southern California was replaced by transform (strikeslip) faulting, such as that along the San Andreas fault.

Currículo, Infância e Educação Corporal: Fundamentos na perspectiva histórico-cultural e orientações no campo da interdisciplinaridade

Pós-graduação em Docência para a Educação Básica - FC

Estudo comparativo da proteção da rede secundária de uma distribuidora de energia elétrica utilizando chave fusível e seccionalizador monofásico

The objective of this work is to conduct a comparative study between the fuse key and the single-phase seccionalizador, which are protective equipment used in an electricity distribution networks. This study has also the purpose to reduce the number of electrical power breakdown. Distribution networks are not free from faults, disturbances and failures, then the occurrence of adversities on the network, which may be transient or permanent faults, results in the interruption of electric power. Thus, there are protective systems of distribution networks, which aims to ensure that the electric system continues to function. The incidence of transient faults in the distribution network of this electricity company was used to generate immediate shutdown of customers due to the bad use of fuses as protective equipment by the reclosers. With the use of the fuse switch in the distribution network, there was the immediate shutdown of customers, however, using the single-phase seccionalizador as protective equipment by the reclosers, there are three attempts to restart the electricity power. As the attempts to restart the electricity power are able to eliminate a transient fault, not causing shutdown of any costumer, with the implementation of single-phase sectionalizers to replace the fuses, the number of company shutdowns due to transient faults was reduced by 47.6%

Efeito do filme de carbono DLC aplicado por plasma como recobrimento em Polietileno de Ultra Densidade e Alto Peso Molecular (UHWPE) e planejamento virtual utilizando a técnica de elementos finitos em cirúrgias de próteses totais da ATM

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

The Oligocene-Neogene deep-sea Columbia Channel system in the South Brazilian Basin: Seismic stratigraphy and environmental changes

The Columbia Channel (CCS) system is a depositional system located in the South Brazilian Basin, south of the Vitoria-Trindade volcanic chain. It lies in a WNW-ESE direction on the continental rise and abyssal plain, at a depth of between 4200 and 5200 m. It is formed by two depocenters elongated respectively south and north of the channel that show different sediment patterns. The area is swept by a deep western boundary current formed by AABW. The system has been previously interpreted has a mixed turbidite-contourite system. More detailed study of seismic data permits a more precise definition of the modern channel morphology, the system stratigraphy as well as the sedimentary processes and control. The modern CCS presents active erosion and/or transport along the channel. The ancient Oligo-Neogene system overlies a ""upper Cretaceous-Paleogene"" sedimentary substratum (Unit U1) bounded at the top by a major erosive ""late Eocene-early Oligocene"" discordance (D2). This ancient system is subdivided into 2 seismic units (U2 and U3). The thick basal U2 unit constitutes the larger part of the system. It consists of three subunits bounded by unconformities: D3 (""Oligocene-Miocene boundary""), D4 (""late Miocene"") and D5 (""late Pliocene""). The subunits have a fairly tabular geometry in the shallow NW depocenter associated with predominant turbidite deposits. They present a mounded shape in the deep NE depocenter, and are interpreted as forming a contourite drift. South of the channel, the deposits are interpreted as a contourite sheet drift. The surficial U3 unit forms a thin carpet of deposits. The beginning of the channel occurs at the end of U1 and during the formation of D2. Its location seems to have been determined by active faults. The channel has been active throughout the late Oligocene and Neogene and its depth increased continuously as a consequence of erosion of the channel floor and deposit aggradation along its margins. Such a mixed turbidite-contourite system (or fan drift) is characterized by frequent, rapid lateral facies variations and by unconformities that cross the whole system and are associated with increased AABW circulation. (C) 2009 Elsevier B.V. All rights reserved.