O principal objetivo desta dissertação é estudar um contraexemplo para o Décimo Quarto Problema de Hilbert no caso de dimensão n = 5, que foi apresentado por Arno van den Essen ([6]) em 2006 e que é baseado em um contraexemplo de D. Daigle e G. Freudenburg ([4]). Para isso, serão estudados os conceitos fundamentais da teoria de derivações e os princípios básicos das derivações localmente nilpotentes, bem como seus respectivos corolários. Dentre esses princípios encontra-se o Princípio 13, que garante que, se B é uma k- álgebra polinomial, digamos B = k[x1; ..., xn], (onde k é um corpo de característica zero) e D é uma derivação localmente nilpotente sobre B, então seu núcleo A = ker D satisfaz A = B &cap: Frac(A). Assim encontramos o contraexemplo esperado, ao mostrar que A não é finitamente gerado sobre k. Além disso, no apêndice deste trabalho, é dada uma prova para o caso de dimensão 1 do Décimo Quarto Problema de Hilbert. / The main objective of this thesis is to study a counterexample to the Hilberts Fourteenth Problem in dimension n = 5, which was presented by Arno van den Essen ([6]) in 2006 and that is based on a counterexample of D. Daigle and G. Freudenburg ([4]). For these purpose, we study the fundamental concepts of the theory of derivations and the basic principles of locally nilpotent derivations and their corollaries. Among these principles, Principle 13 ensures that if B is a k-algebra polynomial, say B = k[x1; ..., xn], (where k is a field of characteristic zero) and D is a locally nilpotent derivation on B, then its kernel A = ker D satisfies A = B ∩ Frac(A). Once we have proved that A is not finitely generated over k, we find the expected counterexample. In addition, in the appendix of this work is given a proof for the Hilberts Fourteenth Problemin dimension n = 1.

O estudo dos pontos singulares em campos vetoriais analíticos é um problema quase completamente resolvido. O único caso que ainda permanece insolúvel é o caso monodrômico, em que as órbitas circundam a singularidade. Em sistemas diferenciais analíticos, se p é singularidade monodrômica, então p ou é um centro, ou é um foco. O problema do centro-foco consiste em determinar condições que diferenciem os casos em que p é um foco, daqueles em que p é um centro. O tema central desta dissertação é a investigação do problema do centro-foco em sistemas diferenciais analíticos com singularidade nilpotente. Este problema é bastante estudado, uma vez que ainda não existe um algoritmo eficiente para este caso, tal como ocorre em sistemas com singularidades não degeneradas. Estudamos duas técnicas bastante distintas. A primeira faz uso da teoria das formas normais e aborda o problema da maneira clássica, dividindo-o na investigação da monodromia e no estudo da estabilidade. O outro método investiga os sistemas diferenciais com singularidades nilpotentes como limite de sistemas com singularidades não degeneradas. A fim de avaliarmos sua eficiência e compreendermos as possíveis obstruções envolvidas, aplicamos os métodos a famílias concretas de sistemas diferenciais / The study of singular points in planar analytic vector fields is a problem almost completely solved. The only case that remains open is the monodromic one, in which the orbits turn around the singularity. In analytic differential systems, if p is a monodromic singular point, then p is either a center or a focus. The center-focus problem consists in determining conditions for distinguishing between a center and a focus. The main purpose of this work is the investigation of the center-focus problem in analytic differential systems with nilpotent singular points. This problem is still widely studied, since there is no algorithm for such case, comparable to the Lyapunov method for the case of non-degenerate singularities. We studied two different methods. The first makes use of the normal form theory and deals with the problem in the classic way, splitting it up in two parts: the investigation of the monodromy and the study of the stability. The latter investigates the differential analytic systems with nilpotent singular points as limit of differential systems with nondegenerate singularities. In order to evaluate the efficiency and understand possible obstructions, we applied the two techniques to concrete families of differential systems

