Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T23:23:54Z (GMT). No. of bitstreams: 1 203425.pdf: 2035545 bytes, checksum: 65c174adbc232a7c2f2f9267702383bd (MD5) / Nas últimas décadas houve um aumento significativo na capacidade de transporte de dados em redes fotônicas, e hoje já é possível se falar em taxas de Terabits por segundo com o uso da tecnologia de multiplexação por divisão em comprimento de onda (WDM). A diferença entre capacidade de transmissão óptica e eletrônica é geralmente chamada de gargalo eletrônico. De qualquer forma, o espectro óptico também possui limitações; daí surge o interesse para os estudos da reutilização dos comprimentos de onda. Este trabalho resulta de um estudo da coordenação de caminhos ópticos e comprimentos de onda para redes fotônicas, mais especificamente o projeto de topologias virtuais sobre uma topologia física existente, visando diminuir a necessidade de conversão e processamento óptico-elétrico-óptico (O-E-O). Apresenta-se a implementação de um sistema com base heurística para a geração de caminhos ópticos que contribuam para a otimização do tráfego a partir de uma matriz de tráfego (padrão de tráfego da rede) e topologia física conhecida. Também são apresentadas as evoluções das redes ópticas, distinta em gerações, os demais conceitos importantes sobre os elementos necessários para a constituição de um sistema óptico e, finalmente, os resultados dos testes realizados sobre uma rede óptica hipotética.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-18T19:04:19Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T04:04:56Z : No. of bitstreams: 1 138071.pdf: 3702796 bytes, checksum: e45aa7b8d3afb25a02ebaa3fce7c7ec8 (MD5)

Made available in DSpace on 2015-08-20T17:09:32Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-11-11. Added 1 bitstream(s) on 2015-08-20T17:26:54Z : No. of bitstreams: 1 000846221.pdf: 1635996 bytes, checksum: 3433248530a7bdc61a9bdbec1086772b (MD5) / A geração eficiente de implicantes primos é um fator importante na fase de cobertura dos mintermos em métodos de minimização de funções booleanas. Este trabalho apresenta uma versão aprimorada do método denominado de Clause-Column Table, utilizado na geração de implicantes primos. Neste novo algoritmo adicionou-se o teorema da adjacência e um novo critério de parada. Estas modificações evitaram a geração de termos nulos e iterações desnecessárias que ocorriam no algoritmo original. O algoritmo original e o aprimorado foram implementados em linguagem C e comparados. O método Clause-Column Table Aprimorado também foi comparado com o método Quine-McCluskey e Expander. Os resultados comprovaram que a versão aprimorada gera menos iterações que a versão original, e que na maioria das funções analisadas evitou-se a geração de termos nulos. Ao comparar com o método de Quine-McCluskey e o Expander comprovou-se que o método Clause-Column Table Aprimorado é superior na geração dos implicantes primos, pois em alguns casos elimina aqueles que não são necessários para a cobertura da função. De posse dos implicantes primos o problema de cobertura dos mintermos foi formulado como um problema de programação linear inteira 0 e 1, em que a solução se abre a todos os avanços ocorridos na área de programação linear visando a obtenção de uma solução mínima / Efficient generation of prime implicants is an important factor in the coverage phase of minterms in minimization's methods of Boolean functions. This research presents an improved version of the method called Clause-Column Table, used to generate prime implicants. In this new algorithm was added to the adjacency theorem and a new stopping criterion. These modifications prevented the generation of null terms and unnecessary iterations that occurred in the original algorithm. The original and improved algorithms were implemented in C language and compared. The Clause-Column Table Improved method was compared with the Expander and Quine-McCluskey method. The results proved that the improved version generates fewer iterations than the original version, and that in most functions analyzed it was avoided the generation of null terms. Comparing Quine-McCluskey method and the Expander it was proved that the Clause-Column Table Enhanced method is superior in the generation of prime implicants, since in some cases eliminates those who are not required to cover the function. In ownership of the prime implicants the cover problem of minterms was formulated as an integer linear programming problem of 0 and 1, where the solution is open to all advances in the area of linear programming in order to obtain a minimal solution

