Spelling suggestions: "subject:"formas quadrática"" "subject:"formas quadráticos""
21 |
Softwares livres de matemática, um novo paradigma computacional e educacional / Free math software, a new computational and educational paradigmSouza, Murany de Fátima Botelho 21 March 2014 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-27T14:50:48Z
No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Dissertação - Murany de Fátima Botelho Souza - 2014.pdf: 2572668 bytes, checksum: b6e41a3825ec511979b76508b3d5706d (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-28T12:59:24Z (GMT) No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Dissertação - Murany de Fátima Botelho Souza - 2014.pdf: 2572668 bytes, checksum: b6e41a3825ec511979b76508b3d5706d (MD5) / Made available in DSpace on 2015-01-28T12:59:24Z (GMT). No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Dissertação - Murany de Fátima Botelho Souza - 2014.pdf: 2572668 bytes, checksum: b6e41a3825ec511979b76508b3d5706d (MD5)
Previous issue date: 2014-03-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The principal objective of this work, is to present the main Free Softwares of Mathemathics,
emphasizing their mathemathical functions and corresponding platforms. We present
some proposed pedagogical activities for basic and upper education, using GeoGebra
and wxMaxima, respectively. It was verified, that activities facilitated by software, should
always be based on mathemathical arguments. Furthermore, the teacher should master and
know all tools and limitations of the mathemathical software, before employing any classroom
activity. Finally, we perceived the limitations of Free Mathemathical Softwares when
it comes to the construction of graphics for implicitly given functions. / O trabalho tem por objetivo principal apresentar os principais Softwares Livres Matemáticos,
destacando suas funções matemáticas e suas respectivas plataformas. Foram apresentadas
propostas atividades pedagógicas para o Ensino Básico e para o Ensio Superior,
utilizando o GeoGebra e o wxMaxima respectivamente. Verificou-se que atividades mediadas
por software devem ser fundamentada com argumentos matemáticos. Além disso, o
professor deve dominar e conhecer todas as ferramentas e limitações do software matemático,
antes de desenvolver qualquer atividade em sala de aula. Finalmete pudemos perceber
as limitações dos Softwares Livres Matemáticos para a construção de gráficos de funções
implícitas.
|
22 |
Definitividade de formas quadráticas – uma abordagem polinomial / Definiteness of quadratic forms – a polynomial approachAlves, Jesmmer da Silveira 18 November 2016 (has links)
Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2016-12-12T16:55:40Z
No. of bitstreams: 2
Tese - Jesmmer da Silveira Alves - 2016.pdf: 4498358 bytes, checksum: e1a92f88800ddd8032e2b0c1039f216d (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-12-13T19:31:42Z (GMT) No. of bitstreams: 2
Tese - Jesmmer da Silveira Alves - 2016.pdf: 4498358 bytes, checksum: e1a92f88800ddd8032e2b0c1039f216d (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-12-13T19:31:42Z (GMT). No. of bitstreams: 2
Tese - Jesmmer da Silveira Alves - 2016.pdf: 4498358 bytes, checksum: e1a92f88800ddd8032e2b0c1039f216d (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2016-11-18 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Quadratic forms are algebraic expressions that have important role in different areas of
computer science, mathematics, physics, statistics and others. We deal with rational quadratic
forms and integral quadratic forms, with rational and integer coefficients respectively.
Existing methods for recognition of rational quadratic forms have exponential time
complexity or use approximation that weaken the result reliability. We develop a polinomial
algorithm that improves the best-case of rational quadratic forms recognition in
constant time. In addition, new strategies were used to guarantee the results reliability,
by representing rational numbers as a fraction of integers, and to identify linear combinations
that are linearly independent, using Gauss reduction. About the recognition of
integral quadratic forms, we identified that the existing algorithms have exponential time
complexity for weakly nonnegative type and are polynomial for weakly positive type,
however the degree of the polynomial depends on the algebra dimension and can be very
large. We have introduced a polynomial algorithm for the recognition of weakly nonnegative
quadratic forms. The related algorithm identify hypercritical restrictions testing every
subgraph of 9 vertices of the quadratic form associated graph. By adding Depth First Search
approach, a similar strategy was used in the recognition of weakly positive type. We
have also shown that the recognition of integral quadratic forms can be done by mutations
in the related exchange matrix. / Formas quadráticas são expressões algébricas que têm papel importante em diferentes
áreas da ciência da computação, matemática, física, estatística e outras. Abordamos nesta
tese formas quadráticas racionais e formas inteiras, com coeficientes racionais e inteiros
respectivamente. Os métodos existentes para reconhecimento de formas quadráticas racionais
têm complexidade de tempo exponencial ou usam aproximações que deixam o resultado
menos confiável. Apresentamos um algoritmo polinomial que aprimora o melhorcaso
do reconhecimento de formas quadráticas para tempo constante. Ainda mais, novas
estratégias foram usadas para garantir a confiabilidade dos resultados, representando nú-
meros racionais como frações de inteiros, e para identificar combinações lineares que
são linearmente independentes, usando a redução de Gauss. Sobre o reconhecimento de
formas inteiras, identificamos que os algoritmos existentes têm complexidade de tempo
exponencial para o tipo fracamente não-negativa e polinomial para o tipo fracamente positiva.
No entanto, o grau do polinômio depende da dimensão da álgebra e pode ser muito
grande. Apresentamos um algoritmo polinomial para o reconhecimento de formas inteiras
fracamente positivas. Este algoritmo identifica restrições hipercríticas avaliando todo
subgrafo com 9 vértices do grafo associado à forma inteira. Através da busca em profundidade,
uma estratégia similar pôde ser usada no reconhecimento do tipo fracamente
positiva. Por fim, mostramos que o reconhecimento de formas inteiras pode ser feito através
de mutações na matriz de troca relacionada.
|
23 |
Elementos da teoria algébrica das formas quadráticas e de seus anéis graduados / Elements of the algebraic theory of quadratic forms and its graded ringsDuilio Ferreira Santos 27 November 2015 (has links)
Neste trabalho procuramos realizar uma apresentação autocontida sobre os conceitos da teoria algébrica de formas quadráticas e sobre os anéis graduados que surgiram no desenvolvimento desta teoria. Iniciamos procurando esclarecer o sentido da equivalência entre as várias acepções do conceito de forma quadrática. Após a apresentação de ingredientes e resultados geométricos, fazemos um extrato da teoria dos anéis de Witt, conceito que originou a moderna teoria algébrica de formas quadráticas. Disponibilizamos os elementos fundamentais para a formulação das teorias de cohomologia, nos concentrado no desenvolvimento da teoria de cohomologia profinita e, sobretudo, galoisiana. Descrevemos os funtores K0, K1 e K2 da K-teoria clássica e também a K-teoria de Milnor, que é mais adequada para formular questões sobre formas quadráticas. Finalizamos o trabalho com a apresentação de alguns conceitos da Teoria dos Grupos Especiais, uma codificação em primeira-ordem da teoria algébrica das formas quadráticas e exemplificamos sua importância, fornecendo um extrato da prova realizada por Dickmann-Miraglia da conjectura de Marshall sobre assinaturas, que se baseia fortemente nesta teoria. / In this work I try to provide a self-contained presentation on the concepts of algebraic theory of quadratic forms and on the graded rings that have emerged in the development of this theory. I started trying to clarify the meaning of \"equivalence\"between the various meanings of the concept of quadratic form. After the presentation of geometrical ingredients and results, we make an extract of the theory of Witt rings, a concept that originated the modern algebraic theory of quadratic forms. It is provided the key elements for the formulation of cohomology theories, focusing on the development of profinite cohomology theory and, especially, on galoisian cohomology. Are described the functors K0, K1 and K2 of classical K-theory and also the Milnor K-theory, which is more appropriate to formulate questions about quadratic forms. The dissertation is finished with the presentation of some concepts of the Theory of Special Groups, a first-order encoding of algebraic theory of quadratic forms, and with an example its importance by providing an extract of proof by Dickmann-Miraglia of the Marshalls conjecture on signatures, which relies heavily on this theory.
|
24 |
Formas quadráticas, pesos de Hamming generalizados e curvas algébricas / Quadratic forms, generalized Hamming weights and algebraic curvesNegreiros, Diogo Bruno Fernandes, 1983- 18 August 2018 (has links)
Orientador: Paulo Roberto Brumatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-18T19:35:36Z (GMT). No. of bitstreams: 1
Negreiros_DiogoBrunoFernandes_M.pdf: 5674415 bytes, checksum: bdd28225d3cc5505f91fd61e797f2794 (MD5)
Previous issue date: 2011 / Resumo: Este texto tem como objetivo o estudo de um tipo de código que possui relações com as teorias de curvas algébricas e de formas quadráticas. Começaremos introduzindo as definições e resultados sobre as três teorias que serão necessárias a este estudo. Depois apresentaremos os códigos a serem estudados bem como as relações entre seus sub-códigos e curvas algébricas e entre suas palavras e formas quadráticas. Observando que sub-códigos de peso mais baixo correspondem a curvas com mais pontos, nos dedicaremos a obter um processo para a descoberta de sub-códigos de peso mínimo dentro deste tipo de código. Tal processo será possível através de investigações sobre as formas quadráticas associadas a palavras. Finalizaremos com exemplos de aplicações do processo em alguns códigos, o que permite também calcular seus pesos de Hamming generalizados de ordem mais baixa / Abstract: This text's objective is the study of a kind of code wich has relations with the theories of algebraic curves and quadratic forms. We start by introducing definitions and results about the three theories we will need in such study. Later, we present the codes wich will be studied along with relations between its subcodes and algebraic curves and between its words and quadratic forms. Noting that lower weight subcodes correspond to curves with more points, we research a process to find minimum weight subcodes in this kind of code. This process will be possible through investigations on the quadratic forms related to words. Finally we set examples of applications of the process on some codes, and that gives us their lower order generalized Hamming weights / Mestrado / Matematica / Mestre em Matemática
|
Page generated in 0.0804 seconds