虽然测距误差和人为误差给GPS的民用带来了很大的障碍，但是可以通过差分技术来纠正，差分技术主要包括（ ）。