Orientador: Teresa M. K. Ravagnani / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-21T08:42:51Z (GMT). No. of bitstreams: 1 Sousa_MarceloBatistade_M.pdf: 3087300 bytes, checksum: 191ec82f9ac66016c00f243835c1e4ab (MD5) Previous issue date: 1996 / Resumo: O presente trabalho apresenta um modelo matemático pesquisado em literatura para simular o sistema de conversão de uma fábrica de ácido sulfúrico. O sistema de conversão é composto basicamente pelo reator de quatro estágios e pelos trocadores de calor responsáveis pelas trocas térmicas intermediárias. Para executar a simulação é desenvolvido um programa computacional escrito em PASCAL. O modelo considerado foi o de um reator do tipo pistonado. A reação catalisada de oxidação de dióxido de enxofre a trióxido de enxofre tem sua taxa reacional calculada de acordo com os métodos apresentados ao longo da dissertação, que envolvem diferentes mecanismos considerados. O catalisador utilizado é o de pentóxido de vanádio suportado em terra diatomácea, tendo como promotores óxidos alcalinos. Opcionalmente, o programa computacional executa também a otimização do sistema de conversão, permitindo avaliar-se a situação operacional presente e se necessário, fazer os devidos ajustes que resultem num ganho de conversão. Esta otimização é realizada através de sucessivas simulações variando-se a temperatura de entrada em cada estágio do reator. Os resultados obtidos são avaliados e quando possível, comparados a dados experimentais. As comparações, no geral forneceram boa concordância com o observado na prática. Os dados demonstram ser vantajoso o uso do sistema para monitoramento instantâneo da planta, bem como para otimização operacional / Abstract: Not informed. / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Orientador: Marko Antonio Rojas Medar / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-22T03:29:54Z (GMT). No. of bitstreams: 1 Primo_PatriciaGoncalves_M.pdf: 1055241 bytes, checksum: 56a87088fd97403cf899aebf5c1691c9 (MD5) Previous issue date: 1997 / Resumo: Neste trabalho estuda-se condições necessárias e suficientes de otimalidade, segundo Zalmai, para problemas de programação matemática finito e infinito. Faz-se isso através de teoremas de alternativa do tipo de Gordan, tanto para o caso finito quanto para o caso infinito-aimensional, gerando-se desse modo, teoremas de Fritz John e Karush.-K1,lhn- Tucker para ambos os casos. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador: Secundino Soares Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T18:03:19Z (GMT). No. of bitstreams: 1 Ferreira_RaquelFarah_M.pdf: 2166811 bytes, checksum: 9257b6501e194838b145cd138e22a774 (MD5) Previous issue date: 1997 / Mestrado

Orientador: Cid Carvalho de Souza / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T19:24:02Z (GMT). No. of bitstreams: 1 Meneses_ClaudioNogueirade_M.pdf: 3238026 bytes, checksum: bd3af0337218ec84f17c26c345abf4f8 (MD5) Previous issue date: 1997 / Resumo: Dado um retângulo R e um conjunto finito não vazio P de pontos no interior de R, estudamos o problema de particionar R em retângulos menores tal que nenhum ponto em P está no interior de qualquer retângulo da partição. O objetivo é minimizar a soma dos comprimentos dos segmentos de reta definindo a partição. Este problema é NP-difícil e uma generalização deste tem aplicação em projeto de circuitos VLSI. Neste trabalho implementamos os principais algoritmos de aproximação que têm sido propostos para este problema e propomos dois diferentes modelos de programação linear inteira. No primeiro modelo, onde variáveis são associadas a segmentos de reta, fazemos uma investigação do poliedro associado ao problema. Inequações lineares definindo facets são apresentadas e resultados computacionais para um algoritmo Branch-and-Cut baseado nestas inequações são reportados. O segundo modelo é baseado em uma redução do problema em questão para o problema set partitioning. Um algoritmo Branch-and-Price para este modelo foi implementando e os resultados são comparados com aqueles obtidos pelo algoritmo Branch-and-Cut. Os experimentos computacionais realizados mostraram a viabilidade da resolução exata deste problema através de técnicas de programação linear inteira, pelo menos para instâncias de médio porte (|P| = 200). / Abstract: Given a rectangle R in the plane and a non empty finite set P of points in the interior of R, we study the problem of partitioning R into smaller rectangles such that no point in P is interior to any rectangle of the partition. The goal is to minimize the sum of the lengths of the straight line segments defining the partition. This problem is NP-hard and a generalization of it have application in VLSI design. In this work we implement the main approximation algorithms that have been proposed for this problem and propose two different integer programming models. In the first one, the variables are associated to line segments and we investigate the polyhedron associated to this model. Facet defining inequalities are presented and computational results obtained by a Branch-and-Cut algorithm based on these inequalities are reported. The second model is based on a Set Partitioning formulation. A Branch-and-Price algorithm for this model has been implemented and the results are compared with those obtained by the Branch-and-Cut algorithm. The computational results show that, at least for medium sized instances (IPI = 200), the problem can be solved exactly using Integer Programming techniques. / Mestrado / Mestre em Ciência da Computação

