微分方程精确解及李对称符号计算研究硕士论文