借助于计算机符号计算系统Maple,用Weiss,Tabor和Carnevale等人提出的WTC方法首次验证非线性弦振动方程具有Painlevé性质,并得到非线性弦振动方程的Bcklund变换,用Hirota直接方法分析非线性弦振动方程孤子解的聚变现象.