Made available in DSpace on 2016-08-10T10:40:21Z (GMT). No. of bitstreams: 1 Arineia Nogueira de Assis.pdf: 693374 bytes, checksum: dad2ec792a9f740945465bdeeb7830db (MD5) Previous issue date: 2014-02-27 / The first objective of this study is to classify the production planning and control (PPC) strategy and the ordering system (OS) of a clothing company, and the second is to propose a theoretical model based on PPC strategies and production sequencing for consequent practical implementation in industries with repetitive production system and multiple products. A study case was conducted, identifying reduction and qualification in inventory, increasing productivity as results. / O primeiro objetivo deste trabalho é classificar a estratégia de planejamento e controle de produção (PCP) e o sistema de coordenação de ordens (SCO) de uma indústria de confecção. E, o segundo, é propor um modelo teórico baseado em estratégias de PCP e sequenciamento de produção, para sua consequente implantação prática em indústrias com sistema de produção repetitivo e com múltiplos produtos. Realizou-se um estudo de caso e apresentou-se os resultados, identificando redução e qualificação de estoque, e aumento da produtividade.

Neste trabalho apresentamos uma análise de possíveis processos de tunelamento em sistemas unidimensionais através do estudo do potencial de barreira dupla com região intermediária confinante, conseguimos verificar a existência de um processo de tunelamento que ocorre através da ocupação virtual da região intermediária. Uma modelagem deste fenômeno é proposta baseando-se em uma teoria perturbativa realizada em termos de estados \"quase-localizados\" da partícula. Além da descrição qualitativa do fenômeno, determinamos as condições físicas para que este processo de tunelamento, também chamado de cotunelamento ou tunelamento de ordem superior, ocorra. Como resultado, recuperamos com boa aproximação o coeficiente de transmissão exato do sistema escolhido. Por fim, um outro resultado obtido durante o desenvolvimento deste trabalho foi uma prova conclusiva da convergência do método de diferenças finitas FDTD aplicada à equação de Schrödinger. Esta prova, diferente das demais encontradas na literatura, conseguiu demonstrar de maneira conclusiva a inclusão do limite superior para o passo temporal, de maneira a assegurar a convergência das soluções numéricas, algo até então testado numericamente, mas sem uma prova rigorosa da sua validade. / In this work, we present a study about tunnelling processes occurring in one-dimensional systems. Choosing a double well potential with a confining region as a case study, we verified that there is a tunnelling process which is due to virtual occupation of the confining region. Using perturbative theory of quasi-localized states to describe the particles dynamics, we provide a qualitative description of the phenomenon of tunnelling through virtual occupation, and we are capable of determining the conditions for which such a tunneling (also known as cotunnelling or high-order tunneling) should be present. With this analysis we could calculate with good approximation the particle transmission coefficient through the barrier. Finally, we also provide a rigorous proof of the convergence conditions for the numerical calculation of the Schrödinger equation using the finite difference method.

