全站仪测设已知高程是根据三角高程的原理进行的