本文關(guān)鍵詞：基于本體的數(shù)學(xué)表達(dá)式檢索技術(shù)研究

  更多相關(guān)文章： 本體 數(shù)學(xué)表達(dá)式檢索 搜索引擎 語(yǔ)義檢索

【摘要】：在科研、教育和工程等眾多領(lǐng)域中，數(shù)學(xué)表達(dá)式作為一類(lèi)復(fù)雜的、語(yǔ)義強(qiáng)的重要信息。人們對(duì)它的檢索有著表達(dá)式二維結(jié)構(gòu)識(shí)別和表達(dá)式內(nèi)容語(yǔ)義識(shí)別的要求。然而現(xiàn)有的數(shù)學(xué)表達(dá)式檢索系統(tǒng)大多是基于表達(dá)式字符文本化和基于表達(dá)式內(nèi)容展示形式進(jìn)行處理的，，很難滿(mǎn)足對(duì)表達(dá)式內(nèi)容語(yǔ)義的識(shí)別。因此，實(shí)現(xiàn)數(shù)學(xué)表達(dá)式的語(yǔ)義檢索對(duì)學(xué)習(xí)和工作都有著現(xiàn)實(shí)的意義。 本論文以支持?jǐn)?shù)學(xué)表達(dá)式內(nèi)容語(yǔ)義和關(guān)聯(lián)關(guān)系的表達(dá)式本體庫(kù)為基礎(chǔ)，對(duì)查詢(xún)條件進(jìn)行語(yǔ)義擴(kuò)展，以期達(dá)到數(shù)學(xué)表達(dá)式的語(yǔ)義檢索的目標(biāo)。論文主要開(kāi)展以下工作： 1）論文分析了數(shù)學(xué)表達(dá)式的檢索過(guò)程，提出了一種基于本體的數(shù)學(xué)表達(dá)式語(yǔ)義檢索模型。其思想是以表達(dá)式中數(shù)學(xué)公式部分作為基點(diǎn)歸納出四類(lèi)數(shù)學(xué)表達(dá)式多元信息的關(guān)聯(lián)關(guān)系，再使用改進(jìn)后的通配符表示方法來(lái)構(gòu)建數(shù)學(xué)表達(dá)式本體庫(kù)。基于構(gòu)建出的本體庫(kù)對(duì)查詢(xún)條件進(jìn)行語(yǔ)義拓展處理，將語(yǔ)義拓展處理后的關(guān)鍵詞匯返回給用戶(hù)進(jìn)行關(guān)鍵詞精確操作或是直接傳遞給檢索框架，實(shí)現(xiàn)數(shù)學(xué)表達(dá)式的語(yǔ)義檢索。 2）本文提出了一種改進(jìn)后的數(shù)學(xué)公式DOM樹(shù)的相似度匹配算法來(lái)實(shí)現(xiàn)上述模型中的語(yǔ)義擴(kuò)展功能。該算法的基本思想是根據(jù)編輯操作對(duì)象節(jié)點(diǎn)類(lèi)型的異同和其父節(jié)點(diǎn)的異同賦予不同的操作代價(jià)，枚舉疊加出操作代價(jià)總值，得出相應(yīng)的相似度，實(shí)現(xiàn)用戶(hù)查詢(xún)條件的語(yǔ)義化和精準(zhǔn)化拓展。同時(shí)借助數(shù)學(xué)表達(dá)式本體庫(kù)中歸納的關(guān)聯(lián)關(guān)系和上下位層次關(guān)系，減少匹配次數(shù)，提高匹配的效率。 3）在上述研究工作的基礎(chǔ)上，論文使用Protege4.3工具構(gòu)建出一個(gè)初級(jí)的數(shù)學(xué)表達(dá)式本體庫(kù)，再以Lucene檢索框架為基礎(chǔ)引擎進(jìn)行實(shí)驗(yàn)，驗(yàn)證了基于本體的數(shù)學(xué)表達(dá)式語(yǔ)義檢索模型和方法的可行性和有效性。并對(duì)改進(jìn)后的DOM樹(shù)相似度算法進(jìn)行對(duì)比實(shí)驗(yàn)，實(shí)驗(yàn)結(jié)果表明，改進(jìn)后的算法在響應(yīng)時(shí)間、查全率、查準(zhǔn)率和F-Measure值四項(xiàng)檢驗(yàn)指標(biāo)上均有提高。
【關(guān)鍵詞】：本體 數(shù)學(xué)表達(dá)式檢索 搜索引擎 語(yǔ)義檢索
【學(xué)位授予單位】：重慶大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類(lèi)號(hào)】：TP391.1
【目錄】：

