二元决策图相关论文
电机械制动系统是提高矿井提升机制动响应的有效途径,其可靠性需要进一步分析验证。本研究采用基于二元决策图的故障树分析法进行验......
城市交通系统具有不同等级道路错综复杂、交通参与者及交通工具种类多样、交通运行速度一致性差等特征,导致较高的交通事故频率及......
随着目前人们生活物质水平的日益提升,生活节奏也随之不断地加快,城市的交通运输能力已经成为了制约整个城市进步的重要原因之一。......
机器人对于人类生活和工作的革新有很大帮助,多机器人系统更是未来机器人的发展方向,对于制造业、加工业、危险环境和未知环境等都......
随着人类文明的不断发展进步,网络逐渐成为人们生产和生活的重要工具。大数据时代的网络系统变得极其庞大复杂,因而亟需加强网络可......
随着计算机软硬件系统日益复杂,保证系统的正确性和可靠性日显重要,为此提出的许多理论和方法中,模型检测以其简洁明了和自动化程......
基于基数(Cardinality)的领域特征建模是一种特殊的领域建模技术。该技术通过引入特征基数、特征组基数、特征属性和特征图引用等......
随着信息技术的飞快发展,网络逐渐成为人类生产、生活所必需的一种载体和工具。网络一旦发生故障,将给人们带来重大的影响,因此加......
可靠性分析是复杂系统在设计、调试和维护中的一项重要任务,精准的可靠性分析能够帮助有效规避风险和降低损失。本文研究的是存在......
随着时代的发展和科技的进步,以及大型复杂系统的建立,可靠性和安全性问题越来越受到人们的重视,其研究对于设备的优化和性能改进......
在芯片多处理器中,传统的电互连结构已经不能满足通信在功耗、带宽以及时延方面的需求,现在的大数据时代,迫切需要发展一种新的技......
众所周知,随着科技的发展,同步电路的规模越来越大,功能越来越复杂,与此同时电路中时钟偏移、能耗和时序收敛等问题也日益突显出来......
故障树分析(Fault Tree Analysis,FTA)方法是可靠性分析及故障诊断的有效方法,二元决策图(Binary Decision Diagram,BDD)是进行故......
工期、成本、质量是工程建设项目的三大控制目标。当前工程管理人员对三大目标的控制相对独立,割裂了三大目标之间的联系,使得工期、......
建筑业是国民经济的支柱产业,建筑施工过程中发生安全事故不仅威胁人们的生命安全,而且会给国家和企业带来巨大的经济损失,影响整个产......
故障树分析(Fault Tree Analysis FTA)方法,是一种评价复杂系统可靠性与安全性的重要方法,目前已广泛应用在宇航、电子、电力、机械......
随着航天、航空、舰船、化学、电子等工业系统的日益复杂和自动化程度的不断提高,复杂系统的任务过程不再是简单的单阶段任务,而是......
现代安全管理是一个动态的管理过程,强调事故诱发因素之间的时序性、关联性和危害因素随时间推移导致事故发生概率大小的动态变化等......
航运业作为最国际化的行业之一,承担着超过90%的全球贸易货物运输。同时,航运业也是世界上风险最高的行业之一。最近10年,全球海难事故......
随着科技的发展,人们研究领域的不断延伸,我们发现现实世界中不仅存在确定的信息,同时也存在许多不确定的信息,不确定信息使我们对事情......
人工智能在实际的应用研究中,其本质为求解不确定性问题的能力。因此,不确定性推理模型则是人工智能的核心研究课题。动态因果图理......
根据国家信息安全领域确定的密码标准体系自行设计的对称密码算法,提出了一种高速对称密码芯片结构.芯片中加解密核心部件用流水线......
文中研究3-状态设备网络系统2-终端可靠度的计算问题。BDD是布尔函数的图形表示形式。武小悦和沙基昌提出了一个采用BDD方法求2-状......
故障树分析是一种核电站常用的概率安全评价方法。对利用二元决策图求解故障树方法中的关键问题——基本事件排序进行了研究。先将......
分组加密算法的密文可以看作输入的多项式布尔函数值,研究多项式布尔函数表达式对加密算法的代数分析具有重要意义。提出一种新的......
引入布尔差分的思想,对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销......
针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中,阐明了存储每个指标值的真......
针对枚举底事件的所有时序状态来形成Markov链的弊端,借鉴静态故障树的最小割集(minimum cutset,MCS)思想,考虑形成紧缩的Markov链......
提出了一种航天测控系统的层次化建模方法,以及测控任务可靠性二元决策图(BDD)分析算法。在模型底层描述了测控系统的结构和任务需求......
网络可靠性二元决策图(BDD)分析方法的计算复杂度与BDD的尺度大小密切相关,而BDD的尺度大小取决于边排序策略。由于边排序问题是一个......
准确分析与度量牵引变电所主接线设备失效的可能性与后果严重程度,并及时评估其失效风险以保障牵引供电系统的安全可靠运行.首先利......
该文运用二元决策图(Binary Decision Diagram)分析传统的静态故障树,运用Markov链分析新兴的动态故障树,由此形成一种创新性的故障诊......
在网络技术问题的研究中,3-状态设备网络系统二-终端可靠度评估的BDD算法存在着可靠度符号表达式项数多,算法效率低问题。为提高可......
针对传统的应用于导弹安控系统故障树二元决策图(BDD)算法的不足,介绍了一种基于改进BDD的快速故障树(CBDD)算法。CBDD算法在传统......
针对故障树模型中最小割集(mininal cut sets,MCS)求解的重要性,综合比较了下行法、上行法和基于二元决策图(binary decision diagram......
故障树分析(Fault Tree Analysis,FTA)是对系统进行可靠性分析的一种有效方法。而在现在所有的故障树分析中,二元决策图(Binary Decisio......
为了提高无线传感器分析网络可靠性,提出一种基于二元决策图和故障树相融合的无线传感器网络可靠分析方法;首先根据无线传感器网络......
底事件指标顺序在基于二元决策图(BDD)的故障树分析过程中影响很大。基于故障树的结构重要度,本文提出了一种求解故障树底事件指标......
BDD法可以有效地降低故障树分析的代价,其关键就是获取底事件的最优指标顺序,而这又可转化为从六种故障树底事件遍历方式中选择出......
为了保障装配环节的可靠性,在装配可靠性概念需求分析的基础上,利用“功能~运动一动作”的功能分解原则对产品的装配过程进行结构化分......
研究了二元决策图(BDD)技术在故障树分析中的具体运用。针对传统故障树分析方法只能得到顶事件的割集而’曹规不交化割集策略又太过......
针对卫星系统的可靠性问题,提出了一种基于动态故障树的卫星可靠性分析方法。采用马尔可夫链和二元决策图相结合的分析方法,建立卫......
BDD(二元决策图)是布尔函数图形化的一种表示方法,现已广泛应用于网络可靠度的计算中。与以往的方法相比,BDD有较高的计算效率。本文主......
形式化方法作为仿真方法的补充,为电路功能验证提供了新的途径。介绍了形式化验证方法之一,模型检验的理论基础和实现方法。介绍了分......
近年来,BDD(二元决策图)的分析方法越来越多地被用于多阶段任务系统可靠性分析中。BDD方法应用的一个关键是在从故障树向BDD转换时需......
BDD是布尔函数的一种图形表示方式.可以直观地反映出布尔函数的逻辑结构,利用BDD可以实现对布尔函数的分解和优化。针对BDD的数据结......
为提高矿井提升机盘式制动系统的可靠性与准确分析系统故障的原因,以TE161型液压站为研究对象,构建动态故障树模型,引入深度优先最左......