Orientador: Carlile Campos Lavor / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T14:47:27Z (GMT). No. of bitstreams: 1 Melo_Nolmar_D.pdf: 2834013 bytes, checksum: 5639deabb953aa019e4e1c9c905e856d (MD5) Previous issue date: 2011 / Resumo: Este trabalho apresenta uma linguagem algébrica para dois elementos básicos da teoria da informação quântica (os bits quânticos e os operadores densidade), baseada nas propriedades de uma álgebra de Clifford de assinatura (n,3n). Demonstramos que a nova descrição desses elementos preserva as mesmas propriedades matemáticas obtidas com a descrição clássica. Com isso, estendemos alguns resultados apresentados na literatura que relaciona Álgebra de Clifford e Informação Quântica. / Abstract: This work presents an algebraic language for two basic elements of quantum information theory (the quantum bits and density operators), based in the properties of a Clifford algebra of signature (n,3n). We prove that the new description of these elements preserves the same mathematical properties obtained with the classical description. We also extend some results presented in the literature that relate Clifford algebra and quantum information. / Doutorado / Matematica Aplicada / Doutor em Matemática

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-02-01T17:11:55Z No. of bitstreams: 1 carlosalbertoalmendrasmontero.pdf: 861941 bytes, checksum: 5266d3e617b3a55680988de7de3b66d5 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-02-01T20:14:37Z (GMT) No. of bitstreams: 1 carlosalbertoalmendrasmontero.pdf: 861941 bytes, checksum: 5266d3e617b3a55680988de7de3b66d5 (MD5) / Made available in DSpace on 2016-02-01T20:14:37Z (GMT). No. of bitstreams: 1 carlosalbertoalmendrasmontero.pdf: 861941 bytes, checksum: 5266d3e617b3a55680988de7de3b66d5 (MD5) Previous issue date: 2014-02-25 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho, o objetivo é estudar a existência e unicidade da solução num sentido fraco para um problema não linear com valor na fronteira que é derivado de um modelo que decreve o equilibrio de um plasma confinado. Para esta finalidade se formula um problema equivalente e se estabelecem condições para este novo problema. Logo, utilizando a teoria da subdiferencial e fazendo um estudo de autovalor se consegue que este novo problema tenha solução e, além disso, seja única. / In this work, the objective is to study the existence and uniqueness of the solution in a weak sense of a nonlinear boundary value problem which it is derived from a model that describe the equilibrium of a confined plasma. For this purpose, we formulate an equivalent problem and establish conditions for this new problem. Therefore, using the theory of subdiferencial and studing an eigenvalue problem, we obtain that this new problem has a unique solution.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2015-10-15T21:21:20Z No. of bitstreams: 2 Dissertação - Leonardo da Silva Sousa - 2014.pdf: 1923255 bytes, checksum: d4e7d20a76f4c4ff25ce8512122e8a58 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-16T11:14:33Z (GMT) No. of bitstreams: 2 Dissertação - Leonardo da Silva Sousa - 2014.pdf: 1923255 bytes, checksum: d4e7d20a76f4c4ff25ce8512122e8a58 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-16T11:14:33Z (GMT). No. of bitstreams: 2 Dissertação - Leonardo da Silva Sousa - 2014.pdf: 1923255 bytes, checksum: d4e7d20a76f4c4ff25ce8512122e8a58 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-08-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Software Testing is indispensable if you want to achieve and guarantee the quality of developed software. There are some techniques to test software, among them Fault-based Testing Technique which includes the Mutation Testing criteria. Mutation Testing uses mutation operators to generate a set of alternative programs, called mutants, which differ from the original program at a particular point in the code. The test cases are applied in the original program and in the mutants in order to verify that the test cases are able to show the difference in behavior between the original program and each mutant. This test criterion stands out because of its effectiveness in measuring the quality of the test while finding defects in the program, however it suffers from the high computational cost required for its execution. There are some approaches that aim to reduce the cost of Mutation Testing, for example, Selective Mutation. Selective Mutation reduces the mutation cost applying a subset of mutation operators that it is capable of generating fewer mutants and still achieving high testing effectiveness. The aim of this paper is find a subset of mutation operators and show such subset is almost as good as the whole set. Thereby, such subset can be used in Selective Mutation.Here, fault is used to select a subset of mutation operators, this is main difference between this work and others works in Mutation Selective. Since Mutation Testing use fault that program could have, there is nothing more logical than using such fault to select operators. / O Teste de Software é imprescindível caso se queira alcançar e garantir a qualidade do software desenvolvido. Existem algumas técnicas para se testar um software, entre tais técnicas há o Teste Baseado em Defeitos que inclui o critério denominado Teste de Mutação. O Teste de Mutação consiste em usar operadores de mutação para gerar um conjunto de programas alternativos, chamados de mutantes, que se diferem do programa original em um determinado ponto no código. Os casos de testes são aplicados no programa original e nos mutantes com o objetivo de verificar se os casos de testes são capazes de evidenciar a diferença de comportamento entre o programa original e cada mutante. Esse critério de teste se destaca devido sua eficácia em medir a qualidade do conjunto de teste enquanto encontra defeitos no programa, entretanto ela sofre com o alto custo computacional necessário para sua execução. Existem algumas abordagens que visam diminuir o custo do Teste de Mutação, entre elas a Mutação Seletiva. A Mutação Seletiva reduz o custo do teste, aplicando um conjunto reduzido de operadores de mutação capaz de gerar menos mutantes e ainda alcançar alta efetividade no teste. O objetivo desse trabalho é encontrar esse conjunto reduzido de operadores e mostrar que tal conjunto é quase tão bom quanto o conjunto total. Consequentemente, podendo ser usado na Mutação Seletiva. A diferença desse trabalho para outros que usam a Mutação Seletiva é que neste é usado uma abordagem baseada no defeito para selecionar o conjunto reduzido de defeitos, uma vez que o Teste de Mutação usa os defeitos que o programa poderia ter para testálo. Portanto nada mais lógico do que usar o próprio defeito como base para a seleção de operadores.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-07T20:24:17Z No. of bitstreams: 1 polianedemoraisteixeira.pdf: 285503 bytes, checksum: baab21f998e864f75e7b277b7b743564 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-26T18:10:09Z (GMT) No. of bitstreams: 1 polianedemoraisteixeira.pdf: 285503 bytes, checksum: baab21f998e864f75e7b277b7b743564 (MD5) / Made available in DSpace on 2017-06-26T18:10:09Z (GMT). No. of bitstreams: 1 polianedemoraisteixeira.pdf: 285503 bytes, checksum: baab21f998e864f75e7b277b7b743564 (MD5) Previous issue date: 2012-02-29 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Investigamos nesse trabalho alguns aspectos de teoria quântica de campos em espaço-tempo curvo. Na parte original da dissertação, estudamos o operador hermitiano de quarta ordem, conhecido como operador de Paneitz. Conseguimos sua obtenção via parametrização conforme conhecida anteriormente e também por um caminho alternativo via formulação covariante. O operador de Paneitz torna-se útil, para obtenção da ação efetiva através da anomalia conforme. Uma vez que queremos manter a covariância da teoria, precisamos deste operador na forma covariante. / Some aspects of Quantum Field Theory in curved space-time are explored and revised. In the original part of the work, we study the Hermitian operator of fourth order, known as Paneitz operator. We obtaining it via conformal parametrization as previously known and also by an alternative route via the covariant formulation. Paneitz operator is useful for deriving covariant form of effective action induced by conformal anomaly, as for as we want to keep the covariance of the theory, we need the covariant form of the operator.