Neste trabalho, estudamos os grupos de tranças em superfícies visando encontrar apresentações para estes grupos em superfícies fechadas orientáveis de gênero g >= 1 ou superfícies fechadas não orientáveis de gênero g >= 2. Uma consequência destas apresentações é resolvermos o problema da palavra, que consiste em encontrar um algoritmo para decidir quando uma dada palavra num grupo definido por seus geradores e suas relações é a palavra trivial / In this work, we find presentations for surface braid groups either in closed orientable surfaces of genus g >= 1 or in closed non-orientable surfaces of genus g >= 2. A consequence of this presentations is to solve the word problem, which consists in finding an algorithm to decide when a given word in a group defined by its generators and its relations is the trivial word

O seguinte trabalho procura estudar problemas de fronteira móvel, conhecidos por problemas de Stefan, bem como aproximar suas soluções. Aplicações de problemas de Stefan encontram-se, por exemplo, na física termal de mudança de estados, presente em diversos fenômenos físicos e químicos naturais e na indústria. Devido a não-linearidade, a maior parte destes problemas não possuem solução analítica conhecida e uma técnica comum para se aproximar soluções é o método de balanceamento integral, inicialmente estudado por Goodman (1958). Este método e suas variações propõem perfis de aproximação no domínio da solução e resolvem uma versão integral da equação diferencial. O problema se resume a resolver uma equação diferencial ordinária no tempo envolvendo a profundidade de penetração do calor e o perfil de aproximação proposto. O trabalho estuda tais métodos para problemas termais clássicos em primeiro lugar, de modo que a extensão para problemas de Stefan seja natural. Refinamentos são apresentados, bem como uma técnica de subdivisão do espaço que resulta num esquema numérico. A técnica de imobilização e fronteira é desenvolvida e aplicada em diversos momentos, a fim de simplificar a utilização dos métodos integrais. / The current work aims to study moving boundary problems, known as Stefan problems, and approximate their solutions. Applications of Stefan problems are found in situations where there is change of physical state, present in several natural and industrial physical and chemical phenomena. Due to their inherent nonlinearity, most of these problems have no known analytic solution and a common technique to approximate solutions is the heat balance integral method, originally studied by Goodman (1958). This method and its variations propose an approximating profile and solve an integral version of the differential equation. The problem is reduced to solving an ordinary differential equation in time involving the depth of heat penetration and the proposed profile. This work studies such classic methods to thermal problems first, in a way that the extension to Stefan problems is natural. Refinements are presented, as well as a technique of subdividing the space domain which results in a numerical scheme. The technique of boundary immobilization is developed and applied at different times in order to simplify the use of these methods.

Em mecânica dos fluidos, especificamente em processos turbulentos, o problema de fechamento representa um dos maiores desafios para qualquer pessoa interessada nesta área. Durante décadas, cientistas vêm usando abordagens estatísticas com o objetivo de \"fechar\" o problema ou, pelo menos, diminuir as dificuldades inerentes. Assim, o presente trabalho apresenta uma criteriosa análise com base em ferramentas estatísticas em que ondas quadradas aleatórias, aliadas a um número fixo de parâmetros, foram utilizadas para criar equações paramétricas para representar um fluxo turbulento unidimensional com uma abordagem a priori, diferenciando de outras abordagens aplicadas amplamente na área, que utilizam uma abordagem a posteriori. Em seguida, simulações foram realizadas, a fim de avaliar o comportamento do modelo. Nas simulações pôde-se reproduzir o comportamento observado na literatura e estipular a abrangência do método. Além disso, uma importante discussão acerca das condições de contorno foi desenvolvida. / In fluid mechanics, specifically in turbulent processes, the closure problem represents one of the biggest challenges for anyone interested in this area. For decades, scientists have been using statistical approaches aiming to close the problem or, at least, decrease the inherent difficulties. So, the present project presents a judicious analyze based on statistical tools in which random square waves, allied with a fixed numbers of parameters, were used to create parametric equations to represent a turbulent flow with an a priori approach, differentiating from other approaches broadly applied in the area, which use an a posteriori approach. Then simulations were done, in order to evaluate the behavior of the model. In the simulations, the behavior of some data from the literature could be followed and the scope of the method was stipulated. Besides this, an important discussion about boundary conditions was developed.

