基于数学规划的兵力部署优化模型