Made available in DSpace on 2014-06-12T18:29:06Z (GMT). No. of bitstreams: 2 arquivo578_1.pdf: 1012159 bytes, checksum: 579e3d0a15665116785d0fe38d91d907 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Estudaremos a existência e unicidade de soluções e o fenômeno de bifurcação para um modelo epidemiológico SIR com estrutura etária e transmissão dependente da idade. Formularemos o modelo como um sistema de equações diferenciais parciais munido de condições de contorno e a seguir o reformularemos como um problema de Cauchy semilinear abstrato em um espaço de Banach adequado, como o objetivo de demonstrar a existência e unicidade. Então trataremos da existência e unicidade de estados estacionários não-triviais, aplicando uma generalização da teoria de Perron- Frobenius

La tesis de investigación estuvo orientada a la optimización de las rutas que operan en el transporte de la distribución de mercancía de equipos celulares que se encuentra a cargo del Operador Logístico, a través de la aplicación de la metodología de programación lineal con el uso del solver de Excel. Para lo cual el primer trabajo realizado fue la búsqueda de información asociada al tema de tesis para la confección del marco teórico y la definición de los conceptos básicos utilizados en el tema como son por ejemplo los términos de Investigación de operaciones, programación lineal, distribución física, transporte, ruta óptima y simulación; para posteriormente continuar con el diagnóstico de la situación actual y el análisis de la problemática existente en la distribución física de los productos, relacionado al diseño y desempeño actual de las rutas en la empresa. Luego con la identificación y selección de las rutas a optimizar, se procedió a encontrar la ruta óptima en distancias para cada una de ellas, a través del uso de la programación lineal y uso del software Excel en donde se ingresaron los datos correspondientes de cada ruta. Finalmente se presentaron los resultados obtenidos de cada simulación realizada en el software informático, en donde luego del análisis y comparación entre las distancias de las rutas reales y las rutas ideales simuladas, se pudo comprobar la disminución de distancias a través del uso de la ruta óptima. La disminución de distancias en las rutas disminuyó también el costo de combustible utilizado en la unidad de transporte. The thesis research was oriented to the optimization of routes operating in the transport of distribution of cellular equipment that is in charge of the Logistics Operator, through the application of linear programming methodology. For which the first work was the search for information associated with the thesis topic to prepare the framework and the definition of the basic concepts used in the subject as such terms are operations research, linear programming, physical distribution , transportation, simulation and optimal route; and then continue with the diagnosis of the current situation and identify the problems in the physical distribution of products related to the design and performance of current routes in the company. Then with the identification and selection of routes to optimize, we proceeded to find the optimal route distances for each of them, through the use of linear programming and using the software Excel where the data of each route is entered. Finally the results of simulation performed on each computer software, where after analysis and comparison of the distances of the actual paths and routes ideal simulated showed it was found decreasing distances through the use of the optimum route. Decreasing distances on routes also reduced the cost of fuel used in the transport unit.

