The design of high accuracy differential positioning vehicle terminal based on BeiDou Navigation System | IEEE Conference Publication | IEEE Xplore