Orientador: Paulo Morelato França / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-12T02:08:09Z (GMT). No. of bitstreams: 1 Buriol_LucianaSalete_M.pdf: 8595148 bytes, checksum: 8048854c00a24631aefeb449304ce2bd (MD5) Previous issue date: 2000 / Resumo: Dentre a gama de técnicas heurísticas e exatas existentes para a resolução de problemas combinatórios, os algoritmos populacionais genéticos e meméticos têm se destacado devido a sua boa performance. Em especial, os algoritmos meméticos podem ser considerados atualmente como uma das técnicas melhores sucedidas para a resolução de vários problemas combinatórios, dentre eles, o problema do caixeiro viajante. Nesta dissertação será apresentado um algoritmo memético aplicado ao problema do caixeiro viajante assimétrico, com a proposta de uma nova busca local: Recursive Arc Insertion. Os resultados computacionais considerando as 27 instâncias assimétricas da TSPLIB são apresentados, analisados e comparados com resultados obtidos por outros métodos propostos para o problema. O mesmo algoritmo é também aplicado a 32 outras instâncias assimétricas e a 30 instâncias reduzidas do problema de ciclos hamiltonianos não direcionados. Um framework para algoritmos evolutivos é apresentado, já incluindo o algoritmo memético implementado e a redução de instâncias do problema de ciclos hamiltonianos não direcionados para o problema do caixeiro viajante simétrico. Além disso, dois geradores portáveis de instâncias com solução ótima conhecida são descritos: um para o problema do caixeiro viajante assimétrico e outro para o problema de ciclos hamiltonianos / Abstract: Among the range of heuristic and exact techniques for solving combinatorial problems, the genetic and memetic populational algorithms play an important role due to their good performance. In special, the memetic algorithms can be considered current1y as one of the best techniques to solve several combinatorial problems, especially, the traveling salesman problem. In this dissertation a memetic algorithm applied to the asymmetric traveling salesman problem is developed, and a new local search is proposed: Recursive Are Insertion. The computational results considering the 27 asymmetric instances from TSPLIB are presented, analyzed and compared with results attained by other methods recent1y published. The same algorithm is also applied to 32 other asymmetric instances and to 30 reduced instances from undirect hamiltonian cycle problem. A framework for evolutionary algorithms is also presented, including the memetic algorithm implemented and the codes which performs a reduction from the undirect hamiltonian cycle problem to the symmetric traveling salesman problem. Besides, two portable instances generators with a known optimal solution are described: one for asymmetric traveling salesman problem and other for hamiltonian cycle problem / Mestrado / Automação / Mestre em Engenharia Elétrica

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-10-10T17:51:04Z No. of bitstreams: 1 mariooctavioveracampoverde.pdf: 972692 bytes, checksum: eeeec402e668a815ac731d18a5966479 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-10-16T13:30:19Z (GMT) No. of bitstreams: 1 mariooctavioveracampoverde.pdf: 972692 bytes, checksum: eeeec402e668a815ac731d18a5966479 (MD5) / Made available in DSpace on 2017-10-16T13:30:19Z (GMT). No. of bitstreams: 1 mariooctavioveracampoverde.pdf: 972692 bytes, checksum: eeeec402e668a815ac731d18a5966479 (MD5) Previous issue date: 2017-07-31 / Neste trabalho realizamos um estudo teorico das inequações variacionais (VI), mostrando condições necessárias e suficientes para a existência de soluções,assim mesmo apresentamos algumas classificações para vários casos especiais de VI, explicando a interconexão entre a VI e o problema de complementaridade (CP), bem como sua relação com um programa de otimização não linear e a teoria de jogos de estratégias que esta relacionada com os problemas de equilíbrio de Nash. Estabelecemos alguns resultados de equivalencia entre uma VI e um CP, mostramos por exemplo que resolver uma VI associada a uma função definida num conjunto que tem uma determinada estrutura é equivalente a resolver um problema de complementaridade mista (MiCP); assim como também, vimos que sob certas hipóteses, um ponto de equilíbrio de Nash é solução de uma determinada VI. Finalmente, aplicamos a teoria para o estudo de um caso de problema de equilíbrio de Nash, modelado via as condições de KKT como um MiCP, ou criando uma família de programas convexos,onde usei alguns algoritmos para determinar numericamente a solução do ponto de equilíbrio de Nash. / In this work, we present a theoretical study of the variational inequalities (VI), showing necessary and sufficient conditions for the existence of solutions. We also present some classi fi cations for several special cases of LV, explaining the interconnection between LV and the complementarity problem. As well as its relationship with a nonlinear optimization program and the strategy game theory that is related to Nash equilibrium problems. We have established some equivalence results between a VI and a CP, for example we have shown that solving a VI associated with a function defined in a set having a given structure is equivalent to solving a mixed complementarity problem (MiCP); As well as, we have seen that under certain hypotheses, a Nash equilibrium is the solution of a given VI. Finally, we apply the theory to the study of a Nash equilibrium problem case, modeled via the KKT conditions as an MiCP, or creating a family of convex programs, where used some algorithms to numerically determine the equilibrium point solution of Nash.