Árvore de componentes é uma forma hierárquica de representar imagens em níveis de cinza baseada nas relações de inclusão dos componentes conexos da imagem. A escolha da vizinhança utilizada para gerar os componentes impacta diretamente na árvore resultante, de forma que uma alteração na escolha da vizinhança pode acarretar em uma alteração na árvore de componentes obtida. Em particular, quando uma sequência de vizinhanças crescentes é usada, os nós das árvores obtidas a partir dessas vizinhanças satisfazem uma relação de inclusão, de forma que se é possível estabelecer relações entre nós de diferentes árvores. Assim sendo, o principal objetivo desta dissertação consiste no desenvolvimento de um algoritmo eficiente para a construção de uma sequência de árvores de componentes. Para tanto, será introduzida uma classe particular de sequências de vizinhanças, que não apenas satisfaz a propriedade crescente como também permite que as árvores de componentes associadas a ela sejam construídas de forma incremental. Com base nestas propriedades, um novo algoritmo de construção de árvores de componentes associado a esta classe de vizinhanças será proposto. Para analisar a eficiência do algoritmo proposto apresentamos, ao final do texto, alguns resultados práticos e teóricos obtidos com relação ao consumo de tempo e à complexidade computacional. / Component tree is a hierarchical way of representing gray-level images based on the inclusion relation of the connected components of the image. The choice of the neighborhood used to generate these components directly impacts in the resulting tree: changing the neighborhood used may cause a change in the resulting component tree. In particular, when considering a sequence of increasing neighborhoods, the nodes of the obtained from these neighborhoods will also satisfy an inclusion relation and that will make it possible to link nodes from different trees. Therefore, the main goal of this dissertation is the development of an efficient algorithm to build a sequence of component trees. In order to do that, we will introduce a class of sequences of neighborhood that not only satisfy the increasing property but also makes it possible to incrementally build the trees associated to it. This additional property will guide us to a novel algorithm, that will build the component trees associated to this class of neighborhoods. To show how efficient the proposed algorithm is, we present some experimental and theoretical results regarding time consumption and computational complexity.

