Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Projeto e implementação em FPGA de um processador com conjunto de instrução reconfigurável utilizando VHDL

The Reconfigurable Computing is an intermediate solution at the resolution of complex problems, making possible to combine the speed of the hardware with the flexibility of the software. An reconfigurable architecture possess some goals, among these the increase of performance. The use of reconfigurable architectures to increase the performance of systems is a well known technology, specially because of the possibility of implementing certain slow algorithms in the current processors directly in hardware. Amongst the various segments that use reconfigurable architectures the reconfigurable processors deserve a special mention. These processors combine the functions of a microprocessor with a reconfigurable logic and can be adapted after the development process. Reconfigurable Instruction Set Processors (RISP) are a subgroup of the reconfigurable processors, that have as goal the reconfiguration of the instruction set of the processor, involving issues such formats, operands and operations of the instructions. This work possess as main objective the development of a RISP processor, combining the techniques of configuration of the set of executed instructions of the processor during the development, and reconfiguration of itself in execution time. The project and implementation in VHDL of this RISP processor has as intention to prove the applicability and the efficiency of two concepts: to use more than one set of fixed instructions, with only one set active in a given time, and the possibility to create and combine new instructions, in a way that the processor pass to recognize and use them in real time as if these existed in the fixed set of instruction. The creation and combination of instructions is made through a reconfiguration unit, incorporated to the processor. This unit allows the user to send custom instructions to the processor, so that later he can use them as if they were fixed instructions of the processor. In this work can also be found simulations of applications involving fixed and custom instructions and results of the comparisons between these applications in relation to the consumption of power and the time of execution, which confirm the attainment of the goals for which the processor was developed

Sistema de apoio à interatividade em revisões sistemáticas em engenharia de software

A colaboração na pesquisa é uma das tarefas centrais da área acadêmica. Atualmente, muitos pesquisadores estão utilizando meios modernos de troca de arquivos digitais através de ferramentas assíncronas e também com o uso de ferramentas mais sofisticadas, do tipo síncronas. Juntamente com o fato da crescente quantidade de artigos sendo gerados, mais complexos, diversificados e aumentando de forma desorganizada, o que trás ao pesquisador uma tarefa difícil para organizá-los de forma a se extrair o melhor conteúdo destes, isto ocorre porque uma subárea da Engenharia de Software (ES) ainda é bastante mal aproveitada, a Engenharia de Software Experimental (ESE). Utilizando-se de um dos tipos de experimentos que a ESE oferece, as revisões sistemáticas entram como uma solução bastante robusta, na qual o pesquisador pode identificar o conhecimento existente em uma área e planejar devidamente sua pesquisa, evitando a repetição de erros em pesquisas já efetivadas por outros pesquisadores no passado. Contudo, estas duas abordagens, a colaboração virtual de pesquisadores e a utilização de revisões sistemáticas, contem problemas: na primeira, sistemas colaborativos são geralmente difíceis de configurar e usar; na segunda, apesar da robustez da metodologia de revisões sistemáticas, ainda se torna necessário uma rigorosa revisão na literatura para se conseguir um resultado satisfatório. Assim, com o foco de unir estas duas abordagens, este trabalho propõe uma maneira de produzir revisões sistemáticas de forma organizada e com a possibilidade de interação entre usuários, com o desenvolvimento de um sistema interativo, no qual as revisões sistemáticas possam ser geradas por usuários em colaboração com outros e também ser avaliadas seguindo a orientação de um profissional da área, tornando o seu conteúdo mais consistente e de melhor qualidade. O sistema não possui níveis de acesso, ou seja, qualquer pessoa pode se cadastrar e usufruir de seus recursos, seja na área acadêmica ou mesmo na área profissional

Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio

