NTP网络时间服务器在煤矿的应用及其价格