• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 67
  • Tagged with
  • 67
  • 67
  • 22
  • 17
  • 15
  • 14
  • 13
  • 11
  • 11
  • 11
  • 11
  • 9
  • 9
  • 9
  • 9
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Arco consistência generalizada em codificações SAT relativas

Oliveira, Ricardo Tavares de January 2017 (has links)
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.
12

Metodologia para utilização de algoritmos genéticos em modelos de simulação computacional em ambientes de manufatura

Pinho, Alexandre Ferreira de [UNESP] 19 December 2008 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:35:40Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-12-19Bitstream added on 2014-06-13T20:46:42Z : No. of bitstreams: 1 pinho_af_dr_guara.pdf: 1635741 bytes, checksum: d8dc3d0b8a67932941a332b122ed1672 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Métodos de otimização combinados com a simulação computacional a eventos discretos têm sido utilizados em diversas aplicações na manufatura. Entretanto, estes métodos possuem baixo desempenho, em relação ao tempo computacional, ao manipularem mais de uma variável de decisão. Desta forma, o objetivo desta tese de doutorado é propor um método para otimização de modelos de simulação a eventos discretos com maior eficiência em relação ao tempo de processamento quando comparado a uma ferramenta comercial conhecida. Cabe ressaltar que a qualidade da variável de resposta não será alterada, ou seja, o método proposto manterá a eficácia das soluções encontradas. Será mostrado que a melhora neste desempenho é obtida através de uma melhor percepção do comportamento dos parâmetros existentes nos algoritmos genéticos, em especial o parâmetro tamanho da população. A comparação entre o método desenvolvido com a ferramenta de otimização existente no mercado se dará através de uma metodologia já consolidada disponível na literatura. As conclusões serão apresentadas comprovando a eficácia do método proposto. / Optimization methods combined with discrete events simulation have been used in many manufacturing applications. However, these methods have poor performance considering the computational time, when manipulating more than one decision variable. In this way, the aim of this thesis is to propose a method for optimizing discrete events simulation models with higher efficiency in relation to the processing time when compared to a known commercial tool. Besides, the optimization quality will not be altered, i. e., the proposed method will keep the effectiveness of the achieved solutions. It will be shown that the performance improvement is obtained by means of a better perception of the behavior of all parameters presented in the genetic algorithms, particularly the population size parameter. The comparison between the developed method and the optimization tool will be accomplished by means of a consolidated methodology available in the simulation literature. The conclusions will be presented proving the effectiveness of the developed method.
13

Análise de Tópicos Relevantes em Programação Linear e Aplicações no Ensino de Engenharia

Dornellas, Carlos Antonio [UNESP] 12 December 2014 (has links) (PDF)
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
14

Convexidade generalizada em problemas de controle ótimo com tempo livre

Villanueva, Fabiola Roxana [UNESP] 20 February 2014 (has links) (PDF)
Made available in DSpace on 2015-09-17T15:24:15Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-02-20. Added 1 bitstream(s) on 2015-09-17T15:48:08Z : No. of bitstreams: 1 000843899.pdf: 517994 bytes, checksum: a54791f8368518a4a957793e48d72808 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Neste trabalho estudamos condicões necessárias e suficientes de otimalidade para problemas de controle ótimo com tempos finais livres, compreendendo o estudo do Princípio do Máximo e convexidade generalizada. Apresentamos as condições necessárias do princípio do máximo com tempos finais fixos e do princípio do máximo com tempos finais livres. Logo apresentamos as condições suficientes para problemas de controle ótimo com tempos finais fixos; introduzimos duas definições de convexidade generalizada, a primeira denominada PML-pseudoinvexidade, que envolve os multiplicadores de Lagrange e, a segunda denominada PM-pseudoinvexidade, que não envolve os multiplicadores de Lagrange. Mostramos que para um problema PML-pseudoinvexo todos os PM-processos (processos de controle que satisfazem as condições necessárias do princípio do máximo) são processos ótimos e reciprocamente os problemas tais que todos os PM-processos são ótimos, são problemas PML-pseudoinvexos; também mostramos que sob algumas condições, PML-pseudoinvexidade e equivalente a PM-pseudoinvexidade. Finalmente apresentamos as condições suficientes para problemas de controle ótimo com tempos finais livres; introduzimos uma de de nição de convexidade generalizada denominada PM-pseudoinvexidade livre, que não envolve os multiplicadores de Lagrange. Mostramos que sob algumas condições, se o problema e PM-pseudoinvexo livre, então todo PM-processo normal e um processo ótimo; também mostramos que sob algumas condições, se o problema e tal que todo PM-processo e um processo ótimo, então o problema e PM-pseudoinvexo livre / In this work we study necessary and sufficient optimality conditions for free end-time optimal control problems, comprising the study of the Maximum Principle and generalized convexity. We introduce the necessary conditions of the xed end-time maximum principle and of the free end-time maximum principle. Next, we present sufficient conditions for xed end-time optimal control problems; we introduce two de nitions of generalized con- vexity, the rst called LMP-pseudoinvexity, which involves the Lagrange multipliers and the second called MP-pseudoinvexity, which does not involve the Lagrange multipliers. We show that for a LMP-pseudoinvex problem all the MP-processes (control processes that satisfy the necessary conditions of the maximum principle) are optimal processes and con- versely the problems such that all the MP-processes are optimal, are LMP-pseudoinvex problems; also we show that under some conditions, LMP-pseudoinvexity is equivalent to MP-pseudoinvexity. Finally, we present sufficient conditions for free end-time optimal control problem; we introduce a de nition of generalized convexity called MP-free pseudoinvexity, which does not involve the Lagrange multipliers. We show that under some conditions, if the problem is MP-free pseudoinvex, then all normal MP-processes are optimal; also we show that under some conditions, if the problem is such that every MP-process is an optimal process, then the problem is MP-free pseudoinvex
15