O cenário de constante transformação do mundo contemporâneo aponta para uma necessidade urgente de novas descrições da realidade, capazes de sintetizar as complexas relações vivenciadas nos sistemas socioeconômicos e direcionar os tomadores de decisão para ações que garantam a sustentabilidade dos mesmos. Uma das propostas para lidar com tal questão no ambiente da estratégia é a hipótese da Dinâmica Simbiótica. Esta tratativa teórica a despeito de já oferecer uma opção consistente em outras áreas do conhecimento, ainda carecia de ampliação conceitual e validação de certas premissas que as legitimassem na área gerencial. Neste sentido, este esforço de pesquisa objetiva validar tais premissas e determinar os princípios que possibilitam a emergência e manutenção de sistemas socioeconômicos sustentáveis. Para tanto, foi desenvolvida uma pesquisa baseada em experimentos de etologia sintética, construídos especificamente com o fim de validar as hipóteses em pauta. Com este procedimento, foi possível constatar que as organizações, como sistemas sociotécnicos, possuem uma dinâmica autopoiética, onde a incorporação de novos componentes e o porte das mesmas, se apresentam como fatores de grande influência em sua sobrevivência. Quando interconectadas com outros agentes, inclusive de mesmo tipo, estas organizações compõem um ambiente socioeconômico sujeito a rupturas que o levam a diferentes patamares qualitativos. Neste contexto, o trabalho destas estruturas em prol da estabilidade do ambiente, buscando estabelecer um equilíbrio adequado entre consumo e regeneração de recursos, se mostrou promissor para aumentar as chances, tanto individuais como do próprio sistema socioeconômico, de se perpetuarem ao longo do tempo. / The constant transformation of the contemporary world points to an urgent need for new descriptions of reality, able to synthesize the complex relationships between direct decision makers in socioeconomic systems and point to actions that ensure their sustainability. One proposal to deal with this issue in a strategic environment is the hypothesis of symbiotic dynamics. This theoretical approach, despite providing consistent option in other areas of knowledge, still lacked conceptual expansion and validation of certain assumptions to legitimize it in management. This research aims to validate this effort and determine the principles that make the emergence and maintenance of sustainable socioeconomic systems. Therefore, a search based on synthetic ethology experiments was built specifically to validate the hypotheses in question. This method found that organizations such as socio-technical systems have autopoietic dynamics, where the incorporation and size of new components are the most influential factors in their survival. When interconnected with other agents, including those of the same type, these organizations make up a socioeconomic environment subject to disruptions that lead to different quality levels. In this context, the work of these frameworks to support the environmental stability, seeking to establish an appropriate balance between consumption and resource regeneration, promises to increase the chances of a socioeconomic system perpetuating it over time.

