常系数线性微分方程RMI解题机.pdfVIP

第16卷第3期 数 学 研 究 与 评 论 . 16 . 3 V o l N o 1 9 9 6 年 8 月 JOU RNAL O F M A TH EM A T ICAL R ESEA RCH AND EXPO S IT ION A ug . 1 9 9 6 常系数线性微分方程RM I 解 题 机 王建东　　朱梧木贾 南京航空航天大学计算机科学与工程系, 210016 南京大学计算机软件国家重点实验室, 210093 肖奚安 徐利治 ( 空军气象学院数学教研室) 　 (大连理工大学数学科学研究所, 116023) 摘　要　本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果, 摸 拟人的数学思维过程, 采用关系映射反演(RM I) 方法, 通过符号推理给出微分方程解析解的数 学软件. 文中介绍了研制该解题机的基本思想和实现技术, 并给出了用解题机求解微分方程和 微分方程组的几个实例. 关键词　解题机, 微分方程, 关系映射反演 分类号　 ( 1991) 00 35 AM S A 一　引　言 目前已有很多计算机程序应用数值解法来给出微分方程的数值解, 但能求出微分方程精 确的解析解的工具则很少见. 已有的少数能解微分方程的软件也只能解很少一部分可解的微 分方程. 这是因为解微分方程本来就没有普遍适用的程序, 只能对一些特殊类型的方程使用一 些特殊的解法. 在工程技术领域中遇到的许多问题是常微分方程的初值问题, 如果能有一种解微分方程 初值问题的有力的工具, 无疑会给工程技术人员分析实际问题、建立数学模型带来很大的方 便. 80年代初由[1 ]提出的关系映射反演(RM I) 方法是一种适用于数理科学与工程技术科学的 普遍思想方法, 带有一般的原则性, 所以也叫作“ 原则”. 本文将这一方法应用到求解常 RM I 微分方程的初值问题上来, 在一台带有数学协处理器的386微机上实现, 研制了解常微分方程 初值问题的RM I 解题机. 实验证明, 其求解常微分方程初值问题的能力明显超过著名的数学 通用软件包M A TH EM A T ICA. 二　RM I 方法 ( ) 假设 是一个映射, 它把集合 = { } 中的元素映入 或映满 另一集合 = { }, 其中 A A 1995年3月16 日收到. 国家基础研究攀登计划资助项目. —471 — © 1995-2005 Tsinghua Tongfang Optical Disc Co., Ltd. All rights reserved. 表示 的映象, 称为原象. 这时可记