Made available in DSpace on 2015-05-15T11:46:24Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 810707 bytes, checksum: 33aad19ba73032d41420617a7e402095 (MD5) Previous issue date: 2010-08-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we'll prove existence of weak solutions to a coupled mixed problem of nonlinear partial diferential equation in the class of systems of nonlinear Klein- Gordon equations involving pseudo-Laplacian operator. For proving existence of weak solutions we use Faedo-Galerkin's method with compacity and monotonicity properties. / Neste trabalho provaremos a existência de soluções fracas para um problema misto de equações diferenciais parciais n~ao-lineares do tipo Klein-Gordon envolvendo o operador pseudo-Laplaciano. Com esse fim, usaremos o método de Faedo-Galerkin juntamente com argumentos de compacidade e monotonicidade.

Estuda-se a densidade de probabilidade, no espaço de configuração, de núcleons de energia no intervalo de 80 a 320 MeV, espalhados por potenciais óticos complexos centrais de formas arbitrárias que simulam a interação núcleon-núcleo. / The probability density in configuration space of nucleons with energies between 80 and 320 MeV, which are scattered by complex central, arbitrarily shaped, optical potentials, simulating the nucleon-nucleus interaction is studied.

Resumo não disponível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we are interested in establishing some variational methods, together with applications, that determine the existence and non uniqueness of weak solutions for the nonlinear elliptic partial differential equation −div (K(x)-u) = K(x)f(u) + h, x E R2, where K is an exponential weight, h is a linear functional and f is the nonlinearity that presents critical exponential growth. First of all, for the sake of convenience of the reader, this study shows detailed proofs of some classic results of the theory that involves these methods as, for example, the deformation and mountain pass theorems; and Ekeland’s variational principle. Second of all, we work with a Trudinger-Moser inequality that is related to a Sobolev space with weight K in order to achieve our aim. / Neste trabalho, estamos interessados em apresentar alguns Métodos Variacionais, juntamente com aplicações, que determinam existência e a não unicidade de soluções fracas para uma específica Equação Diferencial Parcial Elíptica não linear −div (K(x)-u) = K(x)f(u) + h, x E R2, onde K é um peso exponencial, h é um funcional linear e f é a não linearidade que apresenta crescimento exponencial crítico. Em um primeiro momento, para uma maior comodidade do leitor, estabelecemos provas detalhadas de alguns resultados clássicos da teoria que contém esses métodos como, por exemplo, os Teoremas da Deformação e do Passo da Montanha; e o Princípio Variacional de Ekeland. Em seguida, trabalhamos com uma Desigualdade do tipo Trudinger-Moser em um Espaço de Sobolev com peso K com o objetivo de alcançarmos nossa meta.

[pt] Inúmeras linguagens de programação oferecem suporte a finalizadores e referências fracas. Não obstante, de maneira geral esses mecanismos são relativamente pouco conhecidos e pouco usados por programadores. Mesmo entre pesquisadores e desenvolvedores de linguagens não existe muito consenso quanto à sua semântica, que varia consideravelmente entre diferentes implementações. Neste trabalho buscamos explorar os conceitos de finalizadores e de referências fracas, suprindo a ausência de uma especificação clara e abrangente, e permitindo uma melhor compreensão, implementação e uso dos mecanismos correspondentes. Como ponto de partida realizamos um amplo levantamento sobre como é feito o suporte a finalizadores e referências fracas em diferentes linguagens de programação, identificando as características comuns, os problemas, e as questões semânticas mais relevantes associadas às implementações consideradas. Para garantir uma maior precisão em nossa análise, utilizamos um modelo abstrato de uma linguagem de programação com gerenciamento automático de memória. Através deste modelo especificamos formalmente a semântica de finalizadores e referências fracas, incluindo descrições das suas principais variantes e mecanismos relacionados. Além disso, provamos certas propriedades inerentes a linguagens de programação com gerenciamento automático de memória, indicando como estas são afetadas pela introdução de finalizadores e referências fracas. Por fim, consideramos possíveis estratégias de implementação desses mecanismos em diferentes tipos de sistemas. Algumas das opções semânticas investigadas impõe um custo de processamento expressivo, o que frequentemente inviabiliza a sua adoção na prática. / [en] Most mainstream programming languages support finalizers and weak references. In spite of that, these abstractions are still modestly known by programmers in general. Even among language designers there seems to be no common view on how to define their semantics, and language implementations certainly reflect that. In this thesis we explore the concepts of finalizer and weak reference by discussing several important issues that, as far as we know, have not been explored by other authors. After presenting a survey on how finalizers and weak references are supported by actual programming languages, we thoroughly examine their semantics and discuss alternative implementation strategies. We also use an operational approach to develop a formal model for reasoning about garbage collection and its interaction with client programs. By explicitly representing low-level details, such as heap memory and its addresses, we were able to clearly specify memory management actions, and prove several important memory-related language invariants. Using this model we describe a formal semantics for finalizers and weak references, exploring some of its many subtleties. We believe that the topics covered here can serve as a relevant reference for further investigations, and also help to guide actual implementations.

