Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-06-20T21:15:09Z No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-08-17T15:39:39Z (GMT) No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) / Made available in DSpace on 2017-08-17T15:39:39Z (GMT). No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) Previous issue date: 2017-08-17 / Esta dissertação tem como foco o estudo do problema de unificação módulo uma teoria equacional cuja assinatura contém um operador binário que satisfaz as identidades Associatividade, Comutatividade, Unidade e Nilpotência (ACUN), e que pode ou não conter um operador unário que satisfaz a identidade de homomorfismo (ACUNh), que é a teoria equacional do operador , amplamente utilizado em diversas ferramentas criptográficas, como MAUDE-NPA[10] que utiliza uma encriptação de grupos abelianos, incluindo ( ou exclusivo ), exponenciação e encriptação homomórfica. Primeiro apresentaremos alguns critérios para existência de soluções para problemas de ACUN(h)-unificação elementar com constantes que consiste em associar o problema de unificação à um sistema de equações lineares cujos coeficientes são elementos de ou , dependendo se o homomorfismo é ou não considerado. Segundo, apresentaremos um algoritmo para resolver problemas de ACUN(h)- unificação geral que retorna sempre um conjunto completo de unificadores. Finalmente, apresentaremos o estudo de um novo paradigma de unificação, a dizer, \emph{unificação assimétrica}, que consiste de obter unificadores de um problema de unificação com a propriedade de preservar formas normais do lado direito de cada equação de com relação a um sistema de reescrita convergente e coerente módulo uma teoria equacional . No caso particular da teoria equacional ACUN construiremos um algoritmo de conversão de ACUN-unificadores para ACUN-unificadores assimétricos. / This dissertation focuses on the study of unification problems modulo an equational theory whose signature contains a binary operator , which satisfies the identities of Associativity, Commutativity, Unity and Nilpotence (ACUN), and which may or not contain a unary operator satisfying the homomorphism identity (ACUNh), which is the equational theory for the operator XOR, Widely used on many cryptographic tools, like MAUDE[10], which uses group encryption, including XOR ( exclusive or ), exponentiation and homomorphic encryption. First we will present some criteria to the existence of solutions for elementary with constants ACUN(h)-unification problems which consist of associating a unification problem to a linear equation system whose coefficients are elements of or , depending one we are considering homomorphism or not. Second, we will present an algorithm to solve general ACUNh-unification problems which always returns a complete set of most general unifiers. Finally, we will present the study of a new unification paradigm, to say so, asymmetric unification, which consist of obtaining unifiers from the unification problem , with the property of preserving the normal form from of the right hand side of each equation in , considering a convergent and coherent rewriting system. In the particular case of the equational theory ACUN, we will also present an algorithm which takes as input ACUN-unifiers and outputs ACUN-asymmetric unifiers.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2012. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2012-10-23T12:14:57Z No. of bitstreams: 1 2012_MariaSousaLeiteFilha.pdf: 598052 bytes, checksum: 03263929db941caf6f9b961b9c5dfa25 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2012-11-08T12:35:18Z (GMT) No. of bitstreams: 1 2012_MariaSousaLeiteFilha.pdf: 598052 bytes, checksum: 03263929db941caf6f9b961b9c5dfa25 (MD5) / Made available in DSpace on 2012-11-08T12:35:18Z (GMT). No. of bitstreams: 1 2012_MariaSousaLeiteFilha.pdf: 598052 bytes, checksum: 03263929db941caf6f9b961b9c5dfa25 (MD5) / A presente dissertação tem por base os trabalhos de M. Isaacs e G. Navarro [5] e de Z. Marciniak [7]. Suponhamos que um p0 -grupo finito K age por autormorfismos sobre um p-grupo finito P e vamos discutir sobre hipóteses que garantem que K age trivialmente sobre P. Em [4] é apre- sentado um resultado que assegura que, se P é abeliano e K fixa todos os elementos de ordem p em P, então K age trivialmente sobre P e que, se, além disso, o primo p é diferente de 2, então a hipótese de P ser abeliano não é necessária. Mas se p = 2 e temos apenas que K fixa todos os elementos de ordem 2 em P, não podemos concluir que a ação de K sobre P é trivial. No caso de p = 2, por [2], é conhecido que se K fixa todos os elementos de ordem 2 e todos os elementos de ordem 4 em P, então K age trivialmente sobre P e por [8], sabemos que se K fixa todos os elementos racionais de P, então a ação de K sobre P é trivial. Em 2010, M. Isaacs e G. Navarro, demonstram que se K fixa, além de todos os elementos de or- dem 2, todos os elementos reais de ordem 4 em P, então K age trivialmente sobre P. A demonstração por eles apresentada usa recursos de teoria de caracteres e, além disso, os autores ressaltam que até aquele momento não viam como mostrar a veracidade do resultado sem utilizar caracteres. No entanto, Marciniak, em [7], consegue demonstrar este resultado sem recorrer a caracteres. ______________________________________________________________________________ ABSTRACT / his dissertation is based on the works of M. Isaacs and G. Navarro [5] and Z. Marciniak [7]. Suppose that a finite p0-group K acts by automorphisms on a finite p-group P and go to debate above hypothesis that guaranteeb that K acts trivially on P. In [4] is presented a result that affirm that if P is an abelian group and K fixes all elements of order p in P, then K acts trivially on P e that, if, moreover, the prime p is other than 2, then it is not necessary to assume that P is abelian. However if p = 2 and we only suppose that K fixes all elements of order 2 in P, then we cannot conclude that the action of K on P is trivial. In the case when p = 2, by [2], it is known that if K fixes all elements of order 2 and all elements of order 4 in P, then K acts trivially on P and by [8], known that K fixes all rational elements in P, then the action of K on P is trivial. In 2010, M. Isaacs and G. Navarro showed that if K fixes all elements of order 2 and all real elements of order 4 in P, then K acts trivially on P. They proved the result using arguments from character theory. Moreover they observed that until that moment they did not see how to show the correctness of the result without using characters. However, later Marciniak, in [7], gave an alternative proof without using characters.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Física, 2011. / Submitted by Tania Milca Carvalho Malheiros (tania@bce.unb.br) on 2012-03-22T17:01:15Z No. of bitstreams: 1 2011_AlissonXavierMartins_Parcial.pdf: 252053 bytes, checksum: 88bb88dd4d50fbff47ef2f76e209e027 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2012-03-22T20:10:28Z (GMT) No. of bitstreams: 1 2011_AlissonXavierMartins_Parcial.pdf: 252053 bytes, checksum: 88bb88dd4d50fbff47ef2f76e209e027 (MD5) / Made available in DSpace on 2012-03-22T20:10:28Z (GMT). No. of bitstreams: 1 2011_AlissonXavierMartins_Parcial.pdf: 252053 bytes, checksum: 88bb88dd4d50fbff47ef2f76e209e027 (MD5) / O estudo da equação de Schrodinger e de grande importância para compreender os aspectos fundamentais da matéria. A busca por soluções desta equação e de grande interesse tanto do ponto de vista te orico quanto do ponto de vista experimental. Apesar dessa importância, não temos muitas soluções analíticas dessa equação. Nesse contexto, apresentamos nessa dissertação um estudo das simetrias de Lie, simetrias não-classicas e soluções invariantes da equa cão de Schrodinger não-linear. Mostramos que no caso (1+1) dimensional não existe simetria, além das simetrias encontradas via geradores de simetria de Lie e com um gerador de simetria encontramos uma solução invariante para a equação de Schrodinger não-linear. ______________________________________________________________________________ ABSTRACT / The study of Schrodinger equation is of great importance for understanding the fundamental aspect of matter. The search for solutions of this equation is of great interest both from the standpoint of theoretical and experimental point of view. Despite of importance we have many analytical solutions of this equation. In this context, we present in this thesis a study of Lie symmetries, non-classical symmetries and invariant solutions of the Schrodinger nonlinear equation. We show that if (1+1) dimensional symmetry does not exist beyond the symmetries found with the Lie symmetry generators and a generator of symmetry we nd a invariant solution to the nonlinear Schrodinger equation.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2016-06-16T16:52:45Z No. of bitstreams: 1 texto completo.pdf: 1638110 bytes, checksum: 4b249793975a7cc0ebd13dfd22703f0e (MD5) / Made available in DSpace on 2016-06-16T16:52:45Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1638110 bytes, checksum: 4b249793975a7cc0ebd13dfd22703f0e (MD5) Previous issue date: 2016-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho, estudamos 0 Grupo Fuchsiano Γ 8g-4 relacionado a família de tes- selações hiperbólicas {8g - 4, 4}, que é um subgrupo discreto de PSL(2, R), onde g >= 2 representa 0 género. Esta tesselação apresenta propriedades geométricas interessantes, e os resultados ligados a essa teoria têm aplicações na teoria de códigos. Nosso objetivo é encontrar os geradores do grupo Γ 8g-4 para o caso em que g = 2. Também identificamos os elementos de Γ 12 com os elementos da ordem O associada a uma álgebra dos quatérnios A. / In this work, we study the Fuchsian Group Γ 8g-4 related to the family of hyperbo- lic tessellations {8g-4, 4} which is a discrete subgroup of PSL(2, R), where g >= 2 represents the genus. This tessellation presents interesting geometric properties, and the results linked to this theory produce applications in coding theory. Our intention is to find the generators of the group Γ 8g-4 for the case where g = 2. We also aim to identify the elements of Γ 12 with the elements of order O associated with an quaternion algebra of A.

