决策支持系统 调度 模型 整数非线性规划 煤矿生产与安全 梯级水电站 直接搜索算法 排序