Técnica de programação semidefinida por arco viável e aplicação à maximização da frequência natural de estruturas mecânicas Documento