Br-IndustrialExpert: um framework para análise de dependabilidade de processos industriais

There is a growing need to develop new tools to help end users in tasks related to the design, monitoring, maintenance and commissioning of critical infrastructures. The complexity of the industrial environment, for example, requires that these tools have flexible features in order to provide valuable data for the designers at the design phases. Furthermore, it is known that industrial processes have stringent requirements for dependability, since failures can cause economic losses, environmental damages and danger to people. The lack of tools that enable the evaluation of faults in critical infrastructures could mitigate these problems. Accordingly, the said work presents developing a framework for analyzing of dependability for critical infrastructures. The proposal allows the modeling of critical infrastructure, mapping its components to a Fault Tree. Then the mathematical model generated is used for dependability analysis of infrastructure, relying on the equipment and its interconnections failures. Finally, typical scenarios of industrial environments are used to validate the proposal

Investigação histórica na formação de professores de matemática: um estudo centrado no conceito de função

In this study we analyzed the development of a teaching experience, involving students with a bachelor s degree in mathematics from UFRN, based on the history of mathematics and mathematical investigations with the aim of contributing to the improvement of the teaching-learning of mathematics. The historical investigation tasks were planned and applied in the classroom, focusing on functional thought. The results obtained during the experience were described and evaluated based on authors who support the assumption of investigation and history as an alternative to the learning of mathematics. We emphasize that the material of analysis consisted of a work diary, audio recordings, questionnaires with testimony of the students involved, and, in addition, the assessment of the teacher of that subject. With regard to the mathematical content, the study was restricted to the concept of function, forms of representation and notation. It was evident that students showed great improvement with regard to the necessary formalization of the mathematical contents which were focused on, and to the active involvement of the students at different stages of the study. We can affirm that the completed study certainly represents significant contributions to an approach in the teaching-learning of functional thought

O ensino de funfições trigonometricas através do software geogebra

In this study, we sought to address the weaknesses faced by most students when they were studying trigonometric functions sine and cosine. For this, we proposed the use of software Geogebra in performing a sequence of activities about the content covered. The research was a qualitative approach based on observations of the activities performed by the students of 2nd year of high school IFRN - Campus Caicfio. The activities enabled check some diculties encountered by students, well as the interaction between them during the tasks. The results were satisfactory, since they indicate that the use of software contributed to a better understanding of these mathematical concepts studied

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic