一、利用舍伍德算法实现线性表的快速查找（论文文献综述）
冯冲[1]（2018）在《类人答题系统中的不等式问题自动求解的研究与实现》文中提出随着信息技术不断发展,人工智能领域发展突飞猛进,社会各个领域都离不开计算机和人工智能,教育领域同样如此,数学问题的机器求解研究进行了数十年,在很多方面都有了不错的进展,依赖前人的工作经验和成果,本文将不等式的机器求解和推理用在初等数学类人答题系统问题的研究上,用来解决尽量多的不等式相关的数学初等问题。本文工作主要有以下几点:1.研究、实现和改进了一些用于求解不等式相关问题的算法。运用和改进蒙特卡洛树搜索方法进行不等式放缩和表达式变换,提高了不等式放缩和表达式变换的效率。在蒙特卡洛树搜索的表达式变换中,实现了基于语法树和参数空间的表达式变形方法,让表达式变形高效准确。实现了差分代换的方法去判断表达式的非负性。还利用Grobner Basis的方法为知识库产生尽量多的等式,不仅可以简化等式间的关系,还可以方便轻松得到目标解析式和目标等式,以便进行最值和参数范围的求解。2.设计了一套不等式相关问题的知识表示方法。推理引擎的首要条件是拥有一套知识的表示方法,在建立了合适的知识表示方法之后进行推理才能保证系统的效率和准确性。在这套表示方法的基础上,自然语言处理可以对题目进行识别,推理引擎也将利用这些关系和实体进行推理。3.论文设计了一套数学问题推理引擎,具体包括正向推理、分支推理、辅助推理和逆向推理四大引擎。所有的推理皆在此范围内工作。正向推理主要负责普通的计算推理和逻辑推理,分支推理主要负责对选择题和对参数讨论的问题的不同参数范围的分支进行推理。辅助推理主要进行直觉推理和计算推理。逆向推理则为从结论出发进行逻辑推理、计算推理和直觉推理。此外还创建并维护了一套不等式规则库,推理规则为推理引擎的基础,四大引擎均在这些推理规则的基础之上运行。4.本文针对初等数学中不等式相关问题中经典的题型都给出了解决的思路和方法,并加以实现,从而实现了一套不等式问题的自动推理系统。其中还实现了一题多解技术来帮助系统增强有效性。针对不等式问题求解的最后一步,停机问题,给出了对应的具体解决方案,让系统尽可能的准确停机。经过一系列系统的搭建,方法的添加、完善和测试之后,论文所设计的初等数学问题求解系统中不等式相关的中等难度题目的求解正确率达到了73.25%。
韩永,姚念民,蔡绍滨[2]（2013）在《一种树链双访表结构的快速查找算法》文中研究说明查找是计算机应用中的常用基本运算.当前有很多查找算法针对关键字的查找概率问题进行了优化.处理器对高速缓存和主存的访问存在着巨大的速度差异.因此,随着高缓技术的快速发展及其容量的扩大,提高访问概率较高关键字的高缓命中率成为加速查找的一个重要因素.提出一种能够根据关键字的访问统计自适应调整的树链双访表结构.该算法能适应访问数据的分布特点,在应用中动态统计关键字访问次数,提高访问概率较高关键字的高缓命中率,从而实现快速查找.实验表明,随着测试集中热关键字查找比率的增大,树链双访表查找算法的性能优势也越明显.
乔松霞[3]（2009）在《用回溯和概率相结合的算法讨论8皇后问题》文中认为8皇后问题是计算机算法设计领域里的经典问题。利用回溯算法和概率算法相结合的办法求解8皇后问题,通过实验分析第一次成功搜索到皇后位置的概率,以实验得出的数据为依据对现存的观点提出了质疑,并对实验数据进行了分析,肯定了本文数据的合理性。
刘惊雷,童向荣,张伟[4]（2006）在《一种快速构建最优联盟结构的方法》文中指出联盟结构是对Agent集合的一个划分,通过联盟形成联盟结构,可以使Agent之间形成有效的合作,完成单个Agent所不能完成的任务。然而联盟结构的数目和解空间比较大,以至于通过穷举搜索最优联盟结构是很复杂的。动态规划法通常用于求解具有最优子结构性质和重叠子问题性质的问题,文章在给出了Agent联盟的相关概念之后,论证了构造最优联盟结构问题恰恰具有这两类性质,因此利用动态规划法可以求解。最后给出了相应的算法,并得出采用动态规划法实现最优联盟结构的时间复杂度为O（3n）。
刘惊雷,范辉,范宝德[5]（2004）在《利用舍伍德算法实现线性表的快速查找》文中指出舍伍德算法是概率算法的一种，该文在比较了线性表的顺序存储与链式存储的特 点之后，提出了一种较优的数据结构——用数组模拟链表。理论上证明了采用舍伍德算法进 行查找运算的时间复杂度为O（n1/2），并在计算机上给出了相应数据的模拟。
二、利用舍伍德算法实现线性表的快速查找（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、利用舍伍德算法实现线性表的快速查找（论文提纲范文）
（1）类人答题系统中的不等式问题自动求解的研究与实现（论文提纲范文）
| 摘要 |
| abstract |
| 第一章 绪论 |
| 1.1 研究工作的背景与意义 |
| 1.2 国内外研究历史与现状 |
| 1.2.1 数学的机器求解与证明 |
| 1.2.2 随机化算法 |
| 1.2.3 搜索算法 |
| 1.3 本文的主要研究内容 |
| 1.4 本论文的结构安排 |
| 第二章 相关理论与技术 |
| 2.1 一阶逻辑 |
| 2.1.1 表示方法 |
| 2.1.2 一阶逻辑的语法和语义 |
| 2.1.3 运用一阶逻辑 |
| 2.1.4 前向链接 |
| 2.1.5 反向链接 |
| 2.2 产生式系统 |
| 2.2.1 产生式认知模型 |
| 2.2.2 产生式系统架构 |
| 2.2.3 推理机在产生式系统中的实现 |
| 2.3 知识库 |
| 2.4 蒙特卡洛树搜索 |
| 2.5 符号计算引擎 |
| 2.5.1 MAPLE计算软件 |
| 2.5.2 GROBNER基 |
| 2.6 DROOLS规则推理引擎 |
| 2.7 本章小结 |
| 第三章 不等式问题的相关算法研究 |
| 3.1 表达式的蒙特卡洛化简和不等式的蒙特卡洛放缩 |
| 3.1.1 表达式的蒙特卡洛变式变形与化简 |
| 3.1.2 不等式放缩的蒙特卡洛树搜索 |
| 3.2 利用差分代换方法判断表达式非负性 |
| 3.3 基于语法树和参数空间的表达式等价变形 |
| 3.4 基于GROBNERBASIS的等式生成方法 |
| 3.5 本章小结 |
| 第四章 不等式问题的知识表示 |
| 4.1 不等式问题中的知识表示 |
| 4.1.1 代数实体表示 |
| 4.1.2 代数实体属性表示 |
| 4.1.3 代数关系表示 |
| 4.2 本章小结 |
| 第五章 不等式自动推理系统的研究与构建 |
| 5.1 不等式问题中的计算方法和推理规则 |
| 5.1.1 不等式的计算方法 |
| 5.1.2 不等式的推理规则 |
| 5.2 知识库中的逻辑推理模块 |
| 5.2.1 分支推理 |
| 5.2.2 辅助推理 |
| 5.3 推理模型的构建 |
| 5.4 本章小结 |
| 第六章 不等式问题求解系统的实现 |
| 6.1 初等数学不等式问题的类型 |
| 6.2 求解不等式选题和填空题 |
| 6.3 求解最值问题和取值范围问题 |
| 6.3.1 求解最值问题 |
| 6.3.2 求解取值范围问题 |
| 6.4 自动推理中的不等式证明方法 |
| 6.5 一题多解技术求解不等式问题 |
| 6.6 不等式问题的求解停机策略 |
| 6.7 本章小结 |
| 第七章 不等式自动求解系统测试与分析 |
| 7.1 测试环境 |
| 7.1.1 硬件环境 |
| 7.1.2 软件环境 |
| 7.2 自动解题测试 |
| 7.2.1 差分代换方法测试 |
| 7.2.2 基于参数空间的表达式变形测试 |
| 7.2.3 最值问题求解测试 |
| 7.2.4 不等式证明方法测试 |
| 7.3 测试结果分析 |
| 7.4 本章小结 |
| 第八章 总结与展望 |
| 8.1 全文总结 |
| 8.2 工作展望 |
| 致谢 |
| 参考文献 |
| 攻读硕士学位期间取得的成果 |
（3）用回溯和概率相结合的算法讨论8皇后问题（论文提纲范文）
| 0 引言 |
| 1 回溯算法 |
| 2 概率算法 |
| 3 实验过程 |
| 4 数据参数及实验结果 |
| 5 结束语 |
（5）利用舍伍德算法实现线性表的快速查找（论文提纲范文）
| 1 舍伍德算法 |
| 2 线性表的组织 |
| 3 数组实现链表 |
| 4 用类模板实现算法 |
| 5 时间复杂度分析 |
| 6 程序测试 |
| 7 结束语 |
四、利用舍伍德算法实现线性表的快速查找（论文参考文献）
- [1]类人答题系统中的不等式问题自动求解的研究与实现[D]. 冯冲. 电子科技大学, 2018(10)
- [2]一种树链双访表结构的快速查找算法[J]. 韩永,姚念民,蔡绍滨. 小型微型计算机系统, 2013(07)
- [3]用回溯和概率相结合的算法讨论8皇后问题[J]. 乔松霞. 软件导刊, 2009(08)
- [4]一种快速构建最优联盟结构的方法[J]. 刘惊雷,童向荣,张伟. 计算机工程与应用, 2006(04)
- [5]利用舍伍德算法实现线性表的快速查找[J]. 刘惊雷,范辉,范宝德. 计算机工程, 2004(01)