王则栋 张 磊 李滕飞 王宇璐 王抵修*（吉林建筑大学，吉林 长春 130118）

1 概述

随着网络技术的不断发展，建设题库系统成为开展网络教育的重要手段之一。各种题库系统被相继提出，这也对题库维护子系统的建设和更新提出了新的要求。目前关于高等数学的题库系统较少，本文提出一个支持数学公式语义化的高等数学题库系统，对数学公式在Web 端的显示和语义化数据库进行了深入的研究与实现。

2 历史与现状

自1994 年万维网产生以来，数学公式在Web 端的交互就一直是人们研究的热点和难题。

最初大多采用图片上传的方式。一些人采用Word 或MathType 等编辑器把数学公式输出为图片形式保存到数据库中并在Web 端应用[1]。但是这种图片形式的数学公式不能进行查找和索引，更重要的是没有语义[2]，这不利于信息的处理。并且图形文件占用存储空间较大，对数据库的读写和备份造成影响，而且数据重用性能也很差。

LaTex 是一个科技文献的排版系统，它虽然未采用所见即所得的编译方式，但也一直是科技文献排版的有效工具。在Web端也有人做成了用LaTex 表示公式的系统。但对于不懂LaTex的人来说，问题依然没有得到解决。

MathML 用标记的形式表示数学公式，它作为XML 的子集成为数学公式在Web 端交互的新的方案。MathML 文档是自描述的，这种特性使它成为数学信息的良好载体，为数据库提供了良好的接口[3]。基于MathML 的数学公式显示和编辑方案，是在网页上对数学公式数据进行解析并统一处理成MathML 格式，最后保存到数据库进行管理[4]。……