Orientadores: Marcelo Firer, Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-06T21:49:24Z (GMT). No. of bitstreams: 1 Machado_DanielMiranda_D.pdf: 1037856 bytes, checksum: 8075d509be9a5467bc49e95237ae757a (MD5) Previous issue date: 2006 / Resumo: Dado G um grupo de Lie conexo, simplesmente conexo e quase-simples sobre um corpo local e S um semigrupo de G com interior não vazio. Estudando a ação dos elementos hiperbólicos regulares pertencentes ao interior de S na variedade bandeira G / P e no edifício euclidiano associado a G, demonstra-se a existência e unicidade do conjunto de controle invariante. Obtém se também a seguinte caracterização do conjunto de transitividade dos conjuntos de controles: o conjunto de transitividade é constituído por pontos fixos do tipo w para uma isometria hiperbólica, sendo w um elemento do grupo de Weyl de G. Logo a cada w em W podemos associar um conjunto de controle Dw- Essa associação não é bijetiva, porém W(S), o subconjunto do grupo de Weyl tal que o conjunto de controle Dw coincide com o conjunto de controle invariante DI, é um subgrupo de Weyl de W. Temos ainda que os conjuntos de controle podem ser parametrizados pelas classes laterais W (S) / Abstract: Let G be a almost-simple, simply connected and connected Lie group over a local field and S a subsemigroup with non-empty interior. Studying the action of the regular hyperbolic elements in the interior of S on the flag manifold G / P and on the associated euclidean building, we prove the existence and uniqueness of the invariant control set. Moreover we provide a characterization of the set of transitivity of the control sets: the elements of set of transitivity are the fixed points of type w for a regular hyperbolic isometry, where w is a element of the Weyl group of G. Thus, for each w in W there is a control set Dw and W(S) the subgroup of the Weyl group such that the control set Dw coincide with the invariant control set DI is a Weyl subgroup of W. At last, we derived that the control sets are parametrized by the lateral classes W(S) / Doutorado / Doutor em Matemática

Orientador: Alexandre Ananin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatisitca e Computação Cientifica / Made available in DSpace on 2018-08-07T02:11:51Z (GMT). No. of bitstreams: 1 Ferreira_CarlosHenriqueGrossi_D.pdf: 2079010 bytes, checksum: d2897485f4c4ad44b6ca3016ebc4a4f6 (MD5) Previous issue date: 2006 / Resumo: Esta tese possui quatro partes. A primeira parte apresenta uma construção que permite abordar todas as geometrias clássicas sob um mesmo ponto de vista. Utilizando tal abordagem, expressamos e caracterizamos, de modo simples e isento de coordenadas, vários aspectos destas geometrias, tais como geodésicas distâncias, transporte paralelo, tensores de curvatura e curvaturas seccionais. Esperamos, assim, unificar e facilitar o estudo das geometrias clássicas, evitando a introdução de vários ¿modelos¿ para uma mesma geometria (como é o caso dos modelos de Poincaré, de Siegel e de Klein para as geometrias hiperbólicas) bem como evitando a descrição de métricas através de sistemas de coordenadas específicos. A segunda parte consiste em aplicar as ferramentas desenvolvidas anteriormente para o caso específico da geometria hiperbólica complexa. O foco central é o estudo de configurações de um número pequeno de pontos. Deste modo estudamos propriedades básicas de objetos elementares tais como linhas projetivas, geodésicas e bissetores. Estas propriedades provaram-se essenciais com relação ao nosso principal objetivo, o estudo de grupos discretos de isometrias do plano hiperbólico complexo. A terceira parte consiste em uma versão do Teorema Poliedral de Poincaré em que as exigências sobre a tesselação são suficientemente locais. Além disso, buscamos para o referido Teorema condições simples e verificáveis na prática. A versão apresentada pode ser aplicada em geometrias de curvatura não-constante, nas quais n¿ao podemos explorar, por exemplo, os conceitos de convexidade. Por fim, a quarta parte é um artigo produzido em colaboração com os professores Alexandre Ananin e Nikolai Goussevskii. Neste artigo, novos exemplos de variedades com estrutura hiperbólica complexa s¿ao apresentados, resolvendo alguns problemas da área / Abstract: This thesis consists of four parts. The first part consists of a construction interpreting all classic geometries in the same way. With this construction, we express and characterize various aspects of these geometries, such as geodesics, distances, parallel displacement, curvature tensors, and sectional curvatures, in a simple coordinate-free way. We believe that this approach can unify and simplify the study of classic geometries escaping the use of several ¿models¿ for the same geometry (as Poincaré¿s, Siegel¿s, and Klein¿s models of hyperbolic geometry) as well as avoiding descriptions of metrics in specific coordinates. In the second part we apply the previously developed tools to the case of complex hyperbolic geometry. The guideline is the study of finite configurations of points. From this point of view, we study basic properties of elementary geometric objects such as projective lines, geodesics, and bisectors. These properties turned out to be crucial for our central purpose, the study of discrete groups of isometries of the complex hyperbolic plane. The third part consists of a version of Poincaré¿s Polyhedron Theorem where the conditions concerning the tessellation are sufficiently local. Also, we consider conditions that are simple and verifiable in practice. The proposed theorem can be applied in the case of geometries of non-constant curvature when some concepts, as those of convexity, are not applicable. Finally, the fourth part is an article written in collaboration with professor Alexandre Ananin and professor Nikolai Goussevskii. In this article, new series of examples of complex hyperbolic manifolds are constructed, solving some problems in the area / Doutorado / Geometria / Doutor em Matemática

