Orientador : Plamen Koshlukov / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T03:08:22Z (GMT). No. of bitstreams: 1 Azevedo_SergioSardinhade_D.pdf: 542799 bytes, checksum: 542494144bb9d5fa7c52348b7cdf2b3f (MD5) Previous issue date: 2003 / Doutorado / Doutor em Matemática

Orientadores : Jose Pissolato Filho, Maria Cristina Dias Tavares / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T15:13:05Z (GMT). No. of bitstreams: 1 Kurokawa_Sergio_D.pdf: 1272093 bytes, checksum: aa03df351ad2dc310184019293aa31f4 (MD5) Previous issue date: 2003 / Doutorado

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This thesis we will make a study of the quadrics, which can be de ned as quadratic equations solutions with three variables, with the main objective recognition of same through a simpli cation of the quadratic form associated, whose procedure involves the diagonalization of symmetric matrices. Throughout we this work, will address the requirements for the reader with little familiarity on the subject, can understand each stage of its development, as Euclidean spaces and matrix diagonalization. / Nesta disserta ção faremos um estudo das qu ádricas, as quais podem ser de finidas como solu ções de equa ções do segundo grau com três vari áveis, tendo como objetivo principal o reconhecimento das mesmas por meio de uma simpli fica ção da forma quadr ática associada, cujo procedimento envolve a diagonaliza ção de matrizes sim étricas. Ao longo deste trabalho, serão abordados os prée-requisitos necess ários para que o leitor, com pouca familiaridade no assunto, possa compreender cada etapa de seu desenvolvimento, como espa ços euclidianos e diagonaliza ção de matrizes.

Orientador: Fabiano Borges da Silva / Banca: Cristiane Alexandra Lázaro / Banca: Régis Leandro Braguim Stábile / Resumo: Neste trabalho apresentamos uma introdução aos processos estocásticos de Markov dis­cretos e suas propriedades, e como uma aplicação, estudamos um modelo probabilístico para o problema da irreversibilidade dos gases, ou modelo da urna de Ehrenfest. Por fim, apresentamos uma modificação deste modelo, cuja abordagem é adaptada para o Ensino Médio / Abstract: ln this work we present an introducion to discrete Markov stochastic processes and their properties, and as an application, we study a probabilistic model for the problem of irre­versibility of gases, or model of Ehrenfest um. Finally, we present a modification of this model, whose approach is adapted for High School / Mestre

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-04-24T11:48:05Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_CorrecaoApagamentosRajadas.pdf: 12648601 bytes, checksum: 32c72b34186616144110cb119cba02b1 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-04-24T16:57:51Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_CorrecaoApagamentosRajadas.pdf: 12648601 bytes, checksum: 32c72b34186616144110cb119cba02b1 (MD5) / Made available in DSpace on 2017-04-24T16:57:51Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_CorrecaoApagamentosRajadas.pdf: 12648601 bytes, checksum: 32c72b34186616144110cb119cba02b1 (MD5) Previous issue date: 2016-10-21 / Nesta tese são propostos procedimentos para a construção de matrizes de verificação de paridade para codificação e decodificação de códigos LDPC (low-density paritycheck) na recuperação de bits apagados no canal com apagamentos em rajada. As matrizes de verificação de paridade são produzidas por concatenação das matrizes bases binárias justapostas por matrizes circulantes sendo de fácil implementação e de menor aleatoriedade. As matrizes bases são desenvolvidas a partir de fundamentos da álgebra e da geometria. Para demonstrar o potencial da técnica foi elaborado um conjunto de simulações que usa codificação de baixa complexidade, bem como o uso dos algoritmos soma e produto para recuperar os apagamentos. Foram gerados vários códigos LDPC, a partir das matrizes, e os resultados obtidos foram comparados com outros códigos LDPC obtidos da literatura. São ainda apresentados os resultados da simulação da recuperação de apagamentos resultantes da transmissão de uma imagem através de um canal ruidoso.partir das matrizes, e os resultados obtidos foram comparados com outros códigos LDPC obtidos da literatura. São ainda apresentados os resultados da simulação da recuperação de apagamentos resultantes da transmissão de uma imagem através de um canal ruidoso. / This thesis proposed procedures for the construction of parity check matrices for encoding and decoding of LDPC codes in the recovery of deleted bits in Burst Erasure Channel. The parity check matrices are produced by concatenation of binary bases matrices juxtaposed by circulating matrices are easy to implement and lower randomness. The base arrays are developed from the foundations of algebra and geometry. To demonstrate the potential of the technique, we developed a number of simulations using low complexity encoding as well as the sum-product algorithm. Several LDPC codes (matrices) were generated and the results were compared with other approaches. We also present the outcomes of erasure recovery simulations that result from the transmission of an image through a noisy channel.

