Study of Long Baseline Navigation Optimization Solution Based on Redundancy measurement | IEEE Conference Publication | IEEE Xplore