Caracterização termo-mecânica de interconectores metálicos recobertos com filmes de LaCrO3

The cells unitaria of the solid oxide fuel cell are separated by means of interconnects, which serve as electrical contact between the cells. Lanthanum Chromite (LaCrO3) has been the most common material used as interconnect in solid oxide fuel cells. Reducing the operating temperature around 800 º C of cells to solid oxide fuel make possibilite the use of metallic interconnects as an alternative to ceramic LaCrO3. Metallic interconnects have advantages over ceramic interconnects such as high thermal conductivity, electricity, good ductility, low cost, good physical and mechanical properties. In this work evaluate the thermo-mechanical properties of the metallic substrate and coated metallic substrate with the ceramic LaCrO3 film via spray-pyrolysis, in order to demonstrate the feasibility of using this material as a component of a fuel cell solid oxide. The materials were characterized by X-ray diffraction, oxidation behavior, mechanical strength, optical microscopy (OM) and scanning electron microscopy (SEM). The X-ray diffraction proved the formation phase of the LaCrO3 on the metallic substrate and the identification of the phases formed after the oxidative test and mechanical strength at high temperature. The oxidation behavior showed the increased oxidation resistance of the coated metallic substrate. It was noted that the mechanical resistance to bending of the coated metallic substrate only increases at room temperature. The optical microscopy (OM) has provided an assessment of both the metallic substrate and the LaCrO3 film deposited on the metal substrate that, in comparison with the micrographs obtained from SEM. The SEM one proved the formation of Cr2O3 layer on the metallic substrate and stability of LaCrO3 film after oxidative test, it can also observe the displacement of the ceramic LaCrO3 film after of mechanical testing and mapping of the main elements as chromium, manganese, oxygen, lanthanum in samples after the thermo-mechanical tests.

Efeito da adição do poli(etileno acrilato de metila) (ema) e da fibra de linter de algodão nas propriedades do poli(tereftalato de etileno) reciclado (petrec)

