随着Internet的发展,网络在线训练考试已经成为一种趋势,数学公式可视化和自动评测是Web训练考核系统中重要组成部分。本文系统主要完成了数学公式在Web中的编辑、显示和自动测评的功能,有效的减轻了教师的工作量,增加了训练考核的客观性。本文利用MathML到SVG的转换有效解决了Web应用中公式传输、表达和显示所面临的困境。同时利用AC多模式匹配算法实现对树形结构公式的匹配,提高了公式评测的速度。本文主要研究内容如下：(1)对Web训练考核系统进行需求分析,着重分析策略计算模块,并对策略计算模块进行了UML建模。通过用例视图建模、静态视图建模、动态视图建模和系统部署建模,增加了系统设计的科学性并提高了系统的可维护性和可扩展性。(2)为了解决数学公式的评测问题,本文系统使用MathML来描述数学公式。首先,利用DOM解析器将MathML数学表达式抽象为计算机识别的树形结构；然后,选择合适的变换方法对数学公式实现最简归一化处理；进而利用AC多模式匹配算法实现对目标公式与模式公式的匹配,再按归一化规则进行变换。(3)针对MathML在Web中的可视化问题,首先用XML解析器将MathML解析成DOM树,再按照指定的映射规则映射成关系表；然后,通过关系表提取MathML元素布局信息并将其元素放在矩形中；进而通过计算矩形边界信息得到MathML数学表达式对象的坐标信息；最后根据坐标信息完成数学公式在SVG中的绘制。(4)在系统整体设计与实现中,从2个方面优化了服务器的性能并对其进行测试。一方面,采用3NF范式设计数据库,以此平衡数据冗余度及数据访问效率。另一方面,为了节省服务器资源,通过对用户非正常退出时用户数据的清理,实现系统数据管理模块的设计。最后,测试了数学公式的评测性能和系统并发性性能,测试结果表明,本文系统具有实际应用价值。