[ES] En 1965 L. Zadeh introdujo el concepto de conjunto fuzzy, estableciendo una nueva línea de investigación, conocida como matemática fuzzy. Desde entonces, varios autores han estado investigando la construcción de una definición consistente de espacio métrico fuzzy. En 1994, George y Veeramani introdujeron y estudiaron un concepto de espacio métrico fuzzy, que era una adecuada modificación del concepto dado por Kramosil y Michalek. Estos conceptos han sido estudiados y desarrollados en diversas líneas durante los últimos 25 años. Con la intención de contribuir a este desarrollo de la teoría fuzzy, en esta tesis hemos introducido y estudiado los siguientes ítems: 1. Hemos introducido el concepto de espacio métrico fuzzy extendido M0, que es una extensión adecuada de una GV-métrica fuzzy donde el parámetro t puede tomar el valor 0. Además, hemos estudiado conceptos relacionados con la convergencia y las sucesiones de Cauchy en este contexto, así como teoremas sobre contractividad y punto fijo. 2. Hemos probado la existencia de sucesiones contractivas en el sentido de D.Mihet en un espacio métrico fuzzy en el sentido de George y Veeramani que no son de Cauchy. En consecuencia, hemos introducido y estudiado un concepto adecuado de sucesión estrictamente contractiva y hemos corregido el Lema 3.2 de [V. Gregori and J.J. Miñana, On fuzzy psi-contractive sequences and fixed point theorems, Fuzzy Sets and Systems 300 (2016), 93-101]. 3. Hemos introducido y estudiado una noción de (GV-)espacio métrico parcial fuzzy (X,P,*) sin ninguna condición adicional sobre la t-norma *. Después, hemos definido una topologia T_P sobre X deducida de P y hemos demostrado que (X,T_P) es un espacio T0. 4. Hemos relacionado el mencionado concepto de GV-espacio métrico parcial fuzzy con la noción de GV-espacio casi-métrico fuzzy definido por Gregori y Romaguera en [V. Gregori and S. Romaguera, Fuzzy quasi-metric spaces, Applied General Topology 5 (2004), 129-136]. Se ha estudiado una dualidad entre estos espacios, imitando las técnicas utilizadas por Matthews en [S.G.Matthews, Partial metric topology, Annals of the New York Academy of Sciences 728 (1994), 183-197]. / [CAT] En 1965, L. Zadeh va introduir el concepte de conjunt fuzzy, establint una nova línia d'investigació, coneguda com matemàtica fuzzy. Des d'aquell moment, molts autors han investigat la construcció d'una definició consistent d'espai mètric fuzzy. En 1994, George i Veeramani van introduir i estudiar una noció d'espai mètric fuzzy, realitzant una modificació adequada del concepte donat per Kramosil i Michalek. Aquests conceptes han estat estudiats i desenvolupats en diversos sentits durant els últims 25 anys. Amb la intenció de contribuir a aquest desenvolupament de la teoria fuzzy, en aquesta tesi hem introduït i estudiat els següents continguts: 1. Hem introduït el concepte d'espai mètric extés M0, que és una extensió adequada d'una GV -mètrica fuzzy M on el paràmetre t pot prendre el valor 0. A més, hem estudiat conceptes relacionats amb la convergència i les successions de Cauchy en aquest context, així com teoremes sobre contractivitat i punt fixe. 2. Hem provat l'existència de successions contractives en el sentit de D. Mihet en un GV -espai mètric fuzzy que no són Cauchy. Conseqüentment, hem aportat i estudiat un concepte apropiat de successió estrictament contractiva i hem corregit el Lema 3.2 de [V. Gregori and J.J. Miñana, On fuzzy psi-contractive sequences and fixed point theorems, Fuzzy Sets and Systems 300 (2016), 93-101]. 3. Hem introduït i estudiat una noció de (GV -)espai mètric parcial fuzzy (X,P,*) sense cap tipus de condició addicional sobre la t-norma contínua *. A continuació, hem definit una topologia T_P sobre X deduïda de P i hem demostrat que (X, T_P) es un espai T0. 4. Hem relacionat el ja mencionat concepte de GV -espai mètric parcial fuzzy amb la noció de GV -espai quasi-mètric fuzzy definit per Gregori i Romaguera en [V. Gregori and S. Romaguera, Fuzzy quasi-metric spaces, Applied General Topology 5 (2004), 129-136]. S'ha estudiat una dualitat entre ambdós espais, imitant les tècniques utilitzades per Matthews en [S.G.Matthews, Partial metric topology, Annals of the New York Academy of Sciences 728 (1994), 183-197]. / [EN] In 1965, L. Zadeh introduced the concept of fuzzy set, and thus established a new topic of research, known as fuzzy mathematics. Since then, several authors have been investigating the approach of a consistent fuzzy metric space theory. In 1994, George and Veeramani introduced and studied a concept of fuzzy metric space which was a proper modification of the concept given by Kramosil and Michalek. These notions have been studied and developed in several ways during the last 25 years. With the purpose of contributing to the development of the study of the fuzzy theory, in this thesis we have introduced and studied the following items: 1. We have introduced the concept of extended fuzzy metric M0 which is an appropriate extension of a GV -fuzzy metric M where the parameter t can take the value 0. Furthermore, we have studied convergence and Cauchyness concepts in this context, as well as contractivity and fixed point theorems. 2. We have proved the existence of contractive sequences in the sense of D. Mihet in a GV -fuzzy metric space which are not Cauchy. Then we have given and studied an appropriate concept of strictly contractive sequence and we have corrected Lemma 3.2 of [V. Gregori and J.J. Miñana, On fuzzy psi-contractive sequences and fixed point theorems, Fuzzy Sets and Systems 300 (2016), 93-101]. 3. We have introduced and studied a concept of (GV -)fuzzy partial metric space (X,P,*) without any extra conditions on the continuous t-norm *. Then we have defined a topology T_P on X deduced from P and we have proved that (X, T_P) is a T0 space. 4. We have related the aforementioned notion of GV -fuzzy partial metric space with the concept of GV -fuzzy quasi-metric space given by Gregori and Romaguera in [V. Gregori and S. Romaguera, Fuzzy quasi-metric spaces, Applied General Topology 5 (2004), 129-136]. A duality is studied by mimicking the techniques used in [S.G.Matthews, Partial metric topology, Annals of the New York Academy of Sciences 728 (1994), 183-197] by Matthews. / Miravet Fortuño, D. (2019). GENERALIZED FUZZY METRIC SPACES DEFINED BY MEANS OF T-NORMS [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/124816 / TESIS

