KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

A Literatura de Cordel como recurso didático na orientação de usuários em uma biblioteca universitária

A Literatura de Cordel consiste numa forma de conhecimento que produz conteúdos importantes para serem inseridos nos mais diversos contextos educacionais. Através de sua linguagem simples, o cordel versa sobre os mais variados temas, proporcionando uma leitura prazerosa. Assim, o objetivo geral desse trabalho é utilizar-se do cordel, com sua característica lúdica, para educar usuários e funcionários de bibliotecas, promovendo um espaço de formadores de habilidades e competências no uso consciente do acervo. A metodologia constou de abordagem aos alunos durante a visita guiada à Biblioteca Central da Universidade Federal do Rio Grande do Norte, onde são prestadas informações dos serviços oferecidos e da importância do acervo de uma biblioteca na sua vida acadêmica, bem como de sua preservação. Ao final da visita, cada aluno recebe um folheto de cordel contendo informações sobre o uso consciente do acervo, além da recomendação de que após a leitura do cordel, o mesmo seja repassado sucessivamente para outros membros da comunidade, de forma a alcançar uma maior parcela de leitores. Os resultados apontam que o cordel destaca-se como um poderoso instrumento didático-pedagógico e disseminador de informações. Ademais, ele tem a facilidade de alcançar desde os mercados e feiras, que divulgam a ciência e a arte, bem como as tradições populares. Conclui-se que o uso do cordel, numa perspectiva educativa, permite transmitir para os usuários de uma biblioteca, bem como à comunidade em geral, as boas maneiras de utilização dos suportes informacionais.

Investigação do papel modulador do Haloperidol sobre os níveis de proteínas relacionadas à plasticidade e preferência por objetos novos em camudongos

Dopamine (DA) is known to regulate both sleep and memory formations, while sleep plays a critical role in the consolidation of different types of memories. We believe that pharmacological manipulation of dopaminergic pathways might disrupt the sleep-wake cycle, leading to mnemonic deficits, which can be observed in both behavioral and molecular levels. Therefore, here we investigated how systemic injections of haloperidol (0.3 mg/kg), immediately after training in dark and light periods, affects learning assessed in the novel object preference test (NOPT) in mice. We also investigated the hippocampal levels of the plasticity-related proteins Zif-268, brain-derived neurotrophic factor (BDNF) and phosphorylated Ca2+/calmodulin-dependent protein kinases II (CaMKII-P) in non-exposed (naïve), vehicle-injected controls and haloperidol-treated mice at 3, 6 and 12 hours after training in the light period. Haloperidol administration during the light period led to a subsequent impairment in the NOPT. In contrast, preference was not observed during the dark period neither in mice injected with haloperidol, nor in vehicle-injected animals. A partial increase of CaMKII-P in the hippocampal field CA3 of vehicle-injected mice was detected at 3h. Haloperidol-treated mice showed a significant decrease in the dentate gyrus of CaMKII-P levels at 3, 6 and 12h; of Zif-268 levels at 6h, and of BDNF levels at 12h after training. Since the mnemonic effects of haloperidol were only observed in the light period when animals tend to sleep, we suggest that these effects are related to REM sleep disruption after haloperidol injection

O processo de aprendizagem de professores do ensino fundamental: apropriação da habilidade de planejar situações de ensino de conceitos

La investigación fue realizada con profesores de los años iniciales de la enseñanza básica, alumnos de la carrera de Pedagogía Licenciatura Plena del PROBÁSICA de Ceará-Mirim (RN). Tuvo como objetivo general el estudio de lo proceso de apropiación de esa habilidad, segundo las siguientes perspectivas teóricas: históricocultural, de L.S. Vygotsky, teoría de la actividad, de A.N. Leontiev, y la teoría de la asimilación por etapas mentales, de P. Ya Galperin. La metodología se desarrolló organizándose en tres etapas: el diagnóstico inicial, con el análisis del nivel de desarrollo de la habilidad de los profesores; el proceso formativo, con la orientación del aprendizaje, el control y la evaluación del desarrollo; y el diagnóstico final, con el análisis del nivel alcanzado en la experiencia. Los instrumentos utilizados fueron: un cuestionario, para la caracterización de los sujetos de la investigación, el planeamiento de enseñanza de los profesores y el diario de clase, donde se registraba lo que ocurrió en cada orientación y realización del proceso formativo. Los resultados referentes a los niveles iniciales del desarrollo de la habilidad han revelado un grado de espontaneidad en el planeamiento de enseñanza de los conceptos. Durante el proceso de enseñanza y aprendizaje, los profesores han expresado sus dificultades, pero también las posibilidades de mudanza para que alcanzaran un nuevo nivel de desarrollo. Para el análisis del nivel inicial y del desarrollo de las habilidades de los profesores para planificar situaciones de enseñanza con la definición y con la identificación, fueron utilizados los siguientes elementos: el dominio del concepto, el dominio de esos procedimientos lógicos y las categorías del planeamiento (objetivos, contenidos, estrategias de enseñanza, control y evaluación). En cada etapa surgieron obstáculos, pero también aspectos que han revelado la posibilidad para aprender una nueva forma de planear, con apropiación de nuevos fundamentos teóricos. La práctica docente se constituyó en un elemento que facilitó la comprensión y la apropiación de las habilidades de planear situaciones de enseñanza de conceptos mediante la definición y la identificación

