Analysis on the integrity simulation of beidou dual-frequency satellite-based augmentation system | IEEE Conference Publication | IEEE Xplore