In this work, is presented the result of a research that had as main theme strategies used by the students of 8th and 9th for solving algebraic problems of the Municipal Aracaju / SE school. In another way, the objective of the research was identify and examine the strategies used by these students in solving algebraic problems. To achieve this purpose, students from schools in different geographic regions of Aracaju / SE were selected initially to respond a selection of mathematical problems taken from the textbook The Conquest of Mathematics by Geovanni and Castrucci Jr (2009). After an examination with one hundred eighty-two instruments, were conducted semi structured with twenty percent of the students. The main theoretical support was clamped in the work of George Polya (1978) entitled The Art of Problem Solving for the understanding of mathematical, algebraic, problem type and problem solving strategies. The author defends as the algebraic problem those which use them to solve algebraic content. In according of the statement of mathematical problems, Polya (1978) classifies as routine, practical and enigma, and the solution in determination and demonstration. It possible says that most students use arithmetic strategies in solving algebraic problems, because in routine problems, students didn t need to make a plan, only to solve questions. Moreover, in relation to the practical problems students needed to understand the problem and develop a solution strategy, they were compelled to understand the problems to formulate a plan, most showed doubts of statements and appealed to arithmetic strategies. / Neste trabalho, é apresentado o resultado de uma pesquisa que teve como temática principal as estratégias utilizadas pelos alunos do 8º e 9º ano para a resolução de problemas algébricos da Rede Municipal de Aracaju/SE. Dito de outra forma, o objetivo da pesquisa foi identificar e examinar as estratégias utilizadas por esses alunos na resolução dos problemas algébricos. Para alcançar esse propósito, foram selecionados alunos de escolas de diferentes regiões geográficas de Aracaju/SE para responderem inicialmente a uma seleção de problemas matemáticos retirados do livro didático A Conquista da Matemática de autoria de Geovanni Jr e Castrucci (2009). Depois de um exame dos cento e oitenta e dois instrumentos, foram realizadas entrevistas semiestruturadas com vinte por cento dos alunos. O principal suporte teórico foi pinçado da obra de George Polya (1978) intitulada A Arte de Resolver Problemas para o entendimento sobre problema matemático, problema algébrico, tipologia e estratégias de resolução. O autor defende como problema algébrico os que recorrem a conteúdos algébricos para resolvê-los. Em relação ao enunciado dos problemas matemáticos, Polya (1978) classifica como rotineiro, prático e enigma, e pela sua solução em de determinação e de demonstração. A partir dos dados coletados, é possível afirmar que a maioria dos alunos utiliza estratégias aritméticas na resolução dos problemas algébricos, pois, nos problemas rotineiros, o aluno não necessitava elaborar um plano; era só resolver. Já nos problemas práticos que os alunos precisariam compreender o problema e elaborar uma estratégia de solução, ou seja, eram impelidos a compreender os problemas para formular um plano, a maioria mostrou equívocos de interpretação dos enunciados e recorreram a estratégias aritméticas.