Objetos de aprendizagem e alfabetização: a proposição de um encontro

This study investigates the development of Learning Objects for the literacy of children. It aims to know based in the notion of literacy teachers the main factors of academic failure in literacy and researching in Brazil, as well as identify relevant activities in the literacy process of children to support the creation of a set of Learning Objects. Refers to an exploratory research, which is configured as a qualitative nature case study, inspired in part in an action-research described by Thiollent (2003), conducted with ten early grades elementary school teachers of a public municipal school in Parnamirim / RN. As methodological options for data collection uses questionnaires and focuses on the group of teachers, analyzing the data, referring back to the ideas by Szymanski (2001; 2008) and content analysis, guided by Bardin (2002). The development of Learning Objects, follows the steps of development suggested by Garrett (2000). Rules in its multidisciplinary theoretical reference and promotes a conceptual dialogue on: Literacy; Literacy School Failure; Pedagogical Practice in Literacy; Thoughts and Language; Multimedia and Hypermedia; Learning Objects. Perceives that the act of education in literacy as an act of love, courage and social interaction between individuals - educator and pupil, so there is ownership of the object of knowledge in the relations with the world and with the experience, through a pedagogical practice that assumes all different knowledges, the moral political ideal, the mindsets of the students, and can make use of teaching materials that supports the learning process and are consistent with the educational objectives (FREIRE, 1998; FREINET, 1976; VYGOTSKY, 1998; FERREIRO AND TEBEROSKY, 1985; JONASSEN, 2000; WILEY, 2001). Figures out, through the teachers' opinions, five reasons for school failure in literacy, three inside the school environment: teacher; academic assistant and principal; student, and two outside the school environment: parents/family; government and public management. Presents a set of Learning Objects, based on the constructivist thought, developed from the identification of activities considered relevant by teachers in literacy's teaching and learning process. Suggests the use of Learning Objects as pedagogical practice in literacy as a digital resource that supports learning and can trigger important cognitive processes for the acquisition of reading and writing skills in the school environment

Controle de posição com restrição à orientação de um Veículo Aéreo Não-Tripulado tipo Quadrirrotor

Quadrotors aircraft are composed by four propellers mounted on four engines on a cross or x disposition, and, in this structure, the engines on the same arm spin in the same direction and the other arm in the opposite direction. By rotating each helix generates vertical upward thrust. The control is done by varying the rotational speed of each motor. Among the advantages of this type of vehicle can cite the mechanical simplicity of construction, the high degree of maneuverability and the ability to have vertical takeoffs and landings. The modeling and control of quadrirrotores have been a challenge due to problems such as nonlinearity and coupling between variables. Several strategies have been developed to control this type of vehicle, from the classical control to modern. There are air surveillance applications where a camera is fixed on the vehicle to point forward, where it is desired that the quadrotor moves at a fixed altitude toward the target also pointing forward, which imposes an artificial constraint motion, because it is not desired that it moves laterally, but only forwards or backwards and around its axes . This restriction is similar to the naturally existing on robots powered by wheels with differential drive, which also can not move laterally, due to the friction of the wheels. Therefore, a position control strategy similar to that used in this type of robot could be adapted for aerial robots like quadrotor. This dissertation presents and discusses some strategies for the control of position and orientation of quadrotors found in the literature and proposes a strategy based on dynamic control of mobile robots with differential drive, called the variable reference control. The validity of the proposed strategy is demonstrated through computer simulations

Desenvolvimento de um Sistema de Visão Global para uma Frota de Mini-Robôs Móveis

