世界在本质上是非线性的。自然界中存在着大量的、复杂的非线性现象。人们研究这些非线性现象的方法主要是通过建立合适的非线性模型,然后对这些非线性模型进行分析,依此来揭示非线性现象的本质。基于符号计算,本文解析研究了大气物理、光纤通信、生物物理以及流体力学等领域中的一些非线性模型的性质。本文的研究内容主要有:(1)在第二章中,研究了大气物理中的一个变系数Korteweg-de Vries模型。基于Lax对,在一些变系数条件下,给出了无穷守恒律。根据由Lax对得来的Ricaati方程,推导出了 Wahlquist-Estabrook类型的Backlund变换,非线性叠加公式,以及单和双孤子解,根据Painleve截断展开法,给出了 Painlev6类型的Backlund变换以及相应的单孤子解,且根据双线性形式,构造了双线性形式的Backlund变换。(2)在第三章中,研究了一个五阶非线性Schrodinger模型,该模型可以描述光纤通信中的阿托秒脉冲的传播。基于Lax对,推导出了无穷守恒律。借助辅助函数,采用双线性方法和符号计算,得到了双线性形式、单、双和三孤子解。基于这些孤子解,图像模拟了两个孤子之间以及三个孤子之间的碰撞。图像分析表示两个孤子之间的碰撞是弹性的,三个孤子之间的碰撞是成对弹性的。通过稳定性分析,得出了孤子解的调制不稳定性条件。(3)在第四章中,研究了一个可以描述α螺旋蛋白质分子中的能量传输现象的四阶非线性Schrodinger模型。对于这个模型,推导出了其Lax对和无穷守恒律。采用双线性方法,得到了单、双、三和N孤子解。通过解析分析,发现孤子的速度与晶格参数成线性关系,但是孤子的方向和振幅却与晶格参数没有关系。最后,图像模拟了两个孤子之间和三个孤子之间的多种类型的碰撞。(4)在第五章中,研究了一个可以描述非线性双折射光纤中波的传播现象的变系数相干耦合的非线性Schrodinger模型。基于Lax对,构造了该模型的Darboux变换以及矢量单和双孤子解。借助图像,讨论了矢量孤子的传播和碰撞的特性以及模型中的变系数对矢量孤子的影响。(5)在第六章中,研究了流体力学中的一个广义的3+1维变系数Kadomtsev-Petiashvili 模型。采用 Painleve 截断方法构造了其自 Back-lund变换。利用该自Backlund变换并采用Hirota双线性方法推导了其双线性形式。然后,基于不同的变系数条件,借助双线性形式,构造了其单和双Wronski行列式形式的N孤子解,并给出了几种双孤子解表达式,且借助图像分析了两个孤子之间的聚合和分裂现象。最后,利用双线性形式构造了同宿呼吸波解和畸形波解,同时图像模拟了同宿呼吸波和畸形波,且发现畸形波是同宿呼吸波的极限行为。(6)在第七章中,从动力系统的角度研究了两种非线性模型:流体力学中的2+1维破裂孤子模型和光纤通信中受扰动的非线性Schrodinger模型。然后,采用定性分析方法构造了两种模型的二维平面动力系统。最后,分析了不同条件下动力系统的相平面,根据非线性模型与动力系统之间的关系得到了两种模型的解析解的特性,且给出了非线性Schrodinger模型解析解的表达式。