一种基于ZBDD求解大型故障树的基本事件排序方法 被引量：14

1

作者 刘萍 吴宜灿 +6 位作者 李亚洲 王海涛 胡丽琴 张士杰 麻晓敏 聂淼 袁润 《核科学与工程》 CSCD 北大核心 2007年第3期282-288,共7页

如何提高大型故障树分析效率一直是研究人员致力于的一个热点问题。近年提出的基于ZBDD的分析方法是一种比较有效的大型故障树求解方法。本文从ZBDD结构和将故障树转换成ZBDD的特点入手,分析了基本事件的排序对ZBDD结构的影响,并结合BD... 如何提高大型故障树分析效率一直是研究人员致力于的一个热点问题。近年提出的基于ZBDD的分析方法是一种比较有效的大型故障树求解方法。本文从ZBDD结构和将故障树转换成ZBDD的特点入手,分析了基本事件的排序对ZBDD结构的影响,并结合BDD基本事件排序的当前研究成果,设计了一种基于ZBDD求解大型故障树基本事件的排序方法,并经过反复测试和比较分析,证明了这个方法的有效性。 展开更多

关键词 零压缩二元决策图 概率截断 排序方法 最小割集

在线阅读 下载PDF 职称材料

实现最优BDD结构的联合改进方法 被引量：2

2

作者 罗航 廖俊必 +2 位作者 王厚军 黄建国 龙兵 《电子科技大学学报》 EI CAS CSCD 北大核心 2012年第1期48-53,共6页

针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解(当对象含有多个最优解时)的弊端,提出了改进方法——删除存储指标值... 针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解(当对象含有多个最优解时)的弊端,提出了改进方法——删除存储指标值的真值表,获得所有最优解。为了实现形式最优BDD结构,详细研究了"去除"操作在简化"等价"节点上的原理。将最优指标顺序的理论和"等价"节点的简化操作方法联合起来,实现了理论和形式都最优的BDD结构。最后,以具体的例证阐释了联合改进方法在获取最优BDD结构中的突出特点。 展开更多

关键词 二元决策图 代价 等价节点 标识符 指标顺序 最优解

在线阅读 下载PDF 职称材料

基于遗传算法的TBDD排序方法 被引量：2

3

作者 龙望宁 杨士元 +1 位作者 闵应骅 童诗白 《电子学报》 EI CAS CSCD 北大核心 1998年第5期1-6,共6页

带时间参数的二叉判决图（TBDD）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题．本文提出一种基于遗传算法的TBDD排序算法．用快速衡量值和TBDD节点数来计算个体的适应度，针对变量排序... 带时间参数的二叉判决图（TBDD）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题．本文提出一种基于遗传算法的TBDD排序算法．用快速衡量值和TBDD节点数来计算个体的适应度，针对变量排序的特定问题，提出一种模板保序交叉方法．采用自适应的变异概率计算方法，并提出一个适合于TBDD排序问题的变异算法．实验结果表明较好地解决了TBDD的排序问题． 展开更多

关键词 遗传算法 二叉判决图 TBdd 变量排序

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

基于OBDD的防空导弹系统效能评估研究

5

作者 赵保军 武昌 李阳 《现代防御技术》 北大核心 2007年第6期28-32,62,共6页

首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算... 首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法。该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值。 展开更多

关键词 有序二元决策图(OBdd) 防空导弹 系统效能 可用性 可信性

在线阅读 下载PDF 职称材料

基于OBDD访问结构的无配对CP-ABE方案 被引量：9

6

作者 丁晟 曹进 李晖 《通信学报》 EI CSCD 北大核心 2019年第12期1-8,共8页

为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运... 为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运算替换为较为轻量级的标量乘法,降低了方案整体的计算开销。另一方面,所提方案采用基于OBDD的访问结构,该类型访问结构不仅能表示任何关于属性的布尔表达式,还能同时支持访问策略中属性的正负值,密钥的长度不随属性的个数而正比变化,密文长度也仅与访问策略中有效路径的个数有关。安全性和性能分析结果表明,所提方案在判定性Diffie-Hellman(DDH)假设下满足选择性选择明文安全,且方案的计算效率能满足物联网的实际应用需求。 展开更多

关键词 密文策略基于属性加密 有序二元决策图 椭圆曲线密码 无配对

在线阅读 下载PDF 职称材料

一种基于有序二元决策图和布尔函数性质计算网络可靠性的算法 被引量：5

7

作者 熊飞 乔迪 +3 位作者 王宏祥 赵子岩 杨洪 沈亮 《电子与信息学报》 EI CSCD 北大核心 2014年第11期2786-2790,共5页