Navigation based on visual feedback for robots, working in a closed environment, can be obtained settling a camera in each robot (local vision system). However, this solution requests a camera and capacity of local processing for each robot. When possible, a global vision system is a cheapest solution for this problem. In this case, one or a little amount of cameras, covering all the workspace, can be shared by the entire team of robots, saving the cost of a great amount of cameras and the associated processing hardware needed in a local vision system. This work presents the implementation and experimental results of a global vision system for mobile mini-robots, using robot soccer as test platform. The proposed vision system consists of a camera, a frame grabber and a computer (PC) for image processing. The PC is responsible for the team motion control, based on the visual feedback, sending commands to the robots through a radio link. In order for the system to be able to unequivocally recognize each robot, each one has a label on its top, consisting of two colored circles. Image processing algorithms were developed for the eficient computation, in real time, of all objects position (robot and ball) and orientation (robot). A great problem found was to label the color, in real time, of each colored point of the image, in time-varying illumination conditions. To overcome this problem, an automatic camera calibration, based on clustering K-means algorithm, was implemented. This method guarantees that similar pixels will be clustered around a unique color class. The obtained experimental results shown that the position and orientation of each robot can be obtained with a precision of few millimeters. The updating of the position and orientation was attained in real time, analyzing 30 frames per second

Linguagem matemática: uma proposta de ensino e avaliação da compreensão leitora dos objetos da matemática

This paper discusses aspects related to the mathematical language and its understanding, in particular, by students of final years of elementary school. Accordingly, we aimed to develop a proposal for teaching, substantiated by mathematical modeling activities and reading, which takes advantage of the student of elementary school a better understanding of mathematical language for the content of proportion. We also aim to build / propose parameters for the assessment of reading proficiency of the language of the student in analyzing and modeling process, its ability to develop/improve/enhance this proficiency. For this purpose, we develop a qualitative research, with procedures for an action research whose analysis of the data is configured as Content Analysis. We refer to epistemological and didactic, in the studies: Piaget (1975, 1990), Vygotsky (1991, 2001), Bakhtin (2006), Freire (1974, 1994), Bicudo and Garnica (2006), Smole and Diniz (2001), Barbosa (2001), Burak (1992), Biembengut (2004), Bassanezi (2002), Carrasco (2006), Becker (2010), Zuin and Reyes (2010), among others. We understand that to acquire new knowledge one must learn to read and reading to learn it, this process is essential for the development of reading proficiency of a person. Modeling, in turn, is a process which enables contact with different forms of reading providing elements favorable to the development here mentioned. The evaluation parameters we use to analyze the level of reading proficiency of mathematical language proved to be effective and therefore a valuable tool that allows the teacher an efficient evaluation and whose results can guide you better in the planning and execution of their practice

A doença de criar passarinhos: a lírica humanizadora de João Cabral de Melo Neto

João Cabral de Melo Neto n a jamais aimé les vers sentimentaux et prolixes venus de la tradition romantique. C est pour ça que son uvre a un discours objectif, rigoureusement elaboré e elle comporte certaines influences concretistes ça explique pourquoi l auteur est connu comme l ingénieur de la langage. En verité, le poète même dissait qu il était un homme froid et rationnel. La critique a assidument analysé la matière logique et le rigeuer formel de l uvre de Cabral de Melo. Pourtant, dans ce travail nous analysons les poèmes dont le sentiments humaines sont la mtière principal de l élaboration de l experiènce esthétique. La poèsie de João Cabral n est pas simple verbalisme formel, ni un uvre sens vie, car les objects concrètes et la langage objectif n empêchent pas qui le sujet décrit avec émotion les scènes presents dans les poèmes. Nous travaillons avec la hypothèse de que le poète a une attitude trop humaine quand il parle de l experience culturel et de l experience de la vie dans le Nord-est brésilien. Les unités témathiques de ce travail, pourtant, montrent la représentation du Nord-est dans la poèsie de João Cabral et examinent aussi le sentiment qu il sent par la memoire culturel de sa région. Parmi les aspects qui composent sa lyrique humaine nous citons la personification constant de les paysages du Nord-est le poète ne veux pas faire une décrition tophographique de la région parce que les places ont un valeuer sentimentel pour lui; au moyen d un discours erotique, Cabral represente les desirs et les intints humaines de sa terre; ensuite, il semble que le poète est enchanté et enveloppé avec certains elemets culturels de sa région, come l hamac, la littérature oral et la musique régional; la preoccupation avec la population explorée et la denonciation de la condition miserable dans le Nord-est brésilien confirment aussi la humanité présent dans son uvre; finalment, la récordation de l enfance et la nostalgie du temps passé sont, pour le poète, un possibilité qui peut aider dans la formation humaine de la population

Análise textual dos discursos: responsabilidade enunciativa no texto jurídico

