Orientador: Vicente Pleitez / Mestre

Made available in DSpace on 2016-01-13T13:27:33Z (GMT). No. of bitstreams: 0 Previous issue date: 1992. Added 1 bitstream(s) on 2016-01-13T13:31:16Z : No. of bitstreams: 1 000027531.pdf: 1860961 bytes, checksum: fc8936300cb75fc5364e3520257f63e4 (MD5)

Made available in DSpace on 2014-08-27T14:36:44Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-30Bitstream added on 2014-08-27T15:57:06Z : No. of bitstreams: 1 000780887.pdf: 2451861 bytes, checksum: d64f704d01f324953479512fbedd1f33 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Na primeira parte deste trabalho, fornecemos a história que constitui a base para a evidência de matéria escura. Também, apresentamos aqui alguns dos candidatos à matéria escura mais estudados. Depois, mostramos as ferramentas necessárias ao entendimento dos cálculos de densidade de relíquia, tais como a base de Relatividade Geral e da cosmologia do universo primordial (termodinâmica do universo primordial, média térmica da seção de choque de aniquilação vezes a velocidade, e as soluções analítica e numérica para a equação de Boltzmann). Finalmente, dentro desta parte de fundamentação, discutimos brevemente alguns dos experimentos de detecção direta e indireta e vínculos impostos por eles sobre a matéria escura. Na segunda parte, analisamos uma extensão, do Modelo Padrão, obtida adicionando-se à simetria de gauge um grupo U(1) local de carga B-L, número bariônico menos número leptônico. Nós mostramos que esta extensão, chamada de modelo B-L, pode conter dois candidatos viáveis à matéria escura e estudamos as condições sobre o espaço de parâmetros do potencial escalar que não só resulta na densidade de relíquia observada, mas também está em acordo com os vínculos provenientes de experimentos de detecção direta / In the ?rst part of this work, we provide the historical background that underlies the evidence of dark matter. Also, we present here some of the most studied dark matter candidates. Later, we show the necessary tools for the understanding of relic density calculation, such as the basics of General Relativity and the early Universe Cosmology (thermodynamics of the early Universe, the thermal average of the annihilation cross section times the velocity, and both the approximated analytical and numerical solutions to the Boltzmann equation). Finally, in this grounding part, we discuss brie?y some of both direct and indirect detection experiments and constraints imposed by them on dark matter. In the second part, we analyze an extension of the Standard Model (SM) obtained by adding to the gauge symmetry a local U(1) group of charge B-L , baryon minus lepton numbers. Weshowthatthisextension,calledB-LModel,cancontaintwoviablecolddark matter candidates and we study the conditions on the space of parameters of the scalar potential that both yields the observed relic density and is in agreement with constraints which come from direct detection experiments

Orientador: Juan Carlos Montero Garcia / Co-orientador: Bruce Lehmann Sánchez Vega / Banca: Adriano Antonio Natale / Banca: Pedro Cunha de Holanda / Resumo: Na primeira parte deste trabalho, fornecemos a história que constitui a base para a evidência de matéria escura. Também, apresentamos aqui alguns dos candidatos à matéria escura mais estudados. Depois, mostramos as ferramentas necessárias ao entendimento dos cálculos de densidade de relíquia, tais como a base de Relatividade Geral e da cosmologia do universo primordial (termodinâmica do universo primordial, média térmica da seção de choque de aniquilação vezes a velocidade, e as soluções analítica e numérica para a equação de Boltzmann). Finalmente, dentro desta parte de fundamentação, discutimos brevemente alguns dos experimentos de detecção direta e indireta e vínculos impostos por eles sobre a matéria escura. Na segunda parte, analisamos uma extensão, do Modelo Padrão, obtida adicionando-se à simetria de gauge um grupo U(1) local de carga B-L, número bariônico menos número leptônico. Nós mostramos que esta extensão, chamada de modelo B-L, pode conter dois candidatos viáveis à matéria escura e estudamos as condições sobre o espaço de parâmetros do potencial escalar que não só resulta na densidade de relíquia observada, mas também está em acordo com os vínculos provenientes de experimentos de detecção direta / Abstract: In the first part of this work, we provide the historical background that underlies the evidence of dark matter. Also, we present here some of the most studied dark matter candidates. Later, we show the necessary tools for the understanding of relic density calculation, such as the basics of General Relativity and the early Universe Cosmology (thermodynamics of the early Universe, the thermal average of the annihilation cross section times the velocity, and both the approximated analytical and numerical solutions to the Boltzmann equation). Finally, in this grounding part, we discuss briefly some of both direct and indirect detection experiments and constraints imposed by them on dark matter. In the second part, we analyze an extension of the Standard Model (SM) obtained by adding to the gauge symmetry a local U(1) group of charge B-L , baryon minus lepton numbers. Weshowthatthisextension,calledB-LModel,cancontaintwoviablecolddark matter candidates and we study the conditions on the space of parameters of the scalar potential that both yields the observed relic density and is in agreement with constraints which come from direct detection experiments / Mestre