Orientador: Jaime Portugheis / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T08:08:11Z (GMT). No. of bitstreams: 1 Sharma_Manish_M.pdf: 1001397 bytes, checksum: 04250e6b88e19bb784d3b68313ace258 (MD5) Previous issue date: 2006 / Resumo: Nesta dissertação abordamos o problema de como construir codificadores bit-geometricamente uniformes (BGU) para a utilização como codificadores internos em sistemas com concatenação serial de códigos. A utilização destes codificadores implica na facilidade de determinação de parâmetros necessários para a análise do desempenho dos sistemas. Há um grande controle sobre estes parâmetros no projeto destes codificadores utilizando o método descrito neste trabalho, o que sugere que bons codificadores e conseqüentemente bons sistemas podem ser obtidos desta maneira. Além disso, os códigos gerados por estes codificadores possuem a propriedade de uniformidade de erro de bit, o que facilita bastante sua análise / Abstract: This thesis approaches the problem of building bit-geometrically uniform (BGU) encoders to be used as inner encoders in systems with serially concatenated codes. By using this type of encoders, certain parameters that are used to analyze the system's performance are easily determined. There is a great control over these parameters when building encoders using the method described in this work, suggesting that good encoders and subsequently good systems can be obtained. Besides, the codes generated by these encoders posses the uniform bit error property, that greatly facilitates their analysis / Mestrado / Engenharia de Telecomunicações / Mestre em Engenharia Elétrica