This investigation aims at describing, analyzing and interpreting the Commitment in Initial Petitions, which is a genre circumscribed in the judicial domain. For this purpose, we have chosen sections, facts as found and relevant law , sections of the petition, with the understanding that, in this way, respectively, the narration of events, which gives margin to the propositioning to the judicial action, and the exposition of the law that upholds the author s intention. We base our discussion on the field of Linguistics, more precisely, Textual Discourse Analysis (TDA), whose theoretical basis is derived from Textual Linguistics (TL) and Enunciative Linguistics. We foreground, particularly, the way in which the author of texts, objects of analysis, use discursive strategies that evidence ER. The relevance of this study, then, is in the formation of a critique of the judicial text, as it conceives of a dialogical approach to the point of view, raising not only questions about the way in which a linguistic instance conceives an object of discourse, but also considering questions of language inherent to technical writing and, in this aspect, contributing to the work of those operating in Law about the many ways ER is formed in the body of a petition. We selected two categories to analyze that, according to Adam (2011), characterize the degree of ER in the textual material of the propositional enunciations: the different types of representation of speech and the indications of profile of mediators. In this sense, with this task as an objective, we base our study regarding point of view on Rabatel (2003, 2009a, 2010) with relation to the enunciative approach, including the study of PDV in polyphonic and dialogical theoretical framework to study the ER from different types of speech representations that conceive forms of transmission of discourse and the role of the enunciating subject, mainly the responsibility and the prerogative by the propositional contents. In the same way, intending to study the indications of the mediator profiles, we observed the postulations of Guentchéva (1994, 1996), which develop the notion of mediative grammatical categories, of which permit the linguistic marking of distance and engagement of the enunciator with regard to the information expressed. The methodology we adopted was based on qualitative research, of an interpretive and introspective nature, in light of the fact that his study focuses on processes and strategies underlying language use. The corpus of the research is comprised of Initial Petitions, which gave rise to actions originating in the Civil Court of Currais Novos County RN. The data analysis shows that an object of discourse is always perspective oriented and presents the point of view of one or more enunciators. Consequently, the producer of a text, using the PDV of other enunciators, influences and establishes the argumentative orientation of the text. In the same way, it evidences the relevance of the use of mediated constructions in the judicial text, as they function as strategies attenuated to the responsibility of the producer of the text with what is said, and at the same time points to a discourse of authority through the entrance of the sources of law. Moreover, it reveals the documental and international importance of this practice, at the same time that it exposes the compositional and normative difficulties with regard to legal and linguistic aspects

A retórica em Aristóteles: da orientação das paixões ao aprimoramento da eupraxia

This research brings into focus the relationship between the work Rhetoric, from Aristotle, and the conceptions of ethics and practical wisdom of the philosopher from Stageira. Accordingly, it attempts to show that Aristotle's Rhetoric was produced to guide the construction and orientation of oratory passions of the Greek man, setting it as a reference for practices aimed at social ordering of the polis. In other words, the Aristotelian Rhetoric, designed by the author as the study of what is persuasive in every speech, is not composed with the meaning of persuasion at any cost, in another sense it is conceived by Aristotle as a useful knowledge for the improvement eupraxic (the good act in accordance with the fair and true). This research finds that such work has been prepared by Stagirite a time of strong social transformations and upheavals in ancient Greece: The skepticism expanded, with each person wanting to live their own businesses, and especially in Athens, a city that served as intellectual and political reference, there was a lack of collective spirit. In this tumultuous social environment, Aristotle, with a culture of Greeks eager Trusted reviews and socially shareable in the field of verisimilitude, sought with his Rhetoric, contributing to the development of ethics and political science; referrals for legal and organization of inter-social relations in varied environments, including seeking to provide knowledge about human passions and emotional status of active citizens in deliberative meetings

Grau de conhecimento de pacientes sobre o acidente vascular cerebral e a necessidade do uso de cartilha educativa para orientação fisioterapêutica

Stroke is a neurological dysfunction of vascular origin that causes physical impairments and disabilities. Brazil leads the statistics stroke mortality among Latin American countries, demonstrating still be a neglected disease in this country. The incidence is related to risk factors and still is great misinformation in our country about stroke, treatment and prophylaxis. The aim of this study was to assess the degree of knowledge about stroke and patients need to use educational booklet for physiotherapy. The sample consisted of 53 patients, 22 females and 31 males, mean age 56.2 ± 10.9 years. Patients were evaluated by completing questionnaires, observing the socio-demographic and clinical aspects, neurological assessment, functional assessment, knowledge of pathology and presenting educational booklet. The data were analyzed using the chi-square test. According to the results, it was observed that the patients had not enough knowledge about the terminology, complications and warning signs of stroke, were not aware and did not perform the proper positioning of the limb and transfers, however, were aware and performed the stretching maneuvers. This reveals the need to implement policies that lead to information about stroke population. Following discharge from outpatient physical therapy using educational booklets with guidelines on positioning, stretching exercises and transfer is important in functional rehabilitation and encouraging independence of the individual affected by stroke

