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.

Globos e mapas ao alcance das mãos : ensino de matemática numa perspectiva de alfabetização funcional na EJA

The following dissertation has as its main advantage the privilege of visualizing the literacy processes through the angle of the functional perspective, which does not see the literary process as a practice solely based on the decoding of alphabetical codes, and then allows for the opening of ample spaces for the allocation of mathematical skills in the realms of the functional literacy. The main object of this study was to investigate which are the contributions that a sequence of activities and of methodologies developed for the teaching of Geometry could provide for a part of the functional literacy process in mathematics of youngsters and adults of EJA, corresponding to the acquisition or to the improvement of skills related to the orientation capacity. The focus of the analyses consisted in the practice of these activities with the young and adult students of an EJA class belonging to a municipal public school of Natal/RN. The legacies of Paulo Freire about the redimensioning of the role of the teacher, of the students, of the knowledge and of their connections within the teaching-learning process, prevailed in the actions of the methodology implemented in the classroom and, especially, in the establishing of dialogic connections with the students, which directed all the observations and analyses regarding the collected information. The results indicated that the composition of articulations between the teaching of mathematics and the exploration of maps and the earth globe enabled the creation of multidisciplinary learning environments and situations, where we could observe, gradually, the development of procedures and attitudes indicating the evolution of space-visual type skills

Uma fundamentação para sinais e sistemas intervalares

In this work we use Interval Mathematics to establish interval counterparts for the main tools used in digital signal processing. More specifically, the approach developed here is oriented to signals, systems, sampling, quantization, coding and Fourier transforms. A detailed study for some interval arithmetics which handle with complex numbers is provided; they are: complex interval arithmetic (or rectangular), circular complex arithmetic, and interval arithmetic for polar sectors. This lead us to investigate some properties that are relevant for the development of a theory of interval digital signal processing. It is shown that the sets IR and R(C) endowed with any correct arithmetic is not an algebraic field, meaning that those sets do not behave like real and complex numbers. An alternative to the notion of interval complex width is also provided and the Kulisch- Miranker order is used in order to write complex numbers in the interval form enabling operations on endpoints. The use of interval signals and systems is possible thanks to the representation of complex values into floating point systems. That is, if a number x 2 R is not representable in a floating point system F then it is mapped to an interval [x;x], such that x is the largest number in F which is smaller than x and x is the smallest one in F which is greater than x. This interval representation is the starting point for definitions like interval signals and systems which take real or complex values. It provides the extension for notions like: causality, stability, time invariance, homogeneity, additivity and linearity to interval systems. The process of quantization is extended to its interval counterpart. Thereafter the interval versions for: quantization levels, quantization error and encoded signal are provided. It is shown that the interval levels of quantization represent complex quantization levels and the classical quantization error ranges over the interval quantization error. An estimation for the interval quantization error and an interval version for Z-transform (and hence Fourier transform) is provided. Finally, the results of an Matlab implementation is given

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

Localização de faltas em linhas de transmissão usando morfologia matemática

This work an algorithm for fault location is proposed. It contains the following functions: fault detection, fault classification and fault location. Mathematical Morphology is used to process currents obtained in the monitored terminals. Unlike Fourier and Wavelet transforms that are usually applied to fault location, the Mathematical Morphology is a non-linear operation that uses only basic operation (sum, subtraction, maximum and minimum). Thus, Mathematical Morphology is computationally very efficient. For detection and classification functions, the Morphological Wavelet was used. On fault location module the Multiresolution Morphological Gradient was used to detect the traveling waves and their polarities. Hence, recorded the arrival in the two first traveling waves incident at the measured terminal and knowing the velocity of propagation, pinpoint the fault location can be estimated. The algorithm was applied in a 440 kV power transmission system, simulated on ATP. Several fault conditions where studied and the following parameters were evaluated: fault location, fault type, fault resistance, fault inception angle, noise level and sampling rate. The results show that the application of Mathematical Morphology in faults location is very promising

Recuperação de sinais esparsos. Investigação numérica sobre a quantidade de medidas necessárias para recuperar um sinal esparso

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

Uso de correntropia na generalização de funções cicloestacionárias e aplicações para a extração de características de sinais modulados

