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

Effects of electroplated zinc-nickel alloy coatings on the fatigue strength of AISI 4340 high-strength steel

Recovered substrates have been extensively used in the aerospace field. Cadmium electroplating has been widely applied to promote protective coatings in aeronautical components, resulting in excellent corrosion protection combined with a good performance in cyclic loading. Ecological considerations allied to the increasing demands for corrosion resistance have resulted in the search for possible alternatives. Zinc-nickel (Zn-Ni) alloys have received considerable interest recently, because these coatings show advantages such as a good resistance to white and red rust, high plating rates, and acceptance in the market. In this study, the effect of electroplated Zn-Ni coatings on AISI 4340 high-strength steel was analyzed for rotating bending fatigue strength, corrosion, and adhesion resistance. The compressive residual stress field was measured by x-ray diffraction prior to fatigue tests. Optical microscopy documented coating thickness, adhesion characteristics, and coverage extent for nearly all substrates. Fractured fatigue specimens were investigated using scanning electron microscopy (SEM). Three different Zn-Ni coating thicknesses were tested, and comparisons with the rotating bending fatigue data from electroplated Cd specimens were performed. Experimental results differentiated the effects of the various coatings on the AISI 4340 steel behaviour when submitted to fatigue testing and the influence of coating thickness on the fatigue strength.

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

Remission status follow-up in children with juvenile idiopathic arthritis

Objective: To characterize articular and systemic inflammatory activity in juvenile idiopathic arthritis (JIA), identifying remission status with and without medication.Methods: A total of 165 JIA cases, followed for a mean period of 3.6 years, were reviewed in order to characterize episodes of inactivity and clinical remission on and off medication. The resulting data were analyzed by means of descriptive statistics, survival analysis, by comparison of Kaplan-Meier curves, log rank testing and binary logistic regression;analysis in order to identify predictive factors for remission or persistent activity.Results: One hundred and eight of the cases reviewed fulfilled the inclusion criteria: 57 patients (52.7%) exhibited a total of 71 episodes of inactivity, with a mean of 2.9 years per episode; 36 inactivity episodes (50.7%) resulted in clinical remission off medication, 35% of which were of the persistent oligoarticular subtype. The probability of clinical remission on medication over 2 years was 81, 82, 97 and 83% for cases of persistent oligoarticular, extended oligoarticular, polyarticular and systemicJIA, respectively. The probability of clinical remission off medication 5 years after onset of remission was 40 and 67% for patients with persistent oligoarticular and systemic JIA, respectively. Persistent disease activity was significantly associated with the use of an anti-rheumatic drug combination. Age at JIA onset was the only factor that predicted clinical remission (p = 0.002).Conclusions: In this cohort, the probability of JIA progressing to clinical remission was greater for the persistent oligoarticular and systemic subtypes, when compared with polyarticular cases.

POST-MORTEM LESIONS of UROLITHIASIS IN A LESSER SEED FINCH (Sporophila angolensis).

Urolithiasis is a disease that despite being a commonly observed problem in veterinary practice is uncommon in birds. Such disease was not reported in passeriforms to date. Accordingly, the aim of the present article is to describe a case of urolithiasis in an adult female lesser seed finch (Sporophila angolensis) pet bird which presented abdominal distension, respiratory distress, and apathy prior to death. The bird had history of being fed with a diet rich in protein. After the bird death, a necropsy was conducted in order to determine the cause of death. At necropsy, accentuated ascites, hydropericardium, and ureteral stones in the left ureter could be grossly observed. Additional tests related with viral and bacterial microbiological testing and with the determination of calculi composition could not be performed since the owner did not consent with the procedures because of the cost. Since the bird was fed on a high protein diet, a relationship between the ureteroliths and dietary imbalance was suggested with participation of protein in calculi development by providing the organic nuclei. Additionally, we conclude that the presence of calculi in the ureter resulted in urinary flow blockage, ascites, and consequent acute respiratory failure due to filling of air sacs with liquid.

Viability of primordial follicles derived from cryopreserved ovine ovarian cortex tissue

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Analysis of the effects of irradiation in osseointegrated dental implants

Objective: The purpose of the present study was to evaluate the influence of radiation in osseointegrated dental implants installed in tibiae of rats.Material and methods: Screw-shaped implants (2.5 mm diameter by 3.5 mm length) were custom made from commercially pure titanium bars. Titanium implants were blasted and sterilized before implantation. Animals were divided into two groups of 12 animals each and the rats were not paired after the groups' formation. The experimental group (group 1) received external irradiation 4 weeks after surgery while in the control group (group 2) animals were kept free of radiation. The shear strength required to detach the implant from bone was measured by push-out testing and osseointegration was histologically evaluated.Results: Results showed that the compressive strength of irradiated implants (33.49 MPa) was significantly lower than the compressive strength of non-irradiated implants (48.05 MPa).Conclusions: We concluded that the mechanical strength bonding between implants and host tissues decreased after irradiation.

Benefits of physical exercise on executive functions in older people with Parkinson's disease

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)