纳维斯托克斯方程解出来了吗