微分方程解析近似解的符号计算研究