Não é que eu sei ser professora!: formação continuada e construção do currículo da matemática para o ciclo de alfabetização

Esta dissertação investiga como a prática da formação continuada em Matemática dos professores do Núcleo de Educação da Infância/Colégio de Aplicação (NEI/CAp) tem possibilitado a construção do currículo da Matemática para o ciclo de alfabetização nessa instituição. Assumimos os princípios metodológicos da abordagem qualitativa com ênfase na pesquisa colaborativa. Privilegiamos atividades de formação continuada organizadas em sessões de estudos e reflexões sobre a prática pedagógica que envolveram todos os partícipes. Para a construção dos dados realizamos a escolha de instrumentos e procedimentos metodológicos como a entrevista individual e as sessões reflexivas de videoformação e de estudo. Com a intensão de responder a questão central da pesquisa definimos duas categorias de interpretação: a formação continuada em Matemática dos professores do NEICAp dos anos iniciais do Ensino Fundamental e a construção do currículo da Matemática dos anos iniciais do Ensino Fundamental nesta escola. Constatamos que a prática da formação continuada em Matemática acontece dentro da própria instituição e tem como interesse, além da formação permanente dos seus professores, o desenvolvimento da escola e a aprendizagem dos alunos. Avaliamos que por meio de estudos e reflexões sobre as práticas docentes, análises de propostas pedagógicas de Secretarias de Educação e de outros documentos oficiais do Ministério da Educação, em momentos de formação continuada em contextos vivenciadas pelos professores do NEI/CAp, vem sendo possível construir o currículo desta instituição e, consequentemente, a sua proposta curricular, na qual privilegiamos a área da Matemática

A Proficiência escritora em matemática trabalhada nos livros didáticos dos 4º e 5º anos do ensino fundamental

Universidade Federal do Rio Grande do Norte

Padrões nutricionais para lavouras arrozeiras irrigadas por inundação pelos métodos da CDN chance matemática

Para o arroz irrigado, poucos trabalhos utilizam métodos de diagnose foliar desenvolvidos para as condições locais de clima, solo ou cultivares. O objetivo deste trabalho foi avaliar os métodos da Diagnose da Composição Nutricional e da Chance Matemática na definição dos padrões nutricionais de lavouras arrozeiras do Estado do Rio Grande do Sul. Resultados de produtividade de grãos e teores foliares de N, P, K, Ca, Mg, S, B, Cu, Fe, Mn, Zn e Mo de 356 lavouras arrozeiras cultivadas sob sistema de irrigação por inundação foram utilizados para a determinação das faixas de suficiência calculadas pelo método da Chance Matemática. As faixas de suficiência foram comparadas com valores críticos propostos pela literatura e com o intervalo de confiança do teor médio dos nutrientes em lavouras consideradas nutricionalmente equilibradas, identificadas pelo método Diagnose da Composição Nutricional. Observou-se pouca concordância entre os valores das faixas de suficiência indicados pelos métodos da Chance Matemática e da Diagnose da Composição Nutricional e os respectivos valores indicados na literatura. A faixa de teores foliares adequados, consistentes com maior produtividade média das lavouras arrozeiras, foi indicada ser de 23 a 28 g kg-1 para N; 11 a 14 g kg-1 para K; 1,4 a 2,0 g kg-1 para S; 6 a 12 mg kg-1 para B; e 70 a 200 mg kg-1 para Fe. Para os teores foliares de P, Ca, Mg, B, Cu, Mn e Zn e Mo nenhuma das faixas adequadas testadas indicou capacidade para distinguir as lavouras arrozeiras quanto à produtividade média.

Uma Fundamentação Intervalar Aplicada à Morfologia Matemática

This work present a interval approach to deal with images with that contain uncertainties, as well, as treating these uncertainties through morphologic operations. Had been presented two intervals models. For the first, is introduced an algebraic space with three values, that was constructed based in the tri-valorada logic of Lukasiewiecz. With this algebraic structure, the theory of the interval binary images, that extends the classic binary model with the inclusion of the uncertainty information, was introduced. The same one can be applied to represent certain binary images with uncertainty in pixels, that it was originated, for example, during the process of the acquisition of the image. The lattice structure of these images, allow the definition of the morphologic operators, where the uncertainties are treated locally. The second model, extend the classic model to the images in gray levels, where the functions that represent these images are mapping in a finite set of interval values. The algebraic structure belong the complete lattices class, what also it allow the definition of the elementary operators of the mathematical morphology, dilation and erosion for this images. Thus, it is established a interval theory applied to the mathematical morphology to deal with problems of uncertainties in images

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