Orientador : Reginaldo Palazzo Jr / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-28T20:04:30Z (GMT). No. of bitstreams: 1 Valenca_RaquelDutra_M.pdf: 606132 bytes, checksum: 0deb4ce00ddceb3d8ce51ed95dfca0a0 (MD5) Previous issue date: 2001 / Mestrado

Orientador: Rafael Santos Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-24T01:12:10Z (GMT). No. of bitstreams: 1 Candido_RenatoMarkeleFerreira_M.pdf: 1921815 bytes, checksum: a5e82ec1bfadd836b1ba66fda5ce00ec (MD5) Previous issue date: 2013 / Resumo: A principal contribuição desta dissertação é a proposta de algoritmos de filtragem por partículas em sistemas a eventos discretos nos quais predominam os problemas de sincronização. Esta classe de sistemas pode ser descrita por meio de equações lineares em uma álgebra não convencional usualmente conhecida como álgebra Max Plus. Os Filtros de Partículas são algoritmos Bayesianos sub-ótimos que realizam uma amostragem sequencial de Monte Carlo para construir uma aproximação discreta da densidade de probabilidade dos estados baseada em um conjunto de partículas com pesos associados. É apresentada uma revisão de sistemas a eventos discretos, de filtragem não linear e de filtros de partículas de um modo geral. Após apresentar esta base teórica, são propostos dois algoritmos de filtros de partículas aplicados a sistemas Max Plus. Em seguida algumas simulações foram apresentadas e os resultados apresentados mostraram a eficiência dos filtros desenvolvidos / Abstract: This thesis proposes, as its main contribution, particle filtering algorithms for discrete event systems in which synchronization phenomena are prevalent. This class of systems can be described by linear equation systems in a nonconventional algebra commonly known as Max Plus algebra. Particles Filters are suboptimal Bayesian algorithms that perform a sequential Monte Carlo sampling to construct a discrete approximation of the probability density of states based on a set of particles with associated weights. It is presented a review of discrete event systems, nonlinear filtering and particle filters. After presenting this theoretical background, two particle filtering algorithms applied to Max Plus systems are proposed. Finally some simulation results are presented, confirming the accuracy of the designed filters / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador: Carina Alves / Banca: Henrique Lazari / Banca: Antônio Aparecido de Andrade / Resumo: Neste trabalho nós abordamos alguns dos principais aspectos relacionados a codi- cação espaço-temporal e as ferramentas algébricas envolvidas na projeção de códigos baseados em álgebras de divisão cíclica. Apresentaremos também a construção do Código de Ouro ([9], [10]), que é um código espaço-temporal perfeito / Abstract: In this work we discuss some main aspects related to space-time coding and algebraic tools involved in the design of codes based on cyclic division algebras. We also present the construction of the Golden Code ([9], [10]), which is a perfect space-time code / Mestre