Áreas como política, economia e marketing sofrem grandes influências no que diz respeito à difusão de informação. Por este motivo, diversos ramos da ciência tem estudado tais fenômenos a fim de simulá-los e compreendê-los por meio de modelos matemáticos e/ou estocásticos. Em virtude disto, este trabalho de doutorado tem como objetivo generalizar modelos de difusão de inovação já existentes na literatura. O primeiro modelo utiliza o mecanismo de social reinforcement para difusão de inovação e o qual foi construído para o grafo completo. Neste caso, consideramos uma população finita, fechada, totalmente misturada e subdividida em quatro classes de indivíduos denominados ignorantes, conscientes, adotadores e abandonadores da inovação. Assim, será apresentado uma Lei Fraca dos Grandes Números e um Teorema Central do Limite para a proporção final da população que nunca escutou sobre a inovação e aqueles que já conhecem sobre ela mas ainda não adotaram. Ademais, também será apresentado um resultado de convergência para o máximo de adotadores em um intervalo estocástico, assim como o instante de tempo em que o processo atinge esse estado. Para esse estudo, foram utilizados resultados da teoria de cadeias de Markov dependentes da densidade. Ademais, formulamos um modelo estocástico com estrutura de estágios para descrever o fenômeno da difusão de inovação em uma população estruturada. Mais precisamente, propomos uma cadeia de Markov a tempo contínuo definida na rede hipercúbica d-dimensional. Cada indivíduo da população deve estar em algum dos M+1 estados pertencentes ao conjunto {0;1;2; ::;M}. Nesse sentido, 0 representa um ignorante, i para i ∈ {1; :::;M - 1} um consciente no estágio i e M um adotador. Dessa forma, são estudados argumentos que permitem encontrar condições suficientes nas quais a inovação se espalha ou não com probabilidade positiva. / Areas such as politics, economics and marketing are heavily influential in terms of information diffusion. For this reason, several branches of science have studied such phenomena in order to simulate and understand them by mathematical and/or stochastic models. In this context, this phd project aims to generalize innovation diffusion models that there is in the literature. The first model uses the social reinforcement mechanism for diffusion of innovation and which was built for the complete graph. In this case, we consider a finite population, closed, totally mixed and subdivided into four classes of individuals called ignorants, aware, adopters and abandoner of innovation. We prove a Law of Large Numbers and a Central Limit Theorem for the proportion of the population who have never heard about the innovation and those who know about ir but they have not adopted it yet. In addition, we also obtain result for the convergence of the maximum of adopter in a stochastic interval, as well as the instant of time that the process reaches that state. For this study, we used results of the theory of density dependent Markov chains. Furthermore, we formulated a stochastic model with structure stages to describe the phenomenon of innovation diffusion in a structured population. More precisely, we proposed a continuous time Markov chain defined in a population represented by the d-dimensional integer lattice. Each individual of the population must be in some of the M +1 states belonging to the set {0;1;2; :::;M}. In this sense, 0 stands for ignorant, i for i ∈ {1; :::;M - 1} for aware in stage i and M for adopter. The arguments, that allow to obtain sufficient conditions under which the innovation either becomes extinct or survives with positive probability, are studied.

