Made available in DSpace on 2013-08-07T18:42:48Z (GMT). No. of bitstreams: 1 000431851-Texto+Completo-0.pdf: 926379 bytes, checksum: 41dde88f7d4f933186ff71b29831c0c2 (MD5) Previous issue date: 2008 / The behavioral analysis of a process allows the detection of deficiencies, as well as assessing performance impact caused by environmental changes. The use of analytical models to describe the observed process provides these data through the resolution of equation systems. In the case where modeling is made using formalisms such as Stochastic Automata Network, the resolution of these systems depends on the multiplication of vectors by structures defined using tensor algebra. In view of these multiplications having a high computational cost, various algorithms have been proposed to solve it. Recently, the Split iterative solution was proposed, and the goal of this work is to provide a parallel optimized alternative for it, looking for an improved performance of the solution. / A análise comportamental de um processo permite a detecção de deficiências, assim como avaliar o impacto no desempenho do mesmo causado por mudanças no ambiente. O uso de modelos analíticos para descrever o processo em observação fornece estes dados através da resolução de sistemas de equações. No caso de modelagens feitas com a utilização de formalismos como Rede de Autômatos Estocásticos, a resolução destes sistemas depende da multiplicação de vetores por estruturas definidas através da álgebra tensorial. Por ter um alto custo computacional, diversos algoritmos foram propostos para resolver esta multiplicação. Recentemente a solução iterativa Split foi proposta, e o objetivo deste trabalho é apresentar alternativas paralelas e otimizações para a mesma, buscando um melhor desempenho da solução.

Made available in DSpace on 2014-06-11T19:27:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-02-23Bitstream added on 2014-06-13T18:30:55Z : No. of bitstreams: 1 lucas_fr_me_sjrp.pdf: 422952 bytes, checksum: 9f7e97527a099bc6c7723121d1889671 (MD5)

Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-11-10Bitstream added on 2014-06-13T18:30:56Z : No. of bitstreams: 1 dutra_acb_me_rcla.pdf: 707752 bytes, checksum: 003487414f094d392a97a22a4efb885b (MD5) / Neste trabalho tratamos do objeto matemático Grupo Topológico. Para este desenvolvimento, abordamos elementos básicos de Grupo e Espaço Topológico / In this work we consider the mathematical object Topological Group. For this development, we discuss the basic elements of the Group and Topological Space

Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-09Bitstream added on 2014-06-13T20:27:41Z : No. of bitstreams: 1 000734141.pdf: 352151 bytes, checksum: d0a402bd11577521604bacf8e9d1392e (MD5) / Este trabalho se inicia em busca de uma resposta para a construtibilidade de números reais baseado nas construções fundamentais no plano com compasso e uma régua não graduada. Com a tal resposta apresentamos uma solução para os três prob- lemas Gregos. Para dar uma solução para um outro problema Grego famoso, o prob- lema de construir polígonos regulares, reunimos conceitos e resultados da Algebra que são fundamentais na formulação algébrica da construtibilidade geométrica. Com estes resultados, apresentamos uma condição necessária para o n-ágono regular ser construtível / This work begins in search of an answer to the constructability of real numbers based on the fundamental constructions in the plane using compass and no graduated ruler. With this response we present a solution to the three Greek problems. To give a solution to another famous Greek problem, the construction of regular polygons, we ’ve used some Algebra concepts and results that are fundamental in algebraic formulation of geometric constructability. With these results, we shows a necessary condition to the regular polygons being constructible

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática e Computação Científica, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T04:34:42Z (GMT). No. of bitstreams: 1 288163.pdf: 615320 bytes, checksum: d391efa36179aa1a4f050342d8209628 (MD5) / Dada uma álgebra de von Neumann M em L(H), onde L(H) é o espaço dos operadores lineares e limitados sobre um espaço de Hilbert H, dizemos que M é um fator se seu centro consiste somente por múltiplos escalares do operador identidade de L(H). Quando M é um fator, podemos classificá-lo em tipo I, II e III. Além disso, o tipo II pode ser dividido em dois sub-tipos. O objetivo dessa dissertação é exibir exemplos de fatores, bem como exemplos dos tipos I, II e seus sub-tipos.

