程序实现了GPS时间系统的转换;TEQC界面化处理,以及对GPS观测文件的批量质量检查