期刊文献+
共找到76篇文章
< 1 2 4 >
每页显示 20 50 100
磁流变液制动器系统区间动态可靠性分析
1
作者 杨恒 张宇鹏 +3 位作者 杨鹏凯 李淑君 董青 王震 《哈尔滨工程大学学报》 北大核心 2025年第2期301-308,319,共9页
针对磁流变液制动器结构冗余、失效数据少且动态失效等问题,本文引入动态故障树和区间理论,提出一种区间动态故障树的磁流变液制动器系统可靠性分析方法。融合区间理论和动态故障树,提出区间动态故障树方法,并推导了区间动态故障门和区... 针对磁流变液制动器结构冗余、失效数据少且动态失效等问题,本文引入动态故障树和区间理论,提出一种区间动态故障树的磁流变液制动器系统可靠性分析方法。融合区间理论和动态故障树,提出区间动态故障树方法,并推导了区间动态故障门和区间动态故障树重要度求解方法;分析和定义了磁流变液制动器的故障模式影响及危害性和严酷度等级,同时,建立了磁流变液制动器的系统动态故障树;以某新型多槽式磁流变液制动器为例开展了可靠性和重要度分析,验证了方法的可行性和与产品失效的一致性。研究为磁流变液制动器的推广应用和优化和改进优化提供了理论依据。 展开更多
关键词 磁流变液制动器 区间理论 动态故障树 MARKOV链 二元决策图(bdd) 模块化分解 系统可靠性 重要度
在线阅读 下载PDF
一种基于ZBDD求解大型故障树的基本事件排序方法 被引量:14
2
作者 刘萍 吴宜灿 +6 位作者 李亚洲 王海涛 胡丽琴 张士杰 麻晓敏 聂淼 袁润 《核科学与工程》 CSCD 北大核心 2007年第3期282-288,共7页
如何提高大型故障树分析效率一直是研究人员致力于的一个热点问题。近年提出的基于ZBDD的分析方法是一种比较有效的大型故障树求解方法。本文从ZBDD结构和将故障树转换成ZBDD的特点入手,分析了基本事件的排序对ZBDD结构的影响,并结合BD... 如何提高大型故障树分析效率一直是研究人员致力于的一个热点问题。近年提出的基于ZBDD的分析方法是一种比较有效的大型故障树求解方法。本文从ZBDD结构和将故障树转换成ZBDD的特点入手,分析了基本事件的排序对ZBDD结构的影响,并结合BDD基本事件排序的当前研究成果,设计了一种基于ZBDD求解大型故障树基本事件的排序方法,并经过反复测试和比较分析,证明了这个方法的有效性。 展开更多
关键词 零压缩二元决策图 概率截断 排序方法 最小割集
在线阅读 下载PDF
用递归BDD技术分析故障树 被引量:6
3
作者 罗航 王厚军 +1 位作者 黄建国 龙兵 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第5期726-731,共6页
研究了二元决策图(BDD)技术在故障树分析中的具体运用。针对传统故障树分析方法只能得到顶事件的割集而常规不交化割集策略又太过烦琐的弊端,以同时实现故障树顶事件的结构函数及其不交化割集的形式为要求,分析了BDD技术的原理和方法。... 研究了二元决策图(BDD)技术在故障树分析中的具体运用。针对传统故障树分析方法只能得到顶事件的割集而常规不交化割集策略又太过烦琐的弊端,以同时实现故障树顶事件的结构函数及其不交化割集的形式为要求,分析了BDD技术的原理和方法。在用递归方法实现顶事件BDD的基础上,提出了用继承技术自动实现不交化割集。在具体的例证中验证了BDD技术优于传统故障树分析的原因。 展开更多
关键词 二元决策图 故障树 继承 不交化割集:递归
在线阅读 下载PDF
基于路径函数和BDD的网络可靠度分析 被引量:3
4
作者 潘竹生 陈荣根 莫毓昌 《微电子学与计算机》 CSCD 北大核心 2012年第12期157-162,共6页
现有的二终端网络可靠度评估方法,多数基于不交积和,由于没有充分利用普遍存在的同构子网特性,导致存在大量冗余计算,无法适用于大型网络.为此,本文提出了一种基于路径函数和BDD的网络可靠度分析方法,利用图Hash技术识别同构子网,从而... 现有的二终端网络可靠度评估方法,多数基于不交积和,由于没有充分利用普遍存在的同构子网特性,导致存在大量冗余计算,无法适用于大型网络.为此,本文提出了一种基于路径函数和BDD的网络可靠度分析方法,利用图Hash技术识别同构子网,从而简化路径函数的构建,再利用BDD高效地操纵路径函数计算网络可靠度.实验结果表明,该方法性能稳定且高效,适用于更大规模的网络可靠性分析. 展开更多
关键词 二终端可靠性 路径函数 二叉决策图
在线阅读 下载PDF
实现最优BDD结构的联合改进方法 被引量:2
5
作者 罗航 廖俊必 +2 位作者 王厚军 黄建国 龙兵 《电子科技大学学报》 EI CAS CSCD 北大核心 2012年第1期48-53,共6页
针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解(当对象含有多个最优解时)的弊端,提出了改进方法——删除存储指标值... 针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解(当对象含有多个最优解时)的弊端,提出了改进方法——删除存储指标值的真值表,获得所有最优解。为了实现形式最优BDD结构,详细研究了"去除"操作在简化"等价"节点上的原理。将最优指标顺序的理论和"等价"节点的简化操作方法联合起来,实现了理论和形式都最优的BDD结构。最后,以具体的例证阐释了联合改进方法在获取最优BDD结构中的突出特点。 展开更多
关键词 二元决策图 代价 等价节点 标识符 指标顺序 最优解
在线阅读 下载PDF
基于遗传算法的TBDD排序方法 被引量:2
6
作者 龙望宁 杨士元 +1 位作者 闵应骅 童诗白 《电子学报》 EI CAS CSCD 北大核心 1998年第5期1-6,共6页
带时间参数的二叉判决图(TBDD)在电路的时滞故障测试中有着重要的应用价值,但其变量排序是用常规方法无法解决的一个优化问题.本文提出一种基于遗传算法的TBDD排序算法.用快速衡量值和TBDD节点数来计算个体的适应度,针对变量排序... 带时间参数的二叉判决图(TBDD)在电路的时滞故障测试中有着重要的应用价值,但其变量排序是用常规方法无法解决的一个优化问题.本文提出一种基于遗传算法的TBDD排序算法.用快速衡量值和TBDD节点数来计算个体的适应度,针对变量排序的特定问题,提出一种模板保序交叉方法.采用自适应的变异概率计算方法,并提出一个适合于TBDD排序问题的变异算法.实验结果表明较好地解决了TBDD的排序问题. 展开更多
关键词 遗传算法 二叉判决图 Tbdd 变量排序
在线阅读 下载PDF
基于BDD的Grover算法仿真 被引量:1
7
作者 薛希玲 陈汉武 +1 位作者 陈开中 李志强 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2009年第1期28-33,共6页
为了解决仿真量子计算过程中复杂性随量子比特数的增加呈指数级递增的问题,采用二项决策图(BDD)表示矩阵算子仿真Grover提出的量子搜索算法.BDD利用矩阵算子在量子计算过程中呈现出的结构化特性,可以高效地压缩存储空间并实现在压缩数... 为了解决仿真量子计算过程中复杂性随量子比特数的增加呈指数级递增的问题,采用二项决策图(BDD)表示矩阵算子仿真Grover提出的量子搜索算法.BDD利用矩阵算子在量子计算过程中呈现出的结构化特性,可以高效地压缩存储空间并实现在压缩数据结构上直接进行矩阵的各种运算.利用改进的BDD实现了仿真过程需要的各种矩阵运算,用C++编写的程序对Grover算法的实例进行仿真,最后从多个角度对违反直观的实验结果进行了分析,阐述了量子算法的内在并行性. 展开更多
关键词 量子算法 Grover算法仿真 二项决策图 Grover迭代
在线阅读 下载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故障树分析的海关风险识别理论及其应用 被引量:6
9
作者 孙毅彪 《运筹与管理》 CSCD 2008年第2期103-108,共6页
本文用故障树方法研究海关执法中的风险识别问题,运用风险管理理论,引入二元决策图(BDD)分析方法描述故障树作用过程,建立基于BDD的故障树分析模型,定性推理出海关外部违法风险发生的业务逻辑,定量计算出风险发生概率,为降低传统故障树... 本文用故障树方法研究海关执法中的风险识别问题,运用风险管理理论,引入二元决策图(BDD)分析方法描述故障树作用过程,建立基于BDD的故障树分析模型,定性推理出海关外部违法风险发生的业务逻辑,定量计算出风险发生概率,为降低传统故障树分析法在众多故障源情况下的时间空间复杂度提供有效方法,并通过实例阐述模型应用过程。 展开更多
关键词 风险管理 故障树 二元决策图(bdd) 海关
在线阅读 下载PDF
基于BDD的铁路快运货物损失风险评估 被引量:3
10
作者 冯芬玲 阎美好 《北京交通大学学报》 CAS CSCD 北大核心 2018年第6期48-54,74,共8页
为了更科学地分析评估铁路快运货物在途安全风险,将二元决策图(Binary Decision Diagram,BDD)应用到风险故障树分析(Fault Tree Analysis,FTA)中,构建铁路快运货物损失风险评估模型.通过对快运货物损失情况统计,分析得出货物发生损失风... 为了更科学地分析评估铁路快运货物在途安全风险,将二元决策图(Binary Decision Diagram,BDD)应用到风险故障树分析(Fault Tree Analysis,FTA)中,构建铁路快运货物损失风险评估模型.通过对快运货物损失情况统计,分析得出货物发生损失风险的直接因素,建立风险故障树.利用香农(Shannon)分解和ite结构选用合适的事件排序方法将故障树转化为BDD.以快运货物损坏风险为例,遍历BDD每个节点计算得出各底事件的概率(Birnbaum)测度和顶事件的发生概率,与FTA方法计算结果对比验证了该方法的正确性及在计算效率方面的优势.实验结果表明:包装质量、恶劣天气和货物对环境的高要求是导致铁路快运货物损坏的关键因素,并对此提出相应的改进措施. 展开更多
关键词 铁路快运 风险评估 二元决策图 货损 故障树
在线阅读 下载PDF
基于OBDD的防空导弹系统效能评估研究
11
作者 赵保军 武昌 李阳 《现代防御技术》 北大核心 2007年第6期28-32,62,共6页
首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算... 首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法。该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值。 展开更多
关键词 有序二元决策图(Obdd) 防空导弹 系统效能 可用性 可信性
在线阅读 下载PDF
安全Petri网事件分离状态的BDD算法 被引量:6
12
作者 陈玉峰 李志武 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2010年第1期119-124,141,共7页
基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据... 基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题.提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法.用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算.BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间.最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真.仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率. 展开更多
关键词 PETRI网 二值决策图 事件分离状态
在线阅读 下载PDF
基于BDD的安全注射系统共因失效分析方法 被引量:1
13
作者 戚加军 赵新文 +1 位作者 张永发 郭海宽 《兵器装备工程学报》 CAS 2017年第9期143-147,共5页
针对用传统的PSA方法分析含有共因失效系统的可靠性时计算量大、耗时长,提出了利用二元决策图(BDD)与共因失效隐式分析相结合的方法对系统可靠性进行计算。建立系统故障树并转化为BDD图得到系统可靠度的不交化表达式,结合共因失效隐式分... 针对用传统的PSA方法分析含有共因失效系统的可靠性时计算量大、耗时长,提出了利用二元决策图(BDD)与共因失效隐式分析相结合的方法对系统可靠性进行计算。建立系统故障树并转化为BDD图得到系统可靠度的不交化表达式,结合共因失效隐式分析,将该式转化成含共因失效的可靠度表达式,并以安全注射系统为例进行可靠度分析计算。结果表明:BDD图与共因失效隐式分析相结合的方法对含有共因失效的复杂系统进行可靠性分析时简便有效,计算结果更符合实际情况。 展开更多
关键词 二元决策图 故障树 共因失效 隐式分析
在线阅读 下载PDF
基于BDD的牵引变电所主接线失效风险评估 被引量:1
14
作者 陈鲜 赵峰 李渊琴 《兰州交通大学学报》 CAS 2018年第2期65-72,共8页
准确分析与度量牵引变电所主接线设备失效的可能性与后果严重程度,并及时评估其失效风险以保障牵引供电系统的安全可靠运行.首先利用ITE规则将牵引变电所主接线故障树转化为BDD结构,然后利用递归公式对BDD结构进行递归访问来计算BDD根... 准确分析与度量牵引变电所主接线设备失效的可能性与后果严重程度,并及时评估其失效风险以保障牵引供电系统的安全可靠运行.首先利用ITE规则将牵引变电所主接线故障树转化为BDD结构,然后利用递归公式对BDD结构进行递归访问来计算BDD根节点的概率、基本事件的Birnbaum重要度和关键重要度.根据BDD算法程序对主接线失效故障树的分析计算,得到了主接线失效风险事故的发生概率和引发事故的关键因素,为牵引变电所检修与维护提供了理论依据.对比验证表明,BDD方法与割集方法分析结果吻合,且BDD方法计算速度更快,从而为牵引变电所主接线失效风险评估提供了新思路. 展开更多
关键词 风险评估 故障树 二元决策图 Birnbaum重要度 关键重要度
在线阅读 下载PDF
基于OBDD访问结构的无配对CP-ABE方案 被引量:9
15
作者 丁晟 曹进 李晖 《通信学报》 EI CSCD 北大核心 2019年第12期1-8,共8页
为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运... 为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运算替换为较为轻量级的标量乘法,降低了方案整体的计算开销。另一方面,所提方案采用基于OBDD的访问结构,该类型访问结构不仅能表示任何关于属性的布尔表达式,还能同时支持访问策略中属性的正负值,密钥的长度不随属性的个数而正比变化,密文长度也仅与访问策略中有效路径的个数有关。安全性和性能分析结果表明,所提方案在判定性Diffie-Hellman(DDH)假设下满足选择性选择明文安全,且方案的计算效率能满足物联网的实际应用需求。 展开更多
关键词 密文策略基于属性加密 有序二元决策图 椭圆曲线密码 无配对
在线阅读 下载PDF
基于BDD快速求解Petri网的陷阱和极小信标
16
作者 张加浪 黄波 《解放军理工大学学报(自然科学版)》 EI 北大核心 2017年第3期231-237,共7页
为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图(BDD)获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤并进行优化。通过引入BDD布尔计算方式,可快速求解较大规模Pe... 为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图(BDD)获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤并进行优化。通过引入BDD布尔计算方式,可快速求解较大规模Petri网模型的陷阱和极小信标。依据布尔函数给出了相应的符号化表述,并结合实例使用提出的方法进行求解,求得并分析相关结果。分析表明,极小信标求解方法的优化具有显著的时间优势,使用BDD符号化计算方式可以快速求出Petri网模型的陷阱和极小信标,甚至对规模更大的Petri网模型也是有效的。 展开更多
关键词 PETRI网 二叉决策图 陷阱 极小信标 死锁
在线阅读 下载PDF
一种故障树预处理和最小割集的嵌套求解方法
17
作者 李旭 张仁斌 樊玉琦 《核安全》 2024年第5期48-56,共9页
故障树分析(Fault Tree Analyze,FTA)是一种系统安全性分析方法。求解故障树最小割集(Minimum Cut Set,MCS)是FTA的重要环节,其方法主要包括基于布尔代数的算法和基于二元决策图(Binary Decision Diagram,BDD)的算法,在使用普通计算机... 故障树分析(Fault Tree Analyze,FTA)是一种系统安全性分析方法。求解故障树最小割集(Minimum Cut Set,MCS)是FTA的重要环节,其方法主要包括基于布尔代数的算法和基于二元决策图(Binary Decision Diagram,BDD)的算法,在使用普通计算机分析大规模故障树时,现有方法存在工作内存不足和计算时间过久的问题。为了解决上述问题,针对国内某百万千瓦级大型压水堆风险模型,提出了一种基于布尔代数的故障树预处理和最小割集嵌套求解算法(Pretreat and Nested Minimum Cut-Set Algorithm,PNMCS)。该算法由三个模块组成:故障树化简、故障树剪枝、最小割集嵌套计算。在国内某大型压水堆风险模型和几种实际应用风险模型上的应用表明,本算法在求得正确结果的同时,有效解决了工作内存不足和计算时间过久的问题。 展开更多
关键词 故障树分析 割集法 组合爆炸 布尔代数 二元决策图
在线阅读 下载PDF
基于动态故障树的卫星系统可靠性分析 被引量:47
18
作者 张晓洁 赵海涛 +2 位作者 苗强 张伟 黄洪钟 《宇航学报》 EI CAS CSCD 北大核心 2009年第3期1249-1254,共6页
卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所... 卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所得结果与可靠性框图、马尔科夫等方法所得结果进行了比较。 展开更多
关键词 动态故障树 可靠性建模 马尔科夫 二元决策图 卫星系统
在线阅读 下载PDF
基于顺序二元决策图的动态故障树分析 被引量:16
19
作者 李佩昌 袁宏杰 +1 位作者 兰杰 程明 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2017年第1期167-175,共9页
针对现有动态故障树分析方法存在的状态空间爆炸、计算效率低、适用范围有限等缺点,提出一种基于顺序二元决策图的动态故障树分析方法。在将动态逻辑门转化为含顺序事件的逻辑门的基础上,给出了顺序二元决策图的模型以及含有顺序事件的... 针对现有动态故障树分析方法存在的状态空间爆炸、计算效率低、适用范围有限等缺点,提出一种基于顺序二元决策图的动态故障树分析方法。在将动态逻辑门转化为含顺序事件的逻辑门的基础上,给出了顺序二元决策图的模型以及含有顺序事件的布尔运算规则,利用顺序二元决策图和扩展的布尔运算获取动态故障树的失效路径,并给出多单元顺序事件的发生概率。以某弹药为实例,考虑不完全覆盖问题,针对指数分布与非指数分布2种情形进行了动态故障树分析,结果表明该方法具有计算高效、精度高、适用性广泛等优点,为复杂动态系统的可靠性分析提供了理论基础。 展开更多
关键词 动态故障树 顺序二元决策图 布尔运算 可靠性分析 不完全覆盖
在线阅读 下载PDF
利用二分决策图计算网络可靠度的一个有效算法 被引量:13
20
作者 孙艳蕊 张祥德 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 1998年第5期543-546,共4页
利用二分决策图,同时采用道路排序技巧及布尔代数运算给出了求不交和的方法,它比单纯采用二分决策图的算法更简单,不交和的项数更少,从而得到一个求网络可靠度的有效算法.
关键词 二分决策图 不交和 可靠度 计算网络
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部