An infeasibility certificate for non-linear programming based on pareto-criticality conditions

• Autor(a) principal: Shakoor Muhammad
• Data de Publicação: 2015
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/BUBD-9ZYJUG
• topic: Problemas ruidosos; Programação multi-objetivo; Programação não linear; Certificação de inviabilidade; Engenharia mecânica

Esta tese propõe uma nova condição necessária para a infactibilidade de problemas de otimização não lineares (que se torna necessária sob suposição de convexidade) que é estabelecida como uma condição crítica de Pareto de um problema de otimização multi-objetivo auxiliar. Esta condição pode ser avaliada, em um dado problema, utilizando algoritmos de otimização multi-objetivo, em uma busca que leva ou para um ponto viável ou para um ponto em que as condições de inviabilidade são asseguradas. O certificado de inviabilidade resultante, que é construído somente com variáveis primais, possui validade global em problemas convexos e possui no mínimo um significado local em problemas genéricos de otimização não linear. No caso de problemas ruidosos, em que a informação de gradiente não é disponível, a condição proposta ainda pode ser aplicada sob uma noção heurística, como um produto das características da fronteira-Pareto do problema auxiliar multi-objetivo.