Uma fundamentação matemática para processamento digital de sinais intervalares

This work deals with a mathematical fundament for digital signal processing under point view of interval mathematics. Intend treat the open problem of precision and repesention of data in digital systems, with a intertval version of signals representation. Signals processing is a rich and complex area, therefore, this work makes a cutting with focus in systems linear invariant in the time. A vast literature in the area exists, but, some concepts in interval mathematics need to be redefined or to be elaborated for the construction of a solid theory of interval signal processing. We will construct a basic fundaments for signal processing in the interval version, such as basic properties linearity, stability, causality, a version to intervalar of linear systems e its properties. They will be presented interval versions of the convolution and the Z-transform. Will be made analysis of convergences of systems using interval Z-transform , a essentially interval distance, interval complex numbers , application in a interval filter.

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

Utilização de modelos de programação não-linear para sistematização de terras para irrigação em áreas regulares

Objetivou-se com este trabalho, desenvolver modelos de programação não-linear para sistematização de terras, aplicáveis para áreas com formato regular e que minimizem a movimentação de terra, utilizando o software GAMS para o cálculo. Esses modelos foram comparados com o Método dos Quadrados Mínimos Generalizado, desenvolvido por Scaloppi & Willardson (1986), sendo o parâmetro de avaliação o volume de terra movimentado. Concluiu-se que, ambos os modelos de programação não-linear desenvolvidos nesta pesquisa mostraram-se adequados para aplicação em áreas regulares e forneceram menores valores de movimentação de terra quando comparados com o método dos quadrados mínimos.

Modelo de programação linear para seleção de pulverizadores agrícolas de barras

A seleção de pulverizadores agrícolas que se adaptem às necessidades da propriedade, é um processo trabalhoso, sendo uma das etapas mais importantes dentro do processo produtivo. O objetivo do presente trabalho foi o de desenvolver e utilizar um modelo de programação linear para auxiliar na seleção de pulverizadores agrícolas de barras, baseado no menor custo horário do equipamento. Foram utilizadas as informações técnicas referentes a 20 modelos de pulverizadores disponíveis no mercado, sendo quatro autopropelidos, oito de arrasto e oito do tipo montado. A análise de sensibilidade dos componentes dos custos operacionais mostrou que as taxas de reparo e depreciação foram os fatores que mais interferiram na variação do custo horário do conjunto trator-pulverizador. O modelo matemático desenvolvido facilitou a realização da análise de sensibilidade que foi processada em um tempo muito pequeno.

Distribuição da carga hidráulica em linhas de derivação otimizadas por programação linear

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

Acelerando algoritmos de baixo nível em visão robótica com hardware reconfigurável

A challenge that remains in the robotics field is how to make a robot to react in real time to visual stimulus. Traditional computer vision algorithms used to overcome this problem are still very expensive taking too long when using common computer processors. Very simple algorithms like image filtering or even mathematical morphology operations may take too long. Researchers have implemented image processing algorithms in high parallelism hardware devices in order to cut down the time spent in the algorithms processing, with good results. By using hardware implemented image processing techniques and a platform oriented system that uses the Nios II Processor we propose an approach that uses the hardware processing and event based programming to simplify the vision based systems while at the same time accelerating some parts of the used algorithms

Estimação de Fasores para Proteção de Sistemas Elétricos Baseada em Mínimos Quadrados e Morfologia Matemática