Incerteza intervalar em otimização e controle

Leal, Ulcilea Alves Severino [UNESP] 03 June 2015 (has links) (PDF)
Made available in DSpace on 2015-09-17T15:26:34Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-06-03. Added 1 bitstream(s) on 2015-09-17T15:45:28Z : No. of bitstreams: 1 000844439_20160603.pdf: 161080 bytes, checksum: d7d39d8a2fef26e303204b62d5bc98d1 (MD5) Bitstreams deleted on 2016-06-06T12:04:22Z: 000844439_20160603.pdf,. Added 1 bitstream(s) on 2016-06-06T12:05:01Z : No. of bitstreams: 1 000844439.pdf: 1156327 bytes, checksum: 3c3754fe83a55643d8786b3c8c53b002 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O propósito desta pesquisa consiste no estudo de incerteza do tipo intervalar em problemas de otimização e controle. Para os problemas de otimização de valor intervalar foi exposto o processo de determinação das soluções, foram determinadas as condições necessárias e apresentadas as condições suficientes utilizando a diferenciabilidade extremal, para três diferentes conceitos de solução. O problema de controle ótimo de valor intervalar foi formulado e as condições de otimalidade, necessárias e suficientes, foram demonstradas, utilizando os conceitos de diferenciabilidade extremal e generalizada de Hukuhara, sob determinadas hipóteses de convexidade, para três diferentes conceitos de solução. Somando-se a isto, esses resultados foram aplicados no problema de controle de plantas daninhas, com função lucro de valor intervalar, descrevendo-se os cenários, pessimista e otimista, da lucratividade na produção de milho. Por outro lado, o arcabouço teórico da análise intervalar, segundo a aritmética intervalar restrita single level, foi desenvolvido considerando tanto as funções de valor intervalar quanto as funções intervalares. Para a integral e derivada single level de funções de valor intervalar foi proposto o teorema fundamental do cálculo e, além disso, esses conceitos foram aplicados na determinação de solução dos problemas de valor inicial intervalar. Neste âmbito, obteve-se o teorema de existência e da unicidade. Uma formulação para os problemas de controle ótimo totalmente intervalar foi apresentada e derivou-se as condições de otimalidade para o problema em questão, utilizando a diferenciabilidade −single level e as hipóteses de convexidade das funções intervalares envolvidas no problema / The purpose of this research is to look at interval uncertainty in optimization problems and control. We present a process to determine the solutions of interval-valued optimization problems. Using extremal differentiability, we demonstrate the necessary conditions and present the sufficient conditions for three different concepts of solutions. In this study, we formulated the problem of interval-valued optimal control and demonstrated the optimality of necessary and sufficient conditions using extremal differentiability and generalized Hukuhara differentiability under assumptions of convexity. Furthermore, we applied these results in the area of weed management and control with an intervalvalued objective function in order to describe the best and worst-case scenarios for crop profitability in corn. The results for the interval analysis theory were found according to single-level constraint interval arithmetic for both the interval-valued functions and the interval functions. We defined the concept of single-level integral and derivative for interval-valued functions and obtained the fundamental theorem of calculus for the interval context. Using this concept, we then analyzed interval ordinary differential equations and obtained the existence and uniqueness theorem of the solution. Considering that the interval functions developed were −single-level differentiable, we formulated the interval optimal control problem and demonstrated the necessary and sufficient optimality conditions under assumptions of convexity for the problem in question / FAPESP: 2012/00189− 3. / CAPES: 11153/13− 0
16

