数字矿山系统分析与建模