Made available in DSpace on 2015-08-20T17:09:35Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-12-12. Added 1 bitstream(s) on 2015-08-20T17:26:50Z : No. of bitstreams: 1 000844250.pdf: 1828617 bytes, checksum: 76e731b5aec7d79741d059ecd22502c8 (MD5) / A presente pesquisa apresenta uma análise teórica de alguns tópicos relevantes de programação linear relacionados ao método simplex. A motivação de analisar esses tópicos é torná-los mais didáticos e incentivar a aplicação dos mesmos na otimização de sistemas de energia elétrica e, em geral, na aplicação na otimização de problemas de engenharia. O método simplex em programação linear (PL) que foi por muito tempo a principal técnica de otimização de problemas de otimização lineares e não lineares (usado após a linearização) ainda é o mais utilizado na otimização de muitos problemas reais na engenharia e particularmente na engenharia elétrica. O método simplex resolve um problema de programação linear usando uma estratégia conceitualmente refinada. Para conhecer todas as versões do método simplex que podem ser usadas para resolver um problema de programação linear e também para dominar a parte conceitual do mesmo é necessário entender o ótimo de um problema de programação linear, quando um problema de programação linear é ilimitado, a lógica de otimização do método primal simplex, as condições nas quais um método simplex precisa de variáveis artificiais, o método primal simplex revisado, a teoria da dualidade em programação linear, a lógica de otimização do método dual simplex, a teoria da análise de sensibilidade e p ́os-otimizac ̧ão em programação linear, a lógica de otimização do método primal simplex canalizado bem como do método dual simplex canalizado. O produto desta pesquisa consiste em gerar um material didático que ajude de forma mais eficiente aos iniciantes em tópicos de pesquisa operacional. Desta forma, apresenta-se uma análise teórica e a reformulação de alguns tópicos relevantes relacionados com o método simplex na resolução de problemas de PL / This research presents a theoretical analysis of some relevant topics related to linear programming via simplex method. The motivation of analyzing these topics makes them more didactic and easy to understand. As these kinds of methodologies are fast and unequivocal, they are applicable in various real-world engineering problems particularly in the field of power system optimization. In linear programming (LP), the simplex method has been the main technique to optimize the linear problem as well as the linearized problem (a problem with the nonlinear nature). The simplex method solves a linear programming problem using a conceptually refined strategy. In order to understand all of the available versions of the simplex method that can be used to find the solution of a linear programming problem and in order to have a detail study on them, it is necessary to understand: the optimality of such problems, where a linear programming problem is limited, the logic of optimization of the primal simplex method, in which condition a simplex method needs artificial variables, the revised primal simplex method, the duality theory in linear programming, the logic of optimization of the dual simplex methodology, the theory of sensitivity analysis and post-optimization in linear programming, and the logic of the primal or dual simplex for the boundary variables. The output of this research is to prepare a didactic reference and a user manual to help the beginner researchers in operations research. Therefore, a theoretical analysis and reformulation of some relevant topics related to the simplex method for solving LP problems is presented