Relax and cut: limitantes duais para o problema do caixeiro viajante

Kawashima, Makswell Seyiti [UNESP] 30 May 2014 (has links) (PDF)
Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-30Bitstream added on 2014-11-10T11:57:47Z : No. of bitstreams: 1 000790195.pdf: 918459 bytes, checksum: 01e8141c5483f5a04a86fdd9a1917ef1 (MD5) / O Problema do Caixeiro Viajante (PCV) é um problema clássico de Otimização Combinatória. Dado um conjunto de cidades e os custos de viagem entre cada par delas, o objetivo é encontrar um roteiro que passa em todas as cidades apenas uma vez e retorna à cidade de origem de menor custo total. O enunciado simples e resolução não trivial encantaram muitas pessoas ao longo dos anos. Na literatura são apresentadas diversas formulações matemáticas para o Problema do Caixeiro Viajante, além de comparações entre a qualidade da relaxação linear de tais formulações. A formulação clássica para o PCV é forte, porém possui um número exponencial de restrições, e é equivalente à formulação de multiproduto (multi-commodity), de ordem polinomial. O custo computacional para resolver a relaxação linear da formulação multiproduto é alto, incentivando a busca de novas formas de obter limitantes duais. Na literatura são propostos procedimentos para obtenção de limitantes duais para o PCV utilizando-se do método relax and cut, a partir do problema da designação (PD), dualizando inequações válidas que são violadas pela solução ótima do PD. Neste trabalho, propomos a aplicação do método relax and cut para a formulação do PCV com restrições de multiproduto. Os resultados obtidos no estudo computacional são encorajadores, com a implementação de um algoritmo que gera bons limitantes duais com baixo tempo computacional / The Traveling Salesman Problem (TSP) is a classical Combinatorial Optimization problem. Given a set of cities and travel costs between each pair of them, the objective is to find a tour through all the cities, visiting each city once, and returning to the city of origin with minimum total cost. The simple enunciate and non-trivial resolution enchanted many people through the years. In the literature various formulations for the Traveling Salesman Problem are presented, and the quality of the linear relaxation of such formulations is compared. The classical TSP formulation is strong, but have an exponencial number of constraints, and is equivalent to the multi-commodity formulation, of polinomial order. The computational cost to solve the linear relaxation of the multi-commodity formulation is high, stimulating the search of new ways of obtaining dual bounds. In the literature, procedures to obtain dual bounds to the TSP using the relax and cut technique are proposed, starting from the assignment problem (AP) and dualizing violated valid inequalities by the AP’s optimal solution. In this work, we propose an application of the relax and cut technique to the multi-commodity formulation for the TSP. The results obtained by the computational study are encouraging, with the implementation of an algorithm that generates good dual bounds in low running time
17

Espaços vetoriais e topológicos de intervalos generalizados com alguns conceitos de cálculo e otimização intervalar

Costa, Tiago Mendonça da [UNESP] 29 May 2014 (has links) (PDF)
Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-29Bitstream added on 2014-11-10T11:57:47Z : No. of bitstreams: 1 000789915_20151203.pdf: 238260 bytes, checksum: 01c4adf72b2af011fbef2f093bba1467 (MD5) Bitstreams deleted on 2015-12-07T09:44:35Z: 000789915_20151203.pdf,. Added 1 bitstream(s) on 2015-12-07T09:45:16Z : No. of bitstreams: 1 000789915.pdf: 971219 bytes, checksum: 2821d946a089738f0f2d290034310374 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho apresentamos um método para munir o conjunto intervalar generalizado M = I(R) ∪ I(R); sendo I(R) = f[a1; a2] : a1 a2 e a1; a2 2 Rg e I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; com algumas diferentes estruturas, como algébrica, topológica e métrica. Também equipamos M com relações de ordem. Na verdade, fizemos isso em um contexto mais geral, pois trabalhamos em Mn = M M M para n 2 N: Nós formulamos problemas de otimização intervalar e relacionamos esses problemas com clássicos problemas de otimização multiobjetivo. Além disso, apresentamos uma versão do Teorema minmax no contexto intervalar e também desenvolvemos conceitos do cálculo em espaços intervalar generalizado, os quais são usados para encontrar o conjunto dos estados atingíveis de um inclusão diferencial clássica sob algumas condições dadas / This work presents a method to endow the generalized interval set M = I(R) ∪ I(R); where I(R) = f[a1; a2] : a1 a2 and a1; a2 2 Rg and I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; with some different structures, such as algebraic, topological, and metric. We also equip M with order relations. Actually, we did this in a more general context because we worked in Mn = M M M for n 2 N: We formulated interval optimization problems and related them to classic multi-objective optimization problems. We presented a version of the mini-max Theorem in the interval context, and also developed concepts of calculus on the generalized interval space which are used to find the attainable state set of a classic differential inclusion under some given conditions
18

