Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Responsabilidade social empresarial: uma avaliação do Projeto Escola de Informática e Cidadania da Mineradora Y situada no Estado do Pará

The subject Responsibility Enterprise Social (RSE) is relatively recent in the half national academic and the world of the management businesses as practical. For the lack of socialization of experiences and clarity of concepts, shunting lines in the agreement of the subject and the conduction of the interventions occur. It was looked to inquire, in this research, the development of the project of Social Responsibility Enterprise ―School of Computer science and Citizenship‖ of a situated company in the State of Pará, objectifying to evaluate it and later to understand it. For this, one searched to describe the characteristics and structure of the School, to identify to the lines and lines of direction adopted for this Project and to identify to the influence and results of the same in the life of pupils, professors and egresses of the School. It is characterized for a study of case with qualitative boarding of descriptive character, carried through interviews structuralized in a sample of 21 divided members of the School between professors, pupils and egresses. It was used of the analysis of categorical content, having as axle for the interpretation of the data the Social Responsibility, the Digital Inclusion and the Education. The gotten results inform that the infrastructure has challenges to face, point disparities between the conception and practical of the categories characterized in the Politician-Pedagogical Project of the EIC and the influence that, exactly under limits, the life of the professors, pupils reaches and egress. One evidenced that Social action for damages of this company when come back toward this project, they had not been evidenced. For this prism, these actions had only remained in the assistencialist speech and not structural, being thus, the company is not fulfilling its paper of transforming element of the reality of its clientele and the population that lives in it s around

Inserção da informática nos cursos de Arquitetura e Urbanismo do Brasil (1994 2006): diagnósticos, rebatimentos e perspectivas nas Instituições Federais de Ensino Superior do Nordeste: UFRN, UFPB e UFPE

This work supports the formalist education s improvement of the Brazilian architect and urban designer through a better application and systematization of the computer science s teaching potentialities. The research analyzes the discipline introduction in the Brazilian courses: Computer Science Applied to Architecture and Urbanism (InfoAU) in the Architecture and Urbanism Courses of Brazil (CAUs). It goes since the discipline was obligated by the MEC s Regulation nr. 1.770 from 1994 until the CNE/CES Resolution nr. 6 from 2006; it comprehends the discipline implantation, development and current context, in order to get more detailed, the research analyses three federal universities from the Northeast of the country: UFRN, UFPB and UFPE. Once identified the historical educational needs in the CAUs, the study focus on the computer science s increasing potential as an agent of integration, communication, development and knowledge/data management. It points out new social perspectives for a better use of this tool/mechanism, which adequately structuralized and integrated, creates propitious educational and professional performance/recycling conditions and a propeller instrument of research and extension activities. Among this work, it is suggested the aggregation of elements, which are complementary to the InfoAU discipline s reorganization, throughout a computerization s plan for the CAUs, extensive to the professional formation, generating a virtuous cycle in several activities of the academic, administrative and, research and extension s departments. Therefore, the InfoAU in the Brazilian CAUs context was analyzed; the main solutions and problems found were systemized; the possibilities of computer science s uses inside AU ware structuralized, InfoAU discipline s improvement plan was also defined, as well as strategies for the implementation of the computerization s plan for the CAUs, which would guarantee its maintenance in a continuity perspective

A informática como uma ferramenta de apoio a inclusão do deficiente visual

