y0z面上曲线y^2⼀3-z=1绕Z轴旋转得旋转曲面，求方程。