基于灾变遗传算法的二叉判定图最小化算法 被引量：3

1

作者 王镇道 陈义 《计算机工程与应用》 CSCD 北大核心 2015年第3期55-60,共6页

二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不扩大种群规模的情况下增加个体多样性,改善遗传算法局部收敛的问题。试验结果表明该算法的全局特性显著... 二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不扩大种群规模的情况下增加个体多样性,改善遗传算法局部收敛的问题。试验结果表明该算法的全局特性显著优于传统遗传算法,能够进一步减小节点规模,改善程度最高可达25%。而且,由于使用何种进化策略并不影响灾变的发生,因此,算法可扩展性好,极易与其他改进策略结合起来,在原有特性的基础上引入全局优势,以进一步减小节点规模。 展开更多

关键词 二叉判定图 遗传算法 灾变 最小化 变量排序

在线阅读 下载PDF 职称材料

一种基于二叉判定图的包过滤规则设计方法

2

作者 季莉 朱娜 《计算机工程》 CAS CSCD 北大核心 2006年第6期183-185,共3页

提出了一种采用二叉判定图来表示规则集的新的算法,通过仿真实验证明:对于较大规模的规则集,基于BDD的包过滤规则设计方法简洁可行,且在存储空间和查询性能上要优于传统的线性顺序方法。

关键词 包过滤 二叉判定图 访问列表

在线阅读 下载PDF 职称材料

利用二叉判定图对集成块进行功能性故障模拟

3

作者 徐瑛 《计算机学报》 EI CSCD 北大核心 1991年第5期375-379,共5页

本文给出一种用二叉判定图对集成块进行功能性故障模拟的方法及算法,该算法的复杂性为O(N),其中N为集成块的输入端数.

关键词 二叉判定图 故障 模拟 数字电路

在线阅读 下载PDF 职称材料

基于SBDD图的布尔匹配

4

作者 张镭 吕宗伟 林争辉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第7期582-585,共4页

在逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 OBDD来检验两个给定的逻辑函数是否相等 .为了提高匹配算法的效率 ,文中用最小项数作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的“标签”,可以删除不可能的排序 ,从而加... 在逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 OBDD来检验两个给定的逻辑函数是否相等 .为了提高匹配算法的效率 ,文中用最小项数作为标签标定变量 (变量组 ) .对比两函数中变量 (变量组 )的“标签”,可以删除不可能的排序 ,从而加快匹配过程 .在提取变量标签时 ,提出简约二分决策图—— SBDD,并利用其节点少的特性进一步提高“标签”提取算法的效率 .实验结果表明本算法执行速度快 。 展开更多

关键词 Obdd Sbdd图 布尔匹配 数字系统 有序二叉判定图

在线阅读 下载PDF 职称材料

用改进的OBDD方法计算通信网可靠度 被引量：3

5

作者 肖宇峰 李昕 +1 位作者 李玉宏 江虹 《计算机应用研究》 CSCD 北大核心 2010年第3期1114-1117,共4页

提出一种改进的OBDD(ordered binary decision diagram)方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障,使得计算更加准确。在创建原始网络的OBDD结构后,根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结... 提出一种改进的OBDD(ordered binary decision diagram)方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障,使得计算更加准确。在创建原始网络的OBDD结构后,根据共因变量集来计算网络可靠度。由于只创建并保存一个OBDD结构,可节省大量的计算时间和存储空间。实验证明,该方法能有效计算网络可靠度,其计算时间和存储空间要低于一般的OBDD方法。 展开更多

关键词 通信网 网络可靠度 共因失效 有序二叉判定图

在线阅读 下载PDF 职称材料

一个高效BDD的简洁实现 被引量：2

6

作者 苏开乐 吕关锋 宋炯 《计算机学报》 EI CSCD 北大核心 2014年第9期2021-2026,共6页

二叉判定图BDD作为一种表示和操作布尔函数的数据结构,被广泛地应用在模型检测、系统验证等领域.在最坏情况下,BDD的空间规模是指数级的,因此为了设计和实现一个高效BDD包,研究者们做了大量技术性工作,同时涌现出多个高效BDD包.为了节... 二叉判定图BDD作为一种表示和操作布尔函数的数据结构,被广泛地应用在模型检测、系统验证等领域.在最坏情况下,BDD的空间规模是指数级的,因此为了设计和实现一个高效BDD包,研究者们做了大量技术性工作,同时涌现出多个高效BDD包.为了节省空间和提高运算速度,这些BDD包的实现都限定了一个较小的变量个数上限(不超过2^(16)),然而这种限定同时也限制了BDD包的适用性.为了突破这种限制,文中给出了一个高效的BDD包实现,该包在采纳了经典BDD包高效实现技术的同时,使用了内存分片分配、轻量级垃圾回收等技术.这些技术使得BDD包在保持高性能的情况下,将可处理的变量规模提高到2^(32),与现有BDD包的处理规模2^(16)相比,大大提高了BDD包的适用性.实验证明其性能非常接近可获得的最快的2^(16)变量规模的BDD包——CUDD. 展开更多