An inclusive environment has its foundations in the belief that all people are entitled to participate, to live as normal a life as possible, without discrimination, especially in education. This is to ensure equal opportunities. For individuals with special needs, the use of computers and digital materials is not an alternative, but one of the only forms of access to information. For the visually impaired, they start from the beginning to enter the university, through the selection processes, not always accessible. For those who can, other difficulties arise, undermining the initial enthusiasm and generating a large rate of dropouts. In most cases, these students will depend on the goodwill of colleagues and volunteers for the reading of texts in the basic literature of the disciplines studied. The high cost of technology assisted allied to a lack of resources and knowledge of curricular adaptations, prevents many teachers help these students in an appropriate manner. This thesis seeks to contribute to the inclusion of the visually impaired student pointing alternatives that can help in caring education. The research was conducted specifically for the doctorate during the period 2001 to 2006, the cities of Natal, Salvador and Curitiba, and is based mainly on the methodology of action research. The objective was the construction of Virtual Teaching Support Center , structured in a Web portal that can serve as a resource to help support teachers, staff and other users concerned with the process of inclusion of people with needs special education, with the goal of assimilation of educational opportunities, with the support of resources and methods. The inclusion is for everyone because we are all different

RoboEduc: especificação de um software educacional para ensino da robótica às crianças como uma ferramenta de inclusão digital

Because of social exclusion in Brazil and having as focus the digital inclusion, was started in Federal University of Rio Grande do Norte a project that could talk, at the same time, about concepts of collaborative learning and educational robotics , focused on children digitally excluded. In this context was created a methodology that approaches many subjects as technological elements (e. g. informatics and robotics) and school subjects (e. g. Portuguese, Mathematics, Geography, History), contextualized in everyday situations. We observed educational concepts of collaborative learning and the development of capacities from those students, as group work, logical knowledge and learning ability. This paper proposes an educational software for robotics teaching called RoboEduc, created to be used by children digitally excluded from primary school. Its introduction prioritizes a friendly interface, that makes the concepts of robotics and programming easy and fun to be taught. With this new tool, users without informatics or robotics previous knowledge are able to control a robot, previously set with Lego kits, or even program it to carry some activities out. This paper provides the implementation of the second version of the software. This version presents the control of the robot already used. After were implemented the different levels of programming linked to the many learning levels of the users and their different interfaces and functions. Nowadays, has been implemented the third version, with the improvement of each one of the mentioned stages. In order to validate, prove and test the efficience of the developed methodology to the RoboEduc, were made experiments, through practice of robotics, with children for fourth and fifth grades of primary school at the City School Professor Ascendino de Almeida, in the suburb of Natal (west zone), Rio Grande do Norte. As a preliminary result of the current technology, we verified that the use of robots associated with a well elaborated software can be spread to users that know very little about the subject, without the necessity of previous advanced technology knowledges. Therefore, they showed to be accessible and efficient tools in the process of digital inclusion

A Informática como recurso didático para a aprendizagem de Física no ensino médio

The accomplishment of this work was motivated by our concerns, while teacher of Physics discipline, in the medium teaching and in the higher education, where we have been observing a lot of difficulties in the students' acting, to the they try to give pursuit out to their studies of the classroom, because of the lack of appropriate equipments, or even, of a laboratory where they can put in practice the studied contents. The work aims at to build and to test an educational software that it serves as tool auxiliadora in Physics learning in the Medium Teaching, in the area of electricity, with emphasis in the study of the electrodynamic in resistors. The developed software comes as an alternative to the learning problems, putting the computer science as auxiliary tool, because, besides being an alternative in the middle of the technological expansion, endowed with several resources, it stimulates the significant learning, according to David Ausubel's perspective. A software containing a program destined to the applicability of physics contents in the branch of the electricity is presented as an auxiliary tool, where the student can, not just, to review the contents presented at room, as well as for in practice, through a virtual laboratory, some of these contents, besides testing their knowledge through a bank of discursive subjects. The evaluation of the developed software was made submitting him/it to the professionals' of physics area appreciation. Equally, through continuous evaluations, they were made comparisons among the students' of five different groups acting, in the same school, that you/they were used of the program as tool of his auxiliary learning, and the acting of those that didn't use it

Um estudo algorítmico da programação da intervenção de sondas de produção

