The theorem of De Rham-Saito is a generalization of a lemma due to De Rham [3], which was announced and used in [7] by Kyoji Saito, as noproof of this theorem was available, Le Dung Trang encouraged to Saito to publish the proof that can be seen in [8], which indirectly encourages us to detail the proof in this article for the many applications it has,we highlight the Godbillon-Vey algorithm [4]; in the proof of Theorem classical Frobenius given in [2]; in [6] we see some interesting applications, in the proof of Frobenius theorem with singularities [5]. In [1] we givefull details of the proof given by Moussu and Rolin. / El teorema de De Rham-Saito es una generalización de un lema debido a De Rham [3], el cual fue enunciado y usado en [11] por Kyoji Saito, al no haber prueba de este teorema Le Dung Trang anima a Saito a publicar la prueba que puede ser vista en [12], lo cual indirectamente nos motiva a detallarla prueba en este articulo por las muchas aplicaciones que tiene, destacamos el algoritmo de Godbillon-Vey [5]; en la prueba del Teorema de Frobenius clásico dada en [2]; en [8] vemos unas aplicaciones interesantes; en la prueba del Teorema de Frobenius con singularidades [7]; en [1] se detalla la prueba realizada por Moussu y Rolin [10].

Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-03-28T11:17:02Z No. of bitstreams: 1 andersoncorreaporto.pdf: 567494 bytes, checksum: e685a947374868ceaa838290c83bc61a (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-04-09T19:23:34Z (GMT) No. of bitstreams: 1 andersoncorreaporto.pdf: 567494 bytes, checksum: e685a947374868ceaa838290c83bc61a (MD5) / Made available in DSpace on 2018-04-09T19:23:34Z (GMT). No. of bitstreams: 1 andersoncorreaporto.pdf: 567494 bytes, checksum: e685a947374868ceaa838290c83bc61a (MD5) Previous issue date: 2018-02-08 / O objetivo desse trabalho é o estudo de conceitos básicos da Geometria Algébrica sob o ponto de vista clássico. O foco central do trabalho é o estudo do Teorema de Riemann- Roch e algumas de suas aplicações. Esse teorema constitui uma importante ferramenta no estudo da Geometria Algébrica clássica uma vez que possibilita, por exemplo, o cáculo do gênero de uma curva projetiva não singular no espaço projetivo de dimensão dois. Para o desenvolvimento do estudo do Teorema de Riemann-Roch e suas aplicações serão estudados conceitos tais como: variedades, dimensão, diferenciais de Weil, divisores, divisores sobre curvas e o anel topológico Adèle. / The goal of this work is the study of basic concepts of Algebraic Geometry from the classical point of view. The central focus of the paper is the study of Riemann-Roch Theorem and some of its applications. This theorem constitutes an important tool in the study of classical Algebraic Geometry since it allows, for example, the calculation of the genus of a non-singular projective curve in the projective space of dimension two. For the development of the study of the Riemann-Roch Theorem and its applications we will study concepts such as: varieties, dimension, Weil differentials, divisors, divisors on curves and the Adèle topological ring.

Orientador: Sueli Irene Rodrigues Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-23T07:10:07Z (GMT). No. of bitstreams: 1 Ferreira_Jamil_D.pdf: 1528200 bytes, checksum: a1ca349425c4bcf544a36d17d3157b3c (MD5) Previous issue date: 2013 / Resumo: O número de classes de divisores de grau zero, h, de corpos de funções algébricas elípticos e hiperelípticos desempenha papel importante nos esquemas criptográficos baseados em curvas elípticas e hiperelípticas. Nesse contexto, h é um número grande e é usualmente procurado por meio de algoritmos (baby step - giant step, por exemplo) em um intervalo de números reais obtido após um truncamento no produto infinito de Euler da função zeta do corpo de funções. Tendo a desigualdade de Hasse-Weil como motivação, encontramos identidades finitas para h que são também explícitas no sentido de que seus custos computacionais são diretamente deduzíveis dessas identidades. Como consequência, obtivemos também identidades finitas e explícitas para os coeficientes ai do L-polinômio da função zeta. Ferramentas fundamentais nesta pesquisa foram as L-séries de Artin e outros resultados envolvendo os símbolos polinomiais de Legendre / Abstract: The divisor class number of degree zero, h, of elliptic and hyperelliptic function fields plays an important role in cryptographic schemes based on elliptic and hyperelliptic curves. In this context, h is a large number and it is usually searched by means of algorithms (baby step - giant step, for example) in an interval of real numbers obtained after truncating the infinit Euler product coming from the zeta function of the function field. Taking the Hasse-Weil inequality as motivation, we derived finite identities for h which are also explicit in the sense that their computational costs are straightforwardly derivable from these identities. We also obtained finite and explicit identities for the coefficients ai of the L-polynomialof the zeta function. Fundamental tools for this research were the Artin L-series and other results involving the Legendre polynomial symbols / Doutorado / Matematica / Doutor em Matemática

Made available in DSpace on 2016-04-27T16:58:36Z (GMT). No. of bitstreams: 1 Marcilio Farias da Silva.pdf: 2141335 bytes, checksum: 164a0489f21f7f26a38436a8d2811b56 (MD5) Previous issue date: 2008-04-24 / Secretaria da Educação do Estado de São Paulo / The intention of this dissertation is the elaboration and analysis of a didactic sequence focused to the teaching and learning of examinations for students of the 9th school year in Brazil, using a computer tool. The whole experiment was developed in a Project of Argumentations and test in the Mathematics school (AProvaME), that he/she has as objective to prepare a map on the conceptions of arguments and the students tests in the state of São Paulo in Brazil. The elaboration of the didactic sequence was inspired in the questionaire of Álgebra of the project AProvaME, based and analyzed under the perspective from the levels of Balacheff (1988) classification of experiments and ideas related to the roles and functions of the experiments of Villiers (2001) and in the ideas suggested in PCN. We used as computer resource EXCEL, which allowed to the the students the electronic construction of spreadsheets enlarging the data for better analyze and elaborate their conjectures, arguments, justifications and validations. It was analyzed three protocols of three couples with ages between 13 and 14 years old of a private school in the city of Lorena in São Paulo which contributed voluntarialy with the experimentation. Analysing the results we can establish that predominated the formulations of the arguments and conjectures limked to conceptual pragmatic experiments described in the natural languages that in the whole process were empirically justified. A relevant and decisive fact in the successful research was the role of the mediator teacher during the moments of interventions that it provided the interaction student-teacher, necessary in the development of didactic sequences that aim the teaching and learning of arguments and mathematical experiments / O propósito desta dissertação é a elaboração e análise de uma seqüência didática para o ensino e aprendizagem de provas e argumentações, destinada a alunos do 9º ano do Ensino Fundamental, utilizando uma ferramenta computacional. Todo o experimento foi desenvolvido no âmbito do Projeto Argumentação e prova na Matemática Escolar (AProvaME), que tem como objetivo construir um mapa sobre as concepções de argumentação e prova de alunos do Estado de São Paulo. A elaboração da seqüência didática foi inspirada no questionário de Álgebra do projeto AProvaME e fundamentada e analisada sob a perspectiva da classificação de provas de Balacheff (1988), das idéias relacionadas aos papéis e funções das provas de De Villiers (2001) e nas sugestões apresentadas nos PCN. Utilizamos como recurso computacional o Excel, que permitiu aos alunos a construção de planilhas eletrônicas ampliando os dados para melhor analisar e elaborar suas conjecturas, argumentos, justificativas e validações. Foram analisados os protocolos de três duplas, com idades de 13 e 14 anos, de uma escola particular da cidade de Lorena-SP, que contribuíram voluntariamente com a experimentação. Analisando os resultados, constatamos que predominaram as formulações de argumentos e conjecturas vinculadas a provas pragmáticas descritas na língua natural, que, em todo o processo, foram justificadas empiricamente. Um fato relevante e determinante no sucesso da pesquisa foi o papel do professor mediador, durante os momentos de intervenções, favorecendo a interação aluno-professor, necessária no desenvolvimento de seqüências didáticas que visam o ensino e aprendizagem de argumentações e provas matemáticas

Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-08-28T14:05:33Z No. of bitstreams: 1 arquivototal.pdf: 917638 bytes, checksum: 80f3b489c75001e1f83c7c60e54c0c74 (MD5) / Approved for entry into archive by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2017-08-28T15:55:51Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 917638 bytes, checksum: 80f3b489c75001e1f83c7c60e54c0c74 (MD5) / Made available in DSpace on 2017-08-28T15:55:51Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 917638 bytes, checksum: 80f3b489c75001e1f83c7c60e54c0c74 (MD5) Previous issue date: 2015-07-16 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The maingoalofthisdissertationisthepresentationofconcepts,examplesand characterizations{bothclassicalandrecent{concerningtheimportantandin uential theory oftheso-called freedivisors in thestandardhomogeneouscase.Tothisend,we beginwithabasicstudyonderivationsandwefocusonthemoduledubbed tangential idealizer of agivenhomogeneouspolynomial,whichgeometricallycorrespondstothe moduleoflogarithmicvector eldsalongthegivenprojectivehypersurface(thedivisor is saidtobe free if suchmoduleisfreeoverthegradedpolynomialring).Wewillalso discuss, inparticular,resultsaboutfreedivisorsintheprojectiveplane. / O principalobjetivodestadisserta c~ao eaapresenta c~aodeconceitos,exemplose caracteriza c~oes{tantocl assicasquantorecentes{arespeitodaimportanteein uente teoria doschamados divisoreslivres no casohomog^eneopadr~ao.Paraesta nalidade, iniciamos comumestudob asicosobrederiva c~oesefocalizamosnom odulodenomi- nado idealizadortangencial de umdadopolin^omiohomog^eneo,oquegeometricamente correspondeaom odulodoscamposvetoriaislogar tmicosaolongodahipersuperf cie projetivadada(odivisor edito livre quando talm odulo elivresobreoanelgraduado de polin^omios).Tamb emdiscutiremos,emparticular,resultadossobredivisoreslivres no planoprojetivo.

Submitted by Jean Medeiros (jeanletras@uepb.edu.br) on 2017-07-20T17:14:06Z No. of bitstreams: 1 PDF - Erivan Sousa Valentim.pdf: 10186922 bytes, checksum: ffae32fb65fe99f5c16bf7b416d3008d (MD5) / Approved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2017-08-29T15:42:48Z (GMT) No. of bitstreams: 1 PDF - Erivan Sousa Valentim.pdf: 10186922 bytes, checksum: ffae32fb65fe99f5c16bf7b416d3008d (MD5) / Made available in DSpace on 2017-08-29T15:42:48Z (GMT). No. of bitstreams: 1 PDF - Erivan Sousa Valentim.pdf: 10186922 bytes, checksum: ffae32fb65fe99f5c16bf7b416d3008d (MD5) Previous issue date: 2017-06-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The purpose of this work is to realize an approach about multiples and divisors, in- cluding the least common multiple and the greatest common divisor, owing to the difficulty that students feel when they faced with such content in basic education, aiming at a better understanding about it and an improvement in the learning of le- arners. The suggestion was applied in an 8th grade class at the Joaquim Limeira de Queiroz Agricultural Technical School, in the city of Puxinan˜ a - PB, in March 2017. They were addressed the definitions of multiples, divisors, prime numbers and the least common multiple and the greatest common divisor, and it was applied activities such as: bingo of the divisors, the sum of the magic square and the construction of the Sieve of Eratosthenes. Finally, we carried out an evaluation exercise with the objective of analyzing if the results regarding the content and the activities previously proposed were satisfactory. / A proposta deste trabalho é de realizar uma abordagem sobre os múltiplos e divisores, incluindo mínimo múltiplo comum e o máximo divisor comum, tendo em vista a dificuldade que os estudantes sentem ao se deparar com tal conteúdo na educação básica, objetivando um melhor entendimento a cerca do conteúdo e uma melhoria no que diz o respeito a aprendizagem dos educandos. A proposta foi aplicada em uma turma de 8 ano na Escola Técnica Agrícola Joaquim Limeira de Queiroz, na cidade de Puxinanã - PB, no mês de março de 2017. Foram abordados as definições de múltiplos, divisores, números primos e mínimo múltiplo comum e máximo divisor comum, e aplicadas atividades tais como: bingo dos divisores, a soma do quadrado mágico e a construção do Crivo de Eratóstenes. Por fim, realizamos um exercício avaliativo com o objetivo de analisar se os resultados a respeito do conteúdo e das atividades propostas anteriormente foram satisfatórias.

Submitted by Cristiane Chim (cristiane.chim@ucpel.edu.br) on 2018-05-08T17:34:22Z No. of bitstreams: 1 Vagner Guidotti Furtado (1).pdf: 2942442 bytes, checksum: a43c18ecb28456284d4b6c622f11210d (MD5) / Made available in DSpace on 2018-05-08T17:34:22Z (GMT). No. of bitstreams: 1 Vagner Guidotti Furtado (1).pdf: 2942442 bytes, checksum: a43c18ecb28456284d4b6c622f11210d (MD5) Previous issue date: 2017-12-07 / The division operation in digital systems has its relevance because it is a necessary function in several applications, such as general purpose processors, digital signal processors and microcontrollers. The digital divider circuit is of great architectural complexity and may occupy a considerable area in the design of an integrated circuit, and as a consequence may have a great influence on the static and dynamic power dissipation of the circuit as a whole. In relation to the application of dividing circuits in circuits of the Digital Signal Processing (DSP) area, adaptive filters have a particular appeal, especially when using algorithms that perform a normalization in the input signals. In view of the above, this work focuses on the proposition of algorithms, techniques for reducing energy consumption and logical area, proposition and implementation of efficient dividing circuit architectures for use in adaptive filters. The Newton-Raphson and Goldschmidt iterative dividing circuits both operating at fixed-point were specifically addressed. The results of the synthesis of the implemented architectures of the divisors with the proposed algorithms and techniques showed considerable reduction of power and logical area of the circuits. In particular, the dividing circuits were applied in adaptive filter architectures based on the NLMS (Normalized least Mean Square) algorithm, seeking to add to these filters, characteristics of good convergence speed, combined with the improvement in energy efficiency. The adaptive filters implemented are used in the case study of harmonic cancellation on electrocardiogram signals / A operação de divisão em sistemas digitais tem sua relevância por se tratar de uma função necessária em diversas aplicações, tais como processadores de propósito geral, processadores digitais de sinais e microcontroladores. O circuito divisor digital é de grande complexidade arquitetural, podendo ocupar uma área considerável no projeto de um circuito integrado, e por consequência pode ter uma grande influência na dissipação de potência estática e dinâmica do circuito como um todo. Em relação à aplicação de circuitos divisores em circuitos da área DSP (Digital Signal Processing), os filtros adaptativos têm um particular apelo, principalmente quando são utilizados algoritmos que realizam uma normalização nos sinais de entrada. Diante do exposto, este trabalho foca na proposição de algoritmos, técnicas de redução de consumo de energia e área lógica, proposição e implementação de arquiteturas de circuitos divisores eficientes para utilização em filtros adaptativos. Foram abordados em específico os circuitos divisores iterativos Newton-Raphson e Goldschmidt ambos operando em ponto-fixo. Os resultados da síntese das arquiteturas implementadas dos divisores com os algoritmos e técnicas propostas mostraram considerável redução de potência e área lógica dos circuitos. Em particular, os circuitos divisores foram aplicados em arquiteturas de filtros adaptativos baseadas no algoritmo NLMS (Normalized least Mean Square), buscando agregar a esses filtros, características de boa velocidade de convergência, aliada à melhoria na eficiência energética. Os filtros adaptativos implementados são utilizados no estudo de caso de cancelamento de harmônicas em sinais de eletrocardiograma (ECG)