关于北斗导航系统的时钟系统是否用到了相对论效应的校正

本吧网友曾关心过我国的北斗导航系统是否需要应用相对论来设计系统的时钟系统。
目前北斗系统空间信号接口控制文件(2.0版已经公布，但是网上只能查到1.0版。由于这个文件不涉及到卫星时钟的硬件技术数据，所以对于卫星的时钟系统的相对论效应的设计考虑没有可以查找的数据。
不知为何我不能在本吧贴图片，所以不能给各位上传视频截图，各位可以到网上下载这个文件，在5.2.4.10 钟差参数（toc, a0, a1, a2）一节有关于相对论修正的数据。