MathML在Web訓(xùn)練考核系統(tǒng)中的研究及實現(xiàn).pdf

1、隨著Internet的發(fā)展，網(wǎng)絡(luò)在線訓(xùn)練考試已經(jīng)成為一種趨勢，數(shù)學(xué)公式可視化和自動評測是Web訓(xùn)練考核系統(tǒng)中重要組成部分。本文系統(tǒng)主要完成了數(shù)學(xué)公式在Web中的編輯、顯示和自動測評的功能，有效的減輕了教師的工作量，增加了訓(xùn)練考核的客觀性。
　　 本文利用MathML到SVG的轉(zhuǎn)換有效解決了Web應(yīng)用中公式傳輸、表達(dá)和顯示所面臨的困境。同時利用AC多模式匹配算法實現(xiàn)對樹形結(jié)構(gòu)公式的匹配，提高了公式評測的速度。本文主要研究內(nèi)容如下:

2、
　　 (1)對Web訓(xùn)練考核系統(tǒng)進(jìn)行需求分析，著重分析策略計算模塊，并對策略計算模塊進(jìn)行了UML建模。通過用例視圖建模、靜態(tài)視圖建模、動態(tài)視圖建模和系統(tǒng)部署建模，增加了系統(tǒng)設(shè)計的科學(xué)性并提高了系統(tǒng)的可維護(hù)性和可擴(kuò)展性。
　　 (2)為了解決數(shù)學(xué)公式的評測問題，本文系統(tǒng)使用MathML來描述數(shù)學(xué)公式。首先，利用DOM解析器將MathML數(shù)學(xué)表達(dá)式抽象為計算機(jī)識別的樹形結(jié)構(gòu);然后，選擇合適的變換方法對數(shù)學(xué)公式實現(xiàn)最簡歸一化

3、處理;進(jìn)而利用AC多模式匹配算法實現(xiàn)對目標(biāo)公式與模式公式的匹配，再按歸一化規(guī)則進(jìn)行變換。
　　 (3)針對MathML在Web中的可視化問題，首先用XML解析器將MathML解析成DOM樹，再按照指定的映射規(guī)則映射成關(guān)系表;然后，通過關(guān)系表提取MathML元素布局信息并將其元素放在矩形中;進(jìn)而通過計算矩形邊界信息得到MathML數(shù)學(xué)表達(dá)式對象的坐標(biāo)信息;最后根據(jù)坐標(biāo)信息完成數(shù)學(xué)公式在SVG中的繪制。
　　 (4)在系統(tǒng)整