Resumo
Muitos problemas de otimização de energia, como o de alocação de unidades (UC), possuem várias formas de estrutura espacial, temporal e lógica que particionam as decisões (variáveis) em blocos distintos. Assim, eles se decomporiam nessa linha, não fosse por algumas condições operacionais ou lógicas (acoplando restrições ou variáveis) que relacionam decisões de blocos diferentes. Estes problemas são, portanto, particularmente adequados para abordagens de decomposição, tais como as baseadas em métodos de Lagrangeano ou Benders. No entanto, estes são difíceis de implementar, em parte devido ao apoio muito limitado de ferramentas de modelagem e resolução. O objetivo do projeto é explorar o Sistema de Modelagem Estruturado (SMS++), um ambiente de modelagem em C++ que está sendo desenvolvido atualmente no Departamento de Ciência da Computação da Universidade, para implementar abordagens de solução genérica baseadas em decomposição para diferentes variantes do UC. Graças às capacidades do SMS++, as abordagens serão capazes de trabalhar com resolvedores de propósito geral e explorar a disponibilidade de algoritmos especializados para subproblemas especialmente estruturados, permitindo assim desenvolver abordagens que não dependem dos detalhes do modelo, como as restrições operacionais das unidades geradoras, que mudam muito em ambientes operacionais diferentes. A resolução dos problemas de otimização não-diferenciável de grande porte correspondentes exigirá a melhoria das técnicas de estado-da-arte para esta classe de problemas, utilizando, por exemplo, técnicas como "componentes fáceis", decomposição estruturada e algoritmos inexatos/incrementais/assíncronos. (AU)
|