Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-22T13:41:27Z No. of bitstreams: 1 SUENE FERREIRA CAMPOS - DISSERTAÇÃO PPGMAT 2008..pdf: 741113 bytes, checksum: 7fc13ffd22412553f540977137401f24 (MD5) / Made available in DSpace on 2018-07-22T13:41:27Z (GMT). No. of bitstreams: 1 SUENE FERREIRA CAMPOS - DISSERTAÇÃO PPGMAT 2008..pdf: 741113 bytes, checksum: 7fc13ffd22412553f540977137401f24 (MD5) Previous issue date: 2008-12 / Neste trabalho apresentamos um estudo sobre o comportamento das identidades polinomiais dos produtos tensoriais de álgebras T-primas sobre corpos infinitos com diferentes características. Mais precisamente, apresentamos o Teorema sobre Produto Tensorial (TPT), descrito por Kemer para corpos de característica zero, e verificamos a sua validade sobre corpos infinitos com característica positiva. Incialmente, a partir de resultados apresentados por Azevedo e Koshlukov, estudamos os T-ideais das álgebras M1,1(G) eG⊗G, para corpos infinitos com característica zero e característicap > 2. Aqui, G = G0⊕G1 é a álgebra de Grassmann de dimensão infinita eM1,1(G) é a subálgebra de M2(G) que consiste das matrizes de ordem 2 que têm na diagonal principal entradas emG0 e na diagonal secundária entradas emG1. Em seguida, utilizando métodos introduzidos por Regev e desenvolvidos por Azevedo, Fidélis e Koshlukov, verificamos a validade do TPT para corpos de característica positiva, quando o mesmo é restrito a polinômios multilineares. Finalmente, apresentamos alguns resultados obtidos por Alves, Azevedo, Fidélis e Koshlukov, que comprovam que o TPT é falso quando o corpo base é infinito e tem característicap>2. / In this work we present a study about the behavior of polynomial identities of tensor products of T-prime T-ideals over infinite fields of different characteristics. More precisely, we present the Tensor Product Theorem (TPT), described by Kemer for fields of characteristic zero, and verify its validity over infinite fields with positive characteristic. First, based on results of Azevedo and Koshlukov, we study the Tideals of the algebrasM1,1(G) eG⊗G, for infinite fields of characteristic zero and characteristicp>2. Here,G=G0 ⊕G1 is the Grassmann algebra of infinite dimension andM1,1(G) is the subalgebras ofM2(G) consisting of matrices of order2 which main diagonal entries are inG0 and the secondary diagonal entries are inG1. Second, using methods introduced by Regev and developed by Azevedo, Fidélis and Koshlukov, we verify the validity of the TPT for fields of positive characteristic, when it is restricted to multilinear polynomials. Finally, we present some results of Alves, Azevedo, Fidelis and Koshlukov, which show that the TPT is false when the basis field is infinite and has characteristicp>2.