有序二元决策图(OBDD)被广泛用到网络可靠度的计算中,在基于OBDD计算网络可靠度时,其计算时间主要取决于参与操作的OBDD的大小,而OBDD的大小严重依赖于OBDD的变量序。该文根据布尔函数的性质和OBDD原理提出一种优化计算网络可靠性的算法... 有序二元决策图(OBDD)被广泛用到网络可靠度的计算中,在基于OBDD计算网络可靠度时,其计算时间主要取决于参与操作的OBDD的大小,而OBDD的大小严重依赖于OBDD的变量序。该文根据布尔函数的性质和OBDD原理提出一种优化计算网络可靠性的算法(BF-OBDD),提高计算网络可靠性的效率。实验结果表明改进的算法有较少的OBDD节点数量,在计算网络可靠性时,花费的时间较少。 展开更多

关键词 计算机网络 可靠性 网络拓扑图 有序二元决策图 变量序 布尔函数

在线阅读 下载PDF 职称材料

故障树分析的二元决策图方法 被引量：14

8

作者 陶勇剑 董德存 任鹏 《铁路计算机应用》 2009年第9期4-7,共4页

为了克服故障树方法分析复杂系统存在的不足,引入二元决策图理论,把故障树转化成二元决策图;然后自上而下遍历二元决策图,得到最小割集和顶事件发生的概率。二元决策图转化过程中,基本事件的排序直接影响二元决策图的结构大小。在不改... 为了克服故障树方法分析复杂系统存在的不足,引入二元决策图理论,把故障树转化成二元决策图;然后自上而下遍历二元决策图,得到最小割集和顶事件发生的概率。二元决策图转化过程中,基本事件的排序直接影响二元决策图的结构大小。在不改变故障树逻辑关系的前提下,先对故障树进行简化,除去一些冗余的部分;然后从故障树结构重要度的角度,对简化后故障树的基本事件进行排序。实例证明所采用的基本事件排序方法是有效的,能够简化故障树定性和定量分析过程。 展开更多

关键词 二元决策图 故障树 基本事件排序 结构重要度

在线阅读 下载PDF 职称材料

PSL的有界模型检验 被引量：2

9

作者 虞蕾 赵宗涛 《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页

基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性... 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程. 展开更多

