S盒NPNP等价匹配算法

根据S盒和布尔函数的相关性,S盒可以看作向量布尔函数.本文在基于布尔函数的NP等价匹配算法的基础上,设计了一个基于深度优先搜索的S盒NPNP等价匹配算法,用于判断两个不同的S盒是否NPNP等价,若等价则同时计算出NPNP变换方式.此算法的深度优先搜索结构基于树,且在进入深度优先搜索之前根据规则仅生成了部分可能存在解的路径,并在计算过程中实时判断以当前结点为新起点的剩余路径是否可能存在解,若不存在就直接剪枝并回溯避免了继续计算的时间开销,故其时间复杂度取决于树结点的个数.不同于仿射变换,本文提出的算法对于判断非可逆S盒是否NPNP等价的计算复杂度与判断可逆S盒是否NPNP等价的计算复杂度一致.实验方面,本文使用现在各个密码算法中常用的S盒进行实验,实验结果证实了本文方法的有效性,且计算过程远远优于直接搜索.

一种基于序列数的关联规则挖掘算法

在关联规则挖掘研究中,为了在产生候选频繁项时减少算法存在的重复计算和冗余候选项,为了在计算支持数时减少扫描事务数据库的次数,提出了一种基于序列数的关联规则挖掘算法,其关联规则适合挖掘任何长度.该算法用事务属性的布尔约简法,将传统事务数据转换成二进制数,然后用数字的递增和递减两种方式双向搜索候选频繁项;算法通过序列数的度来计算支持数,实现一次扫描数据库,有效地提高了算法的效率.

布尔检索在Ei-compendex和CNKI中文期刊数据库中的应用区别

本文通过对Ei-compendex和CNKI中文期刊全文数据库中布尔检索异同点的分析研究,探讨了不同信息检索系统中布尔检索的应用区别。

一种结合超链接分析的搜索引擎排序方法

为了提高搜索引擎的检索性能,文章设计了一种搜索引擎的综合排序方法。它采用改进的布尔检索模式、中文分词、超链接分析以及索引链接文本等技术,主要具有以下特点:对经典布尔型检索模式所作的改进使得文档相关度不再是严格的0或1;超链接分析通过互联网的链接结构计算出每个网络文档的质量;通过中文分词和索引链接文本可以更加准确地获得一个网络文档的信息内涵。将3者结合可以充分利用各自优势而弥补不足。

基于网页排名的其他链接方法的研究

目前针对主要的排名算法PageRank和HITS的研究与应用较广泛,同时,其它排名算法也逐渐得到了研究者的重视。文中将对其它排名算法中的SALSA和TrafficRank进行研究。文中首先对布尔搜索引擎、向量空间模型引擎、概率模型搜索引擎、元搜索引擎等基本搜索引擎模型进行综述,总结各基本搜索引擎模型的特征和优缺点。其次对SALSA和TrafficRank的算法进行分析,总结出两种排名算法的特征和优缺点。

一种实用智能答疑系统的设计与实现

根据远程学习方式的特点,在兼顾智能化程度与开发成本间的平衡的基础上,提出了一个基于自然语言提问的实用的智能答疑系统实现方案,并分析和研究了其中涉及的关键技术:根据专业词库和常用词库进行自动分词;设计关系词典开展语义分析;采用改进的TF-IDF函数;结合空间向量模型和布尔模型的搜索技术;采用数据挖掘等。

基于两种新型遗传算子的优化组合遗传算法

针对遗传算法中全局搜索与局部搜索之间的矛盾,应用二进制编码对搜索空间描述精细、容易位值计算的特点,从矩阵遗传算子和布尔遗传算子的角度,分别对全局搜索和局部搜索的性能进行改进,并将二者组合应用,构造基于这两种新型遗传算子的优化组合遗传算法,避免了传统遗传算法中杂交率和变异率参数的选取,保证了算法的全局收敛性。实验结果表明,该算法具有更好的整体搜索性能,对应用二进制编码遗传算法求解复杂非线性优化问题具有重要借鉴意义。

布尔代数模式搜索技术——一种新的启发式推理方法

简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度看去同构于一个布尔代数。

优良布尔函数的混合禁忌搜索算法

为保障对称密码算法的安全性,其构成算法中所使用的布尔函数必须具有优良的密码学性质。结合禁忌搜索算法和爬山算法的优点,提出了一种新的优良布尔函数启发式生成算法——混合禁忌搜索算法。应用该算法,可以快速得到大量具有高非线性度、低自相关性、一阶弹性、最优代数次数、最优代数免疫度、最优(次优)抵抗快速代数攻击能力等的布尔函数。仿真结果表明,所提算法搜索能力强,运行速度快,且搜索出的布尔函数的密码学性质优于已知的优化算法的结果,也弥补了采用构造法构造布尔函数的一些缺陷。

反思性教学研究述评——从内容分析法的角度

