半无限优化论文