用于详细描述卫星导航系统信号体制的文件一般称为接口控制文件，它的英文简称是