Seja K um corpo de característica zero e seja An(K) a n-ésima Álgebra de Weyl sobre K. Neste trabalho, discutimos a existência de ideais maximais à esquerda de An (K) gerados por operadores de ordem 1. Primeiramente, estabelecemos uma relação entre derivações simples de K[X1: ..., Xn] e ideais principais maximais à esquerda de Ân(K). Para n> 2, caracterizamos as derivações de Shamsuddin de K[X1, ..., Xn] que são simples. Depois, mostrámos que se d é uma derivação de Shamsuddin simples de K[X1, ..., Xn], então existe 9 E K[X1, ..., Xn] tal que Ân.(d+g) é um ideal maximal principal à esquerda.

A Teoria de Códigos lida com um problema crítico do processo de comunicação: o controle eficiente do ruído em um canal de comunicação. Este trabalho tem por objetivo descrever algumas relações entre as necessidades da Teoria de Códigos e sua a modelagem matemática, utilizando-se, para isso, conceitos de álgebra e geometria sobre corpos finitos. Apresentaremos motivações para diferentes códigos, dando Ênfase a aspectos geométricoprojetivos do código Hamming e conceitos geométrico-algébricos subjacentes aos de Reed-Solomon e Goppa. / The Coding Theory deals with a critical communication problem: the eficient noise control. This work aims to describe some relationships between the needs of the Coding Theory and its Mathematical Models throught concepts of algebra and geometry over finite fields. We present some motivation for different codes, searching for projective geometric aspects of Hamming codes and algebraic geometric aspects of Reed-Solomon and Goppa codes.

Esta dissertação de mestrado tem foco no ensino introdutório de álgebra na 6ª série do Ensino Fundamental. A partir de estudo de características do ensino vigente registrados na literatura e nos livros didáticos, das dificuldades apresentadas pelos alunos e de seus desempenhos nas avaliações do SAEB / MEC, avançamos na discussão sobre perspectivas que poderiam ser trabalhadas na escola de forma a melhorar a introdução ao ensino de álgebra, e fizemos nossas escolhas didáticas para construção de uma proposta de ensino. A metodologia de investigação, a Engenharia Didática, definiu o processo de concepção da situação didática acompanhada de análise a priori, de experimentação e de análise a posteriori. Desta forma foi possível validar a proposta e o produto que se constituem, como parte desta dissertação, na nossa contribuição para melhorias no ensino de Matemática. Como proposta trazemos a possibilidade de se fazer uma introdução ao pensamento algébrico através do estudo de relações funcionais, nisso usando diferentes situações-problema, incluindo-se entre elas situações de modelagem matemática. Na viabilização da proposta, considerando a faixa etária de nosso público alvo, de grande importância foi a utilização do objeto de aprendizagem “Máquinas Algébricas” nas suas possibilidades de concretizar as relações funcionais a serem estabelecidas pelos alunos. Como produto resultante deste trabalho temos, de forma organizada, uma seqüência de atividades, organizada em grau crescente de complexidade, sempre contemplando os importantes momentos de exploração no objeto “Máquinas Algébricas”. Foi com este produto que constatamos a evolução dos alunos no uso da linguagem algébrica: de início raciocínios de natureza aritmética estavam presentes, mas aos poucos, raciocínios algébricos foram se fazendo cada vez mais presentes. Ao final da experimentação com nossa turma de 6ª série, os alunos mostraram entendimento sobre as relações funcionais, sabendo expressá-las via “leis”, tabelas e gráficos. / This dissertation is focused in the early teaching of Algebra, in the 6th grade of the Elementary School. From the study of characteristics of the teaching recorded in the literature and textbooks, and the difficulties faced by the students and their performance in the evaluations of SAEB, we move in the discussion of prospects that could be worked at the school in order to improve the introduction of the teaching of algebra, and made our didactic choices to construct a teaching proposal. The research methodology, “Didactic Engineering”, defined the process of designing the didactic situation accompanied by a priori analysis, experimentation and analysis afterwards. In this way, it was possible to validate the proposal and the product which are, as part of this dissertation, our contribution to the improvement in the teaching of Mathematics. As a proposal we brought the possibility of developing an introduction to algebraic thinking through the study of functional relationships, using different problemsituations, including situations with mathematical modeling. To make this proposal feasible, considering the age range of our target audience, the use of the object of learning “Algebraic Trees” was very important, since it helped the students to understand functional relations in a more concrete way. As a product resulting from this work, we have organized a sequence of activities, in an increasing degree of complexity, always contemplating the important moments of exploration in the object "Algebraic Trees." It was with this product we saw the evolution of the students in the use of algebraic language: in the beginning, arguments of arithmetic nature were present but gradually, algebraic reasoning was increasingly present. At the end of the experiment on our 6th grade class the students showed understanding of the functional relationships, being able to express them via "laws", charts and graphs.