Information extraction is a frequent and relevant problem in digital signal processing. In the past few years, different methods have been utilized for the parameterization of signals and the achievement of efficient descriptors. When the signals possess statistical cyclostationary properties, the Cyclic Autocorrelation Function (CAF) and the Spectral Cyclic Density (SCD) can be used to extract second-order cyclostationary information. However, second-order cyclostationary information is poor in nongaussian signals, as the cyclostationary analysis in this case should comprise higher-order statistical information. This paper proposes a new mathematical tool for the higher-order cyclostationary analysis based on the correntropy function. Specifically, the cyclostationary analysis is revisited focusing on the information theory, while the Cyclic Correntropy Function (CCF) and Cyclic Correntropy Spectral Density (CCSD) are also defined. Besides, it is analytically proven that the CCF contains information regarding second- and higher-order cyclostationary moments, being a generalization of the CAF. The performance of the aforementioned new functions in the extraction of higher-order cyclostationary characteristics is analyzed in a wireless communication system where nongaussian noise exists.

Processamento Inteligente de Sinais de Pressão e Temperatura Adquiridos Através de Sensores Permanentes em Poços de Petróleo

Originally aimed at operational objectives, the continuous measurement of well bottomhole pressure and temperature, recorded by permanent downhole gauges (PDG), finds vast applicability in reservoir management. It contributes for the monitoring of well performance and makes it possible to estimate reservoir parameters on the long term. However, notwithstanding its unquestionable value, data from PDG is characterized by a large noise content. Moreover, the presence of outliers within valid signal measurements seems to be a major problem as well. In this work, the initial treatment of PDG signals is addressed, based on curve smoothing, self-organizing maps and the discrete wavelet transform. Additionally, a system based on the coupling of fuzzy clustering with feed-forward neural networks is proposed for transient detection. The obtained results were considered quite satisfactory for offshore wells and matched real requisites for utilization

Sistema inteligente para estimar a porosidade em sedimentos a partir da análise de sinais GPR

This Thesis presents the elaboration of a methodological propose for the development of an intelligent system, able to automatically achieve the effective porosity, in sedimentary layers, from a data bank built with information from the Ground Penetrating Radar GPR. The intelligent system was built to model the relation between the porosity (response variable) and the electromagnetic attribute from the GPR (explicative variables). Using it, the porosity was estimated using the artificial neural network (Multilayer Perceptron MLP) and the multiple linear regression. The data from the response variable and from the explicative variables were achieved in laboratory and in GPR surveys outlined in controlled sites, on site and in laboratory. The proposed intelligent system has the capacity of estimating the porosity from any available data bank, which has the same variables used in this Thesis. The architecture of the neural network used can be modified according to the existing necessity, adapting to the available data bank. The use of the multiple linear regression model allowed the identification and quantification of the influence (level of effect) from each explicative variable in the estimation of the porosity. The proposed methodology can revolutionize the use of the GPR, not only for the imaging of the sedimentary geometry and faces, but mainly for the automatically achievement of the porosity one of the most important parameters for the characterization of reservoir rocks (from petroleum or water)

Modelagem matemática para o transporte de partículas sujeitas a múltiplos mecanismos de retenção

Discrepancies between classical model predictions and experimental data for deep bed filtration have been reported by various authors. In order to understand these discrepancies, an analytic continuum model for deep bed filtration is proposed. In this model, a filter coefficient is attributed to each distinct retention mechanism (straining, diffusion, gravity interception, etc.). It was shown that these coefficients generally cannot be merged into an effective filter coefficient, as considered in the classical model. Furthermore, the derived analytic solutions for the proposed model were applied for fitting experimental data, and a very good agreement between experimental data and proposed model predictions were obtained. Comparison of the obtained results with empirical correlations allowed identifying the dominant retention mechanisms. In addition, it was shown that the larger the ratio of particle to pore sizes, the more intensive the straining mechanism and the larger the discrepancies between experimental data and classical model predictions. The classical model and proposed model were compared via statistical analysis. The obtained p values allow concluding that the proposed model should be preferred especially when straining plays an important role. In addition, deep bed filtration with finite retention capacity was studied. This work also involves the study of filtration of particles through porous media with a finite capacity of filtration. It was observed, in this case, that is necessary to consider changes in the boundary conditions through time evolution. It was obtained a solution for such a model using different functions of filtration coefficients. Besides that, it was shown how to build a solution for any filtration coefficient. It was seen that, even considering the same filtration coefficient, the classic model and the one here propposed, show different predictions for the concentration of particles retained in the porous media and for the suspended particles at the exit of the media

Olhares sobre a formação do professor de matemática. Imagem da profissão e escrita de si

