Submitted by MAURIZIO MARCHETTI null (maurizius@terra.com.br) on 2016-04-29T19:25:39Z No. of bitstreams: 1 UNESP entrega.pdf: 14595052 bytes, checksum: 1760390610892e246306287972e21913 (MD5) / Rejected by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: A versão final da dissertação/tese deve ser submetida no formato PDF (Portable Document Format) e o arquivo não deve estar protegido. Por favor, corrija o arquivo PDF e realize uma nova submissão com o arquivo desprotegido. Agradecemos a compreensão. on 2016-05-02T19:03:46Z (GMT) / Submitted by MAURIZIO MARCHETTI null (maurizius@terra.com.br) on 2016-05-02T20:01:26Z No. of bitstreams: 2 UNESP entrega.pdf: 14595052 bytes, checksum: 1760390610892e246306287972e21913 (MD5) LINEAMENTOS DE ANALISE COMBINATORIA 02.pdf: 14341052 bytes, checksum: 6d2c15e4c40cdfa8c838440bbd625acb (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-05-04T18:52:14Z (GMT) No. of bitstreams: 1 marchetti_m_me_rcla.pdf: 14341052 bytes, checksum: 6d2c15e4c40cdfa8c838440bbd625acb (MD5) / Made available in DSpace on 2016-05-04T18:52:14Z (GMT). No. of bitstreams: 1 marchetti_m_me_rcla.pdf: 14341052 bytes, checksum: 6d2c15e4c40cdfa8c838440bbd625acb (MD5) Previous issue date: 2016-02-29 / Não recebi financiamento / Com os avanços da computação, a matemática discreta passou a ser objeto de novas e mais complexas pesquisas. Uma das razões é que os fundamentos da computação encontram-se nos princípios da matemática discreta. No que se refere aos centros de pesquisa, cada vez são mais numerosos e avanlçdos os trabalhos que visam dar sistematicidade e rigor aos princípios da matemática discreta como aqueles já conquistados pela matemática contínua. Nesse contexto, nossa proposta no presente trabalho, ao atuar na formação de base relativa ao ensino da matemática discreta no ensino médio, foi apresentar um texto que ao mesmo tempo compilasse tópicos que jé existe a respeito e, também, introduzisse novas questões e teorias que colocassem em compasso ensino médio com os significativos avanços da matemática discreta produzida nos grandes centros mundiais. Dentro dessas novas questões e teorias, privilegiamos a introdução das funções geradoras como assunto a ser abordado no ensino médio como aprendizado para eventuais desenvolvimentos posteriores no ensino superior, tanto das faculdades de matemática quanto das faculdades de computação. O presente trabalho apresenta-se como obra de base, redigida em linguagem acessível a professores e alunos do ensino médio, sem abrir mão do rigor necessário próprio dos estudos matemáticos.

Made available in DSpace on 2014-06-12T15:56:18Z (GMT). No. of bitstreams: 2 arquivo2839_1.pdf: 6993291 bytes, checksum: 09ffd9fa6a055cf66ddb65d681cdf1c2 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / No âmbito das redes de computadores destaca-se o problema encontrado na criação, ampliação ou manutenção das redes de longa distância (Wide Area Network - WAN), onde muitas vezes os especialistas designados a essas tarefas não conseguem levar em consideração a combinação de algumas métricas de qualidade de serviço (quality of service - QoS). Isto se deve a complexidade dessas combinações juntamente com um número elevado de equipamentos existentes em redes dessa magnitude, logo, muitas redes WAN não são conectadas de forma ótima. O presente trabalho tem como objetivo combinar métricas de QoS (atraso de um enlace, largura de banda, tamanho do caminho e probabilidade de falha) para que seja possível encontrar soluções ótimas, utilizando algoritmos evolucionários multiobjetivo (AEMO), mas especificamente o algoritmo evolucionário de força de Pareto (Strength Pareto Evolutionary Algorithm - SPEA). O SPEA determina o Pareto ótimo para atendimento de cada demanda na rede. Além disto, foi realizado um estudo sobre a sinergia dos operadores de cruzamento (de um ponto com conhecimento heurístico, de ciclo, de ordenamento, de aresta e parcialmente mapeado) para problemas de permutação, como é o caso da otimização das redes de longa distância

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-08-28T18:26:01Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) TCC Profmat.pdf: 610264 bytes, checksum: 97990024fcad3a6b2b90fe7a7e642a70 (MD5) / Made available in DSpace on 2014-08-28T18:26:01Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) TCC Profmat.pdf: 610264 bytes, checksum: 97990024fcad3a6b2b90fe7a7e642a70 (MD5) Previous issue date: 2013-02-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The study of determinants development through the permutations made on their lines or columns dates back to 1812, a memory presented by Cauchy to the French Academy of Sciences. The present work is, in some way, a historical rescue. Firstly, a permutation is de ned: from a superior point of view there is a bijective application and, as such, the set of permutations has a group structure; from the elementary point of view, there is an ordainment of a group's elements. The fundamental fact is, secondly, that the de nition of determinant adjusts perfectly to both conceptions, based on the parity of the permutations. Based on the de nitions, the determinants properties are presented and, therefore, it is possible to proceed with the appropriate justi cations about their validity. A rule that associates each square matrix to a real number will de ne a real function of the variable matrix, the determinant function. This is the actual way in which determinants are presented in higher levels: the determinant is the unique alternated multilinear function of the lines (columns) of a square matrix, as indicated in [10]. By this presentation there is in mind the fact that it can be served as an inspiration to posterior studies. / O estudo sobre o desenvolvimento dos determinantes por meio das permuta ções efetuadas sobre suas linhas ou colunas remonta a 1812, com uma mem ória apresentada por Cauchy a academia de ciências da Fran ça. O presente trabalho e, em certo sentido, um resgate hist órico. Em primeiro lugar de ve-se uma permuta ção: sob um ponto de vista superior tem-se uma aplica c~ao bijetiva e, como tal, o conjunto das permuta c~oes possui uma estrutura de grupo; do ponto de vista elementar, tem-se um ordenamento de elementos de um conjunto. O fato fundamental e que, em segundo lugar, a de ni c~ao de determinante se ajusta perfeitamente as duas concep ções, tomando por base a paridade das permuta ções. Baseando nas de ni ções, as propriedades dos determinantes s~ao apresentadas e, assim, pode-se proceder com as devidas justi ficativas sobre a validade das mesmas. Uma regra que associe a cada matriz quadrada um n umero real de nir a uma fun c~ao real de vari avel matricial, a fun ção determinante. E a forma atual como os determinantes s~ao apresentados em n veis superiores: o determinante e a unica fun ção multilinear alternada das linhas (colunas) de uma matriz quadrada, conforme exibido em [10]. Com tal apresenta c~ao, tem-se em mente, o fato de poder servir de inspira c~ao em estudos posteriores.

