Orientadores: Pedro Luiz Queiroz Pergher, Claudina Izepe Rodrigues / Tese (doutorado) - Universidade Estadual de Campiinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-08-04T01:39:11Z (GMT). No. of bitstreams: 1 Figueira_FabioGomes_D.pdf: 601498 bytes, checksum: 0eb9b4953feb322f765ac36c21c7262a (MD5) Previous issue date: 2004 / Doutorado / Matematica / Doutor em Matemática

Orientador: Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T00:47:46Z (GMT). No. of bitstreams: 1 Silva_KatiaLuckwudeSantana_M.pdf: 2442509 bytes, checksum: 68d6a16c09d9ef338d666c90f33349ba (MD5) Previous issue date: 1984 / Resumo: São analisados neste trabalho. três métodos para a solução dos problemas de análise global de fluxo de dados, quando as equações têm como coeficientes subconjuntos de um universo finito (vetores de bits): método iterativo de Hecht e Ullman, método dos intervalos de Cocke e Allen, e o método das regiões fortemente conexas de Graham e Wegman. A comparação dos métodos é realizada através de uma microanálise das suas implementações, aplicada a algumas famílias de grafos de fluxo que têm forma padronizada. Os resultados indicam que, neste caso, o método das regiões é mais eficiente em termos de operações com vetores de bits, enquanto que o método iterativo é mais eficiente em termos de operações de controle e manipulação de estruturas de dados auxiliares. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação

Orientador : Reginaldo Palazzo Jr / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-01T04:51:55Z (GMT). No. of bitstreams: 1 Lima_JoaodeDeus_D.pdf: 3354461 bytes, checksum: c93657cbd0b748b5ea917455df9e8991 (MD5) Previous issue date: 2002 / Doutorado

Orientador: Hércules de Araújo Feitosa / Co-orientador: Marcelo Reicher Soares / Resumo: Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / Abstract: This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible. / Mestre

Este trabalho de mestrado teve o objetivo de calcular a dimensão de um modelo de gravitação quântica euclidiana baseado no formalismo da geometria não comutativa. Este cálculo é uma continuação do artigo [4]. Em [4], observa-se que utilizar uma tripla espectral comuttiva permite generalizar e tratar a geometria usual de maneira puramente algébrica. Do formalismo da Geometria Não Comutativa [2], observa-se que existe uma relação entre uma variedade e uma tripla espectral comutativa. Depois de definida a ação, as variáveis dinâmicas e o observável dimensão desta teoria em termo de tripla espectral, verificou-se que havia um analogia clara com a teoria das Matrizes Aleatórias [6], assim foi possível identificar uma maneira numerica de calcular a dimensão deste problema. O espaço estudado foi um conjunto infinito de pontos, cuja dimensão era uma variável estocástica, ou seja, partimos de um conjunto de pontos arbitrário que poderia ter qualquer dimensão real. Os resultados obtidos mostram que a dimensão do modelo é um número perto de 1. Neste trabalho de mestrado encontramos dois métodos distintos para calcular a dimensão, um baseando-se na definição de dimensão de dimensão oriunda da Geometria Não Comutativa e a outra baseada na lei de Weyl. Dadas estas duas alternativas, o trabalho consistiu em criar, construir, implementar e testar um algoritmo capaz de extrair a dimensão destas duas maneiras através de simulações de Monte Carlo. Este resultado é muito interessante devido as características muito gerais do espaço escolhido, dado que o limite superior da dimensão calculada em [4] foi 2, estávamos esperando qualquer valor no intervalo entre 0 e 2, e o que os resultados sugerem é que a dimensão é uma \"variável termodinâmica\", ou seja, uma distribuição delta com centro em 1 / This work had the intention of calculating the dimension of a Euclidian Quantum Gravity model which in based on the formalism of non commutative geometry. This work is a continuation of the article [4]. From [4] we know that using a commutative spectral triple allows us to generalize and treat ordinary geometry in a purely algebraic manner. From Non commutative Geometry [2] follows that manifolds and a spectral triples are related. After defining action, dynamical variables and observables in terms of the spectral triple, a relationship between Random Matrix Theory [6] came up. That relationship was used to evaluate the model dimension using numerical computation algorithms. We studied on particular manifold which is equivalent to an ordinary set of points. The dimension is a stochatic variable, for instance this model allow any possible value for dimension inside the interval [0;2] We found two distinct methods for calculating the dimension. One of them was based on the dimension defined by Alain Connes and the other is based on the dimension defined by Weyl. It is known thad both definitions are equivalent for the simple cases. Given these two methods we calculated the dimension through a Monte Carlo algorithm created and implemented during this work. The program simulated a finite approximation for the dimension and after running several simulations depending on the number of points we founds the asymptotic law for the dimension. We found that the dimension is a \"thermodynamical variable\" near the finite value 1, since we found that the estimator of this observable has variance thad goes to zero on the continuous case. This result is very interesting due to the broad characteristics of the space chosen. Given that the upper limit for the dimension calculated in [4] was 2, we were expecting any stochastic distribution in the interval between 0 and 2, and the results sugest that dimension is a delta

