期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到96篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
BWSS:结合可疑集合簇计算极小碰集的Boolean算法
1
作者 赵相福 黄森 +3 位作者 魏霞 童向荣 欧阳丹彤 张立明 《软件学报》 北大核心 2025年第7期3226-3238,共13页
在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增... 在基于模型的诊断领域中,因为极小冲突集(minimal conflict set,MCS)的极小碰集(minimal hitting set,MHS)即为待诊断设备的候选诊断,所以计算极小碰集是候选诊断的一个关键步骤.其中,极小碰集是一个NPhard约束求解问题,随着问题规模增大,求解难度成指数级增长.Boolean算法是计算极小碰集的经典算法,然在求解过程中,解集的极小化却占据运算的绝大部分时间.为了解决该问题并提升计算效率,提出了结合可疑集合簇计算极小碰集的BWSS(Boolean with suspicious sets)算法,通过深度分析Boolean算法生成树规则,找到使候选解成为超集的集合,在向根节点扩展元素时,如果候选解与可疑集合簇中至少1个集合交集为空,那么该解为极小候选解,否则删除该解,通过递归的策略保证算法结束时产生且仅产生所有极小碰集.除此之外,每个候选解在极小化时,至少存在m(m≥1)个元素甚至整个解无须极小化.理论上,BWSS算法的复杂度要远低于Boolean算法.通过随机数据及大量基准电路数据,实验结果表明,所提算法与目前最先进的几种算法相比,运行时间减少了几个数量级. 展开更多
关键词 基于模型诊断 极小碰集 boolean算法 候选解 冲突集
在线阅读 下载PDF
基于两次量子搜索的K子集和问题求解
2
作者 叶天语 吴恒 甘志刚 《通信学报》 北大核心 2025年第7期182-190,共9页
针对K子集和问题,提出了一种基于两次量子搜索的高效量子算法。第一次量子搜索通过变异Grover算子生成包含所有元素个数为K的子集的量子叠加态;具体地,首先通过Oracle算子进行相位翻转标记所有含K个元素的子集,然后通过扩散算子放大标... 针对K子集和问题,提出了一种基于两次量子搜索的高效量子算法。第一次量子搜索通过变异Grover算子生成包含所有元素个数为K的子集的量子叠加态;具体地,首先通过Oracle算子进行相位翻转标记所有含K个元素的子集,然后通过扩散算子放大标记的目标子集的概率幅值。第二次量子搜索则通过另一个变异Grover算子从所有元素个数为K的子集中找到K个元素和等于目标值的子集;具体地,首先通过特定的和校验Oracle算子标记所有的元素和等于目标值且只含K个元素的子集,然后通过扩散算子放大标记子集的概率幅值。仿真实验结果表明,所提方法准确率大于或等于89%,较现有方法准确率更高。 展开更多
关键词 K子集和问题 GROVER量子搜索算法 布尔可满足性问题 量子线路
在线阅读 下载PDF
基于TIN的体布尔算法及其地质应用 被引量：7
3
作者 兰向荣 潘懋 +3 位作者 王占刚 屈红刚 孙志东 明镜 《地理与地理信息科学》 CSCD 北大核心 2008年第4期6-10,共5页
提出一种基于TIN的体布尔操作算法,即采用快速碰撞检测方法、改进的三角形求交算法和三角形包含测试算法,能解决复杂地质体的交、并、差等布尔操作。该方法不仅可以有效处理具有侵入、交错等复杂空间关系的地质体建模问题,还适用于基于... 提出一种基于TIN的体布尔操作算法,即采用快速碰撞检测方法、改进的三角形求交算法和三角形包含测试算法,能解决复杂地质体的交、并、差等布尔操作。该方法不仅可以有效处理具有侵入、交错等复杂空间关系的地质体建模问题,还适用于基于地质模型的工程分析应用,如开挖模拟等,并在北京市某岩土工程信息系统建设项目中得到了检验。 展开更多
关键词 体布尔 地质工程 模拟开挖 三维地质建模 可视化分析
在线阅读 下载PDF
Bent函数的演化设计 被引量：17
4
作者 孟庆树 张焕国 +2 位作者 王张宜 覃中平 彭文灵 《电子学报》 EI CAS CSCD 北大核心 2004年第11期1901-1903,共3页
本文揭示了布尔函数部分点谱值和其子函数谱值的关系 .通过这一关系 ,利用带指导的演化算法 ,容易演化设计出几乎所有的 6元Bent函数 ,可以演化设计出部分 8元Bent函数 .最后指出本文的理论模型等价于Bent函数的一般构造法 ,且更有效 。
关键词 密码学 演化计算 BENT函数
在线阅读 下载PDF
DNA计算的研究进展 被引量：12
5
作者 刘文斌 朱翔鸥 +1 位作者 王向红 陈丽春 《电子学报》 EI CAS CSCD 北大核心 2006年第11期2053-2057,共5页
DNA计算是近年来出现的一种新的自然计算方法,因为其具有高度的并行性和海量的存储能力,引起了科学家的关注.本文将主要从DNA计算模型、布尔电路的模拟、基于DNA的大规模数据库及其在生物信息学中的应用等几个方面,介绍DNA计算近年来的... DNA计算是近年来出现的一种新的自然计算方法,因为其具有高度的并行性和海量的存储能力,引起了科学家的关注.本文将主要从DNA计算模型、布尔电路的模拟、基于DNA的大规模数据库及其在生物信息学中的应用等几个方面,介绍DNA计算近年来的研究和发展状况.最后,我们对DNA计算研究的前景和今后的发展方向进行了展望. 展开更多
关键词 DNA计算 遗传算法 布尔电路 基于DNA的数据库 生物信息学
在线阅读 下载PDF
结合二叉判决图和布尔可满足性的等价性验证算法 被引量：8
6
作者 严晓浪 郑飞君 +1 位作者 葛海通 杨军 《电子学报》 EI CAS CSCD 北大核心 2004年第8期1233-1235,共3页
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比... 本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比主要有如下改进 :在AIG中结合多种引擎进行简化 ,不存在误判可能 ;充分利用了基于电路解算器和基于合取范式解算器各自优点 ,减小了SAT推理的搜索空间 .实验结果表明了本算法的有效性 . 展开更多
关键词 等价性验证 与/非图 孤立节点 二叉判决图 可满足性解算器
在线阅读 下载PDF
可达矩阵的新求法 被引量：5
7
作者 杨秀文 严尚安 +1 位作者 张洁 曾顺鹏 《电子科技大学学报》 EI CAS CSCD 北大核心 2000年第6期666-668,共3页
将模糊数学求传递闭包的思想应用到离散数学中。利用可达矩阵与邻接矩阵的关系,引进模糊矩阵的合成运算,根据可达矩阵的常用求法,推证出新的可达矩阵的计算公式,并提出了逐次平方的算法,该算法简单易行。
关键词 可达矩阵 邻接矩阵 模糊数学 离散数学
在线阅读 下载PDF
一种新的多坐标数控加工过程仿真算法的研究 被引量：4
8
作者 李建广 赵航 袁哲俊 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1999年第5期26-29,共4页
生产自动化是先进制造技术的发展方向之一，而可靠的数控程序是实现自动化的重要保证，针对当前数控程序检证算法的不足，提出了一种基于观察坐标系的长方体单元表示法，在精度要求范围内对工件和刀具进行近似表示，将复杂的三维布尔运... 生产自动化是先进制造技术的发展方向之一，而可靠的数控程序是实现自动化的重要保证，针对当前数控程序检证算法的不足，提出了一种基于观察坐标系的长方体单元表示法，在精度要求范围内对工件和刀具进行近似表示，将复杂的三维布尔运算简化为一维的布尔运算，从而在微机上实现了多轴数控加工过程仿真，并提高了仿真速度，该算法通过了实验验证． 展开更多
关键词 数控加工 仿真 验证算法 多坐标数控加工 算法
在线阅读 下载PDF
基于能量控制的无线传感网络最优化算法研究 被引量：9
9
作者 邬学军 孟利民 +2 位作者 华惊宇 周明华 周凯 《传感技术学报》 CAS CSCD 北大核心 2011年第3期436-439,共4页
无线传感网络是当前无线网络研究的热点领域。控制节点能量、提高网络生存时间是实现在无线传感网络中传输高效业务的关键。本文首先使用基于泊松点过程的布尔传感模型确定了覆盖率与单位面积内传感器节点密度的函数关系,进而求得达到... 无线传感网络是当前无线网络研究的热点领域。控制节点能量、提高网络生存时间是实现在无线传感网络中传输高效业务的关键。本文首先使用基于泊松点过程的布尔传感模型确定了覆盖率与单位面积内传感器节点密度的函数关系,进而求得达到区域覆盖要求的节点数量;然后利用基于Prim算法的贪心策略,找到具有最大权值的生成树,构造一个最小连通支配集的近似解。为了控制节点能量,让生成树的节点处于工作状态,其它节点处于休眠状态。最后,进一步分析了连通支配集中节点个数与覆盖半径的关系。 展开更多
关键词 无线传感网络 泊松分布 PRIM算法
在线阅读 下载PDF
基于粗糙集与遗传算法的储层识别技术 被引量：4
10
作者 李铁军 薛玲 +2 位作者 郭大立 杜国峰 许江文 《断块油气田》 CAS 2014年第2期196-200,共5页
储层的含油气性识别是储层综合评价的难点和关键,文中以粗糙集理论为基础,利用布尔逻辑和粗糙集理论相结合的离散化算法对每个条件属性进行离散化处理;利用基于遗传算法的粗糙集理论提取具有一定决策概率的不精确判别规则;利用规则的支... 储层的含油气性识别是储层综合评价的难点和关键,文中以粗糙集理论为基础,利用布尔逻辑和粗糙集理论相结合的离散化算法对每个条件属性进行离散化处理;利用基于遗传算法的粗糙集理论提取具有一定决策概率的不精确判别规则;利用规则的支持度、置信度和覆盖度挑选有效规则,进行储层类型的识别。实例应用结果表明,该方法提高了储层识别的正确率,提取的判别规则具有可解释性且较易理解,能够有效挖掘勘探数据中的潜在关键信息,对储层开发方案的制定具有重要的指导意义。 展开更多
关键词 储层识别 粗糙集 遗传算法 布尔逻辑 属性约简
在线阅读 下载PDF
基于Hadoop的Apriori改进算法研究 被引量：23
11
作者 黄剑 李明奇 郭文强 《计算机科学》 CSCD 北大核心 2017年第7期262-266,269,共6页
对于规模庞大的事务数据库,传统的并行Apriori算法在挖掘中会在数据IO上有较大的时间开销。从压缩事务、减少扫描次数、简化候选集生成3个方面对Apriori算法进行改进。提出了以元素"0"和"1"表示事务的布尔矩阵模型... 对于规模庞大的事务数据库,传统的并行Apriori算法在挖掘中会在数据IO上有较大的时间开销。从压缩事务、减少扫描次数、简化候选集生成3个方面对Apriori算法进行改进。提出了以元素"0"和"1"表示事务的布尔矩阵模型,并引入权值维度,压缩了相同事务的矩阵规模。同时,动态地进行剪枝,矩阵的"与"运算用于候选集合的生成。将改进后的算法在Hadoop框架上进行并行化实现,实验表明该算法适合大规模数据挖掘且具有良好的伸缩性与有效性。 展开更多
关键词 APRIORI算法 事务数据库 布尔矩阵 HADOOP
在线阅读 下载PDF
基于布尔矩阵和MapReduce的FP-Growth算法 被引量：23
12
作者 陈兴蜀 张帅 +1 位作者 童浩 崔晓靖 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第1期135-141,共7页
关联规则挖掘是数据挖掘的一个重要组成部分.为提高关联规则的挖掘效率,提出了一种基于布尔矩阵和MapReduce的FP-Growth算法(BPFP),分析了算法的时间和空间复杂度.该算法使用Hadoop框架和布尔矩阵以减少对事务数据的扫描次数,利用两次Ma... 关联规则挖掘是数据挖掘的一个重要组成部分.为提高关联规则的挖掘效率,提出了一种基于布尔矩阵和MapReduce的FP-Growth算法(BPFP),分析了算法的时间和空间复杂度.该算法使用Hadoop框架和布尔矩阵以减少对事务数据的扫描次数,利用两次MapReduce来实现频繁项集的挖掘.在多个数据集上的实验结果表明,与原FP-Growth算法相比,BPFP算法具有更高的执行效率、更好的加速比. 展开更多
关键词 数据挖掘 关联规则 布尔矩阵 MAPREDUCE FP-GROWTH算法
在线阅读 下载PDF
基于布尔矩阵表示的粗集属性约简启发式算法 被引量：10
13
作者 李龙星 运士伟 杨炳儒 《计算机工程》 CAS CSCD 北大核心 2007年第10期205-206,共2页
属性约简是粗糙集理论研究中的核心内容之一,现已证明寻找最小约简是NP-hard问题。该文对信息系统中属性的条件区分能力给出定义。在此基础上,提出了一种基于条件区分能力的属性约简的启发式算法。通过实例分析表明,在多数情况下该算法... 属性约简是粗糙集理论研究中的核心内容之一,现已证明寻找最小约简是NP-hard问题。该文对信息系统中属性的条件区分能力给出定义。在此基础上,提出了一种基于条件区分能力的属性约简的启发式算法。通过实例分析表明,在多数情况下该算法能够得到信息系统的最小约简。 展开更多
关键词 粗糙集 布尔矩阵 属性约简 启发式算法
在线阅读 下载PDF
布尔神经网络的一种高效率学习算法 被引量：5
14
作者 马晓敏 杨义先 +1 位作者 章照止 吴伟陵 《通信学报》 EI CSCD 北大核心 1999年第12期13-18,共6页
把二进神经网络学习算法推广至一般情形，利用汉明球及立方体的空间覆盖生成隐层神经元并对空间集合的相交、汉明球与低维空间的笛卡尔积在神经网络中的表现形式进行了深入探讨，得出几个旨在提高学习效率和减少布尔函数实现复杂性的有... 把二进神经网络学习算法推广至一般情形，利用汉明球及立方体的空间覆盖生成隐层神经元并对空间集合的相交、汉明球与低维空间的笛卡尔积在神经网络中的表现形式进行了深入探讨，得出几个旨在提高学习效率和减少布尔函数实现复杂性的有用结论，并融合形成完整的学习算法。 展开更多
关键词 布尔函数 神经网络 学习算法
在线阅读 下载PDF
多面体三向DEXEL模型与布尔运算 被引量：4
15
作者 高新瑞 张树生 侯增选 《计算机工程与应用》 CSCD 北大核心 2007年第12期3-5,56,共4页
提出了一种多面体的DEXEL化算法及一种三向DEXEL模型。与单向DEXEL模型相比,三向DEXEL模型能更精确地表示一个型体。在同一三向DEXEL模型空间,实现并、交、差布尔运算。将三向DEXEL模型用于飞机复合材料零件设计,设计了蜂窝结构、方管... 提出了一种多面体的DEXEL化算法及一种三向DEXEL模型。与单向DEXEL模型相比,三向DEXEL模型能更精确地表示一个型体。在同一三向DEXEL模型空间,实现并、交、差布尔运算。将三向DEXEL模型用于飞机复合材料零件设计,设计了蜂窝结构、方管、圆管结构。在Java2.0与Java 3D环境下编程,实现并验证了所有算法。 展开更多
关键词 多面体 三向DEXEL模型 DEXEL化算法 布尔运算 飞机复合材料零件
在线阅读 下载PDF
SMS4算法S盒的密码学性质 被引量：14
16
作者 刘佳 韦宝典 戴宪华 《计算机工程》 CAS CSCD 北大核心 2008年第5期158-160,共3页
S盒是分组密码的重要组成部分,在很大程度上决定了分组密码的安全性。该文研究了中国分组密码标准SMS4算法S盒的平衡性、差分性质、线性结构、非线性、Walsh谱等性质,通过与美国高级加密标准、欧洲分组加密标准Camellia的S盒作比较,说明... S盒是分组密码的重要组成部分,在很大程度上决定了分组密码的安全性。该文研究了中国分组密码标准SMS4算法S盒的平衡性、差分性质、线性结构、非线性、Walsh谱等性质,通过与美国高级加密标准、欧洲分组加密标准Camellia的S盒作比较,说明了SMS4算法S盒一些较好的安全特性。 展开更多
关键词 SMS4算法 高级加密标准 S盒 布尔函数
在线阅读 下载PDF
基于AutoCAD的露天矿三维地质模型的三维可视化构建 被引量：4
17
作者 刘光伟 白润才 +1 位作者 曹兰柱 王秀秀 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2009年第A02期13-15,共3页
在AutoCAD平台下,以钻孔信息、剖面图和空间离散点为基础数据,采用顾及台阶属性的Delaunay三角网凸包算法建立界面模型,通过面域拉伸和实体布尔运算等方法生成三维实体模型。研究结果表明,该方法不仅能达到逼真的三维动态效果,而且对于... 在AutoCAD平台下,以钻孔信息、剖面图和空间离散点为基础数据,采用顾及台阶属性的Delaunay三角网凸包算法建立界面模型,通过面域拉伸和实体布尔运算等方法生成三维实体模型。研究结果表明,该方法不仅能达到逼真的三维动态效果,而且对于矿岩量的计算更为准确方便。研究结论初步突破了露天矿算量的传统方法,有助于露天矿的日常生产和管理。 展开更多
关键词 三维地质模型 AUTOCAD 凸包算法 实体布尔运算
在线阅读 下载PDF
多故障测试生成的一种简化算法 被引量：3
18
作者 吴丽华 李涛 +1 位作者 邹海英 王鹏 《电机与控制学报》 EI CSCD 北大核心 2008年第3期348-352,共5页
针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表... 针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表示成恒等式。为保证故障能向输出端传播,需要加入测试矢量生成的约束条件,所以该方法只需通过求解恒等式及约束条件来得到完全测试集。通过采用简化算法和未采用简化算法实例的比较,证明了简化方法的正确性和简化性,仿真验证了所求测试矢量可以检测出设定故障。 展开更多
关键词 组合逻辑电路 布尔差分算法 测试生成算法 约束条件
在线阅读 下载PDF
二进神经网络学习算法研究 被引量：5
19
作者 马晓敏 杨义先 章照止 《计算机学报》 EI CSCD 北大核心 1999年第9期931-935,共5页
把二进神经网络对布尔函数映射的学习归结为神经元对学习样本集合的表达．通过对神经元表达能力的分析研究，引入加权距离汉明球的概念，既提高了学习效率也简化了布尔函数实现结构，同时把汉明球及立方体集合覆盖思想等统一在加权汉明... 把二进神经网络对布尔函数映射的学习归结为神经元对学习样本集合的表达．通过对神经元表达能力的分析研究，引入加权距离汉明球的概念，既提高了学习效率也简化了布尔函数实现结构，同时把汉明球及立方体集合覆盖思想等统一在加权汉明距离球覆盖的框架下．另外，还得到旨在提高输出层神经元表达能力的新结果．最后举例说明了此学习策略的可行性与特点．经学习得到的二进神经网络的权系数及阈值皆为整数。 展开更多
关键词 神经网络 学习算法 汉明空间 布尔函数
在线阅读 下载PDF
多面体三向DEXEL模型与虚拟快速原型过程仿真 被引量：4
20
作者 高新瑞 张树生 侯增选 《计算机集成制造系统》 EI CSCD 北大核心 2007年第12期2415-2419,2426,共6页
提出了一种多面体的DEXEL化算法,建立了一种多面体的三向DEXEL模型。在同一三向DEXEL模型空间,对不同多面体的三向DEXEL模型实现并、交、差布尔运算。根据三向DEXEL模型的层状结构特点,将三向DEXEL模型用于快速原型系统过程仿真。通过... 提出了一种多面体的DEXEL化算法,建立了一种多面体的三向DEXEL模型。在同一三向DEXEL模型空间,对不同多面体的三向DEXEL模型实现并、交、差布尔运算。根据三向DEXEL模型的层状结构特点,将三向DEXEL模型用于快速原型系统过程仿真。通过一个大体素,模拟快速原型设备激光头的一次移动过程,通过零件一层内所有激光头的移动形成零件的一层,再通过层层堆叠的方式形成整个零件。在Java 2.0与Java 3D环境下编程,实现并验证了所有算法,并给出了一个零件的快速原型过程仿真实例。 展开更多
关键词 多面体 三向DEXEL模型 DEXEL化算法 布尔运算 快速原型过程仿真 大体素
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部