M04数学规划模型