Neste trabalho, é desenvolvido um programa de computador para a análise estática e tridimensional de problemas de interação solo-estrutura. O programa permite considerar várias camadas de solo, cada qual com características físicas diferentes. Sobre este solo, o qual pode conter estacas, podem ser apoiados diversos tipos de estruturas, tais como placas e até um edifício. Todos os materiais considerados são homogêneos, isotrópicos, elásticos e lineares. O solo tridimensional é modelado com o método dos elementos de contorno (MEC), empregando as soluções fundamentais de Kelvin e uma técnica alternativa na consideração do maciço não-homogêneo. Esta técnica, que é uma contribuição original deste trabalho, é baseada no relacionamento das soluções fundamentais de deslocamento dos diferentes domínios, permitindo que sejam analisados como um único sólido sem a necessidade de equações de equilíbrio e compatibilidade. Isso reduz o sistema de equações final e melhora a precisão dos resultados, conforme comprovado nos exemplos apresentados. Para reduzir o custo computacional sem prejudicar a precisão dos resultados, é utilizada uma malha de elementos de contorno infinitos (ECI) nas bordas da malha de ECs para modelar o comportamento das variáveis de campo em longas distâncias. A formulação do ECI mapeado utilizado é outra contribuição original deste trabalho, sendo baseado em um EC triangular. É demonstrado por meio de exemplos que tal formulação é eficiente para a redução de malha, contribuindo de forma significativa na redução do custo computacional. Todas as estruturas que interagem com o solo, incluindo as de fundação, são simuladas empregando o método dos elementos finitos (MEF). Cada estaca é modelada como uma linha de carga empregando um único elemento finito com 14 parâmetros nodais, o qual utiliza funções de forma do quarto grau para aproximar os deslocamentos horizontais, do terceiro grau para as forças horizontais e deslocamentos verticais, do segundo grau para as forças cisalhantes verticais e constantes para as reações da base. Este elemento é empregado em outros trabalhos, no entanto os autores utilizam as soluções fundamentais de Mindlin na consideração da presença da estaca no solo. Desta forma, a formulação desenvolvida neste trabalho com as soluções fundamentais de Kelvin pode ser considerada mais uma contribuição original. No edifício, que pode incluir um radier como estrutura de fundação, são utilizados dois tipos de EFs. Os pilares e vigas são simulados com elementos de barra, os quais possuem dois nós e seis graus de liberdade por nó. As lajes e o radier são modelados empregando elementos planos, triangulares e com três nós. Nestes EFs triangulares são superpostos efeitos de membrana e flexão, totalizando também seis graus de liberdade por nó. O acoplamento MEC/MEF é feito transformando as cargas de superfície do MEC em carregamentos nodais reativos no MEF. Além de exemplos específicos nos Capítulos teóricos, um Capítulo inteiro é dedicado a demonstrar a abrangência e precisão da formulação desenvolvida, comparando-a com resultados de outros autores. / In this work, a computer code is developed for the static analysis of three-dimensional soil-structure interaction problems. The program allows considering a layered soil, which may contain piles. This soil may support several structures, such as shells or even an entire building. All materials are considered homogeneous, isotropic, elastic and linear. The three-dimensional soil is modeled with the boundary element method (BEM), employing Kelvin fundamental solutions and an alternative multi-region technique. This technique, which is an original contribution of this work, is based on relating the displacement fundamental solution of the different domains, allowing evaluating them as an unique solid and not requiring compatibility or equilibrium equations. In such a way, the final system of equations is reduced and more accurate results are obtained, as demonstrated in the presented examples. In order to reduce the computational cost maintaining the accuracy, an infinite boundary element (IBE) mesh is employed at the BE mesh limits to model the far field behavior. The mapped IBE utilized, based on a triangular EC, is another original contribution of this work. In the presented examples it is demonstrated that this IBE formulation is efficient for mesh reduction, implying on a significant computational cost reduction. All structures that interact with the soil, including the foundations, are simulated with de finite element method (FEM). The piles are modeled using a one-dimensional 14 parameter finite element, with forth degree shape functions for horizontal displacement approximation, third degree shape functions for horizontal forces and vertical displacement, second degree shape functions for vertical share force, and constant for the base reaction. This element is employed in other works, however the authors utilize Mindlin fundamental solutions for the pile presence consideration in the soil. In such a way, the formulation developed in this work with Kelvin fundamental solutions may be considered one more original contribution. The building, which may include a radier as a foundation structure, is modeled using two types os FEs. Piles and beams are simulated using bar FEs with two nodes and six degrees of freedom per node. The radier and pavements are modeled employing plane triangular three-node FEs. In these FEs plate and membrane effects are superposed, totalizing six degrees of freedom per node. FEM/BEM coupling is made by transforming the BEM tractions in nodal reactions in the FEM. Even though specific examples are presented in the theoretical Chapters, a role Chapter is dedicated for demonstrating the formulation accuracy and coverage. In most examples, the results are compared with the ones obtained by other authors.

Dados um espaço de medida (X;A;m) e números reais p,q>1 com 1/p+1/q=1, o Teorema de Representação de Riesz afirma que Lq(X;A;m) é o dual topológico de Lp(X;A;m) e que Loo(X;A; m) é o dual topológico de L1(X;A;m) se o espaço (X;A;m) for sigma-finito. Observamos que a sigma-finitude de (X;A;m) é condição suficiente mas não necessária para que Loo(X;A;m) seja o dual de L1(X;A;m). Os contra-exemplos tipicamente apresentados para essa última identificação são \"triviais\", no sentido de que desaparecem se \"consertarmos\" a medida , transformando-a numa medida perfeita. Neste trabalho apresentamos condições sufcientes mais fracas que sigma-finitude a fim de que Loo(X;A;m) e o dual de L1(X;A;m) possam ser isometricamente identificados. Além disso, introduzimos um invariante cardinal para espaços de medida que chamaremos a dimensão do espaço e mostramos que se o espaço (X;A;m) for de medida perfeita e tiver dimensão menor ou igual à cardinalidade do continuum então uma condição necessária e suficiente para Loo(X;A;m) seja o dual de L1(X;A;m) é que X admita uma decomposição. / Given a measure space (X;A;m) and real numbers p,q>1 with 1/p+1/q=1, the Riesz Representation Theorem states that Lq(X;A;m) is the topological dual space of Lp(X;A;m) and that Loo(X;A; m) is the topological dual space of L1(X;A;m) if (X;A; m) is sigma-finite. We observe that the sigma-finiteness of (X;A;m) is a suficient but not necessary condition for Loo(X;A;m) to be the dual of L1(X;A;m). The counter-examples that are typically presented for Loo(X;A;m) = L1(X;A;m)* are \"trivial\", in the sense that they vanish if we fix the measure , making it into a perfect measure. In this work we present suficient conditions weaker than sigma-finiteness in order that Loo(X;A; m) and L1(X;A;m)* can be isometrically identified. Moreover, we introduce a cardinal invariant for measure spaces which we call the dimension of the space and we show that if the space (X;A;m) has perfect measure and dimension less than or equal to the cardinal of the continuum then a necessary and suficient condition for Loo(X;A;m) = L1(X;A;m)* is that X admits a decomposition.