The software systems development with domain-specific languages has become increasingly common. Domain-specific languages (DSLs) provide increased of the domain expressiveness, raising the abstraction level by facilitating the generation of models or low-level source code, thus increasing the productivity of systems development. Consequently, methods for the development of software product lines and software system families have also proposed the adoption of domain-specific languages. Recent studies have investigated the limitations of feature model expressiveness and proposing the use of DSLs as a complement or substitute for feature model. However, in complex projects, a single DSL is often insufficient to represent the different views and perspectives of development, being necessary to work with multiple DSLs. In order to address new challenges in this context, such as the management of consistency between DSLs, and the need to methods and tools that support the development with multiple DSLs, over the past years, several approaches have been proposed for the development of generative approaches. However, none of them considers matters relating to the composition of DSLs. Thus, with the aim to address this problem, the main objectives of this dissertation are: (i) to investigate the adoption of the integrated use of feature models and DSLs during the domain and application engineering of the development of generative approaches; (ii) to propose a method for the development of generative approaches with composition DSLs; and (iii) to investigate and evaluate the usage of modern technology based on models driven engineering to implement strategies of integration between feature models and composition of DSLs

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Glucose-6-phosphate dehydrogenase and glutathione reductase activity in methemoglobin reduction by methylene blue and cyst amine: study on glucose-6-phosphate dehydrogenase-deficient individuals, on normal subjects and on riboflavin-treated subjects

Os autores padronizaram métodos para a avaliação da atividade da glicose-6-fosfato desidrogenase e glutationa redutase. O princípio geral do primeiro método baseou-se na formação de metahemoglobina pelo nitrito de sódio, seguido da estimulação da via das pentoses pelo azul de metileno. Foram estudados 46 indivíduos adultos, sendo 23 do sexo masculino e 23 do feminino, não deficientes em glicose-6-fosfato desidrogenase (G6PD), com idades variando entre 20 e 30 anos. Os resultados revelaram que a redução da metahemoglobina pelo azul de metileno para sangue total, foram de 154.50 e 139.90 mg/min (p<0.05) respectivamente para o sexo masculino e feminino. Para hemácias lavadas os valores foram de 221.10 e 207.85 mg/min (n.s.) respectivamente. Estas observações permitiram concluir que ao se empregar hemácias lavadas e 0.7 g% de concentração de nitrito de sódio, por um lado não houve diferença entre os sexos e por outro, abreviou o tempo de leitura da quantidade residual de metahemoglobina para 90 minutos. A avaliação da atividade da glutationa redutase foi feita baseado no fato de que a cistamina (agente tiol) liga-se aos grupos SH da hemoglobina formando complexos. Estes complexos são revertidos pela ação da glutationa redutase, ocorrendo conjuntamente nesta reação a redução da metahemoglobina. Foram estudados 32 indivíduos adultos, sendo 16 do sexo masculino e 16 do feminino, não deficientes em G6PD, com idades variando entre 20 e 30 anos. Os resultados revelaram valores de redução da metahemoglobina pela cistamina de 81.27 e 91.13 mg/min (p<0.01) respectivamente para o sexo masculino e feminino. Estas observações permitiram concluir que o emprego de hemácias lavadas e 0.1 molar de concentração de cistamina torna possível a leitura da quantidade residual de metahemoglobina aos 180 minutos de incubação. A atividade da glutationa redutase avaliada por meio da redução da metahemoglobina pela cistamina, foi estudada em 14 indivíduos do sexo feminino antes e após o tratamento com 10 mg por dia de riboflavina durante 8 dias. Os resultados foram de 73.69 e 94.26 mg/min (p<0.01) antes e após o tratamento. Estas observações permitiram concluir que a oferta de riboflavina, mesmo para indivíduos normais, aumenta a atividade da glutationa redutase. Foram ainda avaliados 3 indivíduos da raça negra e deficientes em G6PD, sendo 2 do sexo masculino e 1 do feminino. Houve ativação parcial da G6PD e glutationa redutase, sendo estas alterações mais intensas nos indivíduos do sexo masculino. Considerando-se a raça e as características laboratoriais observadas, foi possível sugerir que a deficiência em G6PD verificada é do tipo Africano, bem como, permitiu considerar os indivíduos do sexo feminino coin o sendo heterozigoto para esta deficiência. Por fim, a análise dos resultados em seu conjunto permitiu concluir que os métodos propostos se mostraram eficientes para avaliar a atividade da G6PD e glutationa redutase. Esta última é dependente da via das pentoses, geradora de NADPH e da riboflavina, vitamina precursora de FAD.

Vegetação dunar: caracterização estrutural de dunas do município de Natal-RN como subsídio para implantação de técnicas de reflorestamernto, recuperação e conservação do ecossistema