Desenvolvimento e avaliação de matheurísticas para o combinado problema do posicionamento dos feixes e distribuição de dose no planejamento de radioterapia

Obal, Thalita Monteiro January 2016 (has links)
Orientador : Neida Maria Patias Volpi / Tese (doutorado) - Universidade Federal do Paraná, Setor de Tecnologia, Programa de Pós-Graduação em Métodos Numéricos em Engenharia. Defesa: Curitiba, 08/07/2016 / Inclui referências : f. 71-75 / Área de concentração / Resumo: O processo de planejamento de radioterapia é um fator essencial para garantir o nível máximo de eficiência do tratamento subsequente. Neste planejamento, há pelo menos dois problemas de decisão que podem ser modelados e resolvidos utilizando técnicas de Pesquisa Operacional. Estes incluem a melhor posição para emissão do feixe (problema do posicionamento dos feixes) e a quantidade ótima da dose que deve ser entregue através de cada feixe (problema da distribuição de dose). Esta tese apresenta um modelo matemático para otimizar concomitantemente os problemas do posicionamento dos feixes e da distribuição de dose, na presença de múltiplos objetivos. Três matheurísticas são propostas para resolver casos realistas que são de grande escala. As matheurísticas usam, respectivamente, Algoritmos Genéticos, Busca Tabu e Busca em Vizinhança Variável e são, portanto, denominadas GArad, TSrad e VNSrad. O desempenho das metodologias propostas é avaliado em dois tipos de instâncias de câncer na região da próstata, que envolvem um único corte de tomografia computadorizada (CT) e um conjunto de cortes de CT (problema 3D). Para o problema em um único corte de CT, os resultados das matheurísticas propostas são comparados com a solução ótima obtida por método exato. Em ambas instâncias, avaliaram-se os resultados em relação à cobertura de dose no tumor, e aos limites percentuais de dose nos órgãos de risco, além de avaliar a performance das metodologias em diferentes tempos computacionais. No geral, as metodologias fornecem uma solução para os problemas do posicionamento dos feixes e distribuição de dose, e, além disso, são metodologias flexíveis para considerar as necessidades específicas do paciente. Palavras-chaves: Saúde; Radioterapia; Otimização; Matheurística; Algoritmo Genético; Busca Tabu; Busca em Vizinhança Variável. / Abstract: Radiotherapy planning is a vital component in ensuring the maximum level of effectiveness of the subsequent treatment. In the planning task, there are at least two connected decision problems that can be modelled and solved using Operational Research techniques. These include the best position of the radiotherapy machine (beam angle problem) and the optimal quantity of the dose that has to be delivered through each beam (dose distribution problem). This thesis presents a mathematical optimisation model for solving the combined beam angle and dose distribution problem in the presence of multiple objectives. Three matheuristics are developed to solve realistic large-scale instances. The matheuristics use Genetic Algorithms, Tabu Search and Variable Neighbourhood Search and are hence termed GArad, TSrad and VNSrad, respectively. The performance of the proposed methods is assessed on two prostate cancer instances, namely a single computed tomography (CT) slice and a set of CT slices (3D problem). For the single-slice problem, the results of the proposed matheuristics are compared to the optimal solutions obtained by an exact method where the experiments show that the proposed methods are able to achieve optimality or to produce a relatively small deviation. For the multi-slice problem, the computational experiments show that the proposed methods produce viable solutions which can be attained in a reasonable computational time. Overall, the methodologies can provide a solution for beam angle and dose distribution problems, and besides that they are flexible to consider the patient needs. Key-words: Healthcare; Radiotherapy; Optimisation; Matheuristic; Genetic Algorithm; Tabu Search; Variable Neighbourhood Search.
19