Submitted by Fabricia Fialho Reginato (fabriciar) on 2015-07-04T00:15:03Z No. of bitstreams: 1 MateusFornasier.pdf: 4930264 bytes, checksum: d9c5ee5ff130b2db5f736011a7acbd1a (MD5) / Made available in DSpace on 2015-07-04T00:15:03Z (GMT). No. of bitstreams: 1 MateusFornasier.pdf: 4930264 bytes, checksum: d9c5ee5ff130b2db5f736011a7acbd1a (MD5) Previous issue date: 2013-11-06 / Nenhuma / O autor trabalhou, na seguinte tese, a seguinte temática: teorias que superem o normativismo e o legalismo positivistas, a fim de que se possa delinear uma metodologia capaz de observar (e construir) uma regulação jurídica adequada aos desafios que as nanotecnologias impõem ao Direito na pós-modernidade globalizada. Delimitou-se seu estudo às interações entre a Teoria do Direito e a forma de sociedade. Seu objetivo geral foi demonstrar que a complexidade pode ser elevada na tomada de decisões acerca das nanotecnologias. Seus objetivos específicos foram, respectivamente: a) demonstrar que a possibilidade de danos à saúde humana e ao meio ambiente oferecida pelas nanotecnologias faz com que seu desenvolvimento e uso desregulados representem um risco. Porém, as alternativas que têm sido oferecidas para tal, no Brasil , padecem de um legalismo simplista, linear, de pretensão omniabarcadora, diante de um problema extremamente complexo; b) analisar teoria dos sistemas autopoiéticos buscando expor sua fundamentação justamente na complexidade e na contingência, elementos característicos não apenas do desenvolvimento de altas tecnologias, mas também, diretamente relacionados à noção de risco; c) compreender o sistema do Direito, na teoria dos sistemas autopoiéticos, como sistema dinâmico, configurado evolutivamente – e que, na versão de Gunther Teubner, se configura como hiperciclo autocatalítico de vários elementos compositores do sistema (o que contribui para a melhor visualização de um Direito reflexivo como capaz de oferecer possibilidades de regulação para as nanotecnologias); d) apresentar, como possibilidade para a regulação das nanotecnologias, a metodologia do diálogo ultracíclico transordinal, embasada, principalmente, nas metodologias do transconstitucionalismo (Neves), do diálogo das fontes (Jayme) e nas teorias do hiperciclo e do ultraciclo (Teubner) – alternativas plausíveis para a observação do fenômeno jurídico na sociedade mundial. O método de abordagem utilizado foi o sistêmico-construtivista, o qual parte do pressuposto o fato de que toda a construção teórica se dá a partir do ponto de vista de um observador. Chegou-se, assim, à conclusão de que, diante de uma problemática complexa como é a da regulação das nanotecnologias, o mero controle a partir de ato legislativo omniabarcador linear não se mostra plausível, sendo o constructo metodológico do diálogo ultracíclico transordinal, fundamentado na abertura para uma solução dialogal entre vários tipos de comunicações jurídicas (e não apenas as de procedência estatal), mais adequada para a regulação jurídica das nanotecnologias. / The author had worked, in this thesis, the following theme: theories that are able to overcome positivist normativism and legalism, in order to draw a methodology that could be up to observe (and to construct) a juridical regulation adequate to the challenges that nanotechnologies impose to Law during the globalized post-modernity. Its scope was delimited to the interactions between Law Theory and formo f society. Its overall objective was to demonstrate that complexity can be very elevated through making decisions about nanotechnology. Its specific objectives were: a) to demonstrate that the possibility of harms and torts to human health and to the environment, that are offered by nanotechnology, make its development and unregulated use pose a risk. However, the alternatives that have been offered for this, in Brazil, suffer of a simplistic, linear, fully encompassing legalism, face to an extremely complex problem; b) to analyze the autopoietic systems theory, seeking to expose that its reasoning is found precisely inn the complexity and contingency, that are characteristic elements not only of the development of high technologies, but are also directly related to the notion of risk; c) understand the system of law, in the approach of theory of autopoietic systems, as a dynamic system, that is evolutionarily set - and that is a system, in the version of Gunther Teubner, configured as hypercyclic and autocatalytic, being composed of various elements (which contributes for a better viewing of a reflective Law, which is as capable of offering possibilities for nanotechnology regulation); d) to introduce, as a possibility for the regulation of nanotechnology, the ultracyclic and transordinal dialogue methodology, which is mainly based on methodologies of transconstitutionalism (Neves), dialogue of the sources (Jayme) and on the theories of the hypercycle and ultracycle (Teubner) – which are plausible alternatives for observing the legal phenomenon in world society. It used the systemic-constructivist method of approach, which assumes the fact that the whole theoretical construction starts from the point of view of an observer. It was obtained, as a conclusion, that face of such a complex problem as the regulation of nanotechnologies is, the mere control from the fully encompassing and linear legislative act does not prove to be plausible, being the methodological construction of ultracyclical and transordinal dialogue, which is based on the opening for a dialoguing solution between different types of juridical communications (and not only between the norms based on the State), more suitable for the juridical regulation of nanotechnologies.