Neste trabalho estudamos algumas propriedades do espaço das funções contínuas munido da topologia da convergência pontual. Começamos estudando o espaço Cp(X) de forma geral, verificando que propriedades topológicas principais valem em Cp(X), usando teoremas de dualidade entre X e Cp(X). Em seguida estudamos a relação da estrutura topológica de X e a estrutura algébrica e topológica de Cp(X), onde o Teorema de Nagata é fundamental. Observamos algumas propriedades de X que são preservadas por l-equivalência ou t-equivalência, ou seja, que são determinadas pela estrutura linear topológica, ou pela estrutura topológica de Cp(X), respectivamente. Por último estudamos as condições para que Cp(X) seja um espaço de Lindelöf. Concluímos com a prova de Okunev de que o número de Lindelöf de Cp(X) é igual ao número de Lindelöf de Cp(X)xCp(X), para espaços fortemente zero-dimensionais X. / In this work we study some properties of the space of continuous functions endowed with the topology of pointwise convergence. We begin by studying the space Cp(X) in general terms, verifying that the main topological properties are valid in Cp(X), using duality theorems between X and Cp(X). Next we study the relationship between the topological structure of X and the algebraic as well as topological structure of Cp(X), in which the Nagata theorem theorem is essential. We observe some properties of X, which are preserved by l-equivalence or t-equivalence, i.e., which are respectively determined either by the linear topological structure of Cp(X) or by its topological one. Finally we study in which conditions Cp(X) is a Lindelöf space. We conclude with the proof of Okunev that the Lindelöf number of Cp(X) is equal to the Lindelöf number of Cp(X)xCp(X), for strongly zero-dimensional spaces X.

Nas últimas três décadas os phase locked loops (PLLs) totalmente digitais têm recebido muita atenção devido, principalmente, às vantagens que eles oferecem em comparação aos PLLs analógicos. Essas vantagens incluem melhor desempenho, maior velocidade e confiabilidade, tamanho reduzido e menor custo. Os PLLs também são amplamente utilizados em sistemas de comunicações e em outras aplicações digitais. A presente dissertação é uma contribuição no campo dos PLLs digitais adaptativos e otimizados para a sua implementação em hardware. É feito uma análise de suas características dinâmicas e proposta uma nova estrutura de PLL digital capaz de melhorar a resposta da malha em termos de tempo de aquisição e largura de banda. A Malha Síncrona Digital \"Tanlock\" com Estimação de Frequência e Ganho Adaptativo para Convergência Rápida, como é chamada, foi desenvolvida a partir da malha digital \"Tanlock\", utilizando-se teoremas de ponto fixo e mapas contrativos para determinar as condições de ganho que garantam convergência rápida e melhor utilização da largura de banda. Resultados das simulações são comparados com os obtidos teoricamente para avaliar o desempenho da malha proposta. / In the last three decades, fully-digital Phase-Locked-Loops (PLLs) systems have received a lot of attention due to its advantages in comparison with analog PLLs. These advantages include improved transient response, reliability and also reduced size and cost. The PLLs are widely used in communications systems and many other digital applications. This dissertation is a contribution to the field of digital adaptive PLLs optimized to hardware implementation. Here, a new PLL structure is presented; the Frequency Sensing Adaptive TDTL is an improvement to the classic Time-Delay Tanlock structure, alowing fast convergence to the synchronous states, using fixed-point theorems and contractive maps to determine the gain conditions which ensure the rapid convergence and also providing wider bandwidth. The results of simulations are compared with those obtained theoretically in order to assess the loop performance.