The development of new materials to fill the demand of technological advances is a challenge for many researchers around the world. Strategies such as making blends and composites are promising alternatives to produce materials with different properties from those found in conventional polymers. The objective of this study is to evaluate the effect of adding the copolymer poly(ethylene methyl acrylate) (EMA) and cotton linter fibers (LB) on the properties of recycled poly(ethylene terephthalate) (PETrec) by the development of PETrec/EMA blend and PETrec/EMA/LB blend composite. In order to improve the properties of these materials were added as compatibilizers: Ethylene - methyl acrylate - glycidyl methacrylate terpolymer (EMA-GMA) and maleic anhydride grafted polyethylene (PE-g-MA). The samples were produced using a single screw extruder and then injection molded. The obtained materials were characterized by thermogravimetry (TG), melt flow index (MFI) mensurements, torque rheometry, pycnometry to determinate the density, tensile testing and scanning electron microscopy (SEM). The rheological results showed that the addition of the EMA copolymer increased the viscosity of the blend and LB reduces the viscosity of the blend composite. SEM analysis of the binary blend showed poor interfacial adhesion between the PETrec matrix and the EMA dispersed phase, as well as the blend composite of PETrec/EMA/LB also observed low adhesion with the LB fiber. The tensile tests showed that the increase of EMA percentage decreased the tensile strength and the Young s modulus, also lower EMA percentage samples had increased the elongation at break. The blend composite showed an increase in the tensile strength and in the Young`s modulus, and a decrease in the elongation at break. The blend formulations with lower EMA percentages showed better mechanical properties that agree with the particle size analysis which showed that these formulations presented a smaller diameter of the dispersed phase. The blend composite mechanical tests showed that this material is stronger and stiffer than the blend PETrec/EMA, whose properties have been reduced due to the presence of EMA rubbery phase. The use of EMA-GMA was effective in reducing the particle size of the EMA dispersed phase in the PETrec/EMA blend and PE-g-MA showed evidences of reaction with LB and physical mixture with the EMA

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.

Relação entre estresse oxidativo e oesteopenia diabética em ratas pré-menopausadas

The relationship between lipid peroxidation, antioxidant defense and diabetic osteopenia remains unclear. This study evaluated the relationship between lipid peroxidation index, antioxidant defense parameter and bone metabolism in a premenopausal diabetic model by measurements such as thiobarbituric acid-reactive substances concentration (TBARS) and reduced glutathione (GSH) content in brain homogenates, histomorphometric analysis, biomechanical testing and bone mineral density (BMD). Female Wistar rats with regular estrous cycle were divided into two groups: Group 1: control rats (n = 15) and Group 2: diabetic rats (n = 15). Diabetes mellitus was induced by alloxan and confirmed by glycemia 250 mg/dL. The experimental period understood 1 and 5 after days induction and 45, 75 and 120 days after the installation of diabetes mellitus.The lipid peroxidation index, measured by TBARS concentration, showed a significant increase (p<0.05) in diabetic animals in comparison to animals control. However, the antioxidant parameter, measured by GSH content, was significantly decrease (p<0.05) in diabetic animals. Histomorphometric analysis showed a significant increase (p<0.05) in femoral trabecular separation together with a significant decrease (p<0.05) in trabecular thickness and reduced trabecular bone volume in diabetic rats. Moreover, biomechanical testing and BMD values were significant decrease (p<0.05) in diabetic group. Thus, our results demonstrated that increased lipid peroxidation and altered antioxidant defense could be related to the development of oxidative stress and diabetic osteopenia in premenopausal rats

Uma avaliação política da política de avaliação da educação superior brasileira

We had as the problem of analysis in this research: what are the assumptions, principles and general content that based the Sistema Nacional de Avaliação da Educação Superior (SINAES). We started from the hypothesis that the general content of SINAES is essentially based on the assumptions and principles of a control/regulatory perspective of evaluation and a summative epistemology, objectivist and quantitativist, constituted by members who prioritize testing and classification of courses and institutions based on market values. The overall goal was to make a political evaluation of SINAES and the specific objectives were: a) apply the concepts of politics evaluation and meta-evaluation, b) identify the role of international organizations in education reform in the 1990s and its impact on superior education in Brazil c) redeem the concept of evaluation, especially in the field of studies in education; and d) investigate the evaluation policies of Brazilian superior education leading to SINAES. As for the technical procedures for collecting and analyzing data, the research was made with bibliography and documents, considering that it was developed by bibliographic sources and official publications. It was developed by crossing sources: texts or documents remitted to others; it was also concentrated: on the role of international organizations in educational and State reforms (in the 1990s); on the policies of evaluation of the Brazilian superior education (1980s and 1990s); on the proposal of the Comissão Especial de Avaliação (CEA); on the Law No. 10.861/2004; on the documents of CONAES; on the Decree No. 5.773/2006, and the MEC Regulatory Ordinances No. 4/2008 and No. 12/2008. It did not stop in the so called purely technical aspects, but in the ideological field itself. The research found that international organizations, notably the World Bank, played a political, intellectual and financial role determinant to the field of education, a fact that reflects in the legal framework. It was also found that the politics of evaluation of the superior education is historically marked by conflict, represented by two distinct perspectives of different natures and emphases. On one hand, the focus is on control / regulation, favoring efficiency, productivity and competitiveness benchmarking and prioritizing the punctual performance and measurement. On the other, it seeks to transform academic perspective in primarily formative / emancipatory, in order to support more institutional improvement. It was concluded that the CEA presented a conception evaluation predominantly formative and emancipatory, which emphasized the idea of system, centered around the institution and repudiated the rankings practices. In the post-formulation period, however, some of its principles were fragmenting and, gradually, the institution was giving way to the courses and the Exame Nacional de Desempenho de Estudantes (ENADE) grew in prominence. With the creation of the Conceito Preliminar de Cursos superiores (CPC) and of the Índice Geral de Cursos da Instituição de Educação Superior (IGC), it was redemeed the practice of evaluation as measurement and control, under the principles of efficiency and productivity. So, SINAES that seemed like a progressive evaluation method has assumed a setting that close resembles the Exame Nacional de Cursos (ENC-Provão). Nevertheless, the survival of institutional formative evaluation, in the superior education evaluation policies, still an issue in dispute

Aconselhamento em HIV/AIDS: ações e reflexões dos profissionais do Centro de Testagem e Aconselhamento (CTA)

The counseling on HIV/Aids consists in a prevention strategy that contributes to increase the diagnosis of HIV and start earlier the treatment. The counseling has as pillars the emotional and educational support, risks evaluation that aim at the adoption of safe practices and the individual s responsibility for his own health. To accomplish these results, it is necessary that health workers understand counseling as a unique educational moment that stimulates the user s critical-reflection when it comes to his role as an active subject in this process. This study aimed to analyze the counseling on HIV/Aids conducted by the professionals of the Testing and Counseling Center (CTA), based on the educational perspective of Paulo Freire . This is a descriptive qualitative study with a critical reflexive design based on the principles of Action-Science. All the professionals acting as counselors in the Joao Pessoa, PB CTA, eight in total, took part in the study. Data were collected during the month of March, 2011, through non participative observation and semi-structured interviews with a critical-reflexive focus, analyzed according to the tenets of the critical-reflexive methodology, and discussed taking into consideration the Paulo Freire s pedagogy and pertinent literature. It was observed that most of the professionals expressed the work philosophy of CTA as the diagnosis and prevention of the disease, associated with the utilization and demonstration of condoms. However, upon observation of their counseling sessions, these ideas were not converted in actions. Educational themes were not covered and the condom wasn t offered at any time. The counseling actions focused on the provision of information and filling out the paper forms which are necessary for attendance. The sessions were conducted with brief dialogues and little opportunity for the users to expose or complement their thoughts and needs. The professionals mentioned as facilitating conditions for counseling, the team interaction and physical structure. The difficulties focused on the users low cognition, the large demand for attendance, aspects related to the service organization, and the counselors absences and delays. After reflecting about the actions observed in the counseling, the majority of professionals admitted the need to modify their practice in the incorporation of educational principles for the achievement of a broader prevention, and seemed to be willing to work in this perspective. In conclusion, although the counselors show ideas consistent with the purposes of CTA, these ideas are limited when it comes to the understanding of the meaning of prevention in HIV/Aids. Taking into consideration that they express a certain comprehension and act differently during the counseling, they demonstrate a lack of bond between the theories in use and the proposed ones, in accordance with the contribution of the action-science theory. The counseling, as an educative practice, doesn t materialize in the counseling itself and the orientation for reflection is not given during the attendance. These findings suggest the need to include the process of reflection in the execution of the actions of counseling, so that these practices are guided by reflexive practice, aiming at transforming the way of thinking and acting into a more educational perspective toward a more democratic and holistic assistance.

Estudo de estratégias de otimização para poços de petróleo com elevação por bombeio de cavidades progressivas

The progressing cavity pump artificial lift system, PCP, is a main lift system used in oil production industry. As this artificial lift application grows the knowledge of it s dynamics behavior, the application of automatic control and the developing of equipment selection design specialist systems are more useful. This work presents tools for dynamic analysis, control technics and a specialist system for selecting lift equipments for this artificial lift technology. The PCP artificial lift system consists of a progressing cavity pump installed downhole in the production tubing edge. The pump consists of two parts, a stator and a rotor, and is set in motion by the rotation of the rotor transmitted through a rod string installed in the tubing. The surface equipment generates and transmits the rotation to the rod string. First, is presented the developing of a complete mathematical dynamic model of PCP system. This model is simplified for use in several conditions, including steady state for sizing PCP equipments, like pump, rod string and drive head. This model is used to implement a computer simulator able to help in system analysis and to operates as a well with a controller and allows testing and developing of control algorithms. The next developing applies control technics to PCP system to optimize pumping velocity to achieve productivity and durability of downhole components. The mathematical model is linearized to apply conventional control technics including observability and controllability of the system and develop design rules for PI controller. Stability conditions are stated for operation point of the system. A fuzzy rule-based control system are developed from a PI controller using a inference machine based on Mandami operators. The fuzzy logic is applied to develop a specialist system that selects PCP equipments too. The developed technics to simulate and the linearized model was used in an actual well where a control system is installed. This control system consists of a pump intake pressure sensor, an industrial controller and a variable speed drive. The PI control was applied and fuzzy controller was applied to optimize simulated and actual well operation and the results was compared. The simulated and actual open loop response was compared to validate simulation. A case study was accomplished to validate equipment selection specialist system

Análise de desempenho da rede neural artificial do tipo multilayer perceptron na era multicore

Artificial neural networks are usually applied to solve complex problems. In problems with more complexity, by increasing the number of layers and neurons, it is possible to achieve greater functional efficiency. Nevertheless, this leads to a greater computational effort. The response time is an important factor in the decision to use neural networks in some systems. Many argue that the computational cost is higher in the training period. However, this phase is held only once. Once the network trained, it is necessary to use the existing computational resources efficiently. In the multicore era, the problem boils down to efficient use of all available processing cores. However, it is necessary to consider the overhead of parallel computing. In this sense, this paper proposes a modular structure that proved to be more suitable for parallel implementations. It is proposed to parallelize the feedforward process of an RNA-type MLP, implemented with OpenMP on a shared memory computer architecture. The research consistes on testing and analizing execution times. Speedup, efficiency and parallel scalability are analyzed. In the proposed approach, by reducing the number of connections between remote neurons, the response time of the network decreases and, consequently, so does the total execution time. The time required for communication and synchronization is directly linked to the number of remote neurons in the network, and so it is necessary to investigate which one is the best distribution of remote connections

S-Educ: Um Simulador de Ambiente de Robótica Educacional em Plataforma Virtual

We propose a robotics simulation platform, named S-Educ, developed specifically for application in educational robotics, which can be used as an alternative or in association with robotics kits in classes involving the use of robotics. In the usually known approach, educational robotics uses robotics kits for classes which generally include interdisciplinary themes. The idea of this work is not to replace these kits, but to use the developed simulator as an alternative, where, for some reason, the traditional kits cannot be used, or even to use the platform in association with these kits. To develop the simulator, initially, we conducted research in the literature on the use of robotic simulators and robotic kits, facing the education sector, from which it was possible to define a set of features considered important for creating such a tool. Then, on the software development phase, the simulator S-Educ was implemented, taking into account the requirements and features defined in the design phase. Finally, to validate the platform, several tests were conducted with teachers, students and lay adults, in which it was used the simulator S-Educ, to evaluate its use in educational robotics classes. The results show that robotic simulator allows a reduction of financial costs, facilitate testing and reduce robot damage inherent to its use, in addition to other advantages. Furthermore, as a contribution to the community, the proposed tool can be used to increase adhesion of Brazilian schools to the methodologies of educational robotics or to robotics competitions

Validade e confiabilidade da versão informatizada do inventário Million de estilos de personalidade

Currently, several psychological and non-psychological tests can be found in publishes without standardization on procedures set in different psychological areas, like intelligence, emotional states, attitudes, social skills, vocation, preferences and others. The computerized psychological testing is a extension of traditional testing psychological practices. However, it has own psychometrics qualities, either by its matching in a computerized environment or by the extension that can be developed in it. The current research, developed from a necessity to study process of validity and reliability on a computerized test, drew a methodological structure to provide parallel applications in numerous kinds of operational groups, evaluating the influences of the time and approach in the computerization process. This validity refers to normative values groups, reproducibility in computerized applications process and data processing. Not every psychological test can be computerized. Therefore, our need to find a good test, with quality and plausible properties to transform in computerized application, leaded us to use The Millon Personality Inventory, created by Theodore Millon. This Inventory assesses personality according to 12 bipolarities distributed in 24 factors, distributed in categories motivational styles, cognitive targets and interpersonal relations. This instrument doesn t diagnose pathological features, but test normal and non adaptive aspects in human personality, comparing with Theodore Millon theory of personality. In oder to support this research in a Brazilian context in psychological testing, we discuss the theme, evaluating the advantages and disadvantages of such practices. Also we discuss the current forms in computerization of psychological testing and the main specific criteria in this psychometric specialized area of knowledge. The test was on-line, hosted in the site http://www.planetapsi.com, during the years of 2007 and 2008, which was available a questionnaire to describe social characteristics before test. A report was generated from the data entry of each user. An application of this test was conducted in a linear way through a national coverage in all Brazil regions, getting 1508 applications. Were organized nine groups, reaching 180 applications in test and retest subject, where three periods of time and three forms of retests for studies of on-line tests were separated. Parallel to this, we organized multi-application session offline group, 20 subjects who received tests by email. The subjects of this study were generally distributed by the five Brazilian regions, and were noticed about the test via the Internet. The performance application in traditional and on-line tested groups subsidies us to conclude that on-line application provides significantly consistency in all criteria for validity studied and justifies its use. The on-line test results were related not only among themselves but were similar to those data of tests done on pencil and paper (0,82). The retests results demonstrated correlation, between 0,92 and, 1 while multisessions had a good correlation in these comparisons. Moreover, were assessed the adequacy of operational criteria used, such as security, the performance of users, the environmental characteristics, the organization of the database, operational costs and limitations in this on-line inventory. In all these five items, there were excellent performances, concluding, also, that it s possible a self-applied psychometric test. The results of this work are a guide to question and establish of methodologies studies for computerization psychological testing software in the country

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Estudo integrado geológico/tecnológico de rochas ornamentais: os granitos flores e jacarandá, RN

The main purpose of the present study is to integrate a geological and technological investigation of ornamental rocks of the Flores and Jacarandá granites, which are located near the Afonso Bezerra city, in the north central part of the Rio Grande do Norte State. The study area encompasses four litho-stratigrafic units: a Gneiss-Migmatitic Complex(cristalline basement), which is mainly composed of banded gneisses, usually deformed as mylonitic rocks and with several migmatic features, an Augen Gneiss, which occurs as an elongated body that constitutes the Jacarandá granite, a small granite stock, which presents a semi-circular form, named Flores granite, composed of pink, fine to medium coarse rocks, and fine to coarse alluvial sediments, which form extensive areas of large fluvial deposits. The technological characterization of the Flores and Jacarandá granites, carried out through several tests, has as the main purpose the determination of petrographic, physical, and mechanic parameters that allowed the characterization of these rocks. The test followed procedures recommended by Brazilian (ABNT Associação Brasileira de Normas Técnicas) and foreigner institutions (ASTM American Society for Testing and Materials). The petrografhic analysis indicated that the rocks investigated are granite sensu estrictu, summing an average 85-90% modal. The Flores granite is the more felsic rock, which presents mafic content ∼ 10% and monzonitic composition. The Jacarandá granite is an Augen Gneiss rock that presents sienogranitic composition and mafic modal content ∼ 15%. Several technological tests carried out (alterability, physical indices, velocity of ultrasonic wave propagation, uniaxial compression, flection resistence, Amsler desgaste, and resistence to freezing and heating) indicated that parameters and values were identical for both granites investigated. These parameters and values are consistent with the Brazilian and international standards for siliciclastic rocks of ornamental use, as well as other Brazilian ornamental granites. The analysis of all results indicates that both the Flores and Jacarandá granites present good quality, and that they are indicated for ornamental use of revetment interior and exterior of buildings