Uma ferramenta de manipulação de pacotes para análise de protocolos de redes industriais baseados em TCP/IP

This work presents a packet manipulation tool developed to realize tests in industrial devices that implements TCP/IP-based communication protocols. The tool was developed in Python programming language, as a Scapy extension. This tool, named IndPM- Industrial Packet Manipulator, can realize vulnerability tests in devices of industrial networks, industrial protocol compliance tests, receive server replies and utilize the Python interpreter to build tests. The Modbus/TCP protocol was implemented as proof-of-concept. The DNP3 over TCP protocol was also implemented but tests could not be realized because of the lack of resources. The IndPM results with Modbus/TCP protocol show some implementation faults in a Programmable Logic Controller communication module frequently utilized in automation companies

Desenvolvimento de uma ferramenta computacional para aplicação em métodos de elevação por bombeio centrífugo submerso

The Electrical Submersible Pump (ESP) has been one of the most appropriate solutions for lifting method in onshore and offshore applications. The typical features for this application are adverse temperature, viscosity fluids and gas environments. The difficulties in equipments maintenance and setup contributing to increasing costs of oil production in deep water, therefore, the optimization through automation can be a excellent approach for decrease costs and failures in subsurface equipment. This work describe a computer simulation related with the artificial lifting method ESP. This tool support the dynamic behavior of ESP approach, considering the source and electric energy transmission model for the motor, the electric motor model (including the thermal calculation), flow tubbing simulation, centrifugal pump behavior simulation with liquid nature effects and reservoir requirements. In addition, there are tri-dimensional animation for each ESP subsytem (transformer, motor, pump, seal, gas separator, command unit). This computer simulation propose a improvement for monitoring oil wells for maximization of well production. Currenty, the proprietaries simulators are based on specific equipments manufactures. Therefore, it is not possible simulation equipments of another manufactures. In the propose approach there are support for diverse kinds of manufactures equipments

Uma ferramenta para Análise Multiresolução de dados não regularmente amostrados

Digital signal processing (DSP) aims to extract specific information from digital signals. Digital signals are, by definition, physical quantities represented by a sequence of discrete values and from these sequences it is possible to extract and analyze the desired information. The unevenly sampled data can not be properly analyzed using standard techniques of digital signal processing. This work aimed to adapt a technique of DSP, the multiresolution analysis, to analyze unevenly smapled data, to aid the studies in the CoRoT laboratory at UFRN. The process is based on re-indexing the wavelet transform to handle unevenly sampled data properly. The was efective presenting satisfactory results

Metodologia, Sistema de Codificação e Ferramenta de software para Modelagem de Móveis Modulados

On this research we investigated how new technologies can help the process of design and manufacturing of furniture in such small manufacturers in Rio Grande do Norte state. Google SketchUp, a 3D software tool, was developed in such a way that its internal structures are opened and can be accessed using SketchUp s API for Ruby and programs written in Ruby language (plugins). Using the concepts of the so-called Group Technology and the flexibility that enables adding new functionalities to this software, it was created a Methodology for Modeling of Furniture, a Coding System and a plugin for Google s tool in order to implement the Methodology developed. As resulted, the following facilities are available: the user may create and reuse the library s models over-and-over; reports of the materials manufacturing process costs are provided and, finally, detailed drawings, getting a better integration between the furniture design and manufacturing process

Autoria no gênero resenha acadêmica

This work researches about the authorship marks in academic reviews of graduating students, besides the author discursive points of view. We detect the voices presented in the text, that is, the expressions of the discourse from the I and from the others, trying to explicitate the forms of the author review insertion. It is oriented by the conception that the author is the subject of his/her discourse, creating a position in relation to the discourse of the other(s) with which he/she maintains a dialogue. Our corpus is constituted of ten (10) academic reviews, produced by students from the Course of Letras, from Universidade do Estado do Rio Grande do Norte UERN, do Campus Avançado Prof.ª Maria Elisa de Albuquerque Maia CAMEAM. The data signalize to the perception that the subject constitutes author, when he/she gives voice to the other; showing his/her point of view; pointing to the discourse of the other; and/or getting far from the text. That way, it is observed that the genre academic review can be considered as text that reconfigures the original text, that is, as a text that comments, criticizes, confirms the text that is object of its analyses. The theoretical background that influences the research comes from the dialogical language conception, from discursive genres and from Volochinov/Bakhtin (1997, 2003) authorship. To the discussion and the analyses of the discursive genre academic review , it is mentioned the MOTTA-ROTH and MEURER (2002); POSSENTI (2001, 2002) conceptions.