This work proposes a new technique for phasor estimation applied in microprocessor numerical relays for distance protection of transmission lines, based on the recursive least squares method and called least squares modified random walking. The phasor estimation methods have compromised their performance, mainly due to the DC exponential decaying component present in fault currents. In order to reduce the influence of the DC component, a Morphological Filter (FM) was added to the method of least squares and previously applied to the process of phasor estimation. The presented method is implemented in MATLABr and its performance is compared to one-cycle Fourier technique and conventional phasor estimation, which was also based on least squares algorithm. The methods based on least squares technique used for comparison with the proposed method were: forgetting factor recursive, covariance resetting and random walking. The techniques performance analysis were carried out by means of signals synthetic and signals provided of simulations on the Alternative Transient Program (ATP). When compared to other phasor estimation methods, the proposed method showed satisfactory results, when it comes to the estimation speed, the steady state oscillation and the overshoot. Then, the presented method performance was analyzed by means of variations in the fault parameters (resistance, distance, angle of incidence and type of fault). Through this study, the results did not showed significant variations in method performance. Besides, the apparent impedance trajectory and estimated distance of the fault were analysed, and the presented method showed better results in comparison to one-cycle Fourier algorithm

A matemática sob a ótica do Tarô: Uma experiência com a educação de jovens e adultos

La recherche de la formation des citoyens critiques et participatifs, dans le travail pédagogique avec les jeunes et les adultes, a besoin d un entraînement pédagogique qui va au delà de l attitude traditionnelle d'apprendre avec des méthodes mécaniques et arbitraires qui, en insistant excessivement sur l image du professeur, donnent priorité à l'enseignement, au détriment de l apprentissage. Dans ce sens, la présente étude, cherchant la possibilité de réalisation d'un travail alternatif pour l'enseignement des Mathématiques, dans une perspective transdisciplinaire, dans le sens de développer l apprentissage significatif des étudiants jeunes et adultes du Projet Croire, présente les résultats d'une recherche-intervention qui a utilisé les lettres du tarot comme ressource didactique en salle de classe. On prétend, avec cela, montrer cet instrument comme facilité d apprentissage de contenus des Mathématiques comme systèmes de numération, nombres entiers et géométrie, en amenant les Mathématiques dans une perspective historique et culturelle et donnant un traitement global à l'acte complexe d'apprendre. Dans ce travail, le jeune étudiant et l étudiant adulte est pris comme individu concret, prenant en considération les aspects cognitifs et les aspects d attitude de son apprentissage, ce qui est favorisé par la nature des lettres du tarot et par la compréhension adoptée, des mathématiques comme système symbolique

A modelagem matemática como alternativa de ensino e aprendizagem da geometria na educação de jovens e adultos

This is work itself insert in the mathematics education field of the youth and adult education to aim to practitioners of the educational action into the mathematics area performing to with this is teaching kind, adopting to as parameter the Mathematics Molding approach. The motive of the research is to draw up a application proposal of the molding mathematics as teaching and learning geometry alternative in the youth and adult education. The research it develops in three class of the third level (series 5th and 6th) of he youth and adults education in the one school municipal from the Natal outskirts. Its have qualitative nature with participating observation approach, once performing to directly in to research environment as a mathematics teacher of those same classes. We are used questionnaires, lesson notes and analyses of the officials documents as an basis of claim instruments. The results indicates that activity used the mathematic moldings were appreciated the savoir-faire of the student in to knowledge construction process, when search develop to significant learning methods, helping to student build has mathematics connections with other knowledge areas and inside mathematics himself, so much that enlarges your understanding and assist has in your participation in the other socials place, over there propitiate to change in student and teacher posture with relation to mathematic classroom dynamics

Investigação histórica nas aulas de matemática: avaliação de duas experiências

This study reflects on some procedural aspects about the development of mathematics learning from the experience with investigative activities concerning the resolution of second degree equation, which was tested a proposal for education, supported the use of texts in history of mathematics. The survey was conducted in two stages, taking the first-served basis for the second, which was carried out with a study group remainder of the first experiment. The intention was to investigate how the group participant, known as the study group, involved in the implementation of activities of research in mathematics, supported the use of the history of mathematics. Based on the results achieved during the study, it was possible to understand that the activities of research enable the development of students, range of learning mathematics and the development of skills and expertise for research as a vehicle for construction of their mathematical knowledge. This approach proposed research into the classroom is important, both for prospective teachers of mathematics and for students from elementary school, bringing a new phase for mathematical education that will come to schools