霍尔辛赫矿井安全量化系统设计和应用