电子公式词典的设计-计算机应用技术专业论文.docxVIP

汕头大 汕头大学硕士学位论文 基于数学公式检索的电子词典设计 II II Abstract In comparison with numerical calculation, symbolic operation is a inference procedure. It is used to solve concrete problems and reveal innate laws of things. symbolic operation gives an abstract of mathmatics. at the present time, there is no good means to solve the complex symbolic operation and for some function points, it is difficult in solving complex operations and a lot of the problems encountered by human, mainly from the complex function points and in some discipline produces special function points. Formula dictionary mainly targets at the integral formulas because of the complexity. By comparing the cunrrent methods on coding formulas,th, the LaTeX format is used as the key, and the MathML format is used as the output values for display. After in the dictionary of formula, in order to guarantee the recall and precision during on searching process to formula dictionary. This paper adoptes some methods to ptetreat the user’s input. This method analysises the structure of the formula based on LaTeX. And it gives four pretreatment rules in the pretreatment process; In the retrieval processing, the matching method contains two matching method,the direct matching method and partial matching method, and the partial matching method adoptes the BM algorithm. Finally, a simple example is gived to test on retrievaling formula dictionary , by analysis the output, we can come to the conclusion that the rules are given in this paper can ensure pretreatment matching result for the correctness and completeness. Key words：formula retrieval; electronic dictionary; LaTeX; MathML PAGE PAGE IV 目 录 摘 要 I Abstract II 目 录 III 第一章 绪 论 1 1.1 研究背景 1 1.2 国内外研究现状及分析 2 1.3 主要研究工作 4 1.4 论文组织结构 5 第二章 数学公式的描述与编码 6 2.1 基于 LaTeX 格式的公式编码方法 6 LaTeX 简介 6 LaTeX 描述数学公式 6 2.2 基于 MathML 格式的公式编码方法 11 MathML 简介 11 MathML 描述数学公式 13 2.3 其它的公式编码方法 15 2.4 几种编码方式的比较 16 2.5 本章小结 17 第三章 公式库的存储 18 TOC \o 1-2 \h \z \u HYPERLINK \l _TOC_2500