煤矿设备全生命周期管理系统的设计与实现