Abstract
Objectives: This article describes design and classification of a variety of states and events that form the basis for information model of the local system of differential correction in the post-processing mode. Methods: The article introduces computational methods of differential correction that employ measurements from single-frequency GPS receivers. Experimental results confirmed estimation accuracy of the methods in post-processing mode, which proved that the developed differential GPS system demonstrated appropriate performance when compared with the existing analogous systems in the world. Findings: The research reveals a set of states and events fundamental for developing an LSDC information model in post-processing mode. A GPS-based system of differential correction is one of the main alternatives in solving problems of high-precision satellite navigation. In future, this system under development will be able to operate in real time and post-processing modes, static and dynamic modes, as well in the mode of a thick client (rover coordinates are computed using the mobile station) and a thin client (rover coordinates are computed using the base station). The composition and structure of the model in post-processing mode are examined. As a result of this research, a systematic project of the LSDC GPS was developed. These designs were made using Unified Modeling Language (UML), which represents functional requirements and appropriate system diagrams of mathematical provision, LSDC hardware and software. High accuracy and precision of the developed system are verified by experimental results shown in the paper. Applications/ Improvements: The GPS system should be developed further to be able to cover other modes of operation. Keywords: GPS, High Precision Satellite Navigation, Local System of Differential Correction, Post-Processing Mode