闭合水准路线校核的实质实际上是一种()。