基于GPS的授时服务器的设计