15 非线性波方程准确孤立波解的符号计算