GOES, Jardênia Sobrinho. Sobre grupos unicamente cobertos. 2011. 67 f. Dissertação (Mestrado em Matemática)- Centro de Ciências, Universidade Federal do Ceará, Programa de Pós-Graduação em Matemática, Fortaleza, 2011. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2012-11-30T12:46:42Z No. of bitstreams: 1 2011_dis_jsgoes.pdf: 422074 bytes, checksum: 152831463434dcd1a7aa58fdfeea6ed3 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2012-11-30T12:47:19Z (GMT) No. of bitstreams: 1 2011_dis_jsgoes.pdf: 422074 bytes, checksum: 152831463434dcd1a7aa58fdfeea6ed3 (MD5) / Made available in DSpace on 2012-11-30T12:47:19Z (GMT). No. of bitstreams: 1 2011_dis_jsgoes.pdf: 422074 bytes, checksum: 152831463434dcd1a7aa58fdfeea6ed3 (MD5) Previous issue date: 2011 / This work is based on the article "Uniquely Covered Groups" due to M. A. Brodie, which investigates finite groups that have a single irredundante coveraging by subgroups. The main result obtained by M. A. Brodie asserts that a non-nilpotent finite group G is uniquely covered if and only if, G/Z(G) is a non-Abelian group of order pq, where p and q are distinct primes and {x,Z(G) is cyclic for every x € G. Our purpose is to present the proof and application of this theorem. / Este trabalho é baseado no artigo "Uniquely Covered Groups" de M. A. Brodie, que investiga grupos finitos que possuem uma única cobertura irredundante por subgrupos próprios. O resultado principal obtido por M. A. Brodie assegura que um grupo finito e não nilpotente G é unicamente coberto se, e somente se, G/Z(G) é um grupo não abeliano de ordem pq, onde p e q são primos distantes e {x,Z(G) é cíclico para todo x € G. Nosso propósito é apresentar a demonstração e uma aplicação deste teorema.

CORIOLANO, Maria Wanderlândia de Lavor; LOPES, José Othon Dantas. Reticulados de Craig transladados. 2011. 111f. Dissertação(mestrado)- Universidade Federal do Ceará, Pós-Graduação em Matemática, Fortaleza-CE, 2011. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2011-10-10T15:43:21Z No. of bitstreams: 1 2011_dis_mwlcoriolano.pdf: 758151 bytes, checksum: 5c38679fb94d8206debb072e82622eba (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2011-10-10T15:49:24Z (GMT) No. of bitstreams: 1 2011_dis_mwlcoriolano.pdf: 758151 bytes, checksum: 5c38679fb94d8206debb072e82622eba (MD5) / Made available in DSpace on 2011-10-10T15:49:24Z (GMT). No. of bitstreams: 1 2011_dis_mwlcoriolano.pdf: 758151 bytes, checksum: 5c38679fb94d8206debb072e82622eba (MD5) Previous issue date: 2011 / Let p an odd prime. A family of (p-1)-dimensional over-lattices yielding new record packings for several values of p in interval [149... 3001] is presented. The result is obtained by modifying Craig's construction and considering conveniently chosen Z-submodules of Q (ζ), where ζ is a primitive pth root of unity. For p ≥ 59, it is shown that the center density of the (p-1)-dimensional lattice in the new family is at least twice the center density of the (p-1)-dimensional Craig lattice. / Seja p um número primo ímpar. Uma família de reticulados (p-1)-dimensional produzindo novos empacotamentos pra vários valores de p no intervalo [149... 3001] é apresentado. O resultado é obtido através da modificação da construção de Craig e considerando conveniente escolhidos Z-submódulos de Q (ζ), onde ζ é raiz p-ésima primitiva da unidade. Para p ≥ 59, é mostrado que a densidade de centro do reticulado (p-1)-dimensional na nova família é pelo menos 2 vezes a densidade de centro do (p-1)-dimensional reticulado de Craig.