关键词 PSL(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBdd(ordered binary decision diagram)

在线阅读 下载PDF 职称材料

求解故障树底事件最优指标顺序的改进算法 被引量：5

10

作者 张超 马存宝 +1 位作者 胡云兰 许家栋 《弹箭与制导学报》 CSCD 北大核心 2005年第S2期370-372,共3页

底事件指标顺序在基于二元决策图(BDD)的故障树分析过程中影响很大。基于故障树的结构重要度,本文提出了一种求解故障树底事件指标顺序的改进算法,所得到的底事件最优指标顺序不受故障树画法的影响,算法稳健且能使计算量减少一半。

关键词 二元决策图 故障树 结构重要度 最优指标顺序

在线阅读 下载PDF 职称材料

故障树随机生成及变量排序 被引量：2

11

作者 莫毓昌 杨全胜 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第9期1539-1543,共5页

针对故障树分析方法性能评价研究中存在的测试基准规模和多样性问题,基于故障树样本随机生成的思想,确定了故障树6个主要结构特征,并依据这些结构特征给出了自顶向下地生成算法,包括随机树骨架生成算法和随机重复度叶子序列生成算法.通... 针对故障树分析方法性能评价研究中存在的测试基准规模和多样性问题,基于故障树样本随机生成的思想,确定了故障树6个主要结构特征,并依据这些结构特征给出了自顶向下地生成算法,包括随机树骨架生成算法和随机重复度叶子序列生成算法.通过变量排序策略性能评价给出了测试基准的示范应用.性能评价表明:深度策略(DEEP)性能远优于广度策略(WIDE);WIDE策略的优越性依赖于重复叶子节点数量;改进带权值深度策略(WDEEP)是DEEP策略的互补策略并不能够代替DEEP策略. 展开更多

关键词 故障树 测试基准 变量排序 二进制决策图

在线阅读 下载PDF 职称材料

二元判决图变量排序新方法 被引量：2

12

作者 李翔宇 陈光 《电子科技大学学报》 EI CAS CSCD 北大核心 1999年第2期152-156,共5页

从遗传算法入手，利用已有的几种启发式变量排序方法的结果作为最初的染色体群体，并适当加入随机变量顺序，然后按照遗传算法的方法进行运算，经过多代循环找到近似最优解。实验结果表明，该方法比已有的启发式方法更有效，能够在全局... 从遗传算法入手，利用已有的几种启发式变量排序方法的结果作为最初的染色体群体，并适当加入随机变量顺序，然后按照遗传算法的方法进行运算，经过多代循环找到近似最优解。实验结果表明，该方法比已有的启发式方法更有效，能够在全局范围内搜索最优解，对BDD的变量编序和遗传算法的运用具有参考价值。 展开更多

关键词 二元判决图 变量排序 遗传算法 适应性 Bdd

在线阅读 下载PDF 职称材料

基于符号模型检验的硬件验证 被引量：2

13

作者 刘建元 《微电子学与计算机》 CSCD 北大核心 2002年第5期62-64,共3页

随着程序或电路规模的增大,状态数目将呈指数增加而引起组合爆炸。符号模型检验是形式化方法的一个重要方面,可以处理大规模的数据结构和控制序列,缓和了组合爆炸问题。文章介绍了符号模型检验的原理和方法,利用验证工具VIS验证了8位微... 随着程序或电路规模的增大,状态数目将呈指数增加而引起组合爆炸。符号模型检验是形式化方法的一个重要方面,可以处理大规模的数据结构和控制序列,缓和了组合爆炸问题。文章介绍了符号模型检验的原理和方法,利用验证工具VIS验证了8位微处理器PIC的一些关键属性,并给出实验结果。 展开更多

关键词 符号模型检验 硬件验证 微处理器 有限状态机 分支时态逻辑 有序二叉判定图

在线阅读 下载PDF 职称材料

加速布尔匹配算法的研究

14

作者 张镭 林争辉 吕宗伟 《上海交通大学学报》 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 职称材料

有序二叉判定图及其构造算法研究 被引量：1

15

作者 刘建元 《西安邮电学院学报》 2001年第3期6-10,共5页

有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD... 有序二叉判定图OBDD(orderedbinarydecisiondiagram)是一种数据结构 ,它把布尔函数表示为有向无回路图 ,是布尔函数的一种正则表示 ,可以用来检查布尔函数的一些性质如可满足性、等价性等等。本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算 。 展开更多

关键词 二叉决策图 分支程序 符号操作 布尔函数 布尔代数 逻辑设计验证

在线阅读 下载PDF 职称材料

数字电路设计中的符号模型检验技术

16

作者 刘建元 《微电子学与计算机》 CSCD 北大核心 2002年第10期11-12,16,共3页

符号模型检验把有序二叉判定图OBDD技术引入到模型检验中,有效地缓解了状态组合爆炸问题。文章主要介绍了CTL模型检验基本概念和原理,给出了符号模型检验算法,验证了模4计数器的某些特性。

关键词 数字电路设计 有序二叉判定图 分支时态逻辑 模型检验 符号模型检验 OBdd

在线阅读 下载PDF 职称材料

生命线工程网络抗震可靠性分析方法的比较研究 被引量：7

17

作者 包元锋 李杰 《防灾减灾工程学报》 CSCD 2004年第2期139-148,共10页

生命线工程网络抗震可靠性分析是进行生命线工程系统规划、设计、改造与优化的基础。因此 ,寻找一种高效的适应性强的系统可靠性分析方法对实际工程应用具有重要的意义。本文主要介绍两种高效的网络系统两终端连通可靠性分析方法———... 生命线工程网络抗震可靠性分析是进行生命线工程系统规划、设计、改造与优化的基础。因此 ,寻找一种高效的适应性强的系统可靠性分析方法对实际工程应用具有重要的意义。本文主要介绍两种高效的网络系统两终端连通可靠性分析方法———递推分解算法和有序二分决策图算法。首先 ,分别对两种算法的原理及实现过程进行了详细的论述和说明 ,并且用c语言编制了二分决策图算法的计算程序。然后 ,利用这两种方法及随机模拟算法对 2 0个以往研究中的经典算例和两个实际工程网络———河南省电力网和上海市浦西供水管网 ,进行了网络系统抗震连通可靠性分析。通过对实例分析结果的比较研究 ,得到了一些经验性的结论 ,以期为优化设计工程网络时选择系统可靠性的分析工具提供参考。研究表明 ,由于递推分解算法具有适应性强和能够求得问题近似解的优点 ,因此有良好的实际工程应用前景。 展开更多

关键词 生命线工程网络系统 抗震可靠性 递推分解算法 有序二分决策图

在线阅读 下载PDF 职称材料

一种面向快速条件断点的代码优化与生成策略

18

作者 朱浩 应欢 +1 位作者 王东辉 侯朝焕 《微电子学与计算机》 CSCD 北大核心 2014年第4期27-30,35,共5页

提出了一种面向快速条件断点的代码优化与生成策略.将断点条件映射为布尔函数,并用有序二叉决策图进行描述,通过合并图中的冗余节点以及删除无关节点实现代码优化.在代码生成方面,通过对简化有序二叉决策图模型进行拓扑排序获取了子条... 提出了一种面向快速条件断点的代码优化与生成策略.将断点条件映射为布尔函数,并用有序二叉决策图进行描述,通过合并图中的冗余节点以及删除无关节点实现代码优化.在代码生成方面,通过对简化有序二叉决策图模型进行拓扑排序获取了子条件间的控制流信息,并通过查找已定义的指令模板实现了最终的代码输出.该方法已应用于自主研发的SuperV DSP处理器配套调试器上. 展开更多

关键词 条件断点 有序二叉决策图 代码优化 SuperV处理器

在线阅读 下载PDF 职称材料