CoordenaÃÃo de AperfeiÃoamento de NÃvel Superior / A noÃÃo de DecomposiÃÃo em Ãrvore foi introduzida por Robertson e Seymour em sua sÃrie de artigos sobre menores de grafos e pode ser definida, intuitivamente, como uma organizaÃÃo dos vÃrtices e arestas do grafo em uma estrutura de Ãrvore, sendo a largura da decomposiÃÃo igual ao tamanho do maior subconjunto de vÃrtices relacionado a um nà desta estrutura menos um. A largura mÃnima de uma decomposiÃÃo em Ãrvore de um grafo G à chamada de largura em Ãrvore de G. VÃrios problemas difÃceis podem ser resolvidos em tempo polinomial, dada uma decomposiÃÃo em Ãrvore de largura limitada, como, por exemplo, Ciclo Hamiltoniano, Conjunto Independente MÃximo, Isomorfismo, ColoraÃÃo de VÃrtices, etc. A complexidade dos algoritmos que resolvem tais problemas sÃo geralmente exponenciais na largura da decomposiÃÃo fornecida. Logo, à esperado que encontrar uma decomposiÃÃo de largura mÃnima seja um problema difÃcil. De fato, Arnborg, Corneil e Proskurowski [2] mostraram que o problema à NP - difÃcil. O problema de encontrar a largura em Ãrvore de um grafo qualquer à o objeto de estudo da presente dissertaÃÃo de mestrado. Uma restriÃÃo desse problema à o de decidir, para um inteiro k fixo, se a largura em Ãrvore de G à no mÃximo k. Apresentamos a prova de que o problema para k fixo pode ser resolvido polinomialmente. Na Ãltima dÃcada foram propostas vÃrias heurÃsticas que fornecem limites superiores para o problema [3, 10], heurÃsticas para o cÃlculo de limites inferiores [6, 8, 11], alÃm de mÃtodos enumerativos [5] e algoritmos aproximativos [1, 7, 4]. PorÃm, nenhum resultado obtido pode ser considerado bom, uma vez que nÃo existe um benchmark para o qual se conhece a largura em Ãrvore e os limites inferiores e superiores tÃm se mostrado muito distantes. AlÃm disso, o algoritmo enumerativo existente mostrou-se ineficiente mesmo para o problema de decisÃo com k fixo em valores pequenos (por exemplo, k = 4) [12]. à neste quadro que propomos um mÃtodo enumerativo para o problema. Na verdade, abordamos o problema de triangularizaÃÃo, que à equivalente ao problema de decomposiÃÃo em Ãrvore. Isso nos permitiu a proposta de uma nova representaÃÃo para uma soluÃÃo do problema que utiliza o conceito de ordens totais. Uma vez que as soluÃÃes podem assim ser representadas, um algoritmo que enumere as extensÃes totais de uma dada ordem parcial pode ser utilizado para enumerar todas as soluÃÃes do problema, bastando que fornecemos uma ordem que contenha apenas os pares reflexivos vv, onde v à um vÃrtice do grafo de entrada. O mÃtodo enumerativo proposto à uma modificaÃÃo do algoritmo de CorrÃa e Szwarcfiter [9]. Esta modificaÃÃo faz com que apenas as extensÃes totais da ordem fornecida seja enumerada. O algoritmo apresenta duas principais vantagens com relaÃÃo ao mÃtodo enumerativo proposto por Bodlaender e Kloks: pode ser utilizado juntamente com o mÃtodo âbranch and boundâ; e pode enumerar um sub-espaÃo de soluÃÃes, o que pode ser Ãtil caso se conheÃa algumas relaÃÃes existentes na soluÃÃo Ãtima, ou mesmo para investigar determinados sub-espaÃos de soluÃÃes. Implementamos e testamos o algoritmo proposto, aplicando o mÃtodo âbranch and boundâ e restringindo o espaÃo de soluÃÃes. As ordens parciais utilizadas para definir os sub-espaÃos explorados foram obtidas baseando-se nas heurÃsticas de limite superior que utilizam rotulaÃÃo. Infelizmente, nÃo obtivemos bons resultados, pois, mesmo restringindo o espaÃo de busca, a quantidade de nÃs gerados da Ãrvore de âbranch and boundâ foi muito grande, excedendo a quantidade de memÃria disponÃvel da mÃquina utilizada para os testes. No texto da dissertaÃÃo apresentamos tambÃm um estudo da complexidade do problema, um algoritmo para calcular uma decomposiÃÃo em Ãrvore Ãtima de um grafo cordal, alÃm das vÃrias heurÃsticas para o cÃlculo de limites superiores e inferiores existentes. AlÃm disso, implementamos e testamos as heurÃsticas de limite superior que utilizam rotulaÃÃo e uma heurÃstica GRASP, tendo sido o primeiro estudo de uma aplicaÃÃo da meta-heurÃstica GRASP para o problema de decomposiÃÃo em Ãrvore. / The notion of Tree Decomposition was introduced by Robertson and Seymour in their seris of articles about graph minors and can be intuitively seen as an organization of the vertices and edges of the graph in a tree structure, being the treewidth equal to the size of the largest subset of vertices minus one. The minimum treewidth over all tree decompositions of a graph gives us the treewidth of the graph. Many hard problems can be polinomially solved for a graph G if a tree decomposition with bounded treewidth of G is given. For instance, hamiltonian cycle, maximum independent set isomorphism, vertex coloring, etc. The complexity of the algorithm that solves such problems are generally exponential on the width of the given tree decomposition. So, we can expect that finding a tree decomposition of minimum width is hard. In fact, Arnborg, Corneil and Proskurowski [2] showed that the problem os NP-hard. The problem of finding the treewidth of a graph is the subject of this thesis. The decision variation of the problem is, given a graph G and for a fixed integer k, deciding if the treewidth of G is at most k. We discuss a proof that the decision problem can be polynomially solved. In the last decade were proposed many heuristics for computing upper bounds [3, 10], lower bounds [6, 8, 11], enumeration methods [5] and approximative algorithms [1, 7, 4]. However, none of these results can be considered as good ones, since there is no benchmarks for with the treewidth is known, as well as the difference between the lower and upper bounds for the existing benchmarks is very large. Additionally, the enumeration method was showed to be inefficient even for the decision problem with k fixed in small values (e.g., k = 4) [12]. So, we propose another enumeration method for the problem that can be used along with branch and bound techniques. Actually, we work with the triangulation problem that is equivalent to the tree decomposition problem. We propose a new representation of a solution, wich uses the concept of total orders. Once a solution ca be represented like that, an algorithm that enumerates all the total extensions of a given partial order can be used to enumerate all solutions for the tree decomposition problem, as long as we offer the partial order containing only the reflexive pairs vv, where v is a vertex of the input graph. The proposed enumeration method is a modification of the CorrÃa and Szwarcfiter algorithm [9]. This modification allows only the total extensions to be enumerated. The algorithm presents two principal advantages over the Bodlander and Kloks method: it can be used in conjunction with the Branch and Bound method; and it can enumerate a subspace of solutions, what can be useful if we know some existing relations in an optimal solution, or even to investigate such subspaces in order to characterize them. We have implemented and tested the proposed algorithm, applying the branch and bound method and restricting the subspace of solutions. The partial orders used to define the explored subspaces were obtained based on the labeling heuristics for finding upper bounds. Unfortunately, we did not obtain good results because, even when we restricted the subspace of solutions to be searched, the number of nodes generated in the branch and bound tree was too large, exceeding the machineâs memory capacity. In the text, we also present the proof of the NP-hardness of the problem, an algorithm to compute an optimal decompostion of a chordal graph, and also the many existing heuristics to compute lower and upper bounds. In addition, we implemented and tested the labeling heuristics for upper bounds and a GRASP heuristic, being the first application of a GRASP meta-heuristic to the problem.

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2012

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. / Made available in DSpace on 2012-10-17T05:27:21Z (GMT). No. of bitstreams: 0 / RÉSUMÉ: Au debut du XXème siècle, l’Eglise Catholique, structurée par catégories de hiérarchie et de pouvoir, tenai que les prérogatives papales du primauté et de Pinfalibilité lui accordaient unte auctorité globale: sur n’importe qui et n’importe quoi. Elle étendai aussi sa domination romaine - et d’une façon toute spéciale - sur la vie religieuse féminine qui par sa détermination suivait les normes d’une vie plus ou moins standardisée, codifiée par le Droit Canonique Les religieuses, éccartées du monde pour ateindre plus aisement “l’état de perfection”, menaient une vie selon les modèles prescritifs, en général façonnés pour des hommes et toujours par eux sanctionnés A cette même époque, naît à Rodeio, Santa Catarina, un group religieux de femmes qui, pour repondre à un besoin de la réalité locale, s’inscrit à l’intérieur de la paroisse, au milieu rural, où elles se dédient aux services de l’Education et de la Cathéchèse. Nommées par Mons. Joaquim Domingues de Oliveira, en ce temps évêque de Florianópolis, “Catéchistes” et l’ensemble, “Compagnie des Catéchistes”, elles fuyient le schéma quasi milenaire et sans couvent, sans clôture ni voeux et aux debuts sans habit religieux, inaugurent un modèle alternatif de vie consacrée. Le quotidien des Catéchistes, dans le processus du cheminement, même après avoir adopté des marques de la vie reiligieuse traditionnelle, antécipe dans sa façon d’être et de faire, des propositions et des expressions que le Concile Vatican II viendra faire à l’Eglise et à la vie religieuse. / No início do século XX, a Igreja Católica estruturada em categorias de hierarquia e poder, entendia que as prerrogativas papais do primado e da infalibilidade lhe concediam autoridade sobre todos e tudo. Estendia sua dominação romana também, e muito especialmente, sobre a vida religiosa feminina que por sua determinação seguia normas de um viver mais ou menos padronizado, codificado pelo Direito Canônico. As religiosas, separadas do mundo para mais facilmente alcançarem o ‘estado de perfeição’, levavam vida de acordo com os modelos prescritivos, quase sempre elaborados por homens e sempre sancionados por eles. Nessa mesma época, nasce em Rodeio, Santa Catarina, um grupo religioso de mulheres que, para responder a uma carência da realidade local, insere-se no interior da paróquia, no meio rural, onde atendem ao serviço da educação e catequese. Chamadas por Dom Joaquim Domingues de Oliveira, então bispo de Florianópolis, de “Catequistas” e ao grupo de “Companhia das Catequistas”, fogem ao esquema quase milenar e sem convento, sem clausura, sem votos e nos primeiros tempos sem hábito, inauguram um modelo alternativo de vida consagrada. O cotidiano das Catequistas, no processo da caminhada, mesmo depois de assumir marcas da vida religiosa tradicional, antecipa no seu modo de ser e de fazer, propostas e expressões que o Concílio Vaticano II, vem fazer à Igreja e à vida religiosa.