This work approaches the Scheduling Workover Rigs Problem (SWRP) to maintain the wells of an oil field, although difficult to resolve, is extremely important economical, technical and environmental. A mathematical formulation of this problem is presented, where an algorithmic approach was developed. The problem can be considered to find the best scheduling service to the wells by the workover rigs, taking into account the minimization of the composition related to the costs of the workover rigs and the total loss of oil suffered by the wells. This problem is similar to the Vehicle Routing Problem (VRP), which is classified as belonging to the NP-hard class. The goal of this research is to develop an algorithmic approach to solve the SWRP, using the fundamentals of metaheuristics like Memetic Algorithm and GRASP. Instances are generated for the tests to analyze the computational performance of the approaches mentioned above, using data that are close to reality. Thereafter, is performed a comparison of performance and quality of the results obtained by each one of techniques used

EUPAT for WoW: Uma ferramenta de assistência à programação por usuário final

Neste trabalho, apresentamos uma ferramenta cujo intuito é auxiliar não-programadores, jogadores de videogame, na criação de extensões na forma de Add-ons para World of Warcraft, o jogo online. Nele, o usuário pode criar extensões customizando completamente sua interface, de forma a reinventar a sua experiência de jogo e melhorar sua jogabilidade. A criação de extensões para aplicativos e jogos surgiu da crescente necessidade de fornecer aos usuários mecanismos eficientes de Programação por Usuário Final, permitindo que os mesmos preenchessem suas necessidades singulares através da criação, customização e especificação de extensões em software. Em World of Warcraft mais especificamente, os Add-ons exploram um tipo de extensão na qual os jogadores passam a programar sua própria interface de usuário ou a fazer uso de interfaces criadas por outros usuários. No entanto, realizar a programação dessas extensões - os Add-ons - não é uma tarefa fácil. Dentro deste contexto, desenvolvemos a ferramenta EUPAT for WoW (do inglês, End-User Programming Assistance Tool for World of Warcraft) que oferece assistência à criação de Add-ons. Além disso, investigamos como usuários jogadores com e sem conhecimento de programação são beneficiados. Os resultados desta pesquisa permitiram refletir sobre as estratégias de assistência de programação por usuário final no contexto de jogos

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Um Framework para criação de jogos voltados para o ensino de lógica de programação

Digital games have been used as aiding tool for transmission of knowledge, allowing faster dissemination of content. Using this strategy of disseminating logical reasoning development for basic school children can be the motivating gear that helps in the learning process for any area. In this context, many games can be created and provided for the use of teacher and student. However, the complexity of construction of these games becomes a obstacle which can, often, prevent their construction. Thus, this paper presents a framework for creating games, which teach programming logic, presenting from their conception to their integration with the visual programming environment (Blockly) and scenarios created in HTML5.

Estudo e desenvolvimento de algoritmos criptográficos para redes de sensores sem fio, utilizando técnicas de programação genética

Cryptography is the main form to obtain security in any network. Even in networks with great energy consumption restrictions, processing and memory limitations, as the Wireless Sensors Networks (WSN), this is no different. Aiming to improve the cryptography performance, security and the lifetime of these networks, we propose a new cryptographic algorithm developed through the Genetic Programming (GP) techniques. For the development of the cryptographic algorithm’s fitness criteria, established by the genetic GP, nine new cryptographic algorithms were tested: AES, Blowfish, DES, RC6, Skipjack, Twofish, T-DES, XTEA and XXTEA. Starting from these tests, fitness functions was build taking into account the execution time, occupied memory space, maximum deviation, irregular deviation and correlation coefficient. After obtaining the genetic GP, the CRYSEED and CRYSEED2 was created, algorithms for the 8-bits devices, optimized for WSNs, i.e., with low complexity, few memory consumption and good security for sensing and instrumentation applications.

Estudo e desenvolvimento de algoritmos criptográficos para redes de sensores sem fio, utilizando técnicas de programação genética

