Patent attributes
In a case where a first RTK positioning solution is a fixed solution and a second RTK positioning solution is a float solution, a processor estimates a position of a second receiver based on the first RTK positioning solution, inter-antenna distance, and antenna azimuth angle to set an area within a circle with radius centered on the estimated position as a search range. Next, the processor calculates an integer ambiguity within the search range obtained in the RTK calculation as a second RTK positioning solution. Then, the processor outputs the first RTK positioning solution and the second RTK positioning solution as positioning solutions (current coordinates of a moving object).