Made available in DSpace on 2016-06-02T20:28:28Z (GMT). No. of bitstreams: 1 5476.pdf: 893744 bytes, checksum: e444c4faa79c02073abeef63581d7ed5 (MD5) Previous issue date: 2013-08-27 / Financiadora de Estudos e Projetos / In this work we present some applications of graph theory in problems involving polynomial identities for the algebra Mn (K). A brief presentation of PI-theory and some concepts of graph theory, such as the definition of Eulerian graphs, which are the basic elements of this work, were presented to make the text self- contained. We show two different proofs of the Amitsur-Levitzki theorem, the proof of Razmyslov and other due to Swan's theorem - an important result on Eulerian graphs. Finally, a similar result of the Amitsur-Levitzki's theorem for skew-symmetric matrices is proved using elements of graph theory. We emphasize that the understanding of the technique makes it possible to simplify many results and has been an important tool in the study of PI-algebras. / Neste trabalho apresentamos algumas aplicações de Teoria de Grafos em problemas envolvendo identidades polinomiais para a álgebra das matrizes Mn (K). Uma breve apresentação de PI-teoria e de alguns on eitos de Teoria de Grafos, como a de_- nição de grafos eulerianos, que são os elementos básicos desta abordagem, foram apresentadas para tornar o texto auto contido. São explicitadas duas demonstrações distintas do Teorema de Amitsur-Levitzki, a de Razmyslov e uma de corrente do Teorema de Swan - um resultado importante a respeito de grafos eulerianos. Por _m, um resultado semelhante ao Teorema de Amitsur-Levitzki para matrizes antis- simétricas é demonstrado utilizando elementos de Teoria de Grafos. Ressaltamos que o entendimento da técnica utilizada torna possível a simplificação de diversos resultados e tem se mostrado uma importante ferramenta no estudo de PI-álgebras.

