GPS高程代替三角高程的试验