Metodologia para análise e interpretação de alarmes em tempo real de sistemas de distribuição de energia elétrica

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Uma história da lógica no Brasil

Pós-graduação em Educação Matemática - IGCE

General and oral health-related quality of life among caregivers of Parkinson's disease patients

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Energy decay for the linear Klein-Gordon equation and boundary control

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

Formalização em Epistemologia Genética e Digrafos

One of the principal themes of genetic epistemology is the study of the psycho-genetic and historical-critical constitution of knowledge and its necessary structures. A main topic in this area is the relationship between abstract logical-mathematical structures and the epistemological-psychological structures of the epistemic subject. In genetic epistemology, formalizing and axiomatizing epistemological-psychological structures constitute one of the principal methods for showing the correlation between the two types of structures: the formalization of the epistemological-psychological structureresults in an axiomatic formal system which also expresses the abstractlogical-mathematical structure. In this context, it is interesting to note that some epistemological-psychological structures have been resistant to formalization and axiomatization, as in the case of the structure of concrete operational period groupings. Cases like these lead us to ask if there are general methods of formalizing that are consistent with the results and the general basis of genetic epistemology and genetic psychology, especially with regard to the claim that formalizing is a process, not a state, and that such general methods must therefore conform with the possibility of the continuous constitution of epistemological-psychological structures. In this paper we present some reflections, based on the general concepts of genetic epistemology and psychology and on the logical-mathematical structures of digraphs, on proposing a general method of formalization consistent with the results and the general basis of these two areas, including the possibility of the continuous constitution of epistemological-psychological structures.

Simulação e controle de um quadcopter utilizando lógica fuzzy

The present work develops a model to simulate the dynamics of a quadcopter being controlled by a PD fuzzy controller. Initially is presented a brief history of quadcopters an introduction to fuzzy logic and fuzzy control systems. Afterwards is presented an overview of the quadcopter dynamics and the mathematical modelling development applying Newton-Euler method. Then the modelling are implemented in a Simulink model in addition to a PD fuzzy controller. A prototype proposition is made, by describing each necessary component to build up a quadcopter. In the end the results from the simulators are discussed and compared due to the discrepancy between the model using ideal sensor and the model using non-ideal sensors

O jogo de escopa adaptado para o uso em sala de aula

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

Minha terra tem palmeiras onde canta o sabiá...: sobre o Projeto Inajá e a formação de professores no médio Araguaia

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