The main focus of this thesis is the formation of a mathematical teacher at a college institution. The general aim is to describe and to analyze the formation process of a mathematical teacher which is an undergraduate student in Mathematics at the Instituto de Educação Superior Presidente Kennedy IFESP, in Natal-RN. It is based on a qualitative ethnographic approach, and has its theoretical anchorage in the (auto)biographical narratives, the social representative theories, and the mathematical education. The number of participants in this investigation was 12 undergraduate students, which corresponds to 25% of the total number of students. The corpus utilized in our analysis included 48 (auto)biographical essays, 12 (auto)biographies (formation's memories), and 12 contextualization files, besides the research's diary. The sources were obtained from the whole program of studies, i.e. from November 2003 to December 2006. The analysis revealed that the reminiscences of the 12 students' academic trajectory influenced their professional formation, since their images of a mathematical teacher were intrinsically related to the one they had before. These representations were being either demolished or constructed in a network along the assertive image of their profession, changing afterwards the mathematical representation and the teaching way of this discipline. Our study also shows that the beginning of their teacher career was marked by mechanical practices influenced by their old teachers. The (trans)formation of themselves and their teaching practices happened in a smooth way as soon as they increased their knowledgements in Mathematics, and it reflected upon the way they learned mathematics. The writing of their (auto)biographies helped the set up of new knowledgements, leaving to a self-consciousness as well as a self-formation, and contributed for the construction of a new way to see and to live the profession. Therefore, a mathematical teacher, for the undergraduate students of the IFESP involved in this work, is made at the interface of the familiar, academic, and professional context, besides the reflexive writings about the formation path, the way of life and the relationships among them

Professores em contexto formativo: um estudo do processo de mudanças de concepções sobre o ensino da matemática

El objetivo en esta tesis consistió en estudiar el proceso de los cambios de los conceptos de profesores de la educación infantil y de los años iníciales de la educación básica referente a la enseñanza de la matemática. La investigación se desenvolvió en la escuela Presidente Kennedy, en la ciudad de Natal, en Rio Grande do Norte, teniendo como participante 05 (cinco) profesores del curso normal superior a través de la educación superior del instituto relacionado. El trabajo asocia el programa a él Programa de Pós-Graduação em Educação da Universidade Federal do Rio Grande do Norte, en la base de pesquisa Formação e Profissionalização Docente coordinada de los doctores Betânia Leite Ramalho e Isauro Beltran Núñez. El referencial teórico-metodológico en quien si apoya el trabajo se inserta en la señal conceptual usada por Giordan y de Vecchi (1996), de Carrillo y Contreras (1994), Ramalho; Núñez y Gauthier (2003), Ponte (1998), Guimarães (1988), Ernest (1989). En esta investigación, los conceptos de los profesores habían sido estudiados en el contexto educativo de la formación del nivel superior, usándola reflexiva crítico práctico como estrategia formativa. Estos conceptos se entienden como estructuras subyacentes al pensamiento del profesor. Dado la naturaleza del objeto del estudio, la información, para las intenciones de esta investigación, habían sido cosechados a través de los instrumentos siguientes: cuestionario, plan de la lección, entrevista diaria y del campo. El cuestionario fue constituido de preguntas abiertas y de las entrevistas de la mitad-structuralized. La organización de los datos permitió a La inferencia de los conceptos, usando la técnica de la triangulación de datos. La investigación divulgó que los conceptos de los profesores, a través del proceso formativo, se habían desarrollado de una plataforma para otra, yéndose puesto que los modelos didácticos tradicionales para otros modelos dirigidos a una tendencia didáctica de espontaneísta/investigativa. La reflexión crítica era considerada como elemento catalítico de los cambios de los conceptos de los profesores en la educación de las matemáticas, sin embargo déjenos verifican que estos cambios son difíciles de ocurrir para la naturaleza compleja de estos conceptos. Como facilitadores de los factores de estos cambios, encontramos y el investigativo el trabajo, la dinámica y la naturaleza de las actividades se convirtió en el colaborativo de proceso formativo, entre otros. Como obstáculos a los cambios, identificamos el contexto del trabajo de los profesores, de la cultura de los individualistas prácticos de sus profesores de los colegas, del concepto linear, estático y de los mecánicos de los procesos para enseñar, el conocimiento profesional construído durante la formación inicial, alineación con los modelos didácticos de sus viejos profesores, entre otros

O ensino de matemática no Rio Grande do Norte: trajetória de uma Modernização (1950-1980)

This work aims to describe and analyze the process of the mathematics teacher modernizing in Rio Grande do Norte, in the period from 1950 to 1980. For that, we use as theoretical foundation assumptions of Cultural History and memories of the researchers Maurice Halbwach, Ecléa Bosi and Paul Thompson. As methodological tools, we used bibliographical resources and semi-structured interviews, in order to do a historical reconstruct of the mathematics educational scene of institutions and people who taught mathematics in Rio Grande do Norte, or those who participated in the modernization of the teaching of this subject, recovering their training and its practices in teaching. For the analysis of the bibliographical resources, initially we organized in a systematic way the transcripts of the interviews and documents, which were accumulated during the research, so long our thoughts, returning to the theoretical basis of this research, through questioning of knowledge acquired and that guided the problem of our study. The analysis showed that, important moments to modernize the teaching of mathematics in Rio Grande do Norte happened such: (1) Training Course of Lay Teachers in Rio Grande do Norte, in 1965, (2) Course for Teachers in Normal Schools, in 1971 (3) Satelite Project on Interdisciplinary Advanced Communications (SPIAC) in 1973; (4) Lectures of the teacher Malba Tahan, at Natal, from the end of the 50 s, that could be analyzed through the lessons notes of the teacher Maria Nalva Xavier de Albuquerque and the narrative of teacher Evaldo Rodrigues de Carvalho and (5) Courses of the Campaign for Improvement of Secondary Education and Broadcasting (CISEB). Thereby, the modernization of the school s mathematics teaching in Rio Grande do Norte, in the period from 1950 to 1980, was given mainly by disclosure of the Discovery Method and by the Set Theory contents in Teacher Training Courses

Pedagogia etnomatemática : ações e reflexões em matemática do Ensino Fundamental com um grupo sócio cultural específico

mongst the trends in Mathematics Education, which have as their object a more significant and criticallearning, is the Ethnomathematics. This field of knowledge, still very recent amongst us, besides analyzing an externalist history of the sciences in a search for a relationship between the development of the scientific disciplines and the socio-cultural context, goes beyond this externalism, for it also approaches the intimate relationships betwe_n cognition and culture. In fact, the Ethnomathematics proposes an alternative epistemological approach associated with a wider historiography. It struggles to understand the reality and come to the pedagogical action by means of a cognitive approach with strong cultural basis. But the difficulty of inserting the Ethnomathematics into the educational context is met by resistance from some mathematics educators who seem indifferent to the influence of the culture on the understanding of the mathematics ideas. It was with such concerns in mind that I started this paper that had as object to develop a curricular reorientation pedagogical proposal in mathematics education, at the levei of the 5th grade of the Ensino Fundamental (Elementary School), built from the mathematical knowledge of a vegetable farmers community, 30 km away from the center of Natal/RN, but in accordance with the teaching dimensions of mathematics of the 1 st and 2nd cycles proposed by the Parâmetros Curriculares Nacionais - PCN: Numbers and Operations, Space and Form, Units and Measures, and Information Treatment. To achieve that, I developed pedagogical activities from the mathematical concepts of the vegetable farmers of that community, explained in my dissertation research in the period 2000 through 2002. The pedagogical process was developed from August through Oecember 2007 with 24 students of the 5th Grade of the Ensino Fundamental (Elementary School) of the school of that community. The qualitative analysis of the data was conducted taking into account three categories of students: one made up of students that helped their parents in the work with vegetables. Another one by students whose parents and relatives worked with vegetables, though they did not participate directly of this working process and one third category of students that never worked with vegetables, not to mention their parents, but lived adjacent to that community. From the analyses and results of the data gathered by these three distinct categories of students, I concluded that those students that assisted their parents with the daily work with vegetables solved the problem-situations with understanding, and, sometimes, with enriching contributions to the proposed problems. The other categories of students, in spite of the various field researches to the gardens of that community, before and during the pedagogical activities, did not show the same results as those students/vegetable farmers, but showed interest and motivation in ali activities of the pedagogical process in that period

Um estudo sobre a relação entre matemática e religião na obra de Blaise Pascal

The aim of the present study is to investigate the way through which the relations between Mathematics and Religion emerge in the work of Blaise Pascal. This research is justified by the need to deepen these relations, so far little explored if compared to intersection points between Mathematics and other fields of knowledge. The choice for Pascal is given by the fact that he was one of the mathematicians who elaborated best one reflection in the religious field thus provoking contradictory reactions. As a methodology, it is a bibliographical and documental research with analytical-comparative reading of referential texts, among them the Oeuvres complètes de Pascal (1954), Le fonds pascalien à Clermont-Ferrand (2001), Mathematics in a postmodern age: a cristian perspective by Howell & Bradley (2001), Mathematics and the divine: a historical study by Koetsier & Bergmans (2005), the Anais dos Seminários Nacionais de História da Matemática and the Revista Brasileira de História da Matemática. The research involving Pascal's life as a mathematician and his religious experience was made. A wider background in which the subject matter emerges was also researched. Seven categories connected to the relation between mathematics and religion were identified from the reading of texts written by mathematicians and historians of mathematics. As a conclusion, the presence of four of these seven categories was verified in Pascal's work