Orientador: Renato Baldini Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T21:14:32Z (GMT). No. of bitstreams: 1 Almeida_HelioPiresde_D.pdf: 3558345 bytes, checksum: c41984976e1ec34f7cfdc6792027b63f (MD5) Previous issue date: 1997 / Resumo: Neste trabalho, apresentamos uma técnica de modulação 4m - QAM codificada, baseada em códigos de bloco multiníveis, definidos sobre o anel Z4, onde m = 2 é um inteiro. Os sinais da modulação são rotulados por m-uplas, cujos símbolos pertencem a Z4. O processo de codificação usa m códigos em correspondência com os símbolos dos rótulos, e cada código faz a proteção do respectivo símbolo, de forma independente, visando maximizar a distância Euclidiana entre as palavras código. É usado um particionamento de conjunto que divide a constelação 4m - QAM em subconjuntos com distâncias Euclidianas progressivamente crescentes. Foram obtidos ganhos de codificação assintóticos de até 6 dE, onde os esquemas codificado e não codificado têm as mesmas taxas de transmissão de informação. O uso de códigos sobre Z4 permitiu encontrar códigos que são invariantes às ambiguidades de fase da portadora. Também foi apresentado um método para decodificação desses códigos / Abstract: This thesis presents a coded 4m - Q AM modulation technique based on multilevel block codes over the ring of integer Z4, where m = 2 is an integer. The modulation signals are labelled by m-tuples, whose symbols are defined over Z4. The encoding process uses m multilevel block codes over Z4. Each code protects its corresponding symbol in an independent way in order to maximize the Euclidian distance between codewords. A mapping by set partitioning is used to divide the 4m - QAM constellation in subsets with increasing Euclidian distances. Asymptotic coding gains up to 6 dE were obtained for coded 4m - Q AM modulations over equivalent uncoded modulation schemes. The use of Z4-codes allowed us to find codes which are invariant to phase ambiguities of the carrier for 4 m - Q AM schemes. A decoding method for these codes are also presented. / Doutorado / Doutor 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: Marcos Benevenuto Jardim / 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-13T06:54:55Z (GMT). No. of bitstreams: 1 Silva_VitorMorettoFernandesda_M.pdf: 773065 bytes, checksum: 87c9c9b184da7470d32ab571c3b760d1 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho definimos quivers e discutimos como a categoria de módulos sobre uma álgebra conexa qualquer pode ser associada à categoria de representa equações de um quiver. Estudamos também o sistema de raízes da forma quadrática de Cartan associada a um quiver, que tem bijeção com os vetores dimensão de representação indecomponíveis. Estudamos a demonstração do Teorema de Gabriel, que caracteriza todos os quivers que têm quantidade finita de representações indecomponíveis a partir da forma de Cartan. O Teorema de Gabriel também define quando um quiver tem tipo manso. Apresentamos também a demonstração do Teorema de Ovsienko, que sob certas condições, caracteriza os quivers com relações que têm quantidade finita de representações indecomponíveis a partir da forma de Brenner / Abstract: In this work, we define quivers and their representations, and discuss how the category of modules over an arbitrary connected associative algebra can be associated to the category of representations of a quiver. We also study the root system of the Cartan quadratic form associated to a quiver, which is bijective with the set of dimension vectors for which an indecomposable representation exists. The proof of Gabriel's Theorem, which characterizes all quivers with finitely many indecomposable representations in terms of its Cartan form, is presented. Gabriel's Theorem also defines when a quiver is of tame time. Finally, we also describe a theorem due to Ovsienko which, under certain conditions, characterize the quivers with relations that admit only finitely many indecomposable representations in terms of its Brenner form / Mestrado / Mestre em Matemática