[pt] O trabalho analisa o papel das ordens honoríficas ao longo do Primeiro Reinado, entendendo-as como elementos fundamentais na constituição do Estado Imperial brasileiro. As condecorações eram concedidas pelo imperador a todos que prestassem serviços a ele e ao Estado, de forma que a larga utilização destes recursos permite entrever que D.Pedro os utilizava como instrumento de cooptação de alianças políticas, exercidas localmente. As ordens eram parte significativa das representações mentais daquela sociedade, pois elevavam hierarquicamente seus membros. Atendiam, portanto, ao desejo de distinção que permeava o tecido social pela existência de um forte sentimento aristocrático. A importância destes elementos é constatada não apenas pela quantidade de condecorações concedidas, mas também pela grande preocupação que estes suscitaram nas discussões promovidas no Parlamento e em veículos impressos. Aqueles que se dispuseram a discutir a constituição do novo Estado que se criava não deixaram de refletir sobre o papel destes instrumentos e suas ligações com o tipo de sociedade e de projeto político a eles ligados. / [en] The thesis analyzes the role of honorary orders during the First Reign, understanding them as a key element in the constitution of the Brazilian Imperial State. Those who received an award granted by the emperor were required to provide services to him and to the state, so that the widespread use of these resources shows that D.Pedro used it as an instrument to create political alliances locally constructed. The orders were a significant element of the mental representations of the Brazilian society on the nineteenth century, because its members ascend hierarchically. Thus it fulfilled the desire of distinction that permeated the society by the existence of a strong aristocratic feeling. The importance of these elements is evidenced not only by the amount of awards granted, but also by the major concern raised in the discussions of these elements held in Parliament and in media. Those who were willing to discuss the constitution of the new state reflected also on the role of these instruments and its links to the kind of society and political project associated with them.