Made available in DSpace on 2014-11-10T11:09:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-04-26Bitstream added on 2014-11-10T11:57:56Z : No. of bitstreams: 1 000793224.pdf: 1886730 bytes, checksum: 7281d86dc8378949468610bdc6fa019c (MD5) / Neste trabalho é apresentado o desenvolvimento de um modelo de programação linear inteira mista e outro de programação cônica de segunda ordem inteira mista para resolver o problema de alocação de bancos de capacitores fixos e/ou chaveados ao longo dos alimentadores primários de sistemas de distribuição de energia elétrica radiais, com o propósito de melhorar o perfil da magnitude de tensão e minimizar os custos de perdas de energia e de investimento. Nos modelos propostos, o cálculo do ponto de operação em regime permanente de sistemas de distribuição radiais é modelado matematicamente usando expressões lineares e cônicas de segunda ordem. O uso dos modelos garante a convergência para a solução ótima usando ferramentas de otimização clássica existentes. Os sistemas testes de 70, 136, 202 e 400 nós são utilizados para mostrar a exatidão dos modelos matemáticos, como também a eficiência das técnicas de solução propostas para resolver o problema de alocação de bancos de capacitores em sistemas de distribuição radiais. / This work shows the development of a mixed integer linear programming model and a mixed integer second-order conic programming model to solve the allocation problem of fixed or switched capacitors banks in radial electrical distribution systems, with the aims to improve the voltage magnitude profile and minimize the energy losses and investment costs. In the proposed models, the steady-state operation point of the radial distribution system is modeled through linear and second-order conic expressions. The use of a mixed-integer linear programming model and a second-order conic programming model guarantee convergence to optimality using existing optimization software. The test systems of 70, 136, 202 and 400 nodes are used in order to show the accuracy of the mathematical models, as well as the efficiency of the proposed solution technique to solve the allocation problem of fixed or switched capacitors banks in a radial distribution system.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2015. / Submitted by Raquel Viana (raquelviana@bce.unb.br) on 2015-12-01T15:57:31Z No. of bitstreams: 1 2015_MarceloEustáquioSoaresdeLimaJúnior.pdf: 30575722 bytes, checksum: b66272514664bc6824a2d99836dcffc9 (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2015-12-20T15:40:26Z (GMT) No. of bitstreams: 1 2015_MarceloEustáquioSoaresdeLimaJúnior.pdf: 30575722 bytes, checksum: b66272514664bc6824a2d99836dcffc9 (MD5) / Made available in DSpace on 2015-12-20T15:40:26Z (GMT). No. of bitstreams: 1 2015_MarceloEustáquioSoaresdeLimaJúnior.pdf: 30575722 bytes, checksum: b66272514664bc6824a2d99836dcffc9 (MD5) / A principal ideia deste trabalho foi de aplicar o conteúdo Programação Linear no Ensino Médio de forma contextualizada e com a utilização dos sotwares Geogebra e o Excel. Neste trabalho abordamos a metodologia da resolução de problemas, partindo de exemplos que busquem a otimização através da programação linear. O experimento tem por objetivo principal descrever a abordagem utilizada na implementação realizada a partir desses problemas. ______________________________________________________________________________________________ ABSTRACT / The main idea of this work was to apply the Linear Programming in secondary education content in context and with the use of Geogebra sotwares and Excel. This paper deals with the methodology of solving problems, starting with exempls involving optimization through linear programming. The experiment's main objective is to describe the approach used in the implementation carried out from these problems.

Determinar probabilidades para eventos no qual temos poucas informações ou intervalos para probabilidades não é tão simples. Para isso desenvolveremos conceitos de programação linear, que nos permite resolver de certo modo, o problema de determinar uma probabilidade para um evento de interesse, porém nem sempre de maneira única. Apresentaremos alguns exemplos clássicos da estatística, sendo eles: O Problema de Monty Hall e o Problema da Probabilidade do Testemunho. Além disso, discutiremos o problema de precificação de uma opção de compra, o quais utilizaremos programação linear para resolvê-los. / Determine probabilities for events where we have few information or intervals for probabilities is not so simple. For this we will develop concepts of linear programming, which allows us to solve, in a certain way, the problem of determine a probability for an event of interest, but not always in a unique way. We will present some classic examples of statistics, such as: The Monty Hall Problem and De La Probabilité Des Témoignages. In addition, we will discuss the problem of pricing a call option, where we will use linear programming to solve them.

Orientador : Prof. Dr. Fabiano Silva / Tese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 21/02/2017 / Inclui referências : f. 67-71 / Área de concentração : Ciência da computação / Resumo: Várias codificações de problemas relevantes para SAT ou suas variações são conhecidas e estudadas pela comunidade. Uma possível maneira de mensurar a eficiência destas codificações consiste em avaliar a manutenção da Arco Consistência Generalizada (ACG) da fórmula resultante pelo resolvedor SAT. Ao melhor de nosso conhecimento, não há estudos sobre a manutenção de tal consistência para codificações relativas, que descrevem relações binárias sobre um dado conjunto de elementos do problema. Neste trabalho, é apresentado um estudo sobre a Arco Consistência Generalizada em codificações SAT relativas. É mostrado que, dependendo das propriedades da relação codificada, as fórmulas obtidas por estas codificações são mantidas ACG pelo procedimento da Propagação Unitária. Conjectura-se também que estas codificações não podem ser polinomialmente restritas para mantê-las ACG. Neste trabalho, é também apresentado um método para manter uma consistência parcial nas fórmulas obtidas pelas codificações relativas. O método é baseado na manutenção da árvore de dominantes do grafo induzido pela relação codificada, durante o processo de busca do resolvedor SAT. Resultados experimentais indicam que o método pode reduzir o número de decisões realizadas pelo resolvedor e, logo, o espaço de busca explorado. Outras contribuições deste trabalho incluem codificações relativas para conectividade em grafos e para o problema da Árvore de Steiner, um framework genérico para unificar as codificações relativas conhecidas, um algoritmo polinomial para SAT para fórmulas mantidas ACG, e a implementação de algoritmos que mantêm árvores de dominantes para grafos dinâmicos dentro do código-fonte de um resolvedor SAT no estado-da-arte. / Abstract: Many encodings from relevant problems to SAT or its variants are known and studied by the community. One possible way to measure the efficiency of these encodings consists on evaluating the maintenance of the Generalized Arc Consistency (GAC) of the resulting formula by the SAT solver. To the best of our knowledge, there is no study about such consistency for relative encodings, that describe binary relations over a given set of elements from the problem. In this work, it is presented a study about the Generalized Arc Consistency for relative SAT encodings. It is shown that, depending on the properties of the encoded relation, the formulae obtained by such encodings are maintened GAC by the Unit Propagation procedure. It is also conjectured that these encodings cannot be polynomially restricted in order to maintain them GAC. In this work, it is also presented a method to maintain a partial consistency on the formulae obtained by relative encoding. The method is based on the maintenance of the dominator tree of the underlying graph, during the search procedure of the SAT solver. Experimental evaluations indicate that the method may reduce the number of decisions made by the solver, and, thus, the search space it explores. Other contributions of this work include relative encodings for graph connectivity and for the Steiner Tree problem, a generic framework unifying known relative encodings, a polynomial-time algorithm for SAT for formulae maintened GAC, and the implementation of algorithms that maintain dominator trees for dynamic graphs inside the source code of a state-of-the-art SAT solver.

Orientadora : Profª Drª Neida Maria Patias Volpi / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Tecnologia, Programa de Pós-Graduação em Engenharia de Produção. Defesa: Curitiba, 2015 / Inclui referências / Área de concentração / Resumo: A proposta deste trabalho é o uso do modelo de transporte como técnica para o planejamento da produção. Um bom plano de produção é aquele que atende as demandas dentro do prazo, respeita a capacidade dos recursos disponíveis e minimiza os custos de produção. Este trabalho busca através da Pesquisa Operacional, adaptar o modelo do transporte ao planejamento da produção além de gerar um aplicativo que sirva de suporte aos tomadores de decisão, fornecendo informações para análise de diferentes cenários do sistema produtivo. Esse aplicativo trabalha com um horizonte de planejamento e custos diferenciados por período e modo de produção, permite estoque e backlogging, avaliar alterações no planejamento no caso de mudanças na capacidade ou demanda, além de ter fácil utilização, possibilitando assim o gerenciamento fornecendo informações ao usuário. Palavras-chave: Planejamento da Produção; Programação Linear Inteira; Modelo de Transporte. / Abstract: The proposal of this paper is the use of transportation model as a technique for production planning. A good production plan is one that attend to demands on time, respects the capacity of available resources and minimizes production costs. This paper uses the Operational Research to adapt the transportation model to production planning, and also to generate an application that serves as a support to decision makers, providing information to analyze different scenarios of the production system. This application works with a planning horizon and differentiated costs by period and mode of production, allow inventory and backlogging, measure changes of the plan in cases where capacity or demand changes, in addition to ease of use, allowing management by providing information to the user. Keywords: Production Planning; Integer Linear Programming; Transportation Model.

Resumo