Orientador: Ana Archangelo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-23T17:18:09Z (GMT). No. of bitstreams: 1 Firer_AideKrakauer_M.pdf: 1562041 bytes, checksum: 6a8e06c3b6a86e0ff9be8502bcd38aab (MD5) Previous issue date: 2013 / Resumo: O objeto de estudo deste trabalho são as relações mútuas entre professores e alunos considerados "difíceis" ou "desajustados", considerando-se, sobretudo, a importância que a escuta e o acolhimento podem ter em tais relações e na escola. O estudo foi realizado em uma escola pública de ensino fundamental na periferia de Campinas, a partir de um projeto de tutoria escolar desenvolvido pela pesquisadora. No decorrer da intervenção-investigação, professores assumem a prática de tutoria, seguindo um modelo aberto e fluido, proporcionando mudanças significativas na postura e nas atitudes dos sujeitos - alunos e professores. A dinâmica deste trabalho de tutoria é analisada com o aporte de alguns conceitos oriundos da Psicanálise, principalmente os de holding e placement, de Winnicott. Ao final, são discutidos alguns princípios que podem nortear um modelo simples e aberto para o trabalho de tutoria na escola. / Abstract: This work studies the mutual relations between teachers and students that are considered to be "difficult" or "misfit", considering, especially, the importance that concepts of (analytical) listening and holding can have on such relationships in a school setting. The study was conducted in an elementary public school on the periphery of Campinas, focusing on the relations established through a school mentoring project developed by the researcher. During this investigative- intervention, teachers enrolled in the tutoring practice, along the guidelines of an open-ended and fluid model, providing significant changes in posture and attitudes of individuals - students and teachers. The dynamics of this tutoring process is analyzed with the input of some psychoanalytical concepts, particularly the concepts of holding and placement developed by Winnicott. At the end, we discuss some principles that can guide a simple and open model for mentoring work at school. / Mestrado / Psicologia Educacional / Mestra em Educação

Orientador: Cid Carvalho de Souza / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-19T00:16:31Z (GMT). No. of bitstreams: 1 Zilli_PetersonKatagiri_M.pdf: 1307926 bytes, checksum: 5fe0ddfca7cce84d9e26b66106d61e8b (MD5) Previous issue date: 2011 / Resumo: O Problema de Roteamento de Veículos (VRP, em inglês) foi proposto por Dantzig e Ramser em 1959 e, desde então, um grande número de artigos foi dedicado à solução de suas variantes. O problema original consiste em determinar rotas otimais que serão usadas por veículos de capacidade limitada para servirem a um conjunto de clientes. Neste trabalho focamos o estudo e a implementação dos modelos chamados de "ricos" na literatura, os quais englobam variantes complexas do VRP e conseguem representar situações mais próximas dos problemas logísticos encontrados em sistemas de distribuição reais. A principal motivação para esta pesquisa é uma aplicação prática referente ao problema de roteamento dos ônibus fretados pela UNICAMP para o transporte de seus funcionários, que se caracteriza como um modelo rico. O objetivo final é a otimização de tal processo através da minimização da distância total percorrida ou do número de veículos empregados, com a consequente redução dos gastos incorridos pela Universidade. Portanto, além do seu aspecto científico, esta dissertação produz resultados com chances reais de trazer benefícios à administração de uma instituição pública de ensino. Para que isto venha a ocorrer, as heurísticas desenvolvidas foram inseridas em um sistema de informações geográficas, que será usado pela universidade no processo de criação e otimização das rotas a serem licitadas publicamente / Abstract: The Vehicle Routing Problem (VRP) was first proposed by Dantzig and Ramser in 1959 and, since then, a large number of papers has been devoted to the solution of its variants. The original problem consists in determining an optimal set of routes to be used by vehicles of limited capacity that serve a set of customers. In this paper we focus on the study and implementation of models called "rich" in the literature, which include complex variants of the VRP that represent situations closer to the logistical problems encountered in real distribution systems. The main motivation for this research is a practical problem concerning the routing of buses chartered by UNICAMP for transporting a part of its employees, which is characterized as a rich model. The goal is to optimize this process by minimizing the total travel distance or the number of vehicles used, with a consequent reduction of the expenses incurred by the University. Therefore, in addition to its scientific aspect, this dissertation gives results with real chances to benefit the administration of a public university. For this to happen, the heuristics developed were entered into a geographic information system, which will be used by the university in the process of creation and optimization of routes to be publicly auctioned / Mestrado / Pesquisa Operacional / Mestre em Ciência da Computação