• 摘要3-4
• ABSTRACT4-8
• 1 緒論8-13
• 1.1 研究背景及意義8-9
• 1.2 研究現(xiàn)狀9-11
• 1.2.1 數(shù)學(xué)表達(dá)式搜素引擎9-10
• 1.2.2 數(shù)學(xué)表達(dá)式描述語(yǔ)言10
• 1.2.3 本體10-11
• 1.3 論文章節(jié)安排11-13
• 2 數(shù)學(xué)表達(dá)式檢索關(guān)鍵技術(shù)研究13-28
• 2.1 數(shù)學(xué)表達(dá)式的檢索技術(shù)13-17
• 2.1.1 信息檢索技術(shù)13-15
• 2.1.2 數(shù)學(xué)表達(dá)式檢索問(wèn)題15-16
• 2.1.3 現(xiàn)有搜索引擎對(duì)比16-17
• 2.2 數(shù)學(xué)表達(dá)式的描述語(yǔ)言17-23
• 2.2.1 基于 XML 的數(shù)學(xué)標(biāo)記方法概述17-20
• 2.2.2 MathML 文檔的表達(dá)結(jié)構(gòu)20-22
• 2.2.3 MathML 的描述方法22-23
• 2.3 數(shù)學(xué)表達(dá)式中本體的應(yīng)用23-27
• 2.3.1 本體及本體庫(kù)的理論23-24
• 2.3.2 本體在數(shù)學(xué)表達(dá)式的應(yīng)用形式24-25
• 2.3.3 本體在數(shù)學(xué)表達(dá)式檢索中的作用25-27
• 2.4 本章小結(jié)27-28
• 3 一種基于本體的數(shù)學(xué)表達(dá)式語(yǔ)義檢索模型28-32
• 3.1 基于本體的數(shù)學(xué)表達(dá)式語(yǔ)義檢索模型28-29
• 3.2 模型的構(gòu)成要素29-30
• 3.2.1 模型的物理構(gòu)成要素29
• 3.2.2 模型的邏輯功能要素29-30
• 3.3 模型的檢索機(jī)理30-31
• 3.4 本章小結(jié)31-32
• 4 一種基于本體的數(shù)學(xué)表達(dá)式語(yǔ)義檢索技術(shù)32-51
• 4.1 基于本體的數(shù)學(xué)表達(dá)式表示方法32-41
• 4.1.1 數(shù)學(xué)表達(dá)式對(duì)象分析32-33
• 4.1.2 數(shù)學(xué)表達(dá)式間關(guān)系的呈現(xiàn)33-34
• 4.1.3 基于本體的數(shù)學(xué)表達(dá)式通配符表示34-36
• 4.1.4 數(shù)學(xué)表達(dá)式本體模型的構(gòu)建和表達(dá)36-41
• 4.2 數(shù)學(xué)公式的 MathML 解析41-44
• 4.2.1 建立 DOM 樹(shù)42
• 4.2.2 去除括號(hào)42-43
• 4.2.3 標(biāo)準(zhǔn)化轉(zhuǎn)換43-44
• 4.2.4 節(jié)點(diǎn)排序44
• 4.3 數(shù)學(xué)表達(dá)式匹配方法44-50
• 4.3.1 傳統(tǒng)的數(shù)學(xué)表達(dá)式匹配方法44-45
• 4.3.2 一種基于本體語(yǔ)義的 DOM 樹(shù)匹配方法45-50
• 4.4 本章小結(jié)50-51
• 5 實(shí)驗(yàn)與測(cè)評(píng)51-56
• 5.1 實(shí)驗(yàn)環(huán)境51
• 5.2 實(shí)驗(yàn)結(jié)果與分析51-55
• 5.2.1 基于本體的 DOM 樹(shù)相似度匹配算法結(jié)果分析52-54
• 5.2.2 基于本體的數(shù)學(xué)表達(dá)式語(yǔ)義檢索結(jié)果分析54-55
• 5.3 本章小結(jié)55-56
• 6 總結(jié)與展望56-58
• 6.1 本文總結(jié)56-57
• 6.2 研究展望57-58
• 致謝58-59
• 參考文獻(xiàn)59-62
• 附錄62
• A 作者在攻讀碩士學(xué)位期間發(fā)表論文的情況62

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前7條

1 鄧志鴻,唐世渭,張銘,楊冬青,陳捷;Ontology研究綜述[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2002年05期

2 張成昱 ,竇天芳 ,吳濱 ,高競(jìng)妹;數(shù)學(xué)公式的采集、組織和檢索[J];大學(xué)圖書(shū)館學(xué)報(bào);2005年05期

3 趙珂;逯鵬;李永強(qiáng);;基于Lucene的搜索引擎設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2011年16期

4 吳剛,唐杰,李涓子,王克宏;細(xì)粒度語(yǔ)義網(wǎng)檢索[J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年S1期

5 王洪偉;霍佳震;王偉;廖雅國(guó);;面向語(yǔ)義檢索應(yīng)用的本體模型結(jié)構(gòu)設(shè)計(jì)[J];系統(tǒng)工程與電子技術(shù);2010年01期

6 李春偉;;基于MathML的web數(shù)學(xué)公式的解決方案[J];中國(guó)科技信息;2008年17期

7 劉功申,李寧;一種基于有序二叉樹(shù)的多模式匹配算法(英文)[J];小型微型計(jì)算機(jī)系統(tǒng);2004年07期

本文編號(hào)：850079