Nessa dissertação provamos que se n é um inteiro par ou primo, então o Grupo de Galois de \'x POT.n\' - \'x POT.n - 1\"...- x - 1 é o grupo simétrico \'S IND.n\'. Essa família de polinômios surge naturalmente de uma generalização da sequência de Fibonacci / In this dissertation we prove that if n is even integer or a prime number, then the Galois Group of \'x POT.n\' - \'x POT. n -1\' ... - x - 1 is the symmetric group \'S IND.n\'. This polynomial family arises quite naturally from a kind of generalized Fibonacci sequence

Este trabalho de mestrado teve o objetivo de calcular a dimensão de um modelo de gravitação quântica euclidiana baseado no formalismo da geometria não comutativa. Este cálculo é uma continuação do artigo [4]. Em [4], observa-se que utilizar uma tripla espectral comuttiva permite generalizar e tratar a geometria usual de maneira puramente algébrica. Do formalismo da Geometria Não Comutativa [2], observa-se que existe uma relação entre uma variedade e uma tripla espectral comutativa. Depois de definida a ação, as variáveis dinâmicas e o observável dimensão desta teoria em termo de tripla espectral, verificou-se que havia um analogia clara com a teoria das Matrizes Aleatórias [6], assim foi possível identificar uma maneira numerica de calcular a dimensão deste problema. O espaço estudado foi um conjunto infinito de pontos, cuja dimensão era uma variável estocástica, ou seja, partimos de um conjunto de pontos arbitrário que poderia ter qualquer dimensão real. Os resultados obtidos mostram que a dimensão do modelo é um número perto de 1. Neste trabalho de mestrado encontramos dois métodos distintos para calcular a dimensão, um baseando-se na definição de dimensão de dimensão oriunda da Geometria Não Comutativa e a outra baseada na lei de Weyl. Dadas estas duas alternativas, o trabalho consistiu em criar, construir, implementar e testar um algoritmo capaz de extrair a dimensão destas duas maneiras através de simulações de Monte Carlo. Este resultado é muito interessante devido as características muito gerais do espaço escolhido, dado que o limite superior da dimensão calculada em [4] foi 2, estávamos esperando qualquer valor no intervalo entre 0 e 2, e o que os resultados sugerem é que a dimensão é uma \"variável termodinâmica\", ou seja, uma distribuição delta com centro em 1 / This work had the intention of calculating the dimension of a Euclidian Quantum Gravity model which in based on the formalism of non commutative geometry. This work is a continuation of the article [4]. From [4] we know that using a commutative spectral triple allows us to generalize and treat ordinary geometry in a purely algebraic manner. From Non commutative Geometry [2] follows that manifolds and a spectral triples are related. After defining action, dynamical variables and observables in terms of the spectral triple, a relationship between Random Matrix Theory [6] came up. That relationship was used to evaluate the model dimension using numerical computation algorithms. We studied on particular manifold which is equivalent to an ordinary set of points. The dimension is a stochatic variable, for instance this model allow any possible value for dimension inside the interval [0;2] We found two distinct methods for calculating the dimension. One of them was based on the dimension defined by Alain Connes and the other is based on the dimension defined by Weyl. It is known thad both definitions are equivalent for the simple cases. Given these two methods we calculated the dimension through a Monte Carlo algorithm created and implemented during this work. The program simulated a finite approximation for the dimension and after running several simulations depending on the number of points we founds the asymptotic law for the dimension. We found that the dimension is a \"thermodynamical variable\" near the finite value 1, since we found that the estimator of this observable has variance thad goes to zero on the continuous case. This result is very interesting due to the broad characteristics of the space chosen. Given that the upper limit for the dimension calculated in [4] was 2, we were expecting any stochastic distribution in the interval between 0 and 2, and the results sugest that dimension is a delta

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2015-12-07T15:50:31Z No. of bitstreams: 1 texto completo.pdf: 1287813 bytes, checksum: 4d11c62be8ea37dacaf482dd7d1413e4 (MD5) / Made available in DSpace on 2015-12-07T15:50:31Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1287813 bytes, checksum: 4d11c62be8ea37dacaf482dd7d1413e4 (MD5) Previous issue date: 2015-03-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O objetivo deste trabalho é apresentar a prova de um resultado importante, conhecido como Teorema de Sarkovskii, que afirma: Seja f : [0, 1] → [0, 1] contínua que possui um ponto periódico com período n. Se n < m, na ordenação de Sarkovskii, então f tem um ponto periódico de período m. E a prova do seguinte resultado devido a Bowen e Franks, [3]: Seja f : [0, 1] → [0, 1] contínua que possui um ponto periódico de período n= 2dm, onde m é ımpar e m > 1. Então, a entropia topológica h(f ) > 1/n log 2, e existe um Kn (independente de f ) tal que, se r = 2d k e k ≥ Kn , então f tem, pelo menos, 2r/n pontos de período primo r, que nos dará uma cota inferior para o número de pontos periódicos. Além disso, apresentar a construção de um difeomorfismo que não possui fontes ou poços periódicos. / The objective of this work is to present the proof of an important result known as Sarkovskii’s theorem which states: Let f : [0.1] → [0.1] be continuous and have a periodic point with period n. If n < m, in the Sarkovskii ordering then f has a periodic point of period m. And the proof the following result due to Bowen and Franks, [3]: Let f : [0.1] → [0.1] be continuous and have a periodic point of period n = 2d m, where m is odd and m > 1. Then the topological entropy h(f ) > log 2, and there is a Kn n r (independent of f ) such that, if r = 2d k and k ≥ Kn , then f has at least 2 n points of prime period r, that will give us a lower bound for the number of periodic points. Also, to present build of a diffeomorphism that has no periodic sources or sinks.

A Tranformada Rápida de Fourier (FFT) é apresentada como um algoritmo que calcula a Transformada Discreta de Fourier mais eficientemente, do ponto de vista computacional. Uma versão mais moderna do algoritmo de Cooley e Tukey é considerada com a finalidade de se obter aplicações da FFT em algoritmos puramente algébricos, como operações de polinômios e a multiplicação de inteiros. Nas aplicações em questão, são levados em conta os aspectos computacionais e algumas implementações são apresentadas.

Descrevemos um processo de resolução de singularidades de sistemas de Pfaff holomoffos (com singularidades isoladas) no plano projetivo complexo. através de aplicações biracionais do plano que rormam o grupo de Cremona. Essa resolução para folheações é empregada na eliminação de singularidades de aplicações biracionais. resultando uma descrição das superricies racionais. / We describe a reduction of singularities of holomorphic foliations Cwith isolated singularities) in the complex projective plane by means of birational transformations of the Cremona group. This reduction is applied to the elimination of singular points of birational transformations. resulting a description of the rational surfaces.