中国综合性科技类核心期刊(北大核心)

中国科学引文数据库来源期刊(CSCD)

美国《化学文摘》(CA)收录

美国《数学评论》(MR)收录

俄罗斯《文摘杂志》收录

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

Emathema:在线的方程自动求解平台

杨乐 柳银萍 李志斌

杨乐, 柳银萍, 李志斌. Emathema:在线的方程自动求解平台[J]. 华东师范大学学报(自然科学版), 2017, (3): 20-28. doi: 10.3969/j.issn.1000-5641.2017.03.002
引用本文: 杨乐, 柳银萍, 李志斌. Emathema:在线的方程自动求解平台[J]. 华东师范大学学报(自然科学版), 2017, (3): 20-28. doi: 10.3969/j.issn.1000-5641.2017.03.002
YANG Le, LIU Yin-ping, LI Zhi-bin. Emathema: An online automated computing platform for equations[J]. Journal of East China Normal University (Natural Sciences), 2017, (3): 20-28. doi: 10.3969/j.issn.1000-5641.2017.03.002
Citation: YANG Le, LIU Yin-ping, LI Zhi-bin. Emathema: An online automated computing platform for equations[J]. Journal of East China Normal University (Natural Sciences), 2017, (3): 20-28. doi: 10.3969/j.issn.1000-5641.2017.03.002

Emathema:在线的方程自动求解平台

doi: 10.3969/j.issn.1000-5641.2017.03.002
基金项目: 

国家自然科学基金 11435005

详细信息
    作者简介:

    杨乐, 男, 硕士研究生, 研究方向为计算机符号计算及其应用.E-mail:yangle20081982@163.com

    通讯作者:

    柳银萍, 女, 教授, 研究方向为符号计算、数学机械化.E-mail:ypliu@cs.ecnu.edu.cn

  • 中图分类号: O175;TP311.5;TH123+.1

