基于MathML 的在线符号运算的设计与实现.pdfVIP

基于 MathML 的在线符号运算的设计与实现 刘乐 张君玉 （中国科学院研究生院数学科学学院，北京，100049） 摘要：当今网络教育技术发展迅速，但数学表达式的在线智能处理等应用尚未出现。本文阐述一 种基于 MathML 的新应用，该应用以XSLT 技术为主要手段，能够在线实现初等数学的符号运算，为 网络教育提供了新支持。 关键词：MathML，XSLT ，在线符号计算，网络教育 中图分类号：TP391 文献标识码：B 1. 引言 计算机科学技术的迅猛发展，对科学教育产生了巨大的影响，教育观念及方法都有了新的突破。 网络的普及更为在线教育提供了坚实的基础，学习的方式越来越多样化。与传统教育方式相比，在线 学习可以突破地域、时间的限制，可以有效利用教育的资源，及时传递教育信息，可以扩大受教育者 的范围，打破学校边界，可以改善自主学习的环境，己成为建设学习型社会、推动教育信息化进程的 必然要求[6] 。 目前在主流浏览器上关于数学符号的显示和输入的技术已趋成熟，借此技术的应用，网络用户能 够方便地进行学习和交流。但对能够利用网络环境来扩展计算能力的在线符号运算等深层次应用尚未 实现。本文阐述了在网络环境上建立的一种基于 MathML 的新应用，它以XSLT 技术为主要手段，目 标是在线实现初等数学范围内主要的符号运算。 2. 实现工具 2.1 MathML 要实现在线符号运算，首先需要确定能够描述数学语义的网络语言。考虑到在线教育的共享性和 通用性特点，我们选取具有广阔应用前景的 MathML作为描述数学语义的语言环境。MathML （Mathematical Markup Language)是 W3C 的数学工作组提出的一种基于XML 的标准，是一种用来 在互联网上描述数学公式的标记语言，在数学、科学、研究和教育领域有很大用处。 MathML 有两种表达方式，一为表现型（Presentation MathML，下文简写为 PMML），一为内容 型（Content MathML，下文简写为 CMML ）。PMML 用于描述数学符号的堆砌方式，而 CMML 则用 于描述数学公式的语义。因此可使用 CMML 作为符号计算表达式的输入与输出描述语言。关于 CMML 语法的更多内容可参看 W3C 网站[1] 。 2.2 XSLT W3C 制定的 XSLT （Extensible Stylesheet Language Transformation ）是可扩展样式表语言 XSL （Extensible Stylesheet Language）中最重要的部分，用于将一个XML 文档的内容转换成另一个XML 文档或其它结构不同的文档。XSLT 样式表由一个或多个被称为模板（template ）的规则组成。每个 模板含有当某个指定的节点被匹配时所应用的规则，类似程序设计语言中的“函数”。规则的顺序无 关紧要，当有几条规则匹配到同一个输入时，将应用冲突解决算法[3] 。 XPath 是与具有层次结构的 XML 文档相匹配的查询语言。它可以通过按多种方向来选择节点， 还包括用于基本字符串处理、数字计算和布尔代数的工具。XSLT 使用 XPath 来查找源文档中可匹 配一个或多个预定义模板的部分。一旦匹配被找到，XSLT 就会把源文档的匹配部分转换为结果文档。 借助 XSLT ，可以添加新的元素或属性，对所有元素/属性进行重新排序、循环处理、条件判断等程序 化的控制，使其满足各种复杂需求。这种规则使 XSLT 在处理以 CMML 所描述的数学文档时具有得 天独厚的优势，其匹配模式的正确应用将产生诸多重要的运算特性。关于 XSLT 语法的更多内容可参 看 W3C 网站[2] 。 3. XSLT 运算模型 符号计算系统的最基本功能是处理符号表达式，多项式则是最基本的符号表达式[5] ，求导、不定 积分、矩阵等运算都涉及多项式运算，这些运算或者三角函数的加/减、乘/幂的混合运算可以通过代 数法，当作多项式符号运算进行处理。因此，我们结合数学运算规则以及 XSLT 的特性，优先解决多 项式运算（仅涉及到和/减、乘/幂运算），运算步骤包括多项式的规范过程、计算过程，还原过程（如 图 1 所示）。 计算过程