Made available in DSpace on 2014-06-12T18:02:29Z (GMT). No. of bitstreams: 2 arquivo3882_1.pdf: 870257 bytes, checksum: 82e64e7b92b72f794d70bd9c13552b6d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O objetivo desta dissertação é aplicar métodos de análise estatística de formas a um problema real da zoologia. Quatro testes foram considerados: T2 de Hotelling, de Goodall, o teste com a estatística de James e o teste com a estatística λ. Estes dois últimos testes não são usados com freqüência na literatura estatística. Também foram considerados testes com bootstrap e testes de permutação. Tais métodos são não-paramétricos e não impõem suposições sobre a distribuição dos dados. Versões dos testes de permutação e bootstrap são comparadas com os testes originais. São apresentadas também conclusões sobre a aplicação à zoologia. Foram realizados testes para detectar a presença de dimorfismo sexual em seis espécies de marsupiais, baseando-se na mandíbula desses animais

Orientador: Anna Diva Plasencia Lotufo / Resumo: A lógica de múltiplos valores, em especial a ternária, apresenta inúmeras vantagens sobre a lógica binária em circuitos reversíveis/quânticos. A realização de funções usando a lógica reversível ternária é conhecida por requerer um menor número de linhas em comparação com a lógica reversível binária convencional. Este aspecto tem motivado as pesquisas em abordagens de síntese. A grande maioria dos métodos existentes requerem entradas adicionais, denominadas de ancillary lines, durante o processo de síntese, o que é dispendioso para implementação em tecnologias quânticas, quando disponíveis. Neste trabalho, foram propostas diferentes metodologias e análises comparativas para o problema da síntese de circuitos reversíveis ternários sem a adição de ancillary lines. A metodologia de síntese proposta, denominada de MMD plus, foi aplicado nos modos backward e top-down como referência a todas as 362880 possíveis funções reversíveis ternárias de 2 variáveis. Além do processamento top-down originário do algoritmo MMD, um processamento bottom-up é implementado e sua eficiência comparativa é avaliada. Por definição, as funções reversíveis ternárias são permutações. Realiza-se a decomposição das permutações em ciclos disjuntos de ordem natural, em ciclos de permutação com 3 elementos, e em transposições, para obtenção dos circuitos reversíveis ternários. Uma métrica é introduzida para mensurar a complexidade e custo dos circuitos, com base nas portas reversíveis de múltiplos valores Muthu... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2018-03-14T17:24:36Z No. of bitstreams: 2 Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-15T11:07:28Z (GMT) No. of bitstreams: 2 Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-15T11:07:28Z (GMT). No. of bitstreams: 2 Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-05 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Cayley’s theorem allows us to represent a finite group as a permutations group of a finite set of points. In general, an action of a finite group G in a finite set, is described as an application of the group G in the symmetric group Sym(Ω). In this work we will describe some algorithms for permutation groups and implement them in the GAP system. We begin by describing a way of representing groups in computers, we calculate orbits, stabilizers in the basic form and by means of Schreier’s vectors. Later we make algorithms to work with primitive and transitive groups, thus arriving at the concept of BSGS, base and strong generator set, for permutation groups with the algorithm SCHREIERSIMS. In the end we work with group homomorphisms, we find the elements of a group through backtrack searches. / O Teorema de Cayley nos permite representar um grupo finito como grupo de permutações de um conjunto finito de pontos. De forma geral, uma ação de um grupo finito G em um conjunto finito Ω, é descrita como uma aplicação do grupo G no grupo simétrico Sym(Ω). Neste trabalho vamos descrever alguns algoritmos para grupos de permutação e implementa-los no sistema GAP. Começamos descrevendo uma maneira de representar grupos em computadores, calculamos órbitas, estabilizadores na forma básica e por meio de vetores de Schreier. Posteriormente fazemos algoritmos para trabalhar com grupos transitivos e primitivos, chegando assim ao conceito de, base e conjunto gerador forte (BSGS) para grupos de permutação finitos com o algoritmo SCHREIER-SIMS. No final trabalhamos com homomorfismos de grupos e encontramos os elementos de um grupo mediante pesquisas backtrack.

