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