Optimization strategy of satellite maneuvering time based on the performance of system service for BDS | IEEE Conference Publication | IEEE Xplore