Orientador: Carina Alves / Banca: Cristiane Alexandra Lázaro / Banca: Agnaldo José Ferrari / Resumo: O cubo mágico é um dos quebra-cabeças mais famosos do mundo, e em geral atrai aatenção de muita gente, em especial a dos matemáticos. O desa o, as formas, simetriase movimentos induzem a ideia de estarmos diante de um objeto matemático. E podemosir além. As ações e movimentos no cubo mágico são elementos que atendem a todasas condições da estrutura de um grupo, assim como também se relacionam com umgrupo de permutações. À luz da Teoria de Grupos e dos Grupos de Permutações,iremos analisar algumas sequências de movimentos como os comutadores e conjugados.Existem vários algoritmos que resolvem o cubo mágico e que são fáceis de serem obtidos,por exemplo, na internet. O objetivo desta dissertação, além de trazer uma propostade resolução, é o de proporcionar um caminho para além da simples memorização deum algoritmo, no sentido de compreendê-lo. Consequentemente, a justi cativa para apossibilidade de se resolver um cubo mágico é de ordem matemática e não empírica / Abstract: The Rubik's Cube is one of the most famous puzzle of the world, and generally attractsthe attention of many people, especially mathematicians. The challenge, shapes,symmetries and movements induce the idea of being in front of a mathematical object.And we can go further. The actions and movements in the magic cube are elementsthat meet all the conditions of the structure of a group, as well as relate to a group ofpermutations. In light of the Group Theory and Permutations groups we will examinesome sequences of movements such as commutators and conjugates. There are severalalgorithms that solve the magic cube and which are easy to obtain, for example, at theInternet. The aim of this dissertation, beyond to show a resolution, is to provide a pathbeyond simple memorization of an algorithm in order to understand it. Consequently,the justi cation for the possibility of solving a Rubik's Cube is math and not empirical / Mestre

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we present the concepts of loop transversal, centralizer ring and S-ring over a permutation group. The connection between these three subjects was obtained by Kenneth W. Johnson, where he translated the results of Schur and Wielandt on S-rings over groups to results on S-rings over loops . / Neste trabalho apresentamos os conceitos de loop transversal, anel centralizador e S-anel de um grupo de permutação. As conexões entre esses três tópicos foram obtidos por Kenneth W. Johnson em [6, 7], onde ele adaptou os resultados de Schur e Wielandt de S-anéis sobre grupos para S-anéis sobre loops .

