随着信息技术的迅速发展，计算机符号计算作为人工智能的新分支学科之一，也逐渐成熟和完善，并被应用到非线性科学的研究中来。目前，计算机符号计算因其强大而精确的符号计算能力和操作简便、直观，易于实现等特点，已经逐渐发展成为人们从事非线性科学研究必不可少的计算机辅助工具之一，并在此基础上取得了丰硕的研究成果。尤其是近十几年间，基于计算机符号计算的孤子理论研究越来越成熟和发展起来。作为非线性科学的核心问题之一，孤子理论一直是国内外众多学者关注的一个热点领域，其中对于非线性模型孤子解的研究，无论在理论研究还是在实际应用上一直都是重要而又难以解决的问题，几乎在各个学科领域中都会遇到。 在本论文中，作者结合本研究领域的发展现状，基于计算机符号计算对若干有着实际物理应用的非线性模型孤子解进行了研究，主要内容包括两个方面，研究构造非线性模型精确孤子解的方法；研究非线性模型孤子解的时间和空间特性。具体包括如下几个方面： ①基于计算机符号计算将传统的双线性求解方法进行推广，使其适合于求解更复杂的高维和高阶非线性模型。推广的双线性方法借助于齐次平衡思想推导出非线性模型的双线性变换，将目标模型转化成易于求解的齐次方程。同时在求解过程中略去了将齐次方程分块和双线性化的过程，这样就避免了不适当的分块可能产生的对于模型孤子解的结构的限制。同时，利用计算机符号计算给出双线性算子的计算式，大大方便了我们利用双线性方法处理相关问题。 ②一般来讲，广义的时间变系数模型大多是不可积的，但是，当各个系数函数满足了一定的约束条件时却是可积的，也就是存在多孤子解，Backlund变换，Lax对等。本文将推广的双线性方法应用于求解广义的变系数：Korteweg-de Vries模型和变系数Kadomtsev—Petviashvili模型的精确多孤子解；基于这些方程的双线性形式，利用双线性算子的性质，推导出其对应解的自Backlund变换，包括双线性形式和LaX形式的自Backlund变换；进一步地，从解的双线性形式自Backlund变换出发，可以得到模型的Lax对，或者解的非线性叠加公式；对于求得的多孤子解，通过绘图分析研究模型的各个变系数对于解的稳定性和传输方式的影响。 ③近年来，对于非线性Schrodinger模型多孤子间的部分相干相互作用的研究引起了人们的兴趣。本文我们借助于计算机符号计算和推广的双线性方法，研究一个在现代光纤通信领域中有着重要应用的广义(1+1)维耦合非线性Schrodinger模型的孤子解。并从得到的解出发，研究随着时间的发展各个变系数函数对于孤子稳定性的影响，包括传播速度和振幅，重点研究孤子间的相互作用，包括部分相干相互作用和孤波间的成对碰撞。 ④部分非线性Schrodinger模型的孤子间存在一种特殊的形变碰撞，由于在这种碰撞过程中发生了能量再分配，而越来越受到人们的关注。借助于计算机符号计算，我们将研究一个广义耦合高阶非线性Schrodinger模型间的这种奇妙的非弹性相互作用。该研究在光纤中的一个重要应用就是能量放大器，由于这种放大过程不需要外界的干扰和新能量的补充，因而很稳定，拥有广阔的实际应用前景。 ⑤对于非线性模型局域孤子的研究越来越积极和发展起来，各种局域相干结构也被不断地发现。同时，做为孤子间的一种非弹性相互作用，孤子的裂变和聚变也开始引起人们的关注。我们对于(1+1)维孤子解的相互作用已经研究的很深，并取得了很大的成就，但是高维方程的孤子解之间的相互作用确实很复杂的，而且维数越高，相互作用就越复杂。本文借助于计算机符号计算和计算机模拟，对于色散长波模型，在多孤子解的基础上，通过计算机软件模拟绘图的方式集中分析研究不同的局域相干结构间的这种裂变型非弹性相互作用，并且从数学角度简要分析裂变现象产生的原因。 综上所述，本文将计算机符号计算与传统的双线性方法相结合，并将其推广应用于求解复杂的高维、高阶非线性模型中。对于几个有着典型物理意义的非线性模型进行了解析研究，包括构造多孤子解，Backlund变换，Lax对等；并利用Mathematica计算软件的模拟绘图功能对求得孤子解的时间发展特性，相互之间的弹性和非弹性相互作用，以及它们潜在的物理应用进行了深入分析。希望本文的理论研究结果在将来的实验观察中能够得到证实，并对于相关研究有所帮助。