水平集图像处理基本方程的推导