Cryptography is the main form to obtain security in any network. Even in networks with great energy consumption restrictions, processing and memory limitations, as the Wireless Sensors Networks (WSN), this is no different. Aiming to improve the cryptography performance, security and the lifetime of these networks, we propose a new cryptographic algorithm developed through the Genetic Programming (GP) techniques. For the development of the cryptographic algorithm’s fitness criteria, established by the genetic GP, nine new cryptographic algorithms were tested: AES, Blowfish, DES, RC6, Skipjack, Twofish, T-DES, XTEA and XXTEA. Starting from these tests, fitness functions was build taking into account the execution time, occupied memory space, maximum deviation, irregular deviation and correlation coefficient. After obtaining the genetic GP, the CRYSEED and CRYSEED2 was created, algorithms for the 8-bits devices, optimized for WSNs, i.e., with low complexity, few memory consumption and good security for sensing and instrumentation applications.

Responsabilidade social empresarial: uma avaliação do projeto "Escola de Informática e Cidadania" da Mineradora "Y" situada no Estado do Pará

The subject Responsibility Enterprise Social (RSE) is relatively recent in the half national academic and the world of the management businesses as practical. For the lack of socialization of experiences and clarity of concepts, shunting lines in the agreement of the subject and the conduction of the interventions occur. It was looked to inquire, in this research, the development of the project of Social Responsibility Enterprise ―School of Computer science and Citizenship‖ of a situated company in the State of Pará, objectifying to evaluate it and later to understand it. For this, one searched to describe the characteristics and structure of the School, to identify to the lines and lines of direction adopted for this Project and to identify to the influence and results of the same in the life of pupils, professors and egresses of the School. It is characterized for a study of case with qualitative boarding of descriptive character, carried through interviews structuralized in a sample of 21 divided members of the School between professors, pupils and egresses. It was used of the analysis of categorical content, having as axle for the interpretation of the data the Social Responsibility, the Digital Inclusion and the Education. The gotten results inform that the infrastructure has challenges to face, point disparities between the conception and practical of the categories characterized in the Politician-Pedagogical Project of the EIC and the influence that, exactly under limits, the life of the professors, pupils reaches and egress. One evidenced that Social action for damages of this company when come back toward this project, they had not been evidenced. For this prism, these actions had only remained in the assistencialist speech and not structural, being thus, the company is not fulfilling its paper of transforming element of the reality of its clientele and the population that lives in it s around

Inserção da informática nos cursos de Arquitetura e Urbanismo do Brasil (1994 2006): diagnósticos, rebatimentos e perspectivas nas Instituições Federais de Ensino Superior do Nordeste: UFRN, UFPB e UFPE

This work supports the formalist education s improvement of the Brazilian architect and urban designer through a better application and systematization of the computer science s teaching potentialities. The research analyzes the discipline introduction in the Brazilian courses: Computer Science Applied to Architecture and Urbanism (InfoAU) in the Architecture and Urbanism Courses of Brazil (CAUs). It goes since the discipline was obligated by the MEC s Regulation nr. 1.770 from 1994 until the CNE/CES Resolution nr. 6 from 2006; it comprehends the discipline implantation, development and current context, in order to get more detailed, the research analyses three federal universities from the Northeast of the country: UFRN, UFPB and UFPE. Once identified the historical educational needs in the CAUs, the study focus on the computer science s increasing potential as an agent of integration, communication, development and knowledge/data management. It points out new social perspectives for a better use of this tool/mechanism, which adequately structuralized and integrated, creates propitious educational and professional performance/recycling conditions and a propeller instrument of research and extension activities. Among this work, it is suggested the aggregation of elements, which are complementary to the InfoAU discipline s reorganization, throughout a computerization s plan for the CAUs, extensive to the professional formation, generating a virtuous cycle in several activities of the academic, administrative and, research and extension s departments. Therefore, the InfoAU in the Brazilian CAUs context was analyzed; the main solutions and problems found were systemized; the possibilities of computer science s uses inside AU ware structuralized, InfoAU discipline s improvement plan was also defined, as well as strategies for the implementation of the computerization s plan for the CAUs, which would guarantee its maintenance in a continuity perspective