Orientadores: Marcos Nereu Arenales, Christiano Lyra Filho / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T21:02:26Z (GMT). No. of bitstreams: 1 Cavichia_MarioConrado_D.pdf: 5998163 bytes, checksum: f6c1820237d358eb60f8cd3709fe7cc4 (MD5) Previous issue date: 1997 / Resumo: Este trabalho tem como objetivo o desenvolvimento de algoritmos de pontos interiores, visando a resolução de problemas de minimização de funções objetivos lineares por partes, separáveis e convexas, sujeitas ainda a restrições lineares. Os métodos disponíveis na literatura para esta classe de problemas são do tipo simplex, com exceção de casos particulares. Uma prática comum para a resolução de programas lineares por partes consiste em transformá-Io num programa linear e explorar suas propriedades. Mostramos que esta estratégia pode ser adequada para métodos do tipo simplex, porém inadequada para métodos de pontos interiores. Neste trabalho abordamos o programa linear por partes diretamente como um problema de programação não linear. Para tanto apresentamos o que convencionamos chamar algoritmo linear por partes interior, isto é, um algoritmo que gera pontos interiores no problema original, embora a solução transformada esteja na fronteira. Mostramos que não se trata de uma simples extensão de um algoritmo de ponto interior aplicado ao programa linear transformado. Apresentamos também uma breve experiência computacional. O algoritmo proposto é aplicado em alguns problemas, sendo alguns elaborados a partir de exemplos-teste retirados da NetLib. Antes da apresentação do algoritmo linear por partes interior, fazemos uma revisão dos vários métodos de pontos interiores, apresentando-os sob um ponto de vista unificado, dando uma pequena contribuição quando da apresentação do algoritmo primal para problemas canalizados, sob tal ponto de vista. Em seguida, o método simplex linear por partes é apresentado para efeito de complementação de informações. Como proposta de estudo futuro, introduzimos um problema que pode ser visto como de programação linear por partes: o problema conhecido como minmax. No decorrer do trabalho, uma relação de outras aplicações que podem ser tratadas sob a ótica aqui abordada é apresentada / Abstract: The objective of this work is the development of an interior point algorithm for a piecewise linear programming problem (PLP). In contrast to the most papers which prefer to transform a PLP in a linear programming problem (LP) and then take advantage of a specific structure now created or considering the problem as an extension of the linear programming problem, using now a piecewise linear simplex algorithm. The PLP will be considered as a problem of non-linear programming and in this context will be proposed an algorithm of interior point in order to solve it. The proposed algorithm is applied to problems, with some of them constructed using examples from NetLib. Before the main algorithm, a review of several interior point methods is presented, under an unified point of view. A review of this nature gives a small contribution when the primal algorithm for bounded linear problems is presented. The piecewise linear simplex method is then developed. / Doutorado / Doutor em Engenharia Elétrica