Orientador: Lourdes de la Rosa Onuchic / Banca: Rosa Lúcia Sverzut Baroni / Banca: Henrique Lazari / Banca: Glen César Lemos / Banca: José Pedro Machado Ribeiro / Resumo: Este trabalho teve como principal objetivo investigar as contribuições que a Álgebra Abstrata Moderna (onde se trabalham as teorias de Grupos, Anéis e Corpos, dentre outras), ministrada como uma disciplina em cursos de Licenciatura em Matemática no Brasil, poderia dar à Formação Inicial de Professores de Matemática. Esta pesquisa teve caráter qualitativo e foi apoiada no Modelo Metodológico de Romberg-Onuchic. Visando alcançar esse objetivo, propusemos uma pesquisa de campo, desenvolvida em 2015, com uma turma do quinto período de Licenciatura em Matemática do Instituto Federal de Goiás (IFG). Para isso, elaboramos e implementamos um projeto de ensino com o propósito de levar os alunos dessa turma a construírem um conhecimento satisfatório de Álgebra Abstrata Moderna e mostrar a relação de seus conteúdos com os da Educação Básica. Para a construção desse conhecimento, fizemos uso da Metodologia de Ensino-Aprendizagem-Avaliação de Matemática através da Resolução de Problemas, figurada no campo da Educação Matemática e consolidada por diversas pesquisas como eficiente no processo de ensino, aprendizagem e avaliação de Matemática em diversos níveis - Fundamental, Médio e Superior. A correlação entre os conteúdos de Álgebra Abstrata Moderna e os da Educação Básica se deu através da proposição, aos estudantes da referida turma, de atividades extraclasse, que, sempre, em um momento posterior, eram discutidas, em sala de aula, por todos os integrantes desse processo: alunos, pesquis... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The main purpose of the present work was to investigate the contributions that Modern Abstract Algebra (which the theories of Groups, Rings and Fields, among others, are worked on), as a discipline in Degree courses in Mathematics in Brazil, might give to initial Teacher Education in Mathematics. The present research has a qualitative approach and it was grounded on the Methodological Model of Romberg-Onuchic. In order to achieve that goal, we proposed a field research, developed in 2015, involving a class of fifth semester students of Degree in Mathematics at Instituto Federal de Goiás (IFG). To that end, we elaborated and implemented a teaching project with the purpose of enabling that group of students to build satisfactory knowledge on Modern Abstract Algebra and showing the relationship of its contents to the ones of Elementary Education. In order to build such knowledge, we used the Methodology of Teaching-Learning-Evaluation in Mathematics through Problem Solving, found in the field of Mathematics Education and consolidated by several researches as effective in the process of Mathematics teaching, learning and evaluation in several levels - Elementary, Middle and Higher Education. The correlation between the contents of Modern Abstract Algebra and the ones of Elementary Education came about through the proposition to that group of students of extracurricular activities which were always discussed further in classroom by all people involved in that process: students, researcher and teacher. There were also two meetings with the only purpose of working, discussing and analysing this association - Modern Abstract Algebra and Elementary Education. The evidence-gathering was made through the researcher's observation during the project application, the materials produced by the students, the media (audio and video recordings of the meetings) and a diagnostic ... (Complete abstract electronic access below) / Doutor

