数学建模专用的,解决最优化问题