| 非线性微分方程一类精确解的计算机自动推导 |
| |
| 引用本文： | 柳银萍,李志斌. 非线性微分方程一类精确解的计算机自动推导[J]. 华东师范大学学报(自然科学版), 2003, 2003(1): 31-37 |
| |
| 作者姓名： | 柳银萍 李志斌 |
| |
| 作者单位： | 华东师范大学,计算机科学技术系,上海,200062;华东师范大学,计算机科学技术系,上海,200062 |
| |
| 基金项目： | 国家重点基础研究发展规划(G1998030600),上海市曙光计划资助课题 |
| |
| 摘 要： | 以吴文俊数学机械化方法魏基本工具在计算机代数系统Maple 上开发出了非线性演化方程孤波解的自动求解软件包RATH。利用RATH成功求解了近百个不同类型的非线性演化方程,所获结果不仅涵盖了所有的已知解,而且对许多方程还发现了新的解和形式更为一般的解。对于绝大部分方程,RATH 的运行时间都在10秒以内。
|
| 关 键 词： | 符号计算 自动推理 演化方程 孤波解 |
| 文章编号： | 1000-5641(2003)01-0031-07 |
| 收稿时间： | 2001-02-15 |
| 修稿时间： | 2001-02-01 |
An Automated Calculating for A Class of Exact Solutions to Nonlinear Differential Equations |
| |
| LIU Ying-ping,LI Zhi-bin. An Automated Calculating for A Class of Exact Solutions to Nonlinear Differential Equations[J]. Journal of East China Normal University(Natural Science), 2003, 2003(1): 31-37 |
| |
| Authors: | LIU Ying-ping LI Zhi-bin |
| |
| Affiliation: | Department of Computer Science, East China Normal University, Shanghai 200062, China |
| |
| Abstract: | By the Mathematics-Mechanization method proposed by Wu Wentsun, a package RATH os developed to output directly the solitary wave solutions to a nonlinear differential equation, based on the maple system. With it nearly one hundred equations have been calculated. The results not only recover all known solutions, but also find some new solutions as well as solutions in the general form. Furthermore, most of the solutions are obtained with the running time no more than 10 seconds under PC Pentium Ⅲ. |
| |
| Keywords: | symbolic computation automated reasoning evolution equation solitary wave solution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《华东师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《华东师范大学学报(自然科学版)》下载全文 |