关键词 二叉判定图 布尔函数 内存分配

在线阅读 下载PDF 职称材料

时延网络任务可靠性的二次BDD算法 被引量：1

7

作者 史宪铭 郭波 +1 位作者 梁亮 王立军 《系统工程学报》 CSCD 北大核心 2009年第1期119-123,共5页

时延网络是一种针对网络系统节点故障导致时间延迟的网络,由于研究该型网络要以网络系统任务完成时间是否及时为研究目标,使其任务可靠性研究与以往的网络有所不同.通过两次运用BDD算法,给出了时延网络任务可靠性的计算方法,并对算法中... 时延网络是一种针对网络系统节点故障导致时间延迟的网络,由于研究该型网络要以网络系统任务完成时间是否及时为研究目标,使其任务可靠性研究与以往的网络有所不同.通过两次运用BDD算法,给出了时延网络任务可靠性的计算方法,并对算法中的优先序作了研究.以快速研制系统任务网络为例,说明了时延网络任务可靠性的算法的应用方法.BDD算法使用方便,易于计算机实现. 展开更多

关键词 时延网络 可靠性 任务可靠性 二叉判定图

在线阅读 下载PDF 职称材料

用OBDD算法评估无线传感网的可靠度和结点重要性 被引量：1

8

作者 肖宇峰 陈山枝 +1 位作者 李昕 李玉宏 《高技术通讯》 EI CAS CSCD 北大核心 2009年第12期1245-1250,共6页

基于有序二叉判定图(OBDD),提出用结点扩张(NE)算法来评估无线传感网的可靠度和结点重要性。NE算法执行结点扩张操作来处理不可靠结点,从两方面增强了计算效率:利用OBDD结构表示网络状态,减少了大量冗余的等价状态;利用Hash表存储同构... 基于有序二叉判定图(OBDD),提出用结点扩张(NE)算法来评估无线传感网的可靠度和结点重要性。NE算法执行结点扩张操作来处理不可靠结点,从两方面增强了计算效率:利用OBDD结构表示网络状态,减少了大量冗余的等价状态;利用Hash表存储同构子网的OBDD,减少了同构子网的重复计算。另外,该算法对结点重要性进行了评估,为脆弱结点的保护提供参考。实验结果表明NE算法的计算开销比传统的factoring算法低,能有效评估无线传感网的可靠度。 展开更多

关键词 无线传感网 网络可靠度 有序二叉判定图(Obdd) 因子分解

在线阅读 下载PDF 职称材料

简化BDD的SBDD和变量重排序结合算法

9

作者 李绍荣 徐琳琳 《计算机科学》 CSCD 北大核心 2007年第4期287-288,共2页

二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研究如何存储和如何简化BDD。提出了一种把SBDD和变量重排序结合在一起的新算法,用来简化BDD的大小。

关键词 布尔函数 形式化验证 二叉判定图 变量重排序 共享bdd

在线阅读 下载PDF 职称材料

基于BDD的组合电路等价性检验

10

作者 李绍荣 徐玉婷 《计算机科学》 CSCD 北大核心 2007年第3期293-294,F0003,共3页

本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;然后给出了一种基于BDD的组合电路等价性检验方法。

关键词 等价性验证 二叉判定图 组合电路

在线阅读 下载PDF 职称材料

基于OBDD时序电路设计的验证

11

作者 刘建元 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第2期55-58,共4页

依据有序二叉判定图 (OBDD)和计算树逻辑 (或称分支时态逻辑 )CTL(ComputationalTreeLogic)的基本原理 ,分析了基于OBDD和CTL的验证数字电路设计的基本原理 ,并在此基础上 。

关键词 Obdd 时序电路 有序二叉判定图 分支时态逻辑 等价性检验 符号模型检验 布尔函数 电路设计

在线阅读 下载PDF 职称材料

建筑安全事故中的事件重要性定量分析 被引量：3

12

作者 杨莉琼 李世蓉 《中国安全科学学报》 CAS CSCD 北大核心 2010年第12期105-110,共6页

