矿井优化设计理论基于数学模型的求解模式