BDD算法相关论文
由于电路宽度很好地反映了电路的复杂性,本文提出了一种基于电路宽度的启发式策略,根据电路宽度来实现SAT算法与BDD算法的交替,充......
矿井通风网络是通风系统的重要组成部分,对其进行可靠性研究具有非常重要的意义。针对矿井通风网络系统的自身属性,结合网络流理论......
软件复用是解决软件危机、实现软件产业工业化生产方式的有效途径。软件复用活动包含两个相关的阶段：可复用软件资产的生产阶段和基......
交通网络属于载流网络，网络上的交通流运行状况受许多因素影响，如雨雪天气，道路维护，路边停车，交通事故等。这些因素造成了交通网络的不......
故障树分析法在运用过程中容易产生"维数爆炸"等问题,本文重点研究基于BDD算法的故障树分析法,分析故障树转化为BDD的方法,并基于B......
大型复杂网络系统的可靠性分析都是NP难问题。结合二分决策图原理和因子分解定理以桥型网络为例提出了一种新型的算法——二分决策......
随着现代武器系统越来越趋于大型化和复杂化，采用事故树方法进行系统安全性分析的难点问题也日益突出，本文研究了基于BDD的FTA优化求......
随着现代武器系统趋于大型化和复杂化，利用事故树进行系统安全性分析日益困难。本文重点研究了基于BDD的FTA优化求解算法，并利用贝叶......
采用基于遗传算法的拟合方法,提出了一种以威布尔分布模型为基础的牵引供电系统的可靠性建模方法。以京广线郑州南段牵引供电系统......
本文根据不交化布尔代数及BDD原理提出了一种简化的求解不交化最小路集的改进算法。对最小路集的路长进行排序,按最小路集的不同路......
准确衡量与分析接触网系统失效的可能性与后果严重程度,并及时评估其失效风险,为制定风险控制措施提供理论依据。首先建立接触网失......
期刊