The Brazilian coast has a wide variety of complex environments and ecosystems along the coast, about 80% are represented by sandbanks and dunes. The coastal ecosystems were the first to suffer the impacts man and places, as the very fragile ecosystems, are somehow altered. Are few areas of restinga well as natural features, very few protected in conservation units. Only in the last two decades the Brazilian restinga have been studies that are showing their importance for biodiversity of the country, though its economic importance remains largely unknown. In Rio Grande do Norte in the restinga vegetation and dune environments extend for almost the entire coast. The dunes are distinguished in the coastal landscape of the state due to the exuberance of its forms, heights and coating plants. The dune system is of fundamental importance for the maintenance of coastal urban settlements, especially for the city of Natal, acting on the hydrological dynamics of water table and reducing the effect of wind and movement of grains of sand to the interior and thus avoiding the burial City. However, the ecosystem of restinga and dune environments have been weakened and destroyed according to the intense urbanization and the knowledge of the vegetation of restinga installed on the dunes are still scarce. Thus, the objective of this study was to characterize the structure and floristic composition of vegetation established on a dune in the Dunes State Park Christmas and gather information to develop a model of recovery of the dune ecosystem. This dissertation is composed of 2 chapters, the first being: Structure of the vegetation of the dunes Dunes State Park in Natal, RN with the objective of describing the structure and composition of species of tree-shrub vegetation of restinga dunes of the Parque das Dunas and second: Recovery of degraded areas in a sand dune, which aimed to review the terms and concepts used in the theme of recovery and the techniques for recovery of degraded areas with emphasis on sandy environments and poor in nutrients, reporting some experiences within and external to Brazil the country, mainly in the Northeast and dunes positive and negative aspects that should be followed in building a model to be adopted for the recovery of local dunes

Insuficiência cardíaca com fração de ejeção normal

A insuficiência cardíaca com fração de ejeção normal (ICFEN) é uma síndrome complexa que vem sendo largamente estudada, desde a última década. É causada por disfunção ventricular diastólica evidenciada por métodos complementares, como estudo hemodinâmico ou ecocardiograma, na presença de fração de ejeção preservada. Acomete preferencialmente indivíduos mais idosos e com comorbidades, como hipertensão arterial sistêmica, insuficiência coronariana e obesidade. Os mecanismos fisiopatológicos são complexos e multifatoriais, envolvendo a rigidez passiva do miocárdio, a geometria ventricular, a força de contenção do pericárdio e a interação entre os ventrículos. Os objetivos principais do tratamento são reduzir a congestão venosa pulmonar, a frequência cardíaca e controlar as comorbidades. Ainda não há evidências fortes de que o uso de medicações específicas, como inibidores de enzima de conversão ou betabloqueadores, interfiram na mortalidade. Os fatores de pior prognóstico incluem a idade avançada, presença de disfunção renal, diabete, classe funcional III e IV (NYHA) e estágio avançado de disfunção diastólica, com padrão restritivo ao enchimento ventricular. Outro aspecto que vem ganhando espaço na literatura é o questionamento do papel da disfunção sistólica nos quadros de ICFEN. Todos esses aspectos são abordados detalhadamente na presente revisão.

Hábito alimentar e percepção ambiental : um estudo de caso com estudantes do Ensino Médio em Natal-RN

This study has as objective to examine the level of perception of high school students from two private schools in Natal-RN about the existence of a direct link between alimentary habit and its effects on environmental. The research was lead with 433 students, who had their school alimentary habits investigated according to the 24-hour recall method and presents the results of data collection from their opinions on participating in the generation of industrialized solid residues and their yearnings about the improvements of the standard of the food offered in the school. The students show a high rate of grading age for level at school, traditional family structure, riding, predominantly, by car or by bus in the house-school-house way, have generally all three important meals at home, feed frequently at their school, getting it from their won school, which included, mainly, soft drinks and fried or grilled appetizers; show a good knowledge about selective collectors, however with a high variation in their correct use. They show significant approval in the existence of a connection between their alimentary habits and debased effects about environmental and consider their food compounds at school could improve the offering of health/natural food, slowing industrialized foods, which are highly used, sometimes. The study on the students knowledge and concern level with regard to the interface alimentary habit-environmental impact allowed delimitating some of the mainly involved components in the alimentary choices of the same students in the school environment, what might help to develop a set of proposals that stimulates the formation of a responsible consumption standard among teenagers and the need of a consideration about the consequences of their choices

