常系数线性微分方程RMI解题机 |
| |
引用本文: | 王建东,朱梧槚,肖奚安,徐利治.常系数线性微分方程RMI解题机[J].数学研究及应用,1996,16(3):471-476. |
| |
作者姓名: | 王建东 朱梧槚 肖奚安 徐利治 |
| |
作者单位: | 南京航空航天大学计算机科学与工程系; 南京大学计算机软件国家重点实验室;南京航空航天大学计算机科学与工程系; 南京大学计算机软件国家重点实验室;空军气象学院数学教研室;大连理工大学数学科学研究所 |
| |
基金项目: | 国家基础研究攀登计划资助项目. |
| |
摘 要: | 本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果,摸拟人的数学思维过程,采用关系映射反演(RMI)方法,通过符号推理给出微分方程解析解的数学软件.文中介绍了研制该解题机的基本思想和实现技术,并给出了用解题机求解微分方程和微分方程组的几个实例.
|
关 键 词: | 解题机 微分方程 关系映射反演 |
收稿时间: | 1995/3/16 0:00:00 |
RMI Solver for Constant Coefficient Linear Differential Equations |
| |
Affiliation: | Dept. of Computer Science & Engineering; Nanjing University of Aeronautics & Astronautics Computer Software Laboratory of Nanjing University;Dept. of Computer Science & Engineering; Nanjing University of Aeronautics & Astronautics Computer Software Laboratory of Nanjing University;Division of Mathematics; Meteorological Institute of Chinese Air Force;Mathematical Research Institute, Dalian University of Technology |
| |
Abstract: | |
| |
Keywords: | solver differential equation relation-mapping-inversion |
本文献已被 CNKI 维普 等数据库收录! |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 |
|
点击此处可从《数学研究及应用》下载全文 |