Rock cá, rock lá: a produção roqueira no Brasil e em Portugal na imprensa : 1970/1985

Pós-graduação em História - FCLAS

O ensino religioso na escola pública: regras que cooperam para sua organização

Pós-graduação em Educação - FCT

Expert system to detect incipient fauts in rotating machines using fuzzy logic and virtual instrumentation

This paper refers to the design of an expert system that captures a waveform through the use of an accelerometer, processes the signal and converts it to the frequency domain using a Fast Fourier Transformer to then, using artificial intelligence techniques, specifically Fuzzy Reasoning, it determines if there is any failure present in the underlying mode of the equipment, such as imbalance, misalignment or bearing defects.

ARBOT: augmented reality system for teaching logic algorithmic

This article purposes the ARBot, a system that has as main objective the presentation of concepts of logic for students of elementary and secondary education. The system was developed using the technology known as Augmented Reality (AR), which allows complement the actual environment where the user is, by adding virtual objects. In this scenario the RA created from a virtual game interface is used, through which cognitive challenges are presented. To solve these challenges, users must set up three-dimensional virtual characters using visual language. As a result it follows that, in a playful way, concepts of algorithms and programming are assimilated by users. In addition, the system enables two users to interact in a cooperative game mode. In cooperative mode, the system focuses on collaborative learning, since it allows users to jointly solve the cognitive challenge presented by the system.

Reino da natureza, reino dos fins, e proto-reino: um estudo de traduções conservativas

We provide conservative translations from propositional modal logic KT (the simplest normal alethic logic) into propositional modal logic KD (the simplest normal deontic logic), and from this into the propositional modal logic K (the simplest normal logic simpliciter). Following an idea discussed by Jaakko Hintikka, these conservative translations are based on the third formulation of Kantian categorical imperative, the formulation of the Kingdom of Ends.

Geoquímica de perfis lateríticos na chapada sedimentar do Triângulo Mineiro

The ferruginous sandstone (Serra da Galga member) from Marilia formation present in sedimentary mining triangle plateaus - MG (southeast Brazil) is still not properly characterized, as well as the presence of a rich layer Fe nodules which is not properly understood, as are the alteration products of this material that may be linked to the presence of refractory clays which are characterized by intimate relationship between Fe and Al. Aluminum is widely present on top of these plateaus. This course conclusion paper characterized the mineralogy and distribution of smaller elements both rust sandstone evolved as soil above this sandstone. The characterization has been done by using X-ray fluorescence techniques (XRF), the iron was removed by using the CBD method (dithionito-citratebicarbonate), and X-ray diffraction (XRD) and analysis of the products extracted by the CBD method by ICP- OES were made to characterize the material. The results of the XRF show great variation of Al and Si, Fe with almost constant behavior in the average depth of 110 cm, where it has the highest concentration levels. Fe appear associated with the V and Ce. CDB results show a clear relation of Fe with Al. Al does not have in this case compared with Cr or any other item. The concentration of extracted Al was always below the concentration of Fe. In the region, the formation of this Latosols- Gleysols system is subject to topography and its influence on local water regime, a regime that has direct influence on the formation of supergene accumulations as in the area and results in aluminum accumulation in refractory clays exploited by IBAR mining

Desenvolvimento de um sistema de controle para avaliação de fontes de energias renováveis no bombeamento de água

The use of alternative energy systems in the current days is an urgent necessity due to the problems that the planet is facing as the heating and loss of ozone layer. The scarcity of conventional energy is another problem that must be solved for the future of humanity. It must be considered that the people are inhabiting places moved away not always with available energy. The application of technologies as automation and control can help us to solve this problem. Therefore, this work aimed at apply an equipment of industrial usage, the Programmable Logical Controller, PLC, in alternative energies systems, as eolic generation and fotovoltaic generation used for water pumping, aiming the automatic control and the efficiency in the places where it has simultaneous availability of these sources, based in criterion of priority that previously established itself between them. It was made a hydraulic and energetic evaluation of the energy system, eolic and fotovoltaic, used in the automatic control system of pumping, in the place of accomplishment of the experiment, according to previously established physical conditions. The results have shown that the control system using the PLC is practicable and has trustworthiness. The program developed can be adapted for the use with several power plants in a specific application place. The fotovoltaic system of pumping, using a polycrystalline of 70 Watts connected to a pump Shurflo 8000, showed to be efficient with significant flows in almost all the months. The eolic system of pumping, using an eolic generator of 400 Watts assembled in place of experiment, did not demonstrate energetic capacity for use in this specific type of application.

Fuzzy logic to evaluate vitality of Catasetum fimbiratum species (Orchidacea)

The fuzzy logic accepts infinite intermediate logical values between false and true. In view of this principle, a system based on fuzzy rules was established to provide the best management of Catasetum fimbriatum. For the input of the developed fuzzy system, temperature and shade variables were used, and for the output, the orchid vitality. The system may help orchid experts and amateurs to manage this species. ?Low? (L), ?Medium? (M) and ?High? (H) were used as linguistic variables. The objective of the study was to develop a system based on fuzzy rules to improve management of the Catasetum fimbriatum species, as its production presents some difficulties, and it offers high added value

Feeding, reproduction and population structure of Pimelodus maculatus Lacépéde, 1803 (Teleostei, Siluriformes, Pimelodiae) from Paraná basin: a review

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O saber para praticar do jogo de handebol na Educação Física escolar: recursos avaliativos para o ensino médio

Pós-graduação em Docência para a Educação Básica - FC

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

The chemiluminescent peroxyoxalate system: state of the art almost 50 years from its discovery

Almost fifty years after the discovery of the peroxyoxalate reaction by E. A. Chandross in the early nineteen sixties, this review article intends to give a general overview on mechanistic aspects of this system and to describe the principles of its analytical application. After a short general introduction on the principles of chemiluminescence and the history of peroxyoxalate discovery, mechanistic aspects of high-energy intermediate formation, its structure and its reaction with an activator in the peroxyoxalate system are discussed. Finally, analytical applications of peroxyoxalate chemiluminescence are exemplified using representative recent examples, including oxalic acid detection in biological samples.

Almost p-compact groups

We show that if p is a selective ultrafilter, then for each cardinal alpha <= omega(1), there exists a topological group G such that G(beta) is almost p-compact (in particular, countably compact), for beta < alpha, but G(alpha) is not countably compact. If in addition, we assume Martin's Axiom, then the result above holds for every alpha < c. (C) 2012 Elsevier By. All rights reserved.

Collective Almost Synchronisation in Complex Networks

This work introduces the phenomenon of Collective Almost Synchronisation (CAS), which describes a universal way of how patterns can appear in complex networks for small coupling strengths. The CAS phenomenon appears due to the existence of an approximately constant local mean field and is characterised by having nodes with trajectories evolving around periodic stable orbits. Common notion based on statistical knowledge would lead one to interpret the appearance of a local constant mean field as a consequence of the fact that the behaviour of each node is not correlated to the behaviours of the others. Contrary to this common notion, we show that various well known weaker forms of synchronisation (almost, time-lag, phase synchronisation, and generalised synchronisation) appear as a result of the onset of an almost constant local mean field. If the memory is formed in a brain by minimising the coupling strength among neurons and maximising the number of possible patterns, then the CAS phenomenon is a plausible explanation for it.