王建东,朱梧槚,肖奚安,徐利治.常系数线性微分方程RMI解题机[J].数学研究及应用,1996,16(3):471~476 |
常系数线性微分方程RMI解题机 |
RMI Solver for Constant Coefficient Linear Differential Equations |
投稿时间:1995-03-16 |
DOI:10.3770/j.issn:1000-341X.1996.03.033 |
中文关键词: 解题机 微分方程 关系映射反演 |
英文关键词:solver, differential equation, relation-mapping-inversion. |
基金项目:国家基础研究攀登计划资助项目. |
|
摘要点击次数: 2569 |
全文下载次数: 1599 |
中文摘要: |
本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果,摸拟人的数学思维过程,采用关系映射反演(RMI)方法,通过符号推理给出微分方程解析解的数学软件.文中介绍了研制该解题机的基本思想和实现技术,并给出了用解题机求解微分方程和微分方程组的几个实例. |
英文摘要: |
This paper presents a solver for solving constant coefficient linear differential equations. The solver is a mathematical softw are which gives the analytic solutions of the differential equations, using the recent achievements in the research on mathem atical methodology and modeling the procedure of human′smathematical thinking, through symbolic inferences with the method of relation, mapping, and inversion. The paper expounds them ainidea and tech-nique for the solver development and gives a few in stances of differential equations solved by the solver. |
查看全文 查看/发表评论 下载PDF阅读器 |