随着基础教育课程改革的全面推进,反思性教学日益深入人心。反思性教学进入了中国化发展的阶段。文章通过内容分析法,以"反思性教学"为关键词,采用布尔逻辑检索,对中国期刊全文数据库和中国优秀博硕士学位论文全文数据库进行检索分析,并在此基础上,就反思性教学在中国的发展进行评述。

生物医学领域一种重要开放式存取期刊出版社-BioMed Central的简介

作为最重要的开放式存取杂志出版商之一的BioMed Central(BMC)出版社,致力于提供经过同行评审的生物医学领域研究论文的公开取阅途径(open access)。读者可以在BMC出版社网站上免费获得其出版的研究论文,从而实现研究结果的迅速、高效交流。由于为了让更多的读者了解BMC出版社,并更好地帮助读者在BMC数据库中检索到所需要的文献资料,本文着重介绍了BMC数据库所提供的文献检索方式。

一种用于FPGA的新型混合布线算法

布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法。对于传统的一次布通一条线网的方法,基于布尔可满足性的算法有着独特的优点,例如:同步线网嵌入及可布通性确定。然而基于SAT的布线法在可扩展性方面有很大缺陷。而另一方面,几何查找布线算法即使具有广泛的拆线重布线的能力,但当一个问题具有严格的布线约束条件时,它在布线方案收敛方面存在很大困难。文章提出了将一种布尔可满足性算法与VPR430相结合的新型、有效的混合布线算法。试验结果表明与相应的纯几何布线算法相比,这种算法在运行时间上有了极大的改善(减少了29%),并且对布线整体方案无不良影响。

搜索引擎使用技巧

对如何正确选用关键词,利用适当的搜索引擎在Internet上搜索所需要的信息作了简要介绍。

基于互联网的元搜索引擎中领域搜索模型的设计

网络信息庞大而繁杂,给用户查询带来了很多困难,领域相关的信息检索能有效地减少这些困难。基于互联网的元搜索引擎技术,提出了一种领域搜索模型。首先,采用"几率比"方法选择领域词,利用基于领域词的"判定树"构造能够反映领域文献特征的领域查询式。再将用户查询词与领域查询式相结合,作为通用搜索引擎的输入。最后,采用"扩展布尔模型"方法对返回文献进行排序,筛选出领域相关性强的检索文献。实验证明,该模型在检索领域文献时取得了很好的效果,可以用于互联网环境下各种领域相关信息的检索。

一种加速FPGA布线的不可满足子式求解算法

随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较,结果表明局部搜索算法在运行效率方面显著优于分支限界算法与贪心遗传算法,而局部搜索算法也能得到最小不可满足子式;并且深入分析了不可满足子式在FPGA详细布线中的作用,能够加速芯片的设计与验证过程.

S_(BOS)相邻逻辑对称序列构造与实现方法

本文基于布尔序集相邻逻辑对称关系的二分枝树(T_(BOS))结构模型的研究,从中找出布尔序集相邻逻辑对称序列(S_(BOS))关系的内在规律,进而提出用S_(BOS)构造的新方法,来实现N维布尔序集唯一相邻的逻辑路径问题。文中介绍了“对跳定界搜索”方法,对工程应用有着实际意义。

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。

基于扩展布尔检索的Web检索算法

实用、高效的Web搜索引擎依赖于有效的检索算法,而如何提高检索精度是检索算法的关键。该文论述了一种在最短片段算法的基础上进行改进后的检索算法。它是基于扩展布尔检索框架的检索算法。还给出了新的算法在2001文本检索会议(TREC 10) 的Web语料上的实验数据。实验结果表明,新的算法比原始的算法在检索精度上有所提高。

一种求解布尔不可满足子式的局部搜索算法

解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而不可满足子式能够为公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。近年来涌现了许多基于SAT求解器DPLL回溯搜索过程的完全算法,但关于不完全方法提取不可满足子式的研究相对较少。因此,本文提出一种采用启发式局部搜索过程从公式的不可满足性证明中求解布尔不可满足子式的算法。该算法根据公式的消解规则通过局部搜索过程直接构造证明不可满足性的消解序列,并融合了布尔推理技术以提高搜索效率;而后通过一个递归过程遍历证明序列从而得到不可满足子式。通过实验与贪心遗传算法进行对比,结果表明本文提出的算法优于贪心遗传算法。

基于BSSEVD的可搜索加密方案原型系统设计与实现

针对大型数据集条件下,安全索引文件过大而导致可搜索加密方案的关键字搜索时间复杂度过高、效率低的问题,提出了大型数据集下支持布尔搜索的可搜索加密方案(BSSEVD).方案采用三层间接寻址块状存储安全索引的方法优化安全索引存储结构,通过增加关键字交集安全索引解决多关键字布尔搜索导致的泄露增加问题.并在该方案基础上,设计与实现可搜索加密方案原型系统.该系统主要包括文件预处理模块、初始化模块和关键字搜索模块等三大模块.通过实验测试对系统的性能进行分析,实验结果表明该方案计算效率得到了较大的提升.