矿井通风系统的最优化问题