什么叫假定高程