王建东,朱梧槚,肖奚安,徐利治.常系数线性微分方程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阅读器