Fresamento com ar quente: uma proposta para minimizar a formação de trincas térmicas em ferramentas de metal duro

This work presents the results, analyses and conclusions about a study carried out with objective of minimizing the thermal cracks formation on cemented carbide inserts during face milling. The main focus of investigation was based on the observation that milling process is an interrupted machining process, which imposes cyclic thermal loads to the cutting tool, causing frequent stresses changes in its superficial and sub-superficial layers. These characteristics cause the formation of perpendicular cracks from cutting edge which aid the cutting tool wear, reducing its life. Several works on this subject emphasizing the thermal cyclic behavior imposed by the milling process as the main responsible for thermal cracks formation have been published. In these cases, the phenomenon appears as a consequence of the difference in temperature experienced by the cutting tool with each rotation of the cutter, usually defined as the difference between the temperatures in the cutting tool wedge at the end of the cutting and idle periods (T factor). Thus, a technique to minimize this cyclic behavior with objective of transforming the milling in an almost-continuous process in terms of temperature was proposed. In this case, a hot air stream was applied into the idle period, during the machining process. This procedure aimed to minimize the T factor. This technique was applied using three values of temperature from the hot air stream (100, 350 e 580 oC) with no cutting fluid (dry condition) and with cutting fluid mist (wet condition) using the hot air stream at 580oC. Besides, trials at room temperature were carried out. Afterwards the inserts were analyzed using a scanning electron microscope, where the quantity of thermal cracks generated in each condition, the wear and others damages was analyzed. In a general way, it was found that the heating of the idle period was positive for reducing the number of thermal cracks during face milling with cemented carbide inserts. Further, the cutting fluid mist application was effective in reducing the wear of the cutting tools.

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