Há duas brechas quânticas nos Teoremas da Singularidade em Relatividade Geral: violações das condições clássicas de energia e flutuações quânticas da geometria do espaço-tempo. Nesta dissertação, estudamos a primeira brecha e abordamos os Teoremas da Singularidade através da condição de energia. Revisamos a abordagem algébrica de Teoria Quântica de Campos para o campo de Klein-Gordon e, neste formalismo, revisamos a derivação de uma desigualdade quântica de energia para os estados de Hadamard em espaços-tempos globalmente hiperbólicos. Apesar das desigualdades quânticas de energia não poderem ser aplicadas diretamente nos Teoremas de Singularidade, mostramos que generalizações dos Teoremas de Hawking e Penrose são provadas considerando condições de energia enfraquecidas inspiradas por elas. Assim sendo, os Teoremas de Singularidade continuam valendo se considerarmos efeitos quânticos sutis. A questão de se efeitos de interação ou efeitos de ``backreaction\'\' poderiam quebrá-los ainda está em aberto; há razões para se esperar ambas as respostas. / There are two quantum loopholes in the Singularity Theorems of General Relativity: violations of the classical energy conditions and quantum fluctuations of the spacetime geometry. In this dissertation, we study the first loophole and approach Singularity Theorems through the energy condition. We review the algebraic approach of Quantum Field Theory for the Klein-Gordon field and, within it, we review the derivation of a quantum energy inequality for Hadamard states on globally hyperbolic spacetimes. However quantum energy inequalities cannot be directly applied to Singularity Theorems, we show that generalized Hawking and Penrose Theorems are proven considering weakened energy conditions inspired by them. Hence, Singularity Theorems do hold under subtle quantum effects. The question of whether interaction or backreaction effects could break them is still open; there are reasons to expect both answers.

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

