方程x^2+y^2+(z-1)^2=1所表示的空间曲面名称是什么