期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
加速布尔匹配算法的研究
1
作者 张镭 林争辉 吕宗伟 《上海交通大学学报》 EI CAS CSCD 北大核心 2002年第3期319-322,共4页
逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 .直接枚举每个函数中输入变量的各种排列顺序 ,并根据这些顺序进行匹配 ,算法时间复杂度为 O(n!2 n2 ) ,n为变量... 逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 .直接枚举每个函数中输入变量的各种排列顺序 ,并根据这些顺序进行匹配 ,算法时间复杂度为 O(n!2 n2 ) ,n为变量数 .为了提高匹配算法的效率 ,文中用最小项数目作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的标签 ,可删除不可能的排序 ,加快匹配过程 .在此基础之上 ,利用重构将待匹配变量压缩在 OBDD图的底部 .利用这部分结构可以进一步区分变量 .实验结果表明 ,该算法不仅变量区分能力要好于其他算法 ,且执行速度快 。 展开更多
关键词 布尔匹配算法 大规模集成电路 变量标签 最小项 有序二叉判定树
在线阅读 下载PDF
基于FPGA的布尔匹配算法改进研究
2
作者 俞亚堃 《数字技术与应用》 2011年第10期109-110,共2页
文中首先介绍了布尔匹配与FPGA的关系,分析了布尔匹配问题转化为可满足性问题,针对布尔匹配算法的问题提出了改进措施,通过异构的查找表来映射电路可以减小关键路径上的时间延迟通过把可编程逻辑单元的输入划分为等价类,能够有效加快布... 文中首先介绍了布尔匹配与FPGA的关系,分析了布尔匹配问题转化为可满足性问题,针对布尔匹配算法的问题提出了改进措施,通过异构的查找表来映射电路可以减小关键路径上的时间延迟通过把可编程逻辑单元的输入划分为等价类,能够有效加快布尔匹配的速度。 展开更多
关键词 FPGA 布尔匹配算法 算法改进
在线阅读 下载PDF
IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法
3
作者 赵相福 黄森 +3 位作者 童向荣 欧阳丹彤 张立明 章星林 《电子学报》 EI CAS CSCD 北大核心 2022年第11期2722-2729,共8页
基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分... 基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分支增量产生右分支极小碰集提供了理论基础;另外,在自底向上增量归并元素的过程中,结合局部独立覆盖策略可以直接增量产生所有的极小碰集,从而避免非极小碰集和相同极小碰集的冗余产生.理论上,右分支解集可由左分支解集增量方法产生,避免了碰集中大量元素的重复计算.大量实验结果表明:本文提出的算法比之前的布尔算法及相关改进算法都具有显著的效率提升,最高可达约5倍. 展开更多
关键词 基于模型诊断 诊断推理 极小碰集 布尔算法 冲突集 增量方法
在线阅读 下载PDF
基兹布尔格临界间距计算方法的改进 被引量:2
4
作者 王舟 李斌 +1 位作者 罗培聚 陈富强 《桂林工学院学报》 北大核心 2007年第1期65-68,共4页
抗滑桩临界桩距的基兹布尔格算法考虑了土拱作用,是当前国内外几种临界桩距算法中理论上最为合理的算法之一.分析了基兹布尔格临界桩距计算公式中的3点不足,通过对其进行修正,重新推导出抗滑桩临界间距的计算公式,改进后的算法克服了原... 抗滑桩临界桩距的基兹布尔格算法考虑了土拱作用,是当前国内外几种临界桩距算法中理论上最为合理的算法之一.分析了基兹布尔格临界桩距计算公式中的3点不足,通过对其进行修正,重新推导出抗滑桩临界间距的计算公式,改进后的算法克服了原有不足,较全面反映了临界桩距与桩宽、滑体性质以及滑坡推力之间的关系.算例对比表明,改进后的算法更切合实际. 展开更多
关键词 抗滑桩 临界间距 基兹布尔算法 土拱
在线阅读 下载PDF
B样条曲线、曲面的计算机辅助设计及可控修形研究
5
作者 赵艳霞 孙倩雯 《郑州工业大学学报》 1998年第4期71-74,共4页
文章对B样条曲线、B样条曲面的生成进行了研究,同时还研究了B样条曲线和曲面的可控修形,即在原来基础上修改成所需的任意形状。生成及修改的结果可在计算机上显示。该研究是用C语言实现其算法的。
关键词 B样条曲线 B样条曲面 布尔算法 CAD 修改
全文增补中
SAT数据结构与组合测试生成 被引量:5
6
作者 刘歆 《微电子学与计算机》 CSCD 北大核心 2003年第5期39-44,61,共7页
有效的布尔可满足性算法必然包括有效的数据结构。本文深入地分析了用于回溯搜索SAT算法的数据结构,指出了它们各自所具有的优势和不足。并将SAT应用于组合电路的测试生成中。根据应用的特点和在分析的基础上,设计并实现了一个主要是针... 有效的布尔可满足性算法必然包括有效的数据结构。本文深入地分析了用于回溯搜索SAT算法的数据结构,指出了它们各自所具有的优势和不足。并将SAT应用于组合电路的测试生成中。根据应用的特点和在分析的基础上,设计并实现了一个主要是针对组合测试生成的SAT算法,初步的实验结果证明了它在测试生成应用中的有效性。 展开更多
关键词 数据结构 SAT算法 布尔可满足性算法 组合电路 测试生成 回溯搜索算法
在线阅读 下载PDF
On the Value Distributions of Walsh Spectrum of Two Classes of Plateaued Functions
7
作者 LI Xuelian HU Yupu GAO Juntao 《China Communications》 SCIE CSCD 2010年第4期156-160,共5页
Based on the properties of trace functions and quadratic forms, this paper presents value distributions of Walsh spectrum of the Plateaued functions of the form Tr(R(x)) with n=3r or 4r variables, where r 〉 1 is ... Based on the properties of trace functions and quadratic forms, this paper presents value distributions of Walsh spectrum of the Plateaued functions of the form Tr(R(x)) with n=3r or 4r variables, where r 〉 1 is an odd integer. Our results can be used to determine the numbers of non-zero Walsh spectrum values and the nonlinearities of these functions, and estimate their resiliency orders. Especially, the value distributions can be used to deduce the tight lower bounds of the second order nonlinearity of two classes of Boolean functions. It is demonstrated that our bounds are better than the previously obtained bounds. 展开更多
关键词 CRYPTOGRAPHY Boolean Functions Walsh transforms NONLINEARITY Reed-Muller Code
在线阅读 下载PDF
Multi-agent immune recognition of water mine model
8
作者 LIU Hai-bo GU Guo-chang +1 位作者 SHEN Jing FU Yan 《Journal of Marine Science and Application》 2005年第2期44-49,共6页
It is necessary for mine countermeasure systems to recognise the model of a water mine before destroying because the destroying measures to be taken must be determined according to mine model. In this paper, an immune... It is necessary for mine countermeasure systems to recognise the model of a water mine before destroying because the destroying measures to be taken must be determined according to mine model. In this paper, an immune neural network (INN) along with water mine model recognition system based on multi-agent system is proposed. A modified clonal selection algorithm for constructing such an INN is presented based on clonal selection principle. The INN is a two-layer Boolean network whose number of outputs is adaptable according to the task and the affinity threshold. Adjusting the affinity threshold can easily control different recognition precision, and the affinity threshold also can control the capability of noise tolerance. 展开更多
关键词 multi-agent system immune neural network clonal selection pattern recognition water mine model
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部