| http://www.w3.org/ns/prov#value | - where rk.sbsp.m is a vector that represents the actual location of the kth GPS satellite 106 observed by the WRS, bm represents the actual difference from GPS time of the clock of the GPS receiver 116 of the mth WRS 102, Bk.sbsp.m represents the actual difference from GPS time of the clock of the kth GPS satellite observed by the mth WRS, and ??m k.sbsp.m represents the noise associated with the k
|
