>159
Understanding Gps: Principles and Applications (Artech House Telecommunications Library)
ttp://www.amazon.com/exec/obidos/tg/detail/-/0890067937/103-3653449-1704634?v=glance この本の243ページに次のように書かれている。買って確認しろ。
The satellite clock is affected by both special and general relativity. In order
to compensate for both of these effects, the satellite clock frequency is adjusted to
10.22999999545 MHz prior to launch [2]. The frequency observed by the user at
sea level will be 10.23 MHz; hence, the user does not have to correct for this effect.