Made available in DSpace on 2016-12-12T20:27:39Z (GMT). No. of bitstreams: 1 Heric Denis Farias.pdf: 2196819 bytes, checksum: ebe776ba26727b6ab81d9c4b1fb49e5d (MD5) Previous issue date: 2016-09-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The application of high electric fields on biological cells causes the formationof pores in the cell membrane, thereby causing an increase in their permeability. This phenomenon, called electropermeabilization have attracted increasing attention due to its wide application in biotechnology. Even being known for decades, the pore opening process in biological cell membranes is still not fully understood, nor was it even properly modeled. In this paper, two types of modeling are presented, which allow characterizing the electropermeabilization in biological cell suspensions. One of the methods is based on the analysis of the electrical impedance spectra of suspensions using genetic algorithm to determine parameters of a generic model dielectric dispersion. The other method uses instantaneous voltage and current values applied to a cell suspension during the electroporation experiment to determine the variation of the medium conductivity and thus, through the analytical model proposed by Ramos and colleagues (RAMOS et al., 2012), determine the cell conductivities. By modeling the impedance spectrum, it was observed the change in the dielectric dispersion of the sample due to the electropermeabilization process, in addition to obtaining the electrical conductivity and permittivity of the involved media. Using the electroporated cell model proposed by Ramos and colleagues (RAMOS et al., 2012), it was possible to determine the change of membrane conductance during the electropermeabilization. The validity of this model is assessed using finite element simulations, which showed good agreement with the analytical model used. Genetic algorithms are used in obtaining the parameters of the various models presented, showing great robustness in obtaining parameters based on the git between experimental and theoreticalcurves. / A aplicação de campos elétricos intensos em células biológicas provoca a formação de poros na membrana celular, causando assim o aumento de sua permeabilidade. Este fenômeno, denominado de eletropermeabiliza ção têm atraído cada vez mais atenção devido a sua ampla aplicação em biotecnologia. Mesmo sendo conhecido há várias décadas, o processo de abertura de poros em membranas de células biológicas ainda não é plenamente entendido e nem foi ainda corretamente modelado. Neste trabalho, apresenta-se dois tipos de modelagem que permitem a caracterização da eletropermeabilização em suspensões de células biológicas. Um dos métodos baseia-se na análise do espectro de impedância elétrica de suspensões com o uso de algoritmo genético para determinar parâmetros de um modelo genérico de dispersão dielétrica. O outro método utiliza valores instantâneos de tensão e corrente aplicados em uma suspensão de células durante um experimento de eletropermeabiliza ção para determinar a variação da condutividade do meio e com isso, através do modelo analítico proposto por Ramos e colaboradores (RAMOS et al., 2012), determinar a condutividade das células. Através da modelagem do espectro de impedância, foi possível verificar a alteração da dispersão dielétrica da amostra devido ao processo de eletropermeabiliza ção, além da obtenção das condutividades e permissividades elétricas dos meios envolvidos. Utilizando o modelo de célula eletropermeabilizada proposto por Ramos e colegas (RAMOS et al., 2012), foi possível obter a variação da condutância de membrana durante a eletropermeabilização. A validade deste modelo é avaliada utilizando simulações em elementos infinitos, as quais apresentaram grande concordância com o modelo analítico utilizado. Algoritmos genéticos são utilizados na obtenção dos parâmetros dos diversos modelos apresentados, mostrando grande robustez na obtenção de parâmetros baseada no ajuste entre curvas experimentais e teóricas.