高程测量是地形测量学中的一个重要分支，它是研究地球表面上点的高度差的测量学。在实际应用中，高程测量广泛应用于工程测量、地形测量、水文测量、地质勘探等领域。

高程测量的基本方法主要有三种，分别是：水准测量、三角高程测量和天顶测量。其中，水准测量是常用的高程测量方法之一。它是利用水平仪和测高仪测量所在点和基准点的高度差，从而确定所测点的高程。三角高程测量则是利用三角形的基本原理，在已知两个点的高程和距离的情况下，通过测量两个点与第三个未知点的夹角和距离来确定未知点的高程。天顶测量则是通过观察某一星体的天顶角来计算出所在地点的纬度和高程。

在高程测量中，常用的一些术语和名词包括：高程基准面、高差、正高、高程等。其中，高程基准面是指作为高程计算的基准面，一般采用平均海平面作为基准面。高差是指两点之间的高度差。正高是指某一点相对于高程基准面的高度。高程则是指某一点的正高，也就是该点相对于高程基准面的高度。

综上所述，高程测量是一门研究地球表面上点的高度差的测量学。在实际应用中，高程测量常用的方法有水准测量、三角高程测量和天顶测量。为了准确描述高程测量的结果，常用的术语和名词包括高程基准面、高差、正高和高程等。