Autoria e escrita: uma reflexão acerca do autorar em memórias de leituras de alunos de 9º ano do ensino fundamental

This paper presents results concerning studies conducted during the master's research in the area of Applied Linguistics of the Graduate Program in Language Studies - PPgEL, linked to the Federal University of Rio Grande do Norte. We approached this study the question of authorship, which has gained ground increasingly important in academic research, because the act of authoring, in view of the amount of circulating discourses socially, becomes increasingly questionable. We understand authorship as related to a positioning of the subject than to take responsibility, in the Bakhtinian sense, by its text, it makes their views, ideologies, beliefs and values, from ownership and restructuring of the speech of others. This research is methodologically inserted in a qualitative, interpretive in nature and has a corpus analysis of the ten productions written memoir genre of readings produced by students in 9th grade in elementary school. Research aimed to analyze the students' written productions held in the school environment, to identify these texts marks or evidence of authorship and investigate how the restructuring of ownership and voices of others in the process of authoring. We adopt a concept of language from bakhitinianas concepts and understand the text in a vision Geraldiana. The analyzes in this study showed that in most texts there is the strong presence of voices of others, either implicitly and/or explicit. That is, students, to build their sayings, if embraced the voices of others in various formats, in particular styles, namely, by what Bakhtin names as linear style and pictorial style. Some proved his statement highlighting their positions through direct quotes from authors of books, family, teachers, showing us that their voices are filled with voices of others with whom they approve, deny, analyze, think and reflect. We therefore conclude that students were constituted as subjects of their texts, authors, since they leave marked the voices of others so presentified and restructured voices of others who do not actually sounded like voices of others, but as present voices from a discursive restructuring producer

A ferramenta VoiceThread em uma abordagem hibrida: o desenvolvimento da produção oral e da habilidade de noticing na aprendizagem de inglês como L2

VoiceThread (VT) is a collaborative and asynchronous web 2.0 tool, which permits the creation of oral presentations with the help of images, documents, texts and voice, allowing groups of people to browse and contribute with comments using several options: voice (microphone or cell phone), text and audio-file or video (webcam) (BOTTENTUIT JUNIOR, LISBÔA E COUTINHO, 2009). The hybrid experience with VoiceThread allows learners to plan their speech before recording it, without the pressure often existent in the classroom. Furthermore, the presentations can be recorded several times, enabling students to listen to them, notice the gaps in their oral production (noticing) and edit innumerous times before publishing them online. In this perspective, oral production is seen as a process of L2 acquisition, not only as practice of already existent knowledge, because it can stimulate the learner to process the language syntactically (SWAIN, 1985; 1995). In this context, this study aims to verify if there is a relation between the oral production of the learners more specifically the grammatical accuracy and the global oral grade and their noticing capacity, how the systematic practice with VoiceThread, in a hybrid approach, can impact the learners global oral development, their oral production in terms of fluency (number of words per minute), accuracy (number of errors in hundred words), and complexity (number of dependent clauses per minute), and on their noticing capacity (SCHMIDT, 1990; 1995; 2001), that is, the learner s capacity of noticing the gaps existent in their oral production. In order to answer these research questions, 49 L2 learners of English were divided into an experimental group (25 students) and a control group (24 students). The experimental group was exposed to the hybrid approach with VT during two months and, through a pre- and post-test, we verified if this systematic practice would positively influence these participants oral production and noticing capacity. These results were compared to the pre- and post-test scores from the control group, which was not exposed to VT. Finally, learners impressions in relation to the use of this tool were also sought through a questionnaire applied after the post-test. The results indicate that there is a statistically significant correlation between the learners speech production (accuracy and global oral grade) and their noticing capacity. Besides, it was verified a positive impact of VoiceThread on the learners speech production variables and on their noticing capacity. They also reveal a positive reaction by the learners in relation to the hybrid experience with this web tool

