书目详细信息 : 露天矿开采方案优化:理论、模型、算法及其应用