Made available in DSpace on 2016-06-02T20:29:24Z (GMT). No. of bitstreams: 1 5472.pdf: 3238534 bytes, checksum: ff65510f19bc2a4be94d136a8e4c406a (MD5) Previous issue date: 2013-08-23 / Financiadora de Estudos e Projetos / The present study lies in the learning context where there is an alleged disinterest and difficulties of students when presenting the contents of arrays. From the contents above, the study aimed to describe the instructional sequence that aimed to provide an understanding of the Matrices content by students of 2nd year of secondary education, focusing on the use of technology as an ally in solving problems. In the first and second stage of the development of this instructional sequence it was detected through examples and exercises, that some students presented themselves unmotivated in face of difficulties regarding the resolution of problems involving content prerequisites matrices, such as handling of negative numbers in mathematical operations. From this preliminary assessment, attention was given to resume the content identified as deficient and concomitant and emphatically it was made use and application of educational software for teaching arrays. At the end of the five moments involving this instructional sequence, which occurred over twelve lessons, it was possible to arouse the curiosity of students and propitiate them to understand the content of matrices and hence promote greater involvement with the subject of Mathematics. Throughout the study presents considerations on the various difficulties encountered during the development of this work in order to teach the concept of matrix multiplication. / O presente estudo situa-se no contexto didático em que é observado desinteresse e dificuldade de discentes quando apresentado o conteúdo matrizes. Neste contexto, o estudo teve como objetivo descrever a sequência didática aplicada com a finalidade de propiciar a compreensão do conteúdo matrizes por discentes do 2º ano do Ensino Médio, com ênfase no uso da tecnologia como aliada na resolução de problemas e na motivação. No primeiro e segundo momentos da sequência didática, detectou-se, através de exemplos e exercícios, que alguns alunos apresentavam-se desmotivados diante das dificuldades em relação a resolução de problemas que envolviam conteúdos pré-requisitos para compreensão de matrizes, tais como a manipulação de números negativos nas operações matemáticas. Mediante esta avaliação prévia, foi dada atenção prioritária na retomada dos conteúdos prérequisitos e, concomitante e enfaticamente, fez-se uso e aplicação de softwares educativos para o ensino de matrizes. Ao final dos cinco momentos que envolveram essa sequência didática, que ocorreram ao longo de doze aulas, foi possível despertar a curiosidade e propiciar a compreensão do conteúdo de matrizes pelos discentes e, consequentemente, promover um maior envolvimento destes com a disciplina matemática. Ao longo do estudo são apresentadas considerações sobre as diversas dificuldades encontradas e os procedimentos adicionais de ensino utilizados durante o desenvolvimento desse trabalho.

Orientador: Marco Lúcio Bittencourt / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-17T22:43:41Z (GMT). No. of bitstreams: 1 Santos_CaioFernandoRodriguesdos_M.pdf: 3714047 bytes, checksum: 27c280eb98d3fe8f79e3d49756adf322 (MD5) Previous issue date: 2011 / Resumo: Esse trabalho apresenta uma nova técnica de solução para o problema de Poisson, via problemas de projeção local, baseada na equivalência dos coeficientes para os problemas de Poisson e projeção. Um método de construção de matrizes de massa e rigidez, para triângulos, através do produto de matrizes unidimensionais de massa, mista e rigidez, usando-se coordenadas baricêntricas, é também apresentado. Dois novos conjuntos de funções de interpolação para triângulos, baseado em coordenadas de área, são considerados. Discute-se a propriedade de ortogonalidade dos polinômios de Jacobi, no domínio de integração de um triângulo na direção L2 = (0, 1- L1) e ponderações ótimas dos polinômios de Jacobi para as matrizes de massa são determinadas / Abstract: This work presents a new solution technique to Poisson problems, using local projection solution, based on the equivalence of the coefficients for the Poisson and projection problems. A calculation method for the mass and stiffness matrices of triangles, based on the product of one-dimensional mass, mixed and stiffness matrices, using barycentric coordinates is also proposed. Two new sets of interpolation functions for triangles, based on area coordinates, are considered. The orthogonality property of Jacobi polynomials in the triangle integration domain is discussed for the direction L2 = (0, 1 - L1) and optimal weights of Jacobi polynomials for the mass matrices are determined / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T20:57:48Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_D.pdf: 6531217 bytes, checksum: 2a972c9e9fa860af8f9cc57b3e1bb73d (MD5) Previous issue date: 2005 / Resumo: Neste trabalho investigamos com um enfoque abstrato um processo de combinações de lógicas conhecido como Fibrilação de lógicas. Em particular estudamos a transferência, mediante fibrilação, de certas propriedades intrínsecas às lógicas proposicionais. As noções mencionadas são as de protoalgebrizabilidade, equivalencialidade e algebrizabilidade. Ditas noções fazem parte da "Hierarquia de Leibniz" , conceito fundamental da chamada Lógica Algébrica Abstrata. Tal hierarquia classifica as diferentes lógicas segundo o seu grau de algebrizabilidade. Assim, nesta tese estudaremos se, quando duas lógicas possuem alguma dessas propriedades, a fibrilação delas possui também tal característica. Com o objetivo de diferençar os diferentes modos de fibrilação existentes na literatura, analisamos duas maneiras de fibrilar lógicas: Fibrilação categorial (ou C-fibrilação) e Fibrilação no sentido de D. Gabbay (G-fibrilação). Também estudamos uma variante da Gfibrilação de lógicas conhecida como Fusão de lógicas. Assim, damos diferentes condições que devem valer para que a C-fibrilação de uma lógica protoalgébrica seja também protoalgébrica, e procedemos de forma similar com as outras propriedades que constituem a Hierarquia de Leibniz. No caso da G-fibrilação e da fusão de lógicas chegamos a diversos resultados análogos aos anteriores, os quais permitem ter uma visão geral da relação entre Lógica Algébrica Abstrata e as Combinações de lógicas / Abstract: ln this thesis we investigate, with an abstract approach, a process of combinations of logics known as fibring of logics. ln particular we study the transference by fibring of certain properties, intrinsic to propositionallogics: protoalgebricity, equivalenciality and algebraizability. The notions above belong to the "Leibniz Hierarchy", a fundamental concept of the so-called Abstract Algebraic Logic. Such hierarchy classifies the logics according to its algebraizability degree. So, in this thesis we will study whether, given two logics having some of these properties, the fibring of them still has that property. With the aim of distinguishing the different techniques of fibring existing in the literature, we analyze two methods of fibring logics: Categorial Fibring (or C-fibring) and Fibring in D. Gabbay's sense (G-fibring). We also study a variant of G-fibring known as fusion of logics. So, we give different conditions that must hold in order to obtain a protoalgebraic logic by means of C-fibring of protoalgebric logics. We proceed in a similar way with the other properties that constitutes the Leibniz Hierarchy. With respect to G-fibring and fusion, we arrive to similar results which allow us to get an overview of the relation between Abstract AIgebraic Logic and the subject of combinations of logics / Doutorado / Doutor em Filosofia