A história do intemperismo na Província Borborema Oriental, Nordeste do Brasil: implicações paleoclimáticas e tectônicas

Until some years ago, weathering geochronology was primarily based on the K-Ar and 40Ar/39Ar dating of supergene minerals. Recent advances in the analysis of supergene goethite by the (U-Th)/He method expanded the number of suitable minerals for such purpose, as well as the time of application for weathering geochronology. This study represents the first systematic approach in Brazil, combining both the 40Ar/39Ar e (U-Th)/He methodologies to improve the knowledge on the weathering and the age of nonfossiliferous sediments. Supported by geologic and geomorphologic correlations, we identified different types of weathering profiles occurring in the interior and coastal areas of northeastern Brazil. These profiles were correlated to main regional geomorphological domains: the Borborema Plateau , the Sertaneja Depression , and the Coastal Cuestas and Plains, and respective planation surfaces, which study is fundamental to understand the landscape evolution of the northern portion of the eastern Borborema Province. The depth and stratigraphic organization of the weathering profiles in each of the geomorphological domains permitted to establish that: (i) the profiles on the highlands that cap the Borborema Surface are deeper (up to 100 m) and can be considered as typical lateritic profiles; (ii) on the lowlands that form the Sertaneja Surface , the weathering profiles are shallow and poorly developed (2-5 m deep); (iii) the profiles along the coastal area are moderately developed (up to 25 m deep), and are characterized by thick saprolites and mottle zones. Aiming to establish the timing of the evolution of northeastern Brazil, we studied 29 weathering profiles representing distinct topographic levels of the Borborema Province, from the highlands to the coast, through the analysis of 248 grains of supergene manganese oxides using laser step-heating 40Ar/39Ar geochronology. Additionally, we applied the (U-Th)/He method in 20 weathering profiles, by dating 171 grains of supergene iron oxides and hydroxides. Geochronological results for 248 grains of manganese oxides analyzed by the 40Ar/39Ar method indicate that the weathering profiles in the study area record the history of weathering from the Oligocene to the Pleistocene, with ages in the order of 31.4 ± 1.0 Ma to 0.8 ± 0.4 Ma. Dating of 171 grains of goethite by the (U-Th)/He method yielded ages ranging from 43.2 ± 4.3 Ma to 0.8 ± 0.1 Ma, suggesting the weathering processes last from the Eocene to the Pleistocene. The precipitation of supergene goethite in this interval confirms the age of the weathering processes identified from the manganese oxides record. 105 goethite grains from 8 different occurrences of the Barreiras Formation were dated by the (U-Th)/He method. Five grains collected from the cement in the Barreiras Formation sandstones, in the Lagoa Salgada and Rio do Fogo coastal cuestas, yielded ages of 17.6 ± 1.8 Ma, 17.3 ± 1.7 Ma, 16.3 ± 1.6 Ma, 16.2 ± 1.6 Ma and 13.6 ± 1.4 Ma. Results of 69 goethite grains from authigenic pisoliths collected in 7 different localities also yielded concordant ages, varying from 17.8 ± 1.8 to 7.5 ± 0.8 Ma. Results obtained from 31 detrital grains are concordant in 3 distinct localities (Lagoa Salgada, Praia da Garças e Ponta Grossa); they vary in the range of 43.2 ± 4.3 to 21.6 ± 2.2 Ma, and indicate that the maximum age for the Barreiras Formation deposition is around 22 Ma. 40Ar/39Ar results for 15 manganese oxides grains associated with the Barreiras Formation weathering profiles, in 3 different localities, vary from 13.1 ± 0.9 to 7.7 ± 0.4 Ma, in the same range of ages obtained by the (U-Th)/He method. The systematic application of the 40Ar/39Ar and (U-Th)/He methods, respectively for manganese oxides and goethites, show that the Barreiras Formation sediments were already deposited since ca. 17 Ma, and that the weathering processes were active until ca. 7 Ma ago. The ages obtained from manganese oxides collected in the Cenozoic basalts (Macau Formation) also reveal a weathering history between 19 and 7 Ma, pointing to hot and humid conditions during most of the Miocene. 40Ar/39Ar ages yielded by manganese oxides associated with the Serra do Martins Formation vary from 14.1 ± 0.4 to 10.5 ± 0.3 Ma. On the other hand, (U-Th)/He ages from iron oxides/hydroxides collected in the Serra do Martins Formation mesas vary from 20.0 ± 2.0 to 5.5 ± 0.6 Ma, indicating that those sediments are older than 20 Ma. 40Ar/39Ar and (U-Th)/He results produced in this study are in agreement with paleoclimatic interpretations based on stable isotopes and clay index values measured in the Atlantic Ocean sediments, validating the use of weathering geochronology to investigate paleoclimatic variations. The direct dating of the Barreiras Formation permitted, for the first time, confident inferences on the age of the brittle deformation recorded by this sedimentary unit in the Rio Grande do Norte and Ceará states. The first event, syn-deposition, occurred during the early Miocene; an younger event, related to the post-depositional deformation of the Barreiras Formation, is associated with tectonic activity from the very early Miocene to the Holocene. In agreement with data from other areas, results obtained in this study reveal that the depth and complexity of the weathering profiles reflect the time of exposition of such areas to the weathering agents close to the surface. However, there is no clear relationship between ages vs. altitude. The depth and the stratigraphic organization of weathering profiles in northeastern Brazil, contrary to the southeastern Brazil pattern, do not vary toward the coast. In our study area, field observations reveal the presence of ancient, thick and complex lateritic profiles preserved in the sedimentary mesas on the Borborema Plateau, as younger, narrow and incipient ones occur in the dissected areas. Geochronological results obtained for these profiles yielded older ages on the high altitudes, and younger ages in the lowlands, suggesting the scarp retreatment is the most reliable model to explain the regional landscape evolution. However, in the coastal lowlands, the relatively older ages obtained indicate that more complexes processes were involved in the modeling of the local relief

