“海平面”的全称叫平均海平面，平均海平面是一个直接实测值。