Orientador: João Alexandre Ferreira da Rocha Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-22T19:07:47Z (GMT). No. of bitstreams: 1 Teixeira_AntonioCesar_M.pdf: 8247740 bytes, checksum: 0279970d0d4efd19c97ed5fd37b1fba3 (MD5) Previous issue date: 1997 / Resumo: o tratamento de dados de processos industriais envolve uma série de medidas as quais visam a dar mais confiabilidade aos valores medidos diretamente e aos inferidos indiretamente, para sua utilização no controle dos mesmos. Estão entre estas medidas, a classificação, a reconciliaçãoe a retificação de dados. Este trabalho apresenta uma metodologia para reconciliação de dados de processos industriais onde não existam erros grosseiros entre os valores das variáveis medidas, sejam as restrições lineares ou não-lineares. A ferramenta utilizada é a projeção matricial a qual é utilizada para simplificaras equações de balanços (restrições) de massa e/ou energia de processos complexos. O objetivo é minimizaro erro ou a diferença entre os valores reconciliados e os valores reais. A partir de cálculos intermediários do procedimento de reconciliação, foidesenvolvido um segundo procedimento para detecção de erros grosseiros entre os valores das variáveis medidas. A presença de erros grosseiros entre as medidas inutiliza os dados reconciliados, contudo fornece subsídios para, a partir deste segundo procedimento, determinar a presença do erro grosseiro. Os três procedimentos, acima citados, para o tratamento de dados do processo, são descritos neste trabalho, com os elementos teóricos desenvolvidos de modo detalhado. Dois programas computacionais são escritos e aqui apresentados, sendo que o primeiro faz a reconciliação de dados e o segundo detecta a existência ou não de erros grosseiros entre os valores apresentados / Abstract: Not informed. / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química