Um modelo de unit commitment hidrotérmico para o ambiente de mercados de energia

Luciano, Edson José Rezende [UNESP] 27 August 2010 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:22:34Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-08-27Bitstream added on 2014-06-13T19:26:23Z : No. of bitstreams: 1 luciano_ejr_me_bauru.pdf: 912610 bytes, checksum: 8374c6e06cc40c16b0d99dbb004d73c7 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Este projeto tem como objetivo descrever, implementar e avaliar um modelo de Unit Commitment (UC) hidrotérmico para o ambiente de mercados de energia. O modelo deve considerar aspectos que têm sido negligenciados na abordagem atualmente vigente no Brasil, ou seja, o modelo deve apresentar as seguintes contribuições: i) a discretização do problema deve ser feita em base horária e não semanal, de modo a permitir o estabelecimento de um mercado de curtíssimo prazo efetivo; ii) o modelo deve levar em conta os custos de partida/parada de máquinas, comparando a solução do modelo proposta com o modelo em que essses custos não são considerados; iii) as inter-relações entre os mercados pool e bilateral são descritas de forma explícita em um único problema de otimização de UC; iv) a inserção dos custos de oportunidade hidráulica propostos no âmbito desse trabalho na função de custos / This project aims to describe, implement and evaluate a model of Unit Commitment (UC) for the hydrothermal environment of energy markets. The model takes into account aspects that have been neglected in the approach currently used in Brazil, and present the following contributions: i) discretization of the problem is performed in an hourly basis, instead of the weekly-based approach currently used, to allow the establishment of an effective market for short term generation planning; ii) the model takes into account unit start-up and shut down costs; the outcomes of the proposed model are compared with those of a model in which these costs are not considered; iii) the interrelationships between pool and bilateral markets are described explicity within a single optimization problem in the proposed UC model; iv) the inclusion of opportunity costs associated with hydraulic utility, proposed in the context of this research
20

Modelo de leilão multiperíodo para sistemas hidrotérmicos com representação da transmissão

Breda, Julio Cesar [UNESP] 13 August 2013 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:22:34Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-08-13Bitstream added on 2014-06-13T20:49:16Z : No. of bitstreams: 1 breda_jc_me_bauru.pdf: 2251769 bytes, checksum: 17ce532752d5bbdff8225f1f7dea91f1 (MD5) / Este trabalho tem como objetivo a concepção, implementação, solução e teste de um modelo de leilão multiperíodo para sistemas hidrotérmicos com representação da transmissão (LMSHRT) para o ambiente de mercados de energia. Com essa nova abordagem de modelagem, o modelo de leilão proposto é capaz de calcular tanto o despacho de geração hidrotérmico quanto os preços de equilíbrio de mercado em base horária para cada barra/região do sistema. Assim, a abordagem proposta além de herdar as principais características anteriormente propostas em (da Silva, 2010) e (Vergílio, 2011), tais como, a capacidade de introduzir a representação de contratos bilaterais, a obtenção dos preços em base horária, de forma a viabilizar um mercado de curto prazo e a capacidade intrínseca de reduzir riscos futuros de déficit de energia, incorpora ainda no modelo, a possibilidade da respresentação da transmissão com seus fluxos e perdas associadas. Para solução e validação do modelo é utilizado o método de pontos interiores primal dual barreira logarítima. Testes complementares são realizados com o objetivo de verificar como a variação dos principais parâmetros do modelo influenciou no despacho das unidades geradoras e na formação dos preços de equilíbrio do sistema / This research aims at the conception, implementation, solution and testing of the proposed network-constrained multiperiod auction model for hydrotermal generation systems, to be used in a day-ahead energy market clearing procedure. With this new modeling approach, the proposed auction model is able to calculate both the hydrothermal generation dispatch as well as the market clearing prices on an hourly basis for each bus/region of the system. Thus, in addition to inheriting the main features of the previously work proposed in (da Silva, 2010) and (Vergílio, 2011) such as the ability to introduce the representation of bilateral contracts, the ability to obtain prices on an hourly bais in order to facilitate a short-term market, and the intrinsic ability to reduce future energy deficit risks, the approach proposed also incorporates the possibility of representing transmission network flows and losses. To validate the model and solution an interior point method is implemented specifically, the primal-dual logarithmic barrier. Additional tests are performed in order to verify now he variation of the main parameters of the model influence the dispatch of generating units and the formation of energy market clearing prices

Page generated in 0.1008 seconds