Orientador: Juan Carlos Montero Garcia / Banca: Alex Gomes Dias / Banca: João dos Anjos / Banca: Marcelo Moraes Guzzo / Banca: Rogério Rosenfeld / Resumo: Nesta tese, partículas tais como áxions, Májorons e neutrinos são consideradas em duas extensões eletrofracas do modelo padrão da física de partículas. Especificamente, os modelos considerados estão baseados nas simetrias de gauge SU(3)L ⊗ U(1)X eSU(2)L ⊗U(1)Y⊗U(1)B−L. Primeiramente, no contexto do modelo 3-3-1 com um sector escalar mínimo é realizado um estudo detalhado referente à implementção da simetria de Peccei-Quinn (PQ) para resolver o problema CP forte. Para a versão original do modelo, que possui apenas dois tripletos escalares, é mostrado que a Lagrangiana total é invariante sobre uma simetria PQ. No entanto, o áxion não é produzido porque um sub-grupo permanece sem quebrar. Embora, neste caso, o problema CP forte possa ser resolvido, a solução é amplamente desfavorecida porque três quarks não têm massa em todas as ordens da teoria de perturbação. A adição de um terceiro tripleto escalar resolve o problema dos quarks sem massa, mas o áxion que aparece é visível. Para fazer o modelo realístico teremos que modificá-lo. É mostrado que a adição de um singleto escalar junto com uma simetria de gauge discreta ZN é capaz de levar a cabo esta tarefa e proteger o áxion de efeitos da gravidade quântica. Para ter segurançaa que a simetria de gauge discreta que protege o áxion é livre de anomalias, é usada uma versão discreta do mecanismo de Green-Schwarz. A seguir, é considerado um modelo eletrofraco baseado na simetria de gauge SU(2)L ⊗U(1)Y⊗U(1)B−L, no qual temos neutrinos de mão direita com números quânticos exóticos e diferentes. Devido a esta particular caraterística, é possível termos de massa e de Yukawa para os neutrinos, com campos escalares que podem adquirir valores esperados do vácuo (VEVs) pertencendo a escalas de energia... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In this doctoral thesis axions, Majorons and neutrinos are considered into different electro weak extensions of the standar dmodel of the particle physics. Specifically, the two models considered are based on theSU(3)L ⊗U(1)X andSU(2)L⊗U(1)Y⊗ U(1)B−Lgaugesymmetries. Firstly, in the framework of a 3-3-1 model with a minimal scalar sector a detailed study concerning the implementation of the PQ symmetry in order to solve the strong CP problem is made. For the original version of the model, with only two scalar triplets, it is shown that the entire Lagrangian is invariant under a PQ-like symmetry but no axion is produced since aU(1) subgroup remains unbroken. Although in this case the strong CP problem can still be solved, the solution is largely disfavored since three quark states are left massless to all orders in perturbation theory. The addition of a third scalar triplet removes the massless quark states but the resulting axion is visible. In order to become realistic the model must be extended to account for massive quarks and invisible axion. It is shown that the addition of a scalar singlet together with aZN discrete gauge symmetry can successfully accomplish these tasks and protect the axion field against quantum gravitational effects. To make sure that the protecting discrete gauge symmetry is anomaly free, a discrete version of th eGreen-Schwarz mechanism is used. Secondly, an electroweak model based on the gauge symmetrySU(2)L ⊗U(1)Y⊗ U(1)B−L which has right-handed neutrinos with different quantum numbers is considered. Because of this particular feature it is possible to write Yukawa terms, and neutrino mass terms, with scalar fields that can develop VEVs belonging to different energy scales. A detailed study of the scalar and the Yukawa neutrino sectors is made to show that this model is compatible with... (Complete abstract click electronic access below) / Doutor

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-26T17:30:30Z No. of bitstreams: 1 ceilimarcolinomoreira.pdf: 628590 bytes, checksum: 89404f2fdb6f6a266713327a91a21c05 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-29T19:02:09Z (GMT) No. of bitstreams: 1 ceilimarcolinomoreira.pdf: 628590 bytes, checksum: 89404f2fdb6f6a266713327a91a21c05 (MD5) / Made available in DSpace on 2017-05-29T19:02:09Z (GMT). No. of bitstreams: 1 ceilimarcolinomoreira.pdf: 628590 bytes, checksum: 89404f2fdb6f6a266713327a91a21c05 (MD5) Previous issue date: 2014-03-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho, apresentamos métodos envolvendo sub e supersolução para estudar a existência de solução, no sentido fraco, para três classes de problemas elípticos de segunda ordem com condição de fronteira de Dirichlet homogênea. Nos dois primeiros casos encontramos solução em W1,2 0 (Ω) e no terceiro caso encontramos solução em L1(Ω) com algumas restrições. / This paper presents methods involving sub and supersolution in order to learn the existence of weak solutions of three classes of second order elliptic problems with homogeneous Dirichlet boundary conditions. In the first two cases we find solution in W1,2 0 (Ω) and in the third case we find solution in L1(Ω) with some restrictions.