數(shù)學(xué)公式搜索的功能分類研究.pdf

1、數(shù)學(xué)公式搜索是當(dāng)前信息學(xué)科領(lǐng)域的研究熱點。數(shù)學(xué)公式具有復(fù)雜的結(jié)構(gòu)信息和語義信息，具有一個公式可以表達(dá)多種數(shù)學(xué)含義、一種數(shù)學(xué)含義可以有多種表達(dá)形式等特點，另外，用戶使用數(shù)學(xué)搜索的場景不同，對數(shù)學(xué)搜索功能要求也不同，然而現(xiàn)有數(shù)學(xué)搜索系統(tǒng)對于用戶需求的分析尚存在一定差距。
　　首先，對數(shù)學(xué)公式的特點進(jìn)行了系統(tǒng)的分析，給出了數(shù)學(xué)公式的定義，從結(jié)構(gòu)和語義方面對數(shù)學(xué)公式的特點進(jìn)行了介紹。在此基礎(chǔ)上，對數(shù)學(xué)公式的子結(jié)構(gòu)和嵌套結(jié)構(gòu)進(jìn)行了研究，基于

2、一般項替換提出了變量抽象化和公式一般化兩種方法，用以良好的獲取和描述數(shù)學(xué)公式的多層嵌套結(jié)構(gòu)。進(jìn)而提出了結(jié)構(gòu)深度用以描述數(shù)學(xué)公式的結(jié)構(gòu)嵌套復(fù)雜程度。為描述公式間的結(jié)構(gòu)相似程度，提出了數(shù)學(xué)公式結(jié)構(gòu)相似度，這也為數(shù)學(xué)公式結(jié)構(gòu)相似檢索結(jié)果排序的處理提供了一種方式。
　　其次，對數(shù)學(xué)公式的語義特點、等價公式和相關(guān)計算公式進(jìn)行了研究，給出了形式化的定義，列舉了常見的等價公式形式和常見的相關(guān)計算。
　　最后，對用戶的應(yīng)用場景進(jìn)行調(diào)查分析，

3、結(jié)合數(shù)學(xué)公式的特點，提出了數(shù)學(xué)搜索的八項功能需求：完全匹配、子公式匹配、語義匹配、結(jié)構(gòu)匹配、等價公式匹配、相關(guān)計算匹配、圖形匹配以及復(fù)合形式匹配，給出了八種搜索需求的定義，并對其內(nèi)涵及外延進(jìn)行了界定。并對現(xiàn)有數(shù)學(xué)搜索研究進(jìn)行了調(diào)查總結(jié)，在八項功能需求上進(jìn)行了對比和分析，提出了技術(shù)上的改進(jìn)建議。
　　數(shù)學(xué)公式搜索的功能為用戶的檢索需求提供了方便，也為信息檢索技術(shù)的發(fā)展和社會進(jìn)步帶來了機(jī)遇，將數(shù)學(xué)公式搜索與數(shù)學(xué)計算進(jìn)行有機(jī)的結(jié)合，是該