非线性微分系统的非局域对称及相互作用解的符号计算研究

郝夏芝博士学位论文答辩委员会成员名单	第4-5页
摘要	第5-7页
Abstract	第7-8页
第一章 绪论	第12-18页
1.1 对称理论	第12-14页
1.2 符号计算	第14-16页
1.3 本文选题和主要工作	第16-18页
第二章 非局域留数对称及其应用	第18-42页
2.1 CDGSK方程的留数对称及对称变换	第21-23页
2.2 耦合KdV系统的留数对称及对称变换	第23-27页
2.3 DSⅢ系统的留数对称及对称变换	第27-34页
2.4 KdV梯队的留数对称及N次对称变换	第34-42页
第三章 非局域势对称及其应用	第42-74页
3.1 CDGSK方程的势对称及对称变换	第42-53页
3.2 耦合KdV系统的势对称及对称变换	第53-58页
3.3 AKNS系统的势对称及N次对称变换	第58-64页
3.4 KdV梯队的势对称及N次对称变换	第64-74页
第四章 非局域伪势对称及其应用	第74-90页
4.1 CDGSK方程的伪势对称及对称变换	第75-79页
4.2 KdV梯队的伪势对称及N次对称变换	第79-90页
第五章 相容Riccati方程展开法及其实现	第90-112页
5.1 相容Riccati方程展开法	第91-99页
5.2 相容Riccati方程展开法的机械化实现	第99-104页
5.3 软件包CRE的应用实例	第104-112页
第六章 总结与展望	第112-114页
6.1 论文工作总结	第112-113页
6.2 未来工作展望	第113-114页
参考文献	第114-132页
致谢	第132-134页
作者简历及在学期间所取得的科研成果	第134-136页