数学规划模型1