煤矿实时安全管理系统的研究