数学标记语言MathML

随着网络技术的发展,各个科研领域之间的信息交流日趋频繁,针对数学公式在Web上的应用,W3C组织提出了一种基于XML的数学标记语言(简称MathML)。该文通过简要介绍MathML的发展状况、语法结构以及相关的工具软件,为数学公式在Web上的应用提供了一种全新的解决方案。

采用标记语言构造数学公式编辑器的方法

讨论了XML以及由它创建的MathML的一些基本技术知识，在此基础上提出并实现了一个基于标记语言、用面向对象技术构造的数学公式编辑器ST32Formula。ST32Formula使得数学公式能够以不同于传统交流的方法在Web上传送、处理，它克服了以往在Web上的数学信息只能显示而不能被查询和重用的缺点，具有现实的应用意义。

基于XML的数学试题标记语言的试题转化及应用

当前对于如何表示数学试题没有一个正式的标准,现有的数学试题库都比较分散,没有形成整体的资源,所以这些试题资源得不到充分利用。本文在提出用于描述数学试题的试题标记语言MAML的基础上研究实现并丰富了该语言,提出了MAML的完整方案,研究并实现了从MAML试题原型到MAML具体试题的转化。

MathML在数学建模与仿真中的应用研究

说明了将数学标记语言(MathML)引入到数学建模与仿真中的目的;介绍了为数学表达式建立MathML表示编码和内容编码的算法,给出了对用MathML内容编码描述的数学表达式的求值方法;以一个简单的连续系统仿真的为例,说明了应用MathML进行数学建模和仿真的方法。

数学公式与WEB

文章首先研究了数学公式在Web上的发展和问题，而后介绍了W3C组织提出的一种基于可扩展标记语言（XML）的数学标记语言（MathML），它主要包括表现（Presentation）和表义（content）两种形式。文章认为MathML将成为数学材料计算机化的最重要的标准。最后，文章介绍了一个基于MathML的应用系统－SeeMath的设计和体系结构。SeeMath为数学公式在Web上显示提供了一个集成的解决方案。

多阶段建模过程中可重用数学模型表示方法

为解决多阶段建模过程中数学模型重用性问题,分析多阶段建模过程中数学模型表示现状及MDA(model driven architecture,模型驱动体系结构)对数学模型的重用性和平台无关性需求,提出作战训练仿真数学模型广义定义和面向重用的数学模型表示方法;通过建立可重用变量转换关系网络组织、管理和描述作战训练仿真数学模型中的变量转换关系(variable conversion relation,VCR),扩展MathML(math markup language,数学标记语言)语义并基于扩展的MathML语义对变量转换数学表达式进行表示。最后基于变量转换关系网络实现作战训练仿真数学模型动态逻辑行为模型生成。

一种印刷体数学公式重构的方法

数学公式重构是公式识别的重要环节,目前相关的研究还很欠缺.针对数学公式重构展开了研究,提出了一种基于MathML的数学公武重构的方案.实验表明,这种数学公式重构方法可以完美准确地表达数学公式,而且可以和目前流行的字处理软件中的公式编辑器兼容.

基于MathML描述的数学公式编辑器的实现

对Web教学应用开发中数学公式的显示和编辑的实现技术进行分析，给出一个使用有向树型数据结构和MathML描述的实际解决方案。对关键的实现技术进行了详细的讨论，为设计功能完善的Web教学系统提供有力的支持。

基于Web的数学公式检索系统设计与实现

数学公式在Web环境下使用得越来越广泛,人们迫切需要通过对数学公式检索来获取相关的信息,但是目前主流的搜索引擎都不能检索数学公式。在分析公式自身特点的基础上提出构造公式索引的一些策略,并结合当前信息检索系统研究的成果,设计并实现了Web环境下的检索数学公式系统。

在线网页编辑中的数学公式解决方案研究

本文提出了基于Mathml的公式、网页组合编辑方案，实现了在线数学公式和网页的组合编辑，文章对方案的设计、开发和应用等问题作了分析和探讨。

基于MathML的在线公式编辑器的实现与应用

在阐述了数学标记语言MathML和公式插件WebEQ的基础上,提出了一种基于MathML的在线公式编辑器的设计,并以文本编辑器FCKeditor为平台进行了实现,最后给出了具体应用与进一步的改进,较好地解决了上述问题。

在线富文本公式编辑器的设计与实现

在研究ASCIIMathML转换文档的基础上,提出基于ASCIIMathML的富文本公式编辑器设计方案。运用JavaScript和DOM技术,结合XHTML实现火狐浏览器下公式的所见即所得编辑,并将公式编辑页面应用到文本编辑器中,实现公式的显示、复编辑、保存、载入等功能,有利于公式的在线编辑和传输。

Vite:一个混合系统建模仿真框架

提出了一个使用通用平台实现的混合系统仿真框架:Vite。Vite基于方程建模,提取了构成仿真的模型、问题和数值求解器三个抽象,提高了模型的复用性,降低了Vite内部各组成部分的耦合性;使用关联和连接器以组合模型的方式搭建系统,构成系统的模型和方程可以被层次化的管理;用MathML表示方程,用XML表示模型,提高了模型的共享性;设计了模型与求解器的接口,增加了数值解法的选择性。

MathML到SVG的转换方法研究

W3C定义的数学标记语言(MathML)虽然可解决Web中应用数学公式的问题,但是支持它的浏览器很少;而W3C定义的可伸缩矢量图形(SVG)得到了更多浏览器的支持,并成为标准。为此,对数学公式从MathML转换为SVG的方法进行了研究,对公式表现形式进行分析,结合SVG规范研究公式组成元素和布局的转换方法,给出了相应转换算法,并对表义形式的转换进行了分析。

基于MathML的数学公式中文发音方法研究

数学公式具有含义丰富的二维结构,而视障者无法识别数学公式的特殊结构,数学公式的阅读和理解给视障者的学习带来了诸多困难.为实现数学信息无障碍,制定了一套数学公式基本读法规则MathAL.该规则利用指示符确定数学公式中操作符的作用范围,提出原子公式概念,减少指示符冗余.经验证,通过该规则的学习,数学公式歧义性降低到了8.5%,数学公式的发音长度缩短了15.6%,更加符合人们阅读数学公式的习惯.