Evolução geodinâmica e condicionamento estrutural dos terrenos Piancó-Alto Brígida e Alto Pajeú, domínio da zona transversal, NE do Brasil

This thesis aims to advance in the geological knowledge of the region comprising the Piancó-Alto Brígida (TPAB) and Alto pajeú (TAP) terranes, in the Transversal Zone Domain (Borborema Province, NE Brazil), with the main objective of understanding the geodynamic evolution and the structural framework of these units. To reach this objective, and besides field work and interpretation of traditional aerial photographs, other tools were employed like of remote sensing products (Landsat 7 ETM+, aeroradiometrics, aeromagnetics and topographical images), lithogeochemical (whole rock) analyses and geochronological dating (U-Pb in zircon), besides integration with literature data. In the area, several precambrian geological units outcrop, represented in the TAP by the paleoproterozoic Serra Talhada and Afogados da Ingazeira complexes, Riacho Gravatá Complex (metavolcano-sedimentary sequence of Stenian-Tonian age) and Cariris Velhos orthogneisses (of Tonian age). The TPAB comprises the Santana do Garrote (lower unit) and Serra do Olho d'Água (upper unit) formations of the Cachoeirinha Group (Neoproterozoic III), besides the Piancó orthogneisses and Bom Jesus paragneisses; the latter correspond to an older (basement ?) block and a possible high grade equivalent of the Cachoeirinha Group (or Seridó Group ?), respectively. Several Brasiliano-age plutons occur in both terranes.The aeromagnetic data show the continuity, at depth, of the main shear zones mapped in the region. The Patos, Pernambuco, Boqueirão dos Cochos, Serra do Caboclo, Afogados da Ingazeira/Jabitacá and Congo-Cruzeiro do Nordeste shear zones reach depths greater than to 6-16 km. The aeromagnetic signature of other shear zones, like the Juru one, suggests that these structures correspond to shallower crustal features. The satellite images (Landsat 7 ETM+) and aerogamaspectrometric images discriminate different geological units, contributing to the mapping of the structural framework of the region. The Serra do Caboclo Shear Zone was characterized as the boundary/suture between the TPAB and TAP. This structure is an outstanding, pervasive feature that separates contrasting geological units, such as the Neoproterozoic III Cachoeirinha Group in the TPAB and the Riacho Gravatá Complex and the Cariris Velhos metaplutonics, of Stenian-Tonian age, in the TAP. Occupying different blocks, these units are not found in authoctonous relations, like unconformities and intrusive contacts. Concerning the Cariris Velhos (ca. 1,0 Ga old) event is recorded by radiometric ages of the Riacho Gravatá Complex metavolcanics and intrusive augen and orthogneisses, all of them displaying geochemical affinities of arc or collisional settings. A structural signature of this event was not recorded in the region, possibly due to its low grade/low strain style, obliterated by the overprinting of younger, higher grade/high strain Brasiliano-age fabrics.The first tectonic event (D1) observed in the Cariris Velhos lithotypes presents contractional kinematics with transport to the NW. Neoproterozoic III geochronologic dates, obtained in late-D1 granitoids, imply a Brasiliano age (ca. 610-600 Ma) for this deformation event. The second tectonic event (D2) characterized in the region corresponds to the Brasiliano transcurrent kinematics of the outstanding shear zones and associated granitoid plutons. The geochronological (U-Pb in zircon) data obtained during this thesis also confirms the occurrence of the Cariris Velhos magmatic suite in the TAP, as well as the Neoproterozoic III age to the Cachoeirinha Group in the TPAB. The TAP (Riacho Gravatá Complex, augen and orthogneisses) is interpreted as a continental arc possibly accreted to a microcontinent during the Cariris Velhos (Stenian-Tonian) event. Later on, this terrane collided with the TPAB at the beginning of the Brasiliano orogeny (D1 contractional deformation), and both domins were reworked by the transcurrent shear deformation of the D2 event