SILVA, Ana Shirley Ferreira da. Um estudo computacional sobre o problema de decomposição de grafos em árvore. 2005. 103 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2005. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-24T19:54:20Z No. of bitstreams: 1 2005_dis_asfsilva.pdf: 965121 bytes, checksum: 0620082b39fd950bff00ce625f59f846 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-24T19:54:44Z (GMT) No. of bitstreams: 1 2005_dis_asfsilva.pdf: 965121 bytes, checksum: 0620082b39fd950bff00ce625f59f846 (MD5) / Made available in DSpace on 2016-05-24T19:54:44Z (GMT). No. of bitstreams: 1 2005_dis_asfsilva.pdf: 965121 bytes, checksum: 0620082b39fd950bff00ce625f59f846 (MD5) Previous issue date: 2005 / The notion of Tree Decomposition was introduced by Robertson and Seymour in their seris of articles about graph minors and can be intuitively seen as an organization of the vertices and edges of the graph in a tree structure, being the treewidth equal to the size of the largest subset of vertices minus one. The minimum treewidth over all tree decompositions of a graph gives us the treewidth of the graph. Many hard problems can be polinomially solved for a graph G if a tree decomposition with bounded treewidth of G is given. For instance, hamiltonian cycle, maximum independent set isomorphism, vertex coloring, etc. The complexity of the algorithm that solves such problems are generally exponential on the width of the given tree decomposition. So, we can expect that finding a tree decomposition of minimum width is hard. In fact, Arnborg, Corneil and Proskurowski [2] showed that the problem os NP-hard. The problem of finding the treewidth of a graph is the subject of this thesis. The decision variation of the problem is, given a graph G and for a fixed integer k, deciding if the treewidth of G is at most k. We discuss a proof that the decision problem can be polynomially solved. In the last decade were proposed many heuristics for computing upper bounds [3, 10], lower bounds [6, 8, 11], enumeration methods [5] and approximative algorithms [1, 7, 4]. However, none of these results can be considered as good ones, since there is no benchmarks for with the treewidth is known, as well as the difference between the lower and upper bounds for the existing benchmarks is very large. Additionally, the enumeration method was showed to be inefficient even for the decision problem with k fixed in small values (e.g., k = 4) [12]. So, we propose another enumeration method for the problem that can be used along with branch and bound techniques. Actually, we work with the triangulation problem that is equivalent to the tree decomposition problem. We propose a new representation of a solution, wich uses the concept of total orders. Once a solution ca be represented like that, an algorithm that enumerates all the total extensions of a given partial order can be used to enumerate all solutions for the tree decomposition problem, as long as we offer the partial order containing only the reflexive pairs vv, where v is a vertex of the input graph. The proposed enumeration method is a modification of the Corrêa and Szwarcfiter algorithm [9]. This modification allows only the total extensions to be enumerated. The algorithm presents two principal advantages over the Bodlander and Kloks method: it can be used in conjunction with the Branch and Bound method; and it can enumerate a subspace of solutions, what can be useful if we know some existing relations in an optimal solution, or even to investigate such subspaces in order to characterize them. We have implemented and tested the proposed algorithm, applying the branch and bound method and restricting the subspace of solutions. The partial orders used to define the explored subspaces were obtained based on the labeling heuristics for finding upper bounds. Unfortunately, we did not obtain good results because, even when we restricted the subspace of solutions to be searched, the number of nodes generated in the branch and bound tree was too large, exceeding the machine’s memory capacity. In the text, we also present the proof of the NP-hardness of the problem, an algorithm to compute an optimal decompostion of a chordal graph, and also the many existing heuristics to compute lower and upper bounds. In addition, we implemented and tested the labeling heuristics for upper bounds and a GRASP heuristic, being the first application of a GRASP meta-heuristic to the problem. / A noção de Decomposição em árvore foi introduzida por Robertson e Seymour em sua série de artigos sobre menores de grafos e pode ser definida, intuitivamente, como uma organização dos vértices e arestas do grafo em uma estrutura de árvore, sendo a largura da decomposição igual ao tamanho do maior subconjunto de vértices relacionado a um nó desta estrutura menos um. A largura mínima de uma decomposição em árvore de um grafo G é chamada de largura em árvore de G. Vários problemas difíceis podem ser resolvidos em tempo polinomial, dada uma decomposição em árvore de largura limitada, como, por exemplo, Ciclo Hamiltoniano, Conjunto Independente Máximo, Isomorfismo, Coloração de Vértices, etc. A complexidade dos algoritmos que resolvem tais problemas são geralmente exponenciais na largura da decomposição fornecida. Logo, é esperado que encontrar uma decomposição de largura mínima seja um problema difícil. De fato, Arnborg, Corneil e Proskurowski [2] mostraram que o problema é NP - difícil. O problema de encontrar a largura em árvore de um grafo qualquer é o objeto de estudo da presente dissertação de mestrado. Uma restrição desse problema é o de decidir, para um inteiro k fixo, se a largura em árvore de G é no máximo k. Apresentamos a prova de que o problema para k fixo pode ser resolvido polinomialmente. Na última década foram propostas várias heurísticas que fornecem limites superiores para o problema [3, 10], heurísticas para o cálculo de limites inferiores [6, 8, 11], além de métodos enumerativos [5] e algoritmos aproximativos [1, 7, 4]. Porém, nenhum resultado obtido pode ser considerado bom, uma vez que não existe um benchmark para o qual se conhece a largura em árvore e os limites inferiores e superiores têm se mostrado muito distantes. Além disso, o algoritmo enumerativo existente mostrou-se ineficiente mesmo para o problema de decisão com k fixo em valores pequenos (por exemplo, k = 4) [12]. É neste quadro que propomos um método enumerativo para o problema. Na verdade, abordamos o problema de triangularização, que é equivalente ao problema de decomposição em árvore. Isso nos permitiu a proposta de uma nova representação para uma solução do problema que utiliza o conceito de ordens totais. Uma vez que as soluções podem assim ser representadas, um algoritmo que enumere as extensões totais de uma dada ordem parcial pode ser utilizado para enumerar todas as soluções do problema, bastando que fornecemos uma ordem que contenha apenas os pares reflexivos vv, onde v é um vértice do grafo de entrada. O método enumerativo proposto é uma modificação do algoritmo de Corrêa e Szwarcfiter [9]. Esta modificação faz com que apenas as extensões totais da ordem fornecida seja enumerada. O algoritmo apresenta duas principais vantagens com relação ao método enumerativo proposto por Bodlaender e Kloks: pode ser utilizado juntamente com o método “branch and bound”; e pode enumerar um sub-espaço de soluções, o que pode ser útil caso se conheça algumas relações existentes na solução ótima, ou mesmo para investigar determinados sub-espaços de soluções. Implementamos e testamos o algoritmo proposto, aplicando o método “branch and bound” e restringindo o espaço de soluções. As ordens parciais utilizadas para definir os sub-espaços explorados foram obtidas baseando-se nas heurísticas de limite superior que utilizam rotulação. Infelizmente, não obtivemos bons resultados, pois, mesmo restringindo o espaço de busca, a quantidade de nós gerados da árvore de “branch and bound” foi muito grande, excedendo a quantidade de memória disponível da máquina utilizada para os testes. No texto da dissertação apresentamos também um estudo da complexidade do problema, um algoritmo para calcular uma decomposição em árvore ótima de um grafo cordal, além das várias heurísticas para o cálculo de limites superiores e inferiores existentes. Além disso, implementamos e testamos as heurísticas de limite superior que utilizam rotulação e uma heurística GRASP, tendo sido o primeiro estudo de uma aplicação da meta-heurística GRASP para o problema de decomposição em árvore.

