自然科学和工程技术中的许多问题的研究,最终都可以归结为对非线性演化方程的求解问题.非线性演化方程可以科学合理地描述相关事物与现象之间的联系,因此,构造它们的解对研究相关非线性问题具有十分重要的意义.而构造非线性演化方程的解通常需要繁杂的运算,单纯的手工计算已经不能够满足日益庞大的求解需求.随着计算机技术的飞速发展,人们开始发展基于符号的计算机处理方法,利用计算机代数系统求解非线性演化方程,这极大地促进了非线性科学的发展.本文以非线性演化方程为研究对象,推广了简单Hirota方法,并基于符号计算系统Maple研发了自动求解非线性演化方程的软件包ZASP,具体如下：1. Hirota方法是一种构造非线性演化方程波解的直接代数方法.本文在前人的工作基础上,按照变换类型综述了该方法求解非线性演化方程的思路和步骤,并由此获得了简单Hirota方法中辅助函数的假设形式.这些工作为提出构造非线性演化方程波解的新算法提供了基础.2.简单Hirota方法是人们在Hirota方法的基础上,绕过了非线性演化方程双线性化的步骤,通过事先假设辅助函数,进而构造出原方程特定类型的孤波或孤子解.但是,简单Hirota方法并不能求解所有传统Hirota方法能够求解的方程,比如包含三角函数的Sine-Gordon方程、变换中存在复数的薛定谔方程等.本文对简单Hirota方法的求解过程进行推广,并基于Hirota方法和推广后的简单Hirota方法提出了构造非线性演化方程波解的新算法.3.基于本文的新算法,在符号计算系统Maple上研发了自动推导非线性演化方程波解的软件包ZASP. ZASP不仅可以自动求解单个非线性演化方程,也能适用于非线性耦合方程.