Estudia un problema elíptico no lineal con el (p,q)-Laplaciano y que tiene un término convectivo (el término dependiente del gradiente). Se probó que bajo condiciones adecuadas para el término convectivo, el problema posee una solución débil. Además se obtiene un resultado de unicidad y se presentó un algoritmo de aproximación numérica. / Tesis

Estudamos o problema de valores de contorno {\'DELTA POT. 2\' u = f em \'OMEGA\', \'BETA\' u = 0 em \'PARTIAL OMEGA\', um aberto limitado \'OMEGA\' \'ESTÁ CONTIDO\' \'R POT. N\' , sob diferentes condições de contorno. As questões de existência e positividade de soluções para este problema são abordadas com condições de contorno de Dirichlet, Navier e Steklov. Deduzimos condições de contorno naturais através do estudo de um modelo para uma placa com carga estática. Estudamos ainda propriedades do primeiro autovalor de \'DELTA POT. 2\' e o problema semilinear {\'DELTA POT. 2\' u = F (u) em \'OMEGA\' u = \'PARTIAL\'u SUP . \'PARTIAL\' v = 0 em \'PARTIUAL\' \'OMEGA\', para não-linearidades do tipo F(t) = \'l t l POT. p-1\', p \' DIFERENTE\' t, p > 0. Para tal problema estudamos existência e não-existência de soluções e positividade / We study the boundary value problem {\'DELTA POT. 2\' u = f in \'OMEGA\', \'BETA\' u = 0 in \'PARTIAL OMEGA\', in a bounded open \'OMEGA\'\'THIS CONTAINED\' \'R POT. N\' , under different boundary conditions. The questions of existence and positivity of solutions for this problem are addressed with Dirichlet, Navier and Steklov boundary conditions. We deduce natural boundary conditions through the study of a model for a plate with static load. We also study properties of the first eigenvalue of \'DELTA POT. 2\' and the semi-linear problem { \'DELTA POT. 2\' e o problema semilinear {\'DELTA POT. 2\' u = F (u) in \'OMEGA\' u = \'PARTIAL\'u SUP . \'PARTIAL\' v = 0 in \'PARTIUAL\' \'OMEGA\', for non-linearities like F(t) = \'l t l POT. p-1\', p \' DIFFERENT\' t, p > 0. For such problem we study existence and non-existence of solutions and its positivity

Neste trabalho estudamos a existência e a multiplicidade de soluções clássicas positivas para uma classe de problemas de quarta-ordem sob a condição de fronteira de Navier, relacionando o número de soluções com a topologia do domínio, mais precisamente, com sua categoria de Lusternik-Schnirelman. Introduzimos também uma noção de regiões crítica e não-crítica associadas a um de nossos problemas, a fim de garantir condições para existência de solução / In this work we study the existence and multiplicity of positive classical solutions for a class of fourth-order problems under Navier boundary condition, relating the number of solutions to the domain topology, more specifically, to its Lusternik-Schnirelman category. We also introduce the notion of critical and noncritical regions related to one of our problems, in order to ensure conditions to existence of solutions