Orientador: Plamen Emilov Kochloukov / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T17:42:03Z (GMT). No. of bitstreams: 1 Silva_DiogoDinizP_M.pdf: 729460 bytes, checksum: d3bd0f5d35d357ca516d80c06f0ee23f (MD5) Previous issue date: 2007 / Resumo: Neste trabalho estudamos algebras graduadas e identidades polinomiais graduadas. Foram abordados dois tipos de problemas: determinar as possíveis graduações de uma determinada algebra; encontrar uma base para as identidades graduadas de uma algebra. Começamos com as definiçõese resultados básicos de álgebras,álgebras graduadas, identidades polinomiais (graduadas), etc. Em seguida fornecemos uma descrição das possíveis graduações da algebra das matrizes n x n sobre um corpo algebricamente fechado, e da algebra das matrizes triangulares superiores quando o corpo é algebricamente fechado, de característica 0 e o grupo é abeliano e fnito. Depois estudamos as identidades graduadas da álgebra das matrizes n x n sobre um corpo K e das álgebras M11(E) e E ? E onde E é a álgebra exterior (ou de Grassmann) de dimensão infinita / Abstract: In this work we study graded algebras and graded polynomial identities. We study two types of problems: finding the possible gradings on a given algebra, and finding a basis forthe graded identities of a given algebra. We begin with the basic definitions and results onalgebras, graded algebras, (graded) polynomial identities, etc. We give a description of thepossible gradings on the matrix algebra over an algebraically closed filed, and of the upper triangular matrices when the field is algebraically closed of characteristic 0, and the group is abelian and finite. Then we study the graded identities of the matrix algebra over a field K and of the algebras M11(E) and E ? E where E is the infinite dimensional Grassmann (or exterior) algebra / Mestrado / Matematica / Mestre em Matemática

