第6讲整数规划、非线性规划模型