解析解和数值解