Program Modeling in the Task of Improvement of Navigating Information GLONASS | IEEE Conference Publication | IEEE Xplore