Made available in DSpace on 2016-06-02T19:51:34Z (GMT). No. of bitstreams: 1 1731.pdf: 5779358 bytes, checksum: ae5cead15785ce8d6fb3b0cbf86cc72e (MD5) Previous issue date: 2008-02-15 / This work presents a proposal of implementing an Ordering System based on the Bata Manufacturing Strategy (BMS). The aim is to verify the interference and effectiveness of this system on the activities of the Production Planning and Control of a thermoplastics process factory. Its theory s reference comes from the Bata Manufacturing Strategy (BMS), the Ordering Systems (OS) and the Performance Measurement Systems (PMS). The Action- Research method was used to verify the relation between the ideal model and the one obtained when put on a practical experience. Firstly, a model system is proposed on what this work was developed, its main features and details that connect the BSM, the OS and the PMS. Then, an application example of the system in a thermoplastics process factory is showed using the blow molding process of High Density Polyethylene and Polyvinyl Chloride bottles for cosmetics industries and drugstores. Furthermore, the main results obtained when implementing this system are also presented as well as an evaluation of the procedures created to control the material and human resources and how these controls influence the Production Planning and Control activities of this factory. Another important point of this work is also to present a new approach on how to implement the Bata Manufacturing Strategy / O presente trabalho apresenta uma proposta de implantação de um Sistema de Coordenação de Ordens (SCO) baseado na Estratégia Bata de Manufatura (EBM). O intuito deste trabalho é verificar a interferência e eficácia deste sistema nas atividades de PCP de uma fábrica de processamento de termoplásticos. O referencial teórico deste trabalho é fundamentado na EBM, nos SCO e nos Sistemas de Medição de Desempenho (SMD). Foi utilizado o método de pesquisa-ação como recurso para se determinar a relação entre o modelo idealizado e o verificado na prática no objeto de estudo analisado. Inicialmente é proposto um modelo de sistema sobre o qual foi realizado o estudo, suas principais características e detalhes que interligam a EBM, os SCO e os SMD. Em seguida, é apresentada a aplicação do sistema numa fábrica de processamento de termoplásticos, cujo processo é o de sopro de embalagens de PEAD (Polietileno de Alta Densidade) e PVC (Policloreto de Vinila) para indústrias de cosméticos e farmácias de manipulação. São apontados, portanto, os principais resultados obtidos com a implantação deste sistema no processo definido. São também avaliados neste estudo os procedimentos criados para controle de recursos materiais e humanos, bem como a influência que estes controles exercem sobre as atividades de PCP desta fábrica. Outro ponto chave deste estudo é apresentar uma nova abordagem de aplicação da Estratégia Bata de Manufatura