Submitted by Mario BC (mario@bc.ufrpe.br) on 2016-05-20T16:02:58Z No. of bitstreams: 1 Diego Vicente de Souza Ferreira.pdf: 4348458 bytes, checksum: d170ec08e8b19561b0eff75d6b69c040 (MD5) / Made available in DSpace on 2016-05-20T16:02:58Z (GMT). No. of bitstreams: 1 Diego Vicente de Souza Ferreira.pdf: 4348458 bytes, checksum: d170ec08e8b19561b0eff75d6b69c040 (MD5) Previous issue date: 2016-02-18 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work we analyze the complexity of stream flow in the São Francisco River and hot-pixels detected in Amazonia, in order to evaluate the effects of human activity. Permutation entropy is employed which takes into account temporal causality by comparing consecutive values within the series. We also use this entropy method to analyze rainfall regime in Pernambuco, Brazil. For the São Francisco River, we analyze the influence of the Sobradinho dam construction on the hydrological regime. The results show that entropy of stream flow increases after the dam’s construction in 1979, which indicates more disordered and less predictable dynamics. For hot-pixels detected in Amazonia, the increase in entropy is related to severe droughts in 2005, 2007, and 2010. For temporal series of precipitation in Pernambuco, entropy values decrease with distance from the coast, indicating more predictability of monthly rainfall in the zona de mata and agreste regions, and less predictable rainfall dynamics in the sertão and vale do São Francisco regions. / Neste trabalho foi analisada a complexidade das séries temporais de vazão do rio São Francisco e de queimadas na Amazônia, para avaliar as alterações causadas pela atividade humana. Utilizou-se o método entropia de permutação (Permutation entropy) que incorpora a relação temporal entre os valores da série analisada, utilizando uma representação simbólica baseada na comparação dos valores consecutivos da série. Este método também foi usado para analisar regime de chuva de Pernambuco. Para a vazão do rio São Francisco avaliou se a influência da construção da barragem Sobradinho no regime hidrológico. Os resultados das análises da série temporal de vazão para o período 1929-2009 mostraram que a entropia aumentou depois da construção da barragem Sobradinho indicando uma dinâmica de vazão mais desordenada e menos previsível neste período. Os resultados obtidos para série temporal diária de queimadas detectadas na Amazônia durante o período 1999-2012, mostraram um aumento da entropia relacionado com secas que ocorreram em 2005, 2007 e 2010. Em relação aos dados de precipitação de Pernambuco, os valores da entropia de permutação diminuem com o aumento da distância das estações do litoral, indicando maior variabilidade e menor previsibilidade das chuvas mensais nas regiões próximas a zona da mata e agreste, e menor variabilidade e maior previsibilidade nas regiões próximas ao sertão e vale do São Francisco.

Submitted by (lucia.rodrigues@ufrpe.br) on 2017-03-29T14:53:15Z No. of bitstreams: 1 Walfrido Siqueira Campos Junior.pdf: 422142 bytes, checksum: a769780b0d11bc646f87ad7036267f6b (MD5) / Made available in DSpace on 2017-03-29T14:53:15Z (GMT). No. of bitstreams: 1 Walfrido Siqueira Campos Junior.pdf: 422142 bytes, checksum: a769780b0d11bc646f87ad7036267f6b (MD5) Previous issue date: 2014-06-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work consists of the presentation of a simple permutation, seen as function. This function is bijective, hence admits inverse (inverse permutation). The composition of this function with the same it is also bijective (composed permutation). We will also see the permutations with repetition, circular without repetition and repetition, beyond chaotic permutations, which are those in which no element occupies its original position. The work is also part of the de nition and presentation of a group of permutations consisting of 3 properties in which the composition of functions satisfy all of them. This is our highest goal. Still show the parity of the permutation, as well as their applications in cases of determinants. / Este trabalho consta da apresentação de uma permutação simples, vista na forma de função. Essa função é bijetora, portanto admite inversa (permutação inversa). A composição dessa função com ela mesma, também é bijetora (permutação composta). Veremos também as permutações com repetição, circulares sem repetição e com repetição, além das permutações caóticas, que são aquelas em que nenhum elemento ocupa sua posição inicial. O trabalho consta também da definição e apresentação de um Grupo das permutações que consiste em 3 propriedades na qual a composição das funções satisfazem todas elas. Esse e o nosso maior objetivo. Mostraremos ainda a paridade da permutação, bem como suas aplicações em casos de determinantes.