Emathema: An online automated computing platform for equations

  • 摘要: 微分方程在现代科技、工程领域中的作用日益显著,本课题组多年来在微分方程可积性和解析求解方面做了很多机械化工作,研发出了一系列Maple应用软件.基于这些应用软件、计算机代数系统Maple及一些开源技术,课题组研发了一个在线的开放的方程自动求解平台Emathema,为用户提供便捷的代数计算和绘图服务.在此平台上,用户不仅可调用已嵌入的Maple外部应用软件求解非线性代数和微分方程(组),而且在交互方式下可进行几乎所有和方程相关的简单符号计算,所有的计算结果均以可视化的方式输出.
  • 图  1  Emathema进行科学计算的原理

    Fig.  1  How scientific computations are executed in Emathema

    图  2  Emathema的集成界面

    Fig.  2  The integrated user interface of Emathema

    图  3  批量计算的输入、输出

    Fig.  3  The input and output of batch tasks

    图  4  批量计算导出的Worksheet文档中的内容

    Fig.  4  The content of Maple Worksheet file exported from the results

    图  5  集成界面中应用软件RATH的使用示例}

    Fig.  5  An example of using RATH under the integrated user interface

    图  6  将RATH的计算结果导出到Worksheet文档示例

    Fig.  6  A demo of Maple Worksheet file exported from results using RATH

    图  7  Charsets包的使用示例

    Fig.  7  A demo of using Charsets package

    表  1  各个按钮的功能

    Tab.  1  Functions of each button

    按钮名称描述
    hline Computing当输入是计算类命令或帮助类命令时, 点击此按钮即可得到相应的结果
    Plotting当输入是绘图类命令时, 点击此按钮即可输出相应的图形
    Error Checking此按钮用来检测用户输入的命令是否合法, 并将检测结果输出
    Clear重置下拉菜单中的选项, 并清空命令输入区域中的命令
    Export Input as Worksheet可将在线输入导出到Maple的Worksheet文档中, 且下载后供用户后续使用
    Export Output as Worksheet可将程序运行结果导出到Maple的Worksheet文档中, 且下载后供用户后续使用
    下载: 导出CSV
  • [1] WANG P, GRAY S, KAJLER N, et al. IAMC architecture and prototyping: A progress report [C]//Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation. ACM, 2001: 337-344.
    [2] Wolfram Research Inc. webMathematica [EB/OL]. (2002-06-18)[2016-09-15]. http://www.wolfram.com/products/webmathematica/.
    [3] PÉREZ F, GRANGER B E. IPython: A system for interactive scientific computing [J]. Computing in Science & Engineering, 2007, 9(3): 21-29.
    [4] PAU C, SCHREINER W. Distributed Mathematica [M/OL]. (2000-07-01)[2016-09-15]. http://www.risc.jku.at/software/distmath/report/index.html.
    [5] WU Y W, LIAO W D, WANG P, et al. An internet accessible grid computing system: Grid-Elimino[C]//Proceedings of IAMC. 2003: 1-8.
    [6] FUJIMOTO M, SUZUKI M. AsirPad—a computer algebra system with a pen-based interface on PDA[C]//Proceedings of 7th Asian Symposium on Computer Mathematics (ASCM2005). Korea Institute for Advanced Study, 2005: 259-262.
    [7] HOY M B. Wolfram | Alpha: A brief introduction [J]. Medical Reference Services Quarterly, 2010, 29(1): 67-74. doi:  10.1080/02763860903485225
    [8] MELIS E, ANDRÈS E, BÜDENBENDER J, et al. ActiveMath: A generic and adaptive web-based learning environment [J]. International Journal of Artificial Intelligence in Education (IJAIED), 2001, 12: 385-407.
    [9] Maplesoft Inc.Maple TA [EB/OL]. (2003-04-03)[2016-09-10]. http://www.maplesoft.com.cn/products/mapleta/.
    [10] AL-SHOMRANI S, WANG P. DMAS: A web-based distributed mathematics assessment system [C]//Proceedings of the International Conference on Learning. 2008: 3-6.
    [11] YANG L, SU W, WANG K J, et al. iMathema: A novel online intelligent computing system oriented to common scientific computations[C]//Proceedings of the Second International Conference on Innovative Computing and Cloud Computing. ACM, 2013: 10-16.
    [12] POLYANIN A D. EqWorld (The World of Mathematical Equations) [EB/OL]. (2004-04-12)[2016-09-01]. http://eqworld.ipmnet.ru.
    [13] Equation Sheet.com [EB/OL]. (2007-04-23)[2016-09-10]. http://equationsheet.com/sheets/Equations-13.html.
    [14] Oxford Centre for Nonlinear Partial Differential Equations. OxPDE [EB/OL]. (2007-05-10)[2016-09-03]. http://www.maths.ox.ac.uk/groups/oxpde.
    [15] 华东师范大学偏微分方程中心[EB/OL]. (2010-09-05)[2016-09-01]. http://www.cpde.ecnu.edu.cn/.
    [16] The PHP Group. PHP: Hypertext preprocessor [EB/OL]. (2001-05-13)[2016-09-01]. http://php.net.
    [17] W3C Recommendation. Mathematical Markup Language (MathML) version 3 [EB/OL]. (2010-10-20)[2016-09-01]. http://www.w3.org/TR/MathML3/.
    [18] GRAY J. ASCIIMathML: Now everyone can type MathML [J]. MSOR Connections, 2007, 7(3): 26-30. doi:  10.11120/msor.2007.07030026
    [19] CERVONE D. MathJax: A platform for mathematics on the Web [J]. Notices of the AMS, 2012, 59(2): 312-316.
    [20] ASLESON R, SCHUTTA N T. Foundations of Ajax [M]. Berkeley: Apress Press. 2005.
    [21] jQuery main website. jQuery: The write less, do more, Javascript library [EB/OL]. (2009-05-10)[2016-09-02]. http://jquery.com/.
    [22] LI Z B, LIU Y P. RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations [J]. Computer Physics Communications, 2002, 148(2): 256-266. doi:  10.1016/S0010-4655(02)00559-3
    [23] LI Z B, LIU Y P. RAEEM: A Maple package for finding a series of exact traveling wave solutions for nonlinear evolution equation [J]. Computer Physics Communications, 2004, 163(3): 191-201. doi:  10.1016/j.cpc.2004.08.007
    [24] LI Z B, LIU Y P, QIAN H F. A method and its implementation for constructing Bäcklund transformations to nonlinear evolution equations [J]. Computer Mathematics, 2008: 188-198.
    [25] LIN Y Z, LI Z B, LIU Y P. Symbolic computation of analytic approximate solutions for nonlinear fractional differential equations [J]. Computer Physics Communications, 2013, 184(1): 130-141. doi:  10.1016/j.cpc.2012.07.015
    [26] WANG D M. An implementation of the characteristic set method in Maple [M]//Automated Practical Reasoning. Wien: Springer-Verlag, 1995: 187-201.
    [27] WANG D M. Epsilon: A library of software tools for polynomial elimination [J]. Mathematical Software, 2002: 379-389.
    [28] WANG D K. Wsolve: A Maple package for solving system of polynomial equations [EB/OL]. (2004-05-10)[2016-09-04]. http://www.mmrc.iss.ac.cn/dwang/wsolve.html.
    [29] LIU Y P, YAO R X, LI Z B, et al. An online computing and knowledge platform for differential equations[C]//Proceedings of the 5th International Congress on Mathematical Software. Springer International Publishing, 2016: 181-188.
  • 加载中
图(7) / 表(1)
计量
  • 文章访问数:  247
  • HTML全文浏览量:  89
  • PDF下载量:  548
  • 被引次数: 0
出版历程
  • 收稿日期:  2016-09-28
  • 刊出日期:  2017-05-25

目录

    /

    返回文章
    返回