Métricas de sistemas de middleware orientado a aspectos e Aplicação em um sistema de monitoramento de Poços de Petróleo

Nowadays, there are many aspect-oriented middleware implementations that take advantage of the modularity provided by the aspect oriented paradigm. Although the works always present an assessment of the middleware according to some quality attribute, there is not a specific set of metrics to assess them in a comprehensive way, following various quality attributes. This work aims to propose a suite of metrics for the assessment of aspect-oriented middleware systems at different development stages: design, refactoring, implementation and runtime. The work presents the metrics and how they are applied at each development stage. The suite is composed of metrics associated to static properties (modularity, maintainability, reusability, exibility, complexity, stability, and size) and dynamic properties (performance and memory consumption). Such metrics are based on existing assessment approaches of object-oriented and aspect-oriented systems. The proposed metrics are used in the context of OiL (Orb in Lua), a middleware based on CORBA and implemented in Lua, and AO-OiL, the refactoring of OIL that follows a reference architecture for aspect-oriented middleware systems. The case study performed in OiL and AO-OiL is a system for monitoring of oil wells. This work also presents the CoMeTA-Lua tool to automate the collection of coupling and size metrics in Lua source code

Avaliando o impacto da utilização de renderizações panorâmicas para a navegação em ambientes virtuais

Panoramic rendering is the visualization of three-dimensional objects in a virtual environment through a wide viewing angle. This work investigated if the use of panoramas is able to promote faster searches in a virtual environment. Panoramas allow the presentation of space through less need to change the orientation of the camera, especially for the case of projections spanning 360º surrounding the user, which can benefit searching. However, the larger the angle, more distorted is the visualization of the environment, causing confusion in navigation. The distortion is even bigger when the user changes the pitch of the camera, by looking up or down. In this work we developed a technique to eliminate specifically the distortions caused by changes in pitch, which was called hemispheric projection. Experiments were done to evaluate the performance of search navigation through perspective, cylindrical and hemispherical projections. The results indicate that navigating with perspective projection is superior than navigating with panoramic projections, possibly due to factors such as (i) lack of experience of the participants in understanding the scenes displayed as panoramas, (ii) the inherent presence of distortion in panoramic projections and (iii) a lower display resolution because the objects are presented in smaller sizes in panoramic projections, making the perception of details more difficult. However, the hemispherical projection was better than the cylindrical, indicating that the developed technique provides benefits for navigation compared to current techniques of panoramic projection. The hemispheric projection also provided the least amount of changes of camera orientation, which is an indication that the hemispheric projections may be particularly useful in situations where there are restrictions on the ease to change the orientation. Future research will investigate the performance of cameras interactions on slower devices, such as using only keyboard, or brain-machine interfaces

Orientação de falhas presentes em testemunhos de sondagens do campo de Xaréu/bacia do Ceará

A research project is being developed by PPGG/UFRN and PETROBRAS in the Xaréu Oil Field located in Ceará Basin, Northeastern Brazil. The objective of the research is to characterize a fractured carbonate reservoir, the Trairi Limestone, in order to drill a borehole with two horizontal legs taking advantage of the natural fracture system to enhance the oil recovery. The present master thesis is part of this research and its contribution is to estimate fault orientation from unoriented cores, using the method proposed by Hesthammer & Henden (2000). In order to orient a fault cutting a bed observed in the core, the bed should be previously oriented. As additional constraint to orient the bed, we use regional bedding orientation obtained from structure maps of Trairi Limestone. Because the number of cores drilled from the Trairi Limestone was too small, we analyzed all cores from the field. As geologic constraint, we admit that all faults were formed as result of the South America and Africa separation, in the context of a regional dextral strike-slip fault formation. In this context, secondary faults are manly T and R faults according Riedel s classification. We analyzed 236.5 m of cores. The dip of bedding varies from 0o to 8o, being the most frequent value equal to 2o. We interpret this result as evidence that the deformation process was manly ruptil. 77 faults were identified in the cores. These faults strike manly to NW and NE with dips, in general, inside the interval 700 - 900. We suggest that the horizontal legs of the borehole should be oriented to NW and NE in order to improve the probability of intercepting open fractures and faults