为制定建筑安全措施提供理论依据,采用Birnbaum测度描述诱发事故的事件重要度,提出基于二叉判定图(BDD)的建筑安全定量分析方法。在得到安全事故故障树后,该方法执行BDD逻辑运算生成BDD结构,并通过遍历该结构计算各事件的Birnbaum测度... 为制定建筑安全措施提供理论依据,采用Birnbaum测度描述诱发事故的事件重要度,提出基于二叉判定图(BDD)的建筑安全定量分析方法。在得到安全事故故障树后,该方法执行BDD逻辑运算生成BDD结构,并通过遍历该结构计算各事件的Birnbaum测度值。管理人员可通过量化的重要度数值来分析各事件重要性,确定对工程安全影响最大的一些基本事件,从而制定安全措施来减少事故损失、保证工程质量。BDD结构特点使得该方法便于计算机编程实现,实验数据的对比分析表明BDD方法可正确高效地分析建筑安全事故。 展开更多

关键词 建筑安全事故 故障树 二叉判定图(bdd) 事件重要度 安全管理

在线阅读 下载PDF 职称材料

具有过去时态算子的计算树逻辑模型检测 被引量：2

13

作者 周从华 刘志锋 《计算机工程》 CAS CSCD 北大核心 2007年第22期98-100,共3页

在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型检测过程能够实现,从而有效克服了模型检测中的状态爆炸... 在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂性和CTL一样。固定点刻画使得CTLP的符号模型检测过程能够实现,从而有效克服了模型检测中的状态爆炸问题。 展开更多

关键词 计算树逻辑 模型检测 二叉判定图

在线阅读 下载PDF 职称材料

用VIS系统验证电路的实时特性的探讨 被引量：1

14

作者 郭建 韩俊刚 《计算机工程与应用》 CSCD 北大核心 2001年第17期74-76,110,共4页

文章在分析形式化验证／综合系统VIS 的基础上，改进了该电子系统中的关键技术——二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。

关键词 VIS系统 形式化验证 二叉判定图 实时二叉判定图 集成电路 制造工艺

在线阅读 下载PDF 职称材料

对VIS系统关键技术的改进

15

作者 郭建 韩俊刚 《计算机应用》 CSCD 2000年第S1期184-187,共4页

本文在分析形式化验证 /综合系统VIS的基础上 ,改进了此系统中的关键技术———二叉判定图 (BDD) ,使BDD能表示电路的定时性质 ,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。

关键词 VIS系统 形式化验证 二叉判定图 实时二叉判定图

在线阅读 下载PDF 职称材料

用于成品率分析芯片的LVS方法

16

作者 申飞 史峥 +1 位作者 潘伟伟 严晓浪 《计算机工程》 CAS CSCD 北大核心 2011年第22期225-227,共3页

研究成品率分析芯片的特点和设计流程,提出适用的LVS方法。该方法结合传统的LVS及形式验证,能够解决成品率分析芯片中违反设计规则、版图和电路图不匹配等特殊结构的验证问题。将该方法与传统验证流程相融合,用于成品率分析芯片的设计... 研究成品率分析芯片的特点和设计流程,提出适用的LVS方法。该方法结合传统的LVS及形式验证,能够解决成品率分析芯片中违反设计规则、版图和电路图不匹配等特殊结构的验证问题。将该方法与传统验证流程相融合,用于成品率分析芯片的设计和验证。实验结果证明,成品率分析芯片验证流程具有正确性和稳定性。 展开更多

关键词 成品率分析芯片 形式验证 LVS技术 有序二叉判定图

在线阅读 下载PDF 职称材料

时延驱动的多级逻辑综合研究

17

作者 徐正生 曹霆 +1 位作者 边计年 薛宏熙 《计算机应用》 CSCD 2000年第S1期168-170,共3页

MDD是对BDD进一步化简后得到的多叉判决图 ,我们所做的是把布尔函数的MDD表示生成多级逻辑网络。在生成过程中计算时延并在时延的驱动下完成映射工作。通过计算已生成部分的时延来选择每一部分的MDD子图的映射方式 ,尽可能生成时延较小... MDD是对BDD进一步化简后得到的多叉判决图 ,我们所做的是把布尔函数的MDD表示生成多级逻辑网络。在生成过程中计算时延并在时延的驱动下完成映射工作。通过计算已生成部分的时延来选择每一部分的MDD子图的映射方式 ,尽可能生成时延较小的电路。对于未满足时延要求的MDD ,调整其变量序以改进效果。通过这些措施 ,尽可能得到满足时延性能要求的逻辑电路结果。 展开更多

关键词 逻辑综合 二叉判决图(bdd) 多叉判决图(MDD) 时延驱动

在线阅读 下载PDF 职称材料

组合电路等价性检验方法研究

18

作者 曾琼 闫炜 《计算机工程》 CAS CSCD 北大核心 2007年第4期253-255,共3页

分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。

关键词 等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生

在线阅读 下载PDF 职称材料