Neste trabalho apresentamos uma análise de possíveis processos de tunelamento em sistemas unidimensionais através do estudo do potencial de barreira dupla com região intermediária confinante, conseguimos verificar a existência de um processo de tunelamento que ocorre através da ocupação virtual da região intermediária. Uma modelagem deste fenômeno é proposta baseando-se em uma teoria perturbativa realizada em termos de estados \"quase-localizados\" da partícula. Além da descrição qualitativa do fenômeno, determinamos as condições físicas para que este processo de tunelamento, também chamado de cotunelamento ou tunelamento de ordem superior, ocorra. Como resultado, recuperamos com boa aproximação o coeficiente de transmissão exato do sistema escolhido. Por fim, um outro resultado obtido durante o desenvolvimento deste trabalho foi uma prova conclusiva da convergência do método de diferenças finitas FDTD aplicada à equação de Schrödinger. Esta prova, diferente das demais encontradas na literatura, conseguiu demonstrar de maneira conclusiva a inclusão do limite superior para o passo temporal, de maneira a assegurar a convergência das soluções numéricas, algo até então testado numericamente, mas sem uma prova rigorosa da sua validade. / In this work, we present a study about tunnelling processes occurring in one-dimensional systems. Choosing a double well potential with a confining region as a case study, we verified that there is a tunnelling process which is due to virtual occupation of the confining region. Using perturbative theory of quasi-localized states to describe the particles dynamics, we provide a qualitative description of the phenomenon of tunnelling through virtual occupation, and we are capable of determining the conditions for which such a tunneling (also known as cotunnelling or high-order tunneling) should be present. With this analysis we could calculate with good approximation the particle transmission coefficient through the barrier. Finally, we also provide a rigorous proof of the convergence conditions for the numerical calculation of the Schrödinger equation using the finite difference method.