Controlador adaptativo backstepping a estrutura variavel com Observadores de estado

This research aims at developing a variable structure adaptive backstepping controller (VS-ABC) by using state observers for SISO (Single Input Single Output), linear and time invariant systems with relative degree one. Therefore, the lters were replaced by a Luenberger Adaptive Observer and the control algorithm uses switching laws. The presented simulations compare the controller performance, considering when the state variables are estimated by an observer, with the case that the variables are available for measurement. Even with numerous performance advantages, adaptive backstepping controllers still have very complex algorithms, especially when the system state variables are not measured, since the use of lters on the plant input and output is not something trivial. As an attempt to make the controller design more intuitive, an adaptive observer as an alternative to commonly used K lters can be used. Furthermore, since the states variables are considered known, the controller has a reduction on the dependence of the unknown plant parameters on the design. Also, switching laws could be used in the controller instead of the traditional integral adaptive laws because they improve the system transient performance and increase the robustness against external disturbances in the plant input

Detecção e diagnóstico de falhas não-supervisionados baseados em estimativa de densidade recursiva e classificador fuzzy auto-evolutivo

In this work, we propose a two-stage algorithm for real-time fault detection and identification of industrial plants. Our proposal is based on the analysis of selected features using recursive density estimation and a new evolving classifier algorithm. More specifically, the proposed approach for the detection stage is based on the concept of density in the data space, which is not the same as probability density function, but is a very useful measure for abnormality/outliers detection. This density can be expressed by a Cauchy function and can be calculated recursively, which makes it memory and computational power efficient and, therefore, suitable for on-line applications. The identification/diagnosis stage is based on a self-developing (evolving) fuzzy rule-based classifier system proposed in this work, called AutoClass. An important property of AutoClass is that it can start learning from scratch". Not only do the fuzzy rules not need to be prespecified, but neither do the number of classes for AutoClass (the number may grow, with new class labels being added by the on-line learning process), in a fully unsupervised manner. In the event that an initial rule base exists, AutoClass can evolve/develop it further based on the newly arrived faulty state data. In order to validate our proposal, we present experimental results from a level control didactic process, where control and error signals are used as features for the fault detection and identification systems, but the approach is generic and the number of features can be significant due to the computationally lean methodology, since covariance or more complex calculations, as well as storage of old data, are not required. The obtained results are significantly better than the traditional approaches used for comparison