Made available in DSpace on 2014-06-11T19:22:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-25Bitstream added on 2014-06-13T20:28:17Z : No. of bitstreams: 1 arruda_rl_me_sjrp.pdf: 624072 bytes, checksum: 23ddd00e27d1ad781e2d1cec2cb65dee (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / O objetivo principal deste trabalho é estudar o Teorema de Riemann-Roch, um dos resultados fundamentais na teoria de curvas algébricas, e apresentar algumas de suas aplicações. Este teorema é uma importante ferramenta para a classificação das curvas algébricas, pois relaciona propriedades algébricas e topológicas. Daremos uma descrição das curvas algébricas de gênero g, 1≤ g ≤ 5, e faremos um breve estudo dos pontos de inflexão de um sistema linear sobre uma curva algébrica / The main purpose of this work is to discuss The Riemann-Roch Theorem, wich is one of the most important results of the theory algebraic curves, and to present some applications. This theorem is an important tool of the classification of algebraic curves, sinces relates algebraic and topological properties. We will describle the algebraic curves of genus g, 1≤ g ≤ 5, and also study inflection points of a linear system on an algebraic curve

[pt] Demonstrações em lógica podem tornar-se muito grandes e complexas. Para resolver problemas, e para estudar lógica, é comum valer-se de assistentes de demonstração. Um assistente de demonstração geral deve integrar ferramentas que ajudem a especificar as lógicas, as equações, os conjuntos de regras, e as estratégias de busca (semi) automática de demonstrações. A comunidade usuária de Provadores Automáticos de Teoremas conhece algumas ferramentas que atendem a estes requisitos. Entretanto, estas ferramentas não estão preparadas para lidar com demonstrações muito grandes. Trabalhos recentes sugerem que uma boa forma de chegar a demonstrações menores é usar grafos, ao invés de árvores, para representar demonstrações. Esta dissertação descreve e implementa uma máquina virtual baseada em grafo e um compilador para a confecção de provadores de teoremas baseados em grafo. Para validar a ferramenta, alguns estudos de casos e provadores de teoremas baseados em grafo são apresentados. / [en] Proofs in logic can become very big and complex. For problem solving, and to teach logic, it is common the use of proof assistants. A general proof assistant should integrate tools to help users on specifying the logics, the formulas, the sets of rules, and the very strategy to perform (semi) automatic proof search. The Automatic Theorem Provers community is aware of some tools that were designed to fulfill these requirements. However, these tools do not take the (possibly) huge size of a proof. Recent works have pointed out that a good way to achieve shorter proofs is the use of graphs, instead of trees, to represent proofs. This dissertation describes and implements a graph-based virtual machine and a compiler for the production of graph-based theorem provers. Some case studies, standard as well as graph-based theorem prover, are illustrated in order to validate the tool.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-26T14:11:07Z No. of bitstreams: 1 BRUNO FONTES DE SOUSA - DISSERTAÇÃO PPGMAT 2011..pdf: 535617 bytes, checksum: 46dc8ee9ec90b36db973cafcc1d3a33e (MD5) / Made available in DSpace on 2018-07-26T14:11:07Z (GMT). No. of bitstreams: 1 BRUNO FONTES DE SOUSA - DISSERTAÇÃO PPGMAT 2011..pdf: 535617 bytes, checksum: 46dc8ee9ec90b36db973cafcc1d3a33e (MD5) Previous issue date: 2011-07-21 / Capes / Neste trabalho estudamos hipersuperfícies tipo-espaço completas com curvatura média constante em uma região aberta do espaço de Sitter, chamada Steady State Space. Primeiro estabelecemos fórmulas adequadas para o Laplaciano de uma função altura e de uma função suporte naturalmente relacionadas com estas hipersuperfícies. Em seguida, considerando hipóteses apropriadas sobre a curvatura média e o crescimento da função altura, obtemos condições necessárias para a existência de tais hipersuperfícies. No caso bidimensional, estabelecemos e mostramos resultados tipoBernstein. Além disso, mostramos que se a hipersuperfície está entre dois slices então a sua curvatura média é igual a um. Obtemos também outras consequências para hipersuperfícies que estão abaixo de um slice. Por fim, estendemos um de nossos resultados para um certo espaço Robertson-Walker generalizado. / In this work we study complete space-like hypersurfaces with constant mean curvature in the open region of de Sitter space, called the Steady State Space. First established suitable formulas for the Laplacian of a height function and of a suport function related to these hypersurfaces. Then, considering hypotheses appropriate on the mean curvature and growth of height functions we obtain necessary conditions for the existence of such hypersurfaces. In two-dimensional case, we set and show results-Bernstein type. Furthermore, we show that if the hypersurface is between two slices then its mean curvature is equal to one. We also obtain other consequences for hypersurfaces are below a slice. Finally, we extend one of our results to a certain space generalized Robertson-Walker.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In representation theory, having a representation of a group G is equivalent to having a kG-module. Since |G-modules which are sums of irreducible kG-modules form a very important class in the theory of modules, to know conditions for a kG-module be irreducible or completely reducible from the particularities of the field k and the group G become a very important issue, whose solution was originally presented by the German mathematician Heinrich Maschke which proved that if the order of G is not a multiple of the characteristic of the field k, then kG is completely reducible (or semisimple). From there, issues unrelated to representation theory, but that concern the semisimplicity of cross products in general are treated as Maschke-type theorem. Our goal in this dissertation is to present some versions of this theorem, starting with classic versions involving cross products for actions of groups on algebras and then versions for Hopf algebras and smash products. / Na teoria de representações de grupos, ter uma representação de um grupo G é equivalente a ter um kG-módulo. Desde que kG-módulos que são somas de kG-módulos irredutíveis formam uma classe bastante importante na teoria de módulos, conhecer condições para que um kG-módulo seja irredutível ou completamente redutível a partir das particularidades do corpo k e do grupo G passou a ser um problema bastante importante. Problema este cuja solução foi originalmente apresentada pelo matemático alemão Heinrich Maschke que provou que se a ordem do grupo G não for múltiplo da característica do corpo k, então kG é completamente redutível (ou semissimples). A partir daí, questões independentes a teoria de representações, mas que dizem respeito a semissimplicidade de produtos cruzados em geral são tratados como Teorema tipo-Maschke. Nosso objetivo neste trabalho é apresentar algumas versões deste teorema. Iniciamos com versões mais clássicas envolvendo produtos cruzados globais e parciais para em seguida estudarmos versões em álgebras de Hopf e produtos smash.