Orientadores: Pedro Sergio de Souza, Marcus Vinicius Poggi de Aragão / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T21:33:18Z (GMT). No. of bitstreams: 1 Haddad_ElaineGaspareto_M.pdf: 1752527 bytes, checksum: 6ecf36f9a07b62f0718f185c0fd4ca43 (MD5) Previous issue date: 1997 / Resumo: Este trabalho aborda o problema de seqüenciamento de tarefas conhecido como Job Shop Scheduling Problem (JSP). O objetivo aqui é mostrar a adequação de uma técnica conhecida como Times Assíncronos (A-Teams), para resolver este problema de otimização combinatória, que é bastante freqüente em ambientes industriais. Esta abordagem tem sido aplicada com sucesso na resolução de outros problemas, como o Traveling Salesman Problem, o Flow-Shop Problem e até mesmo o próprio Job Shop Problem sob uma abordagem de heurísticas de construção. Esta técnica está baseada na cooperação de algoritmos heurísticos no sentido de obter soluções, possivelmente, melhores que aquelas obtidas quando os mesmos algoritmos são executados isoladamente. Neste trabalho, o enfoque é dado a heurísticas de melhoria. Outros tipos de algorit­mos foram desenvolvidos para compor os A-Teams. Estes A-Teams desenvolvidos foram acoplados a um outro já existente, baseado em heurísticas de construção. Algumas instâncias de JSP foram testadas e os resultados obtidos atestam a adequação desta técnica para a resolução deste problema. / Abstract: This work treats the sequencing of tasks problem known as Job Shop Scheduling Problem. The goal here is to show the adequability of a technique known as Assynchronous Teams (A-Teams) to solve this optimization problem which is used in industrial environments. This approach has been applied successfully in the solving of other problems such as the Traveling Salesman Problem, Flow Shop Problem and the Job Shop Problem itself using construction heuristics algorithms. This technique is based on the cooperation of some heuristics algorithms in order to obtain solutions, possibly better then ones obtained when same algorithms are working alone. In this work, the focus is on the development of improvement heuristics algorithms. Another type of algorithms were also developed to form the A-Teams. These A-Teams developed were joined to another one, based in construction heuristics. Some instances of the JSP were tested and the results obtained show the adequability oí this technique to solve this problem. / Mestrado / Mestre em Ciência da Computação

Orientador: Marko Antonio Rojas Medar / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-22T21:20:37Z (GMT). No. of bitstreams: 1 Rezende_ElianeAuxiliadora_M.pdf: 2940035 bytes, checksum: 279b571ba47c393a828462bed5201c88 (MD5) Previous issue date: 1997 / Resumo: Neste trabalho apresentamos uma teoria geral devida a Dubovitskii e Milyutin para obtermos condições necessárias de otimalidade em vários problemas de Otimização. J\p, ferramentas essenciais usadas são: Análise funcional e Análise convexa. Aplicamos os resultados gerais para obtermos as condições clássicas de Fritz-Jolm e Karush-Kulm- Thcker da programação matemática e as condições necessárias de otimalidade do Princípio do Máximo de Pontryagin da teoria de controle. Em seguida fazemos uma aplicação ao clássico problema do Pouso Brando. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientadores: Jose Mario Martinez, Vera L. R. Lopes / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T04:11:49Z (GMT). No. of bitstreams: 1 PerezMera_Rosana_D.pdf: 1994094 bytes, checksum: 8ebb034245b2a5186c9dd1f4efe2d7d5 (MD5) Previous issue date: 1997 / Resumo: É apresentada uma família de métodos Least Change Secant U pdate para resolver problemas de Complementaridade N ao Linear (PCN) , baseados em sistemas de equações não lineares não diferenciáveis. Resultados de convergência local e superlinear são provados. São comparadas duas reformulações distintas do PCN como sistema de equações não lineares, tanto do ponto de vista teórico como prático. Um algoritmo global para resolver o PCN, que usa os algoritmos introduzidos aqui é também apresentado. Alguns experimentos numéricos mostram um bom desempenho deste algoritmo. / Abstract: A family of Least Change Secant Update methods for solving Nonlinear Com pIementarity Problems based on Nonsmooth Systems of Equations is introduced. Local and superlinear convergence results for the algorithms are proved. Two different reformulations of the Nonlinear Complementarity Problem as a nonsmooth system are compared, both from the theoretical and the practical point of view. A global algorithm for solving the Nonlinear Complementarity Problem which uses the algorithms introduced here is also presented. Some numerical experiments show a good performance of this algorithm. / Doutorado / Doutor em Matemática Aplicada

Orientador: Pedro Luis Dias Peres / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T14:22:07Z (GMT). No. of bitstreams: 1 Ramos_DomingosCandidoWong_M.pdf: 3977693 bytes, checksum: 0dfec7335e98f9aa9bf810c17494208d (MD5) Previous issue date: 1998 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Pedro Luis Dias Peres / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T18:56:25Z (GMT). No. of bitstreams: 1 Takahashi_RicardoHiroshiCaldeira_D.pdf: 13961040 bytes, checksum: 9bccd9d0f46536dc29404184f6b57ebe (MD5) Previous issue date: 1998 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica