位置:立项数据库 > 立项详情页
通用常微分方程计算机辅助分析系统及其应用
  • 项目名称:通用常微分方程计算机辅助分析系统及其应用
  • 项目类别:面上项目
  • 批准号:19771089
  • 申请代码:A0107
  • 项目来源:国家自然科学基金
  • 研究期限:1998-01-01-2000-12-01
  • 项目负责人:朱思铭
  • 负责人职称:教授
  • 依托单位:中山大学
  • 批准年度:1997
中文摘要:

本项目研究开发通用的常微分方程定性分析计算机辅助软件并将其应用于某些类型的常微分方程定性分析和孤立子方程的求解方面取得了一系列成果,发表了17篇论文。其软件系统将建立在新一代的平台上,克服了旧有软件的缺点,且是在新一代的强有力的计算机符号计算软件的基础上进行二次开发,见效快。并应用有中国特色的机器证明吴文俊方法和杨路。张景中方法。主要的研究成果分为软件研制开发和应用两大部分,软件开发分为符号计算,机器证明辅助分析软件和计算机绘图软件两部分;应用则分为常微分方程和孤立子理论两方面。研究工作在理论和应用两方面均取得了一定成果,并具有较好的发展前景。


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 13
  • 0
  • 0
  • 0
  • 0
朱思铭的项目