O Brasil n o berço da desigualdade: uma abordagem analítica sobre os significados das fotografias de Sebastião Salgado

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

Luís Natal ou Câmara Cascudo: o autor da cidade e o espaço como autoria

The objective of this work is to problematize a strong identification of Luís da Câmara Cascudo (1898-1986), a norte-riograndense author, to the city of Natal, analyzing the constitution of a spaciality that takes this author as this city s intellectual exponent and cultural monument, which I name as Natal cascudiana. In this sense, I investigate the process of Câmara Cascudo s monumentalization by the city of Natal, questioning the way his life has been articulated to the site of his production. Bearing this in mind, I have structured the work in three parts: on the first one, I examine the emerging of this identity relationship considering the intellectual formation of young Cascudinho and the beginnings of his literary activities, verifying the reasons that led him to remain in Natal; on the second part I investigate his appointment as Natal s historian in 1948, discussing the ways through which this intellectual function institutionalized the works of Cascudo and conferred the city with a historical knowledge of itself; and finally, I analyze the constitution of a city memory regarding Cascudo, that has transformed him into spatial marks and urban toponym: names of streets, museum, library, bookstores etc. On these terms, I deal with the biographic gender to achieve a history of the city s spaces, problematizing the monumentalization of Cascudo in Natal, interrogating the emerging of this Natal cascudiana

Análise de grafos aplicada a relatos de sonhos: ferramenta diagnóstica objetiva e diferencial para psicose esquizofrênica e bipolar

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

O jogo de RPG como ferramenta auxiliar de aprendizagem na disciplina de Ciências

ON reflecting the traditional teaching approach, characterized by non-dynamic and descriptive methods that still persists in schools at the present time, associated to social living enrichment has motivated the search for new techniques to stimulate students in the process of teaching, such as roleplaying games, known as RPG, already being used in various school disciplines. Considering the amount of themes in general sciences and in biology, in particular that could be explored through RPG our purpose was to develop a game to be used as a learning complementary tool. PANGÉIA, the game we developed, was based on the GURPS system and to be placed at the geological Eras of the earth. The objective of the game was playing a character that represented an animal belonging to a Class of Vertebrates, and making it surviving and reproducing during risky situations presented in the game. These situations were narratives by the Master about challenges that the character would face, which should be solved using the dices. Along the narrative, the Master introduced concepts and informations about the subject being studied. To evaluating how the game worked out, we solicited 11 volunteers, from two different schools in Natal, to play PANGÉIA. Before starting the game, and without knowing the final objectives of our project, the volunteers answered a general questionnaire to let us know their level of knowledge, which was also answered after playing the game. The comparison of the volunteers answers before and after playing the game suggests that this activity influenced them. Also, based on this test, we identified critical aspects to be modified in PANGÉIA, specially a stronger relation between both the questionnaire and the game placement with the narrative of the master. In order to have PANGÉIA used as a complementary learning tool, a teachers handbook has to be written, including rules concerning the format of game application. Nonetheless, based on this pilot study, we conclude that topics on sciences and biology can be easily adjusted to RPG format, and its flexibility provides multiple combinations that can be used to help learning the more difficult topics to be taught in a class

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

Mobile interact: uma ferramenta de auxílio didático proporcionando interação entre professores e alunos através de celulares

Education is one of the oldest activities practiced by man, but today it is still performed often without creating dialogues and discussions among all those involved, and students are passives agents without interactivity with teachers and the content approached. This work presents a tool used for providing interactivity in educational environments using cell phones, in this way, teachers can use technology to assist in process of education and have a better evaluation of students. The tool developed architecture is shown, exposing features of wireless communication technologies used and how is the connection management using Bluetooth technology, which has a limited number of simultaneous connections. The details of multiple Bluetooth connections and how the system should behave by numerous users are displayed, showing a comparison between different methods of managing connections. Finally, the results obtained with the use of the tool are presented, followed by the analysis of them and a conclusion on the work

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

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