期刊文献+
共找到44篇文章
< 1 2 3 >
每页显示 20 50 100
基于两次量子搜索的K子集和问题求解
1
作者 叶天语 吴恒 甘志刚 《通信学报》 北大核心 2025年第7期182-190,共9页
针对K子集和问题,提出了一种基于两次量子搜索的高效量子算法。第一次量子搜索通过变异Grover算子生成包含所有元素个数为K的子集的量子叠加态;具体地,首先通过Oracle算子进行相位翻转标记所有含K个元素的子集,然后通过扩散算子放大标... 针对K子集和问题,提出了一种基于两次量子搜索的高效量子算法。第一次量子搜索通过变异Grover算子生成包含所有元素个数为K的子集的量子叠加态;具体地,首先通过Oracle算子进行相位翻转标记所有含K个元素的子集,然后通过扩散算子放大标记的目标子集的概率幅值。第二次量子搜索则通过另一个变异Grover算子从所有元素个数为K的子集中找到K个元素和等于目标值的子集;具体地,首先通过特定的和校验Oracle算子标记所有的元素和等于目标值且只含K个元素的子集,然后通过扩散算子放大标记子集的概率幅值。仿真实验结果表明,所提方法准确率大于或等于89%,较现有方法准确率更高。 展开更多
关键词 K子集和问题 GROVER量子搜索算法 布尔可满足性问题 量子线路
在线阅读 下载PDF
基于区块链索引的可验证布尔搜索加密方案
2
作者 李宇溪 陈晶晶 +2 位作者 周福才 徐剑 纪东 《计算机研究与发展》 北大核心 2025年第11期2855-2869,共15页
针对现有可搜索加密方法中搜索表达能力不足以及验证机制不完善的问题,提出了一种基于区块链索引的可验证布尔搜索加密(verifiable Boolean searchable encryption based on blockchain index,VBSEBI)方案.该方案首先构建了支持可验证... 针对现有可搜索加密方法中搜索表达能力不足以及验证机制不完善的问题,提出了一种基于区块链索引的可验证布尔搜索加密(verifiable Boolean searchable encryption based on blockchain index,VBSEBI)方案.该方案首先构建了支持可验证布尔搜索的安全模型,并在此基础上设计了一种基于区块链存储结构的增量型安全索引构造方法,在实现高效搜索的同时,确保索引结构的不可篡改性.此外,方案还设计了安全索引的高效动态更新机制,有效避免了因构建辅助更新结构而导致的索引存储和更新开销过大的问题.针对布尔搜索的完整性验证需求,方案定义了布尔搜索结果的不可伪造性,并提出了一种基于双线性映射累加器和扩展欧几里得算法的布尔运算完整性验证算法.安全性分析表明,VBSE-BI方案在随机预言模型下可抵御动态选择关键字攻击,并在双线性q阶强Diffie-Hellman假设下满足不可伪造性.与同类方案相比,VBSE-BI方案不仅支持更丰富的布尔搜索语句,还将用户端计算复杂度显著降低至log n(n为关键字个数).实验结果显示,通过优化验证算法,该方案使用户端验证时间始终保持在较低水平(1.0~1.8 s),仅为服务器端计算时间的9.98%~14.03%.上述结果表明,VBSE-BI方案非常适用于资源受限的移动设备,为可搜索加密的实际应用提供了坚实的理论基础和高效性保障. 展开更多
关键词 可搜索加密 区块链 安全索引 布尔搜索 不可伪造性
在线阅读 下载PDF
面向IEX方案存储开销优化的方法
3
作者 张象博 马昌社 苏雨晨 《网络与信息安全学报》 2025年第5期149-161,共13页
可搜索对称加密允许在加密数据中进行高效搜索,IEX是首个实现次线性搜索复杂度且支持布尔查询的方案,但该方案的服务器存储开销较大。为减少服务器存储开销,提出了一种基于三角矩阵的数据组织方法,该方法可以减少约50%的两两关键字的文... 可搜索对称加密允许在加密数据中进行高效搜索,IEX是首个实现次线性搜索复杂度且支持布尔查询的方案,但该方案的服务器存储开销较大。为减少服务器存储开销,提出了一种基于三角矩阵的数据组织方法,该方法可以减少约50%的两两关键字的文档交集数据量。基于上述数据组织方法,进一步提出了IEX改进方案IEX-RS。实验结果表明,与IEX方案相比,IEX-RS方案在保持相同搜索性能的同时,可减少49%的服务器存储开销。 展开更多
关键词 可搜索对称加密 布尔查询 结构化加密
在线阅读 下载PDF
一种基于序列数的关联规则挖掘算法 被引量:5
4
作者 王仕平 蒋玲 +1 位作者 熊江 方刚 《西南大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第3期122-127,共6页
在关联规则挖掘研究中,为了在产生候选频繁项时减少算法存在的重复计算和冗余候选项,为了在计算支持数时减少扫描事务数据库的次数,提出了一种基于序列数的关联规则挖掘算法,其关联规则适合挖掘任何长度.该算法用事务属性的布尔约简法,... 在关联规则挖掘研究中,为了在产生候选频繁项时减少算法存在的重复计算和冗余候选项,为了在计算支持数时减少扫描事务数据库的次数,提出了一种基于序列数的关联规则挖掘算法,其关联规则适合挖掘任何长度.该算法用事务属性的布尔约简法,将传统事务数据转换成二进制数,然后用数字的递增和递减两种方式双向搜索候选频繁项;算法通过序列数的度来计算支持数,实现一次扫描数据库,有效地提高了算法的效率. 展开更多
关键词 数据挖掘 关联规则 布尔约简法 双向搜索 序列数
原文传递
一种结合超链接分析的搜索引擎排序方法 被引量:10
5
作者 吴明礼 施水才 《计算机工程》 CAS CSCD 北大核心 2004年第15期143-145,共3页
为了提高搜索引擎的检索性能,文章设计了一种搜索引擎的综合排序方法。它采用改进的布尔检索模式、中文分词、超链接分析以及索引链接文本等技术,主要具有以下特点:对经典布尔型检索模式所作的改进使得文档相关度不再是严格的0或1;超链... 为了提高搜索引擎的检索性能,文章设计了一种搜索引擎的综合排序方法。它采用改进的布尔检索模式、中文分词、超链接分析以及索引链接文本等技术,主要具有以下特点:对经典布尔型检索模式所作的改进使得文档相关度不再是严格的0或1;超链接分析通过互联网的链接结构计算出每个网络文档的质量;通过中文分词和索引链接文本可以更加准确地获得一个网络文档的信息内涵。将3者结合可以充分利用各自优势而弥补不足。 展开更多
关键词 搜索引擎 排序 布尔模式 链接分析
在线阅读 下载PDF
布尔检索在Ei-compendex和CNKI中文期刊数据库中的应用区别 被引量:1
6
作者 陈文 李玉莲 《现代情报》 北大核心 2005年第8期205-206,208,共3页
本文通过对Ei-compendex和CNKI中文期刊全文数据库中布尔检索异同点的分析研究,探讨了不同信息检索系统中布尔检索的应用区别。
关键词 布尔检索 Ei-compendex CNKI 区别
在线阅读 下载PDF
优良布尔函数的混合禁忌搜索算法 被引量:5
7
作者 王维琼 许豪杰 +1 位作者 崔萌 谢琼 《通信学报》 EI CSCD 北大核心 2022年第5期133-143,共11页
为保障对称密码算法的安全性,其构成算法中所使用的布尔函数必须具有优良的密码学性质。结合禁忌搜索算法和爬山算法的优点,提出了一种新的优良布尔函数启发式生成算法——混合禁忌搜索算法。应用该算法,可以快速得到大量具有高非线性... 为保障对称密码算法的安全性,其构成算法中所使用的布尔函数必须具有优良的密码学性质。结合禁忌搜索算法和爬山算法的优点,提出了一种新的优良布尔函数启发式生成算法——混合禁忌搜索算法。应用该算法,可以快速得到大量具有高非线性度、低自相关性、一阶弹性、最优代数次数、最优代数免疫度、最优(次优)抵抗快速代数攻击能力等的布尔函数。仿真结果表明,所提算法搜索能力强,运行速度快,且搜索出的布尔函数的密码学性质优于已知的优化算法的结果,也弥补了采用构造法构造布尔函数的一些缺陷。 展开更多
关键词 布尔函数 禁忌搜索算法 弹性 非线性度
在线阅读 下载PDF
基于网页排名的其他链接方法的研究 被引量:1
8
作者 张家健 赵冰 《电子设计工程》 2016年第2期128-131,共4页
目前针对主要的排名算法PageRank和HITS的研究与应用较广泛,同时,其它排名算法也逐渐得到了研究者的重视。文中将对其它排名算法中的SALSA和TrafficRank进行研究。文中首先对布尔搜索引擎、向量空间模型引擎、概率模型搜索引擎、元搜索... 目前针对主要的排名算法PageRank和HITS的研究与应用较广泛,同时,其它排名算法也逐渐得到了研究者的重视。文中将对其它排名算法中的SALSA和TrafficRank进行研究。文中首先对布尔搜索引擎、向量空间模型引擎、概率模型搜索引擎、元搜索引擎等基本搜索引擎模型进行综述,总结各基本搜索引擎模型的特征和优缺点。其次对SALSA和TrafficRank的算法进行分析,总结出两种排名算法的特征和优缺点。 展开更多
关键词 布尔搜索引擎 向量空间模型引擎 概率模型搜索引擎 元搜索引擎 SALSA TrafficRank
在线阅读 下载PDF
一种实用智能答疑系统的设计与实现 被引量:3
9
作者 王琴 《计算机与现代化》 2007年第9期110-113,共4页
根据远程学习方式的特点,在兼顾智能化程度与开发成本间的平衡的基础上,提出了一个基于自然语言提问的实用的智能答疑系统实现方案,并分析和研究了其中涉及的关键技术:根据专业词库和常用词库进行自动分词;设计关系词典开展语义分析;采... 根据远程学习方式的特点,在兼顾智能化程度与开发成本间的平衡的基础上,提出了一个基于自然语言提问的实用的智能答疑系统实现方案,并分析和研究了其中涉及的关键技术:根据专业词库和常用词库进行自动分词;设计关系词典开展语义分析;采用改进的TF-IDF函数;结合空间向量模型和布尔模型的搜索技术;采用数据挖掘等。 展开更多
关键词 自动答疑系统 自然语言 分词 布尔搜索模型 空间向量搜索模型
在线阅读 下载PDF
基于两种新型遗传算子的优化组合遗传算法 被引量:5
10
作者 帅训波 马书南 +1 位作者 邵艳伟 王建忠 《计算机系统应用》 2010年第7期98-102,共5页
针对遗传算法中全局搜索与局部搜索之间的矛盾,应用二进制编码对搜索空间描述精细、容易位值计算的特点,从矩阵遗传算子和布尔遗传算子的角度,分别对全局搜索和局部搜索的性能进行改进,并将二者组合应用,构造基于这两种新型遗传算子的... 针对遗传算法中全局搜索与局部搜索之间的矛盾,应用二进制编码对搜索空间描述精细、容易位值计算的特点,从矩阵遗传算子和布尔遗传算子的角度,分别对全局搜索和局部搜索的性能进行改进,并将二者组合应用,构造基于这两种新型遗传算子的优化组合遗传算法,避免了传统遗传算法中杂交率和变异率参数的选取,保证了算法的全局收敛性。实验结果表明,该算法具有更好的整体搜索性能,对应用二进制编码遗传算法求解复杂非线性优化问题具有重要借鉴意义。 展开更多
关键词 全局搜索 局部搜索 矩阵遗传算子 布尔遗传算子
在线阅读 下载PDF
布尔代数模式搜索技术——一种新的启发式推理方法 被引量:1
11
作者 涂象初 涂承宇 《北京工业大学学报》 CAS CSCD 1989年第2期57-61,共5页
简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度... 简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度看去同构于一个布尔代数。 展开更多
关键词 布尔代数 搜索技术 人工智能 推理
在线阅读 下载PDF
反思性教学研究述评——从内容分析法的角度 被引量:18
12
作者 卢真金 《浙江教育学院学报》 2007年第3期1-8,95,共9页
随着基础教育课程改革的全面推进,反思性教学日益深入人心。反思性教学进入了中国化发展的阶段。文章通过内容分析法,以"反思性教学"为关键词,采用布尔逻辑检索,对中国期刊全文数据库和中国优秀博硕士学位论文全文数据库进行... 随着基础教育课程改革的全面推进,反思性教学日益深入人心。反思性教学进入了中国化发展的阶段。文章通过内容分析法,以"反思性教学"为关键词,采用布尔逻辑检索,对中国期刊全文数据库和中国优秀博硕士学位论文全文数据库进行检索分析,并在此基础上,就反思性教学在中国的发展进行评述。 展开更多
关键词 反思性教学 教师专业发展 内容分析法 类目 布尔逻辑检索
在线阅读 下载PDF
生物医学领域一种重要开放式存取期刊出版社-BioMed Central的简介
13
作者 郑静 弋戈 +1 位作者 程绍敏 钱志勇 《中国医学工程》 2007年第5期392-395,400,共5页
作为最重要的开放式存取杂志出版商之一的BioMed Central(BMC)出版社,致力于提供经过同行评审的生物医学领域研究论文的公开取阅途径(open access)。读者可以在BMC出版社网站上免费获得其出版的研究论文,从而实现研究结果的迅速、高效... 作为最重要的开放式存取杂志出版商之一的BioMed Central(BMC)出版社,致力于提供经过同行评审的生物医学领域研究论文的公开取阅途径(open access)。读者可以在BMC出版社网站上免费获得其出版的研究论文,从而实现研究结果的迅速、高效交流。由于为了让更多的读者了解BMC出版社,并更好地帮助读者在BMC数据库中检索到所需要的文献资料,本文着重介绍了BMC数据库所提供的文献检索方式。 展开更多
关键词 BIOMED CENTRAL 开放式存取 快速检索 向导式检索 布尔逻辑检索 刊名检索 学科检索
在线阅读 下载PDF
一种用于FPGA的新型混合布线算法
14
作者 刘战 于宗光 +2 位作者 顾晓峰 王国章 须自明 《电子器件》 CAS 2008年第2期432-435,440,共5页
布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法。对于传统的一次布通一条线网的方法,基于布尔可满足性的算法有着独特的优点,例如:同步线网嵌入及可布通性确定。然而基于SAT的布线... 布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法。对于传统的一次布通一条线网的方法,基于布尔可满足性的算法有着独特的优点,例如:同步线网嵌入及可布通性确定。然而基于SAT的布线法在可扩展性方面有很大缺陷。而另一方面,几何查找布线算法即使具有广泛的拆线重布线的能力,但当一个问题具有严格的布线约束条件时,它在布线方案收敛方面存在很大困难。文章提出了将一种布尔可满足性算法与VPR430相结合的新型、有效的混合布线算法。试验结果表明与相应的纯几何布线算法相比,这种算法在运行时间上有了极大的改善(减少了29%),并且对布线整体方案无不良影响。 展开更多
关键词 布尔可满足性 几何查找布线算法 可编程逻辑门阵列
在线阅读 下载PDF
搜索引擎使用技巧 被引量:1
15
作者 蒋福兰 《科技情报开发与经济》 2003年第5期178-179,共2页
对如何正确选用关键词,利用适当的搜索引擎在Internet上搜索所需要的信息作了简要介绍。
关键词 搜索引擎 使用技巧 关键词 互联网 布尔检索 信息检索
在线阅读 下载PDF
基于互联网的元搜索引擎中领域搜索模型的设计 被引量:3
16
作者 王铮 王庆 汪定伟 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第5期1218-1223,共6页
网络信息庞大而繁杂,给用户查询带来了很多困难,领域相关的信息检索能有效地减少这些困难。基于互联网的元搜索引擎技术,提出了一种领域搜索模型。首先,采用"几率比"方法选择领域词,利用基于领域词的"判定树"构造... 网络信息庞大而繁杂,给用户查询带来了很多困难,领域相关的信息检索能有效地减少这些困难。基于互联网的元搜索引擎技术,提出了一种领域搜索模型。首先,采用"几率比"方法选择领域词,利用基于领域词的"判定树"构造能够反映领域文献特征的领域查询式。再将用户查询词与领域查询式相结合,作为通用搜索引擎的输入。最后,采用"扩展布尔模型"方法对返回文献进行排序,筛选出领域相关性强的检索文献。实验证明,该模型在检索领域文献时取得了很好的效果,可以用于互联网环境下各种领域相关信息的检索。 展开更多
关键词 信息检索 元搜索引擎 判定树 几率比 扩展布尔模型
原文传递
一种加速FPGA布线的不可满足子式求解算法
17
作者 张建民 黎铁军 +1 位作者 马柯帆 肖立权 《电子学报》 EI CAS CSCD 北大核心 2021年第6期1210-1216,共7页
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,... 随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较,结果表明局部搜索算法在运行效率方面显著优于分支限界算法与贪心遗传算法,而局部搜索算法也能得到最小不可满足子式;并且深入分析了不可满足子式在FPGA详细布线中的作用,能够加速芯片的设计与验证过程. 展开更多
关键词 FPGA布线 布线约束 布尔可满足性 不可满足子式 局部搜索 消解否证
在线阅读 下载PDF
S_(BOS)相邻逻辑对称序列构造与实现方法 被引量:11
18
作者 林柏钢 《电子科学学刊》 EI CSCD 1991年第5期502-508,共7页
本文基于布尔序集相邻逻辑对称关系的二分枝树(T_(BOS))结构模型的研究,从中找出布尔序集相邻逻辑对称序列(S_(BOS))关系的内在规律,进而提出用S_(BOS)构造的新方法,来实现N维布尔序集唯一相邻的逻辑路径问题。文中介绍了“对跳定界搜... 本文基于布尔序集相邻逻辑对称关系的二分枝树(T_(BOS))结构模型的研究,从中找出布尔序集相邻逻辑对称序列(S_(BOS))关系的内在规律,进而提出用S_(BOS)构造的新方法,来实现N维布尔序集唯一相邻的逻辑路径问题。文中介绍了“对跳定界搜索”方法,对工程应用有着实际意义。 展开更多
关键词 布尔代数 序集逻辑 SBOS序列 构造
在线阅读 下载PDF
求解布尔不可满足子式的消解悖论算法
19
作者 张建民 黎铁军 +2 位作者 徐炜遐 庞征斌 李思昆 《国防科技大学学报》 EI CAS CSCD 北大核心 2015年第1期21-27,共7页
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算... 求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。 展开更多
关键词 形式验证 布尔可满足问题 不可满足子式 消解悖论 局部搜索
在线阅读 下载PDF
基于扩展布尔检索的Web检索算法
20
作者 连理 牛军钰 +1 位作者 黄萱菁 吴立德 《计算机工程》 CAS CSCD 北大核心 2004年第3期24-25,32,共3页
实用、高效的Web搜索引擎依赖于有效的检索算法,而如何提高检索精度是检索算法的关键。该文论述了一种在最短片段算法的基础上进行改进后的检索算法。它是基于扩展布尔检索框架的检索算法。还给出了新的算法在2001文本检索会议(TREC 10)... 实用、高效的Web搜索引擎依赖于有效的检索算法,而如何提高检索精度是检索算法的关键。该文论述了一种在最短片段算法的基础上进行改进后的检索算法。它是基于扩展布尔检索框架的检索算法。还给出了新的算法在2001文本检索会议(TREC 10) 的Web语料上的实验数据。实验结果表明,新的算法比原始的算法在检索精度上有所提高。 展开更多
关键词 WEB检索 搜索引擎 最短片段算法 扩展布尔检索
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部