Submitted by NILTON CEZAR FERREIRA null (niltoncezar@gmail.com) on 2017-03-08T23:50:07Z No. of bitstreams: 1 TeseFerreiraNC.pdf: 37853147 bytes, checksum: ebd21d09eb6ee1d93587cff731b64470 (MD5) / Approved for entry into archive by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br) on 2017-03-14T13:44:06Z (GMT) No. of bitstreams: 1 ferreira_nc_dr_rcla.pdf: 37853147 bytes, checksum: ebd21d09eb6ee1d93587cff731b64470 (MD5) / Made available in DSpace on 2017-03-14T13:44:06Z (GMT). No. of bitstreams: 1 ferreira_nc_dr_rcla.pdf: 37853147 bytes, checksum: ebd21d09eb6ee1d93587cff731b64470 (MD5) Previous issue date: 2017-03-03 / Este trabalho teve como principal objetivo investigar as contribuições que a Álgebra Abstrata Moderna (onde se trabalham as teorias de Grupos, Anéis e Corpos, dentre outras), ministrada como uma disciplina em cursos de Licenciatura em Matemática no Brasil, poderia dar à Formação Inicial de Professores de Matemática. Esta pesquisa teve caráter qualitativo e foi apoiada no Modelo Metodológico de Romberg-Onuchic. Visando alcançar esse objetivo, propusemos uma pesquisa de campo, desenvolvida em 2015, com uma turma do quinto período de Licenciatura em Matemática do Instituto Federal de Goiás (IFG). Para isso, elaboramos e implementamos um projeto de ensino com o propósito de levar os alunos dessa turma a construírem um conhecimento satisfatório de Álgebra Abstrata Moderna e mostrar a relação de seus conteúdos com os da Educação Básica. Para a construção desse conhecimento, fizemos uso da Metodologia de Ensino-Aprendizagem-Avaliação de Matemática através da Resolução de Problemas, figurada no campo da Educação Matemática e consolidada por diversas pesquisas como eficiente no processo de ensino, aprendizagem e avaliação de Matemática em diversos níveis – Fundamental, Médio e Superior. A correlação entre os conteúdos de Álgebra Abstrata Moderna e os da Educação Básica se deu através da proposição, aos estudantes da referida turma, de atividades extraclasse, que, sempre, em um momento posterior, eram discutidas, em sala de aula, por todos os integrantes desse processo: alunos, pesquisador e professor da disciplina. Contou, ainda, com dois encontros exclusivos para se trabalhar, discutir e analisar essa associação – Álgebra Abstrata Moderna e Educação Básica. A coleta de evidências foi feita através da observação do pesquisador durante a aplicação do projeto; materiais produzidos pelos alunos; mídias (gravações em áudio e vídeo dos encontros realizados); e uma avaliação diagnóstica que teve como foco: Formação de Professores, Álgebra e Resolução de Problemas. Os resultados confirmaram que a Álgebra Abstrata, se trabalhada de forma adequada, poderá trazer contribuições significativas à formação de professores de Matemática. / The main purpose of the present work was to investigate the contributions that Modern Abstract Algebra (which the theories of Groups, Rings and Fields, among others, are worked on), as a discipline in Degree courses in Mathematics in Brazil, might give to initial Teacher Education in Mathematics. The present research has a qualitative approach and it was grounded on the Methodological Model of Romberg-Onuchic. In order to achieve that goal, we proposed a field research, developed in 2015, involving a class of fifth semester students of Degree in Mathematics at Instituto Federal de Goiás (IFG). To that end, we elaborated and implemented a teaching project with the purpose of enabling that group of students to build satisfactory knowledge on Modern Abstract Algebra and showing the relationship of its contents to the ones of Elementary Education. In order to build such knowledge, we used the Methodology of Teaching-Learning-Evaluation in Mathematics through Problem Solving, found in the field of Mathematics Education and consolidated by several researches as effective in the process of Mathematics teaching, learning and evaluation in several levels – Elementary, Middle and Higher Education. The correlation between the contents of Modern Abstract Algebra and the ones of Elementary Education came about through the proposition to that group of students of extracurricular activities which were always discussed further in classroom by all people involved in that process: students, researcher and teacher. There were also two meetings with the only purpose of working, discussing and analysing this association – Modern Abstract Algebra and Elementary Education. The evidence-gathering was made through the researcher’s observation during the project application, the materials produced by the students, the media (audio and video recordings of the meetings) and a diagnostic evaluation focused on Teacher Education, Algebra and Problem Solving. The results confirmed that Abstract Algebra, if properly worked on, might bring significant contributions to Teacher Education in Mathematics.