Orientador: Carlile Campos Lavor / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T22:21:40Z (GMT). No. of bitstreams: 1 Lima_LeandroBezerrade_M.pdf: 2935219 bytes, checksum: 44ab53f3f917eeeb707d820048631f0d (MD5) Previous issue date: 2007 / Resumo: Neste trabalho, usando conceitos de álgebra linear e de operações quânticas, obtemos algumas propriedades de ruído quântico (para o caso particular de um q-bit), a fim de apresentar uma interpretação geométrica dos diferentes ruídos em canais quânticos, cujo processo é fundamental para a compreensão do processamento da informação quântica / Abstract: In this work, using concepts of linear algebra and quantum operations, we obtain some properties of quantum noise (for the one qubit case), in order to present a geometrical interpretation of different noises in quantum channels, which process is fundamental to the comprehension of the quantum information processing / Mestrado / Computação Quantica / Mestre em Matemática

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-11T08:51:47Z (GMT). No. of bitstreams: 1 Gorsky_Samir_M.pdf: 690814 bytes, checksum: 2435beecaa8f0656155bf7b65f58df5b (MD5) Previous issue date: 2008 / Resumo: No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke propôs uma semântica interessante para estes sistemas. Tal semântica, hoje conhecida como semântica de Kripke ou semântica dos mundos possíveis, causou um grande impacto no âmbito da filosofia analítica. Os artigos escritos por Lemmon na década de 60 têm por objetivo apresentar uma síntese destas duas semânticas. Um interessante resultado mostrado nestes artigos c que a completude semântica pode ser deduzida de resultados algébricos por meio de um teorema central. Um dos resultados mais surpreendente e interessante do trabalho do Lemmon é o teorema da representação. Esse teorema de representação para a lógica modal tem como conseqüência a conexão entre o ponto de vista algébrico e o ponto de vista da semântica dos mundos possíveis (ou semântica de Kripke). O objetivo inicial do presente trabalho era estender este mesmo resultado algébrico para os sistemas da classe "Gmnpq" proposta por Lemmon e Scott nas "Lemmon notes". Argumentaremos que as semânticas algébricas para as lógicas modais podem servir de base para respostas às diversas críticas direcionadas ao desenvolvimento da lógica modal. Mostraremos, por fim, como que a semântica algébrica, sendo uma semântica que não usa o conceito de mundos possíveis, pode ser considerada útil por defensores do antirealismo modal / Abstract: In XX century we had a considerable advance on the understanding of the formal meaning of modalities. The Jonsson, McKinsey and Tarski works in fourties enabled the construction of the results of algebraic completeness for the modal systems. In fifties Kripkc proposed a interesting semantic for these systems. Such semantics, today known as possible world's semantics, or Kripke's semantics, caused a great impact in the context of analytical philosophy. Articles written by Lemmon in the decade of 60 are supposed to present a synthesis of these two semantics, the algebraic semantic and the possible world's semantic. One interesting result shown in these articles is that the semantic completeness can be inferred from algebraic results through a central theorem. One of the most surprising and interesting results in the paper of Leuunon is the theorem or representation for modal algebras. This theorem of representation for the modal algebra is as a result the connection between the point of view and algebraic point of view of the semantics of possible worlds (or Kripkc's semantics). The initial objective of the present work was to extend this same result for algebraic systems of Class "Gmnpq" proposed by Lemmon and Scott in the "Lemmon notes". We argue that the algebraic semantic for modal logic can serve as a basis for answers to the various criticisms directed to the development of modal logic. We'll show, finally, that the algebraic semantics, as a semantics that does not use the concept of possible worlds, may be deemed useful by supporters of modal ant i realism / Mestrado / Filosofia / Mestre em Filosofia

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-30T18:45:23Z No. of bitstreams: 2 Dissertação - Carlos Eduardo Vitória da Silva - 2013.pdf: 1162244 bytes, checksum: d2966939f025f381680dcb9ce82d76ac (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-31T09:36:29Z (GMT) No. of bitstreams: 2 Dissertação - Carlos Eduardo Vitória da Silva - 2013.pdf: 1162244 bytes, checksum: d2966939f025f381680dcb9ce82d76ac (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-31T09:36:29Z (GMT). No. of bitstreams: 2 Dissertação - Carlos Eduardo Vitória da Silva - 2013.pdf: 1162244 bytes, checksum: d2966939f025f381680dcb9ce82d76ac (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-04-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The theory of linear algebra and matrices and systems particularly are linear math topics that can be applied not only within mathematics itself, but also in various other areas of human knowledge, such as physics, chemistry, biology, all engineering, psychology, economy, transportation, administration, statistics and probability, etc... The Markov chains are used to solve certain problems in the theory of probability. Applications of Markov chains in these problems, depend directly on the theory of matrices and linear systems. In this work we use the techniques of Markov Chains to solve three problems of probability, in three distinct areas. One in genetics, other in psychology and the other in the area of mass transit in a transit system. All work is developed with the intention that a high school student can read and understand the solutions of three problems presented. / A teoria da álgebra linear e particularmente matrizes e sistemas lineares são tópicos de matemática que podem ser aplicados não só dentro da própria matemática, mas também em várias outras áreas do conhecimento humano, como física, química, biologia, todas as engenharias, psicologia, economia, transporte, administração, estat ística e probabilidade, etc. As Cadeias de Markov são usadas para resolver certos problemas dentro da teoria das probabilidades. As aplicações das Cadeias de Markov nesses problemas, dependem diretamente da teoria das matrizes e sistemas lineares. Neste trabalho usamos as técnicas das Cadeias de Markov para resolver três problemas de probabilidades, em três áreas distintas. Um na área da genética, outro na área da psicologia e o outro na área de transporte de massa em um sistema de trânsito. Todo o trabalho é desenvolvido com a intenção de que um estudante do ensino médio possa ler e entender as soluções dos três problemas apresentados.