Doctor of Philosophy / Department of Computing and Information Sciences / David A. Gustafson / Natural Language understanding over a set of sentences or a document is a challenging problem. We approach this problem using semantic extraction and an ontology for answering questions based on the data. There is more information in a sentence than that found by extracting out the visible terms and their obvious relations between one another. It is the hidden information that is not seen that gives this solution the advantage over alternatives. This methodology was tested against the FraCas Test Suite with near perfect results (correct answers) for the sections that are the focus of this paper (Generalized Quantifiers, Plurals, Adjectives, Comparatives, Verbs, and Attitudes). The results indicate that extracting the visible semantics as well as the unseen semantics and their interrelations using an ontology to reason over it provides reliable and provable answers to questions validating this technology.

[pt] Referências fracas e finalizadores constituem uma alternativa elegante para se obter controle sobre a interação entre a aplicação e o coletor de lixo. No entanto, em alguns contextos, finalizadores são desnecessários, pois é possível estender o mecanismo de referências fracas a fim de dar suporte a finalização. Neste trabalho, realizamos um estudo detalhado sobre os usos desses mecanismos e mostramos como é possível substituir finalizadores por referências fracas propondo uma implementação baseada em referências fraca para cada uso de finalizadores. Baseado nesse estudo, desenvolvemos um mecanismo de finalização via referências fracas para a linguagem Lua. Motivados por nossa proposta de uma maior exploração do mecanismo de referências, desenvolvemos um algoritmo para um importante problema relacionado a ciclos em tabelas fracas, uma estrutura criada a partir de referências fracas. A existência de referências cíclicas entre chaves e valores impede que os elementos que compõem o ciclo sejam coletados, mesmo que eles não sejam mais utilizados pelo programa. Isso acaba dificultando o uso de tabelas fracas em determinadas aplicações. A linguagem Haskell resolveu esse problema através de uma adaptação do mecanismo de ephemerons ao seu coletor de lixo. Partindo desse fato, modificamos a implementação do coletor de lixo de Lua para que este oferecesse suporte ao mecanismo de ephemerons. Dessa forma, pudemos eliminar o problema de ciclos em tabelas fracas nessa linguagem. / [en] Weak References and finalizers constitute an elegant alternative to obtain control over the interaction between the application and the garbage collector. However, in some contexts, finalizers are not necessary because it`s possible to extend the weak reference mechanism in order to give support to finalization. In this work, we present a survey of the most common uses of these mechanisms. We also show how weak references can replace finalizers proposing a weak reference based implementation for each finalizer use. Based on this survey, we developed a finalization mechanism based on weak references for the Lua programming language. Motivated by our proposal of a better exploration of the weak reference mechanism, we developed a solution for an important problem related to cycles on weak tables, an structure created using weak references. Cyclic references between keys and values prevents the elements inside the cycle from being collected, even if they are no more reachable. This ends up bringing difficulties to the use of weak tables in certain kinds of applications. The Haskell programming language solved this problem implementing an adaptation of a mechanism called ephemerons. Based on this fact, we modified the Lua garbage collector in order to offer support to ephemerons. As a result, we were able to solve the problem of cycles on weak tables in Lua.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-20Bitstream added on 2014-06-13T19:47:28Z : No. of bitstreams: 1 figueroalopez_rn_me_sjrp.pdf: 751046 bytes, checksum: 50788892bf3e9440cb207b1489c88d57 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho vamos estudar um modelo matemático que descreve as oscilações não lineares de uma ponte suspensa. Este modelo é dado por um sistema de equações diferenciais parciais que estão acopladas. Basicamente, estudaremos a existência e unicidade da solução fraca do sistema. Usaremos a teoria de operadores maximais monótonos para modelo linear e os semigrupos fortemente contínuos de contração para o modelo não linear. / In this work we study a mathematical model which describes the nonlinear oscillations of a bridge suspended. This model is given by a system of partial di®erential equations which are coupled. Basically, we study the existence and uniqueness of weak solution of the system. We use the theory of maximal monotone operators to model linear and strongly continuous semigroups of contraction for the nonlinear model.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O objetivo principal deste trabalho à o estudo da regularidade de soluÃÃes de equaÃÃes diferenciais parciais elÃpticas de segunda ordem, serÃo usadas tÃcnicas tais como o princÃpio do mÃximo, estimativas a priori e a desigualdade de Harnack. Por fim generalizamos o conceito de soluÃÃo buscando soluÃÃes no espaÃo de Sobolev W2,p(Ω). / The main objective of this work is to study the regularity of solutions of elliptic partial differential equations of second order, will be used techniques such as the principle of maximum estimates a priori and the unequal Harnack. Finally generalize the solution concept seeking solutions in the Sobolev space W2,p((Ω).

Orientador: Jayme Vaz Jr / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin / Made available in DSpace on 2018-08-03T19:48:58Z (GMT). No. of bitstreams: 1 Mosna_RicardoAntonio_D.pdf: 807145 bytes, checksum: 25b46de178f11d5e74647a293b3413c9 (MD5) Previous issue date: 2004 / Resumo: Neste trabalho, obtemos novas formulações multivetoriais da equação de Dirac ¿ através da introdução de estruturas Z2-graduadas alternativas em álgebras de Clifford ¿ e exploramos certas simetrias latentes da equação de Dirac-Kähler para a obtenção de modelos de teorias de calibre, particularmente no contexto das interações eletrofracas. Discutimos ainda como as técnicas desenvolvidas no contexto de tais representações multivetoriais podem ser úteis em outras situações, como na construção de representações quaterniônicas da teoria de Dirac e no problema da reconstrução tomográfica de um espinor de Dirac. Com relação à equação de Dirac-Kähler, inicialmente revisitamos sua bem conhecida degenerescência em termos de quatro equações de Dirac desacopladas, definidas em diferentes ideais da álgebra. A arbitrariedade na escolha de tais ideais define uma simetria global da lagrangiana, que aqui estendemos a uma simetria local. Os campos de calibre resultantes então acoplam os diferentes ideais, de maneira que as interações entre os setores de quiralidade positiva e negativa são naturalmente suprimidas. Ainda, em tal formalismo, as antipartículas são automaticamente representadas na lagrangiana, com as quiralidades corretas. Ao restringirmos as interações àquelas que conservam a carga elétrica, o modelo resultante é equivalente ao modelo eletrofraco simétrico, desde que identifiquemos os léptons (ou quarks) de uma dada geração com os diferentes ideais. Quando a simetria é quebrada, de maneira que os ideais correspondentes ao neutrino (antineutrino) de quiralidade positiva (negativa) permane¸ cam fixos, o modelo de Glashow-Weinberg-Salam é recuperado. Tal formalismo também nos permite uma interpretação geométrica para o mecanismo de Higgs / Abstract: In this work, new multivector formulations of the Dirac equation are obtained via the introduction of alternative Z2-gradings of Clifford algebras. Certain latent symmetries of the Dirac-Kähler equation are also explored in order to construct gauge theory models, especially in the context of the electroweak interactions. We also discuss how the multivector techniques developed here can be useful in other situations, as in constructing quaternionic representations of the Dirac equation, and in obtaining a tomographic scheme for the state reconstruction of a Dirac spinor. With respect to the Dirac-Kähler equation, we start by revising its well-known fourfold degeneracy that leads to uncoupled Dirac equations living in minimal left ideals of the Dirac algebra. The ar-bitrariness in choosing one such system of ideals defines a global symmetry of the Dirac-Kähler Lagrangian. We gauged such symmetry by considering independent choices for the system of mini-mal left ideals at each spacetime point. The resulting gauge fields then naturally couple the different ideals, in a way that interactions between left-handed and right-handed particles are naturally sup-pressed. Moreover, the formalism automatically gives rise to a term in the Lagrangian corresponding to the associated antiparticles, with the correct handedness. By restricting the interactions to those conserving electric charge, the resulting model turns out to be equivalent to the symmetric model of electroweak interactions, provided that we identify the leptons (or quarks) of a given generation with the different ideals. When the symmetry is broken, so that the ideals corresponding to the right-handed neutrino and left-handed antineutrino remain fixed, the Glashow-Weinberg-Salam is recovered. The formalism also allows a geometric interpretation for the Higgs mechanism / Doutorado / Física / Doutor em Ciências

[pt] Esse trabalho tem como objetivo ser uma introdução ao estudo da existência e unicidade de soluções fracas para equações diferenciais parciais elípticas. Começamos definindo o espaço de Sobolev para, a partir da definição, provarmos algumas propriedades básicas que nos ajudarão no estudo das equações diferenciais parciais elípticas. Finalizamos com o desenvolvimento do Teorema de Lax-Milgram e de Stampacchia que permitirão o uso de técnicas de Análise Funcional para estudarmos alguns exemplos de equações elípticas. / [en] This dissertation aims to be an introduction to the study of the existence and uniqueness of weak solutions for elliptic partial differential equations. We begin by defining the Sobolev spaces and proving some basics properties that will assist in the study of the elliptical equations. Lastly, we develop the Theorems of Lax-Milgram and Stampacchia that allow the use of Functional Analysis for the studying of some examples of elliptic equations.