用递归BDD(二元决策图)技术分析因果图

故障树是以系统最不希望发生的顶事件为目标,通过分析找出导致顶上事件发生的全部因素;在故障树分析中,二元决策图(简称BDD)是最有效的方法之一,由于故障树和因果图都是用图形表示因果关系,两者具有很多相似性,而BDD在故障树中有广泛的应用;通过研究表明:在一定条件下,故障树和因果图之间可以互相转化,因此可以分析BDD的原理,并将BDD技术用来分析因果图。     

网络可靠度BDD分析中2种边排序策略的性能比较

网络可靠度二元决策图（BDD）分析过程包含边排序、BDD生成和可靠度评估3个步骤,其中BDD生成和可靠度评估的计算复杂度和BDD尺度线性相关,而BDD尺度取决于边排序．因此,边排序问题是研究网络可靠度BDD分析的核心．在实现广度优先和深度优先2种边排序策略的基础上,针对规则网络（N＊N型和M＊N型）,比较了这2种策略的分析性能．实验数据表明：1）规则网络中广度优先边排序策略优于深度优先边排序策略;2）当M〉N时,广度优先边排序策略在M＊N型网络中的性能表现优于与之等价的N＊M型网络．这些结论为设计更优的启发性边排序策略提供了重要依据．     

RTL级符号模拟系统

给出了一组从Verilog HDL到可符号执行代码的转换规则,并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。本系统能够有效地对RTL级Verilog算法进行符号模拟,并且支持带有时间延迟的If结构的符号模拟。     

基于分离BDD的通用多阶段任务系统可靠性分析

静态的通用多阶段任务系统的不完全覆盖、跨阶段依赖性极大地增加系统可靠性分析的复杂性和难度.基于SEA思想给出两级分离的组合方法将任务和阶段的不完全覆盖分割, 通过新增的阶段代数规则和向后阶段依赖运算式处理跨阶段依赖性,并且充分利用高效的多阶段系统双值决策图,实现模型规模和运算的简化.最后,通过案例分析, 将此分离BDD方法与三值决策图和多状态双值决策图对比, 验证其精确、高效和模块化的优点.     

基于递归BDD的网络系统可靠度算法

在网络系统可靠度的BDD算法中,将网络系统表示成BDD时二叉树中存在一定重复和冗余项,从而影响了不交化最小路集的搜索效率.为此,提出了一种基于递归BDD(RBDD)的网络系统可靠度算法.在该算法中,RBDD包括2个二叉树,一个是包含1个伪叶节点的二叉树,另一个是伪叶节点对应的二叉树.理论分析和实例都表明由RBDD得到的...     

网络系统可靠度的BDD算法

ＢＤＤ是布尔函数的图形表示形式。提出了采用ＢＤＤ方法求解网络系统的不交化最小路集,从而直接计算网络系统的可靠度。算法为网络系统的可靠性分析提供了一种新的途径。最后给出了一个算例。     

BDD表示下的部件重要度的计算

本文根据ＢＤＤ表示故障树的特点,提出了一种不需由ＢＤＤ树求得割集而直接搜索ＢＤＤ计算部件重要度的方法。就概率重要度而言,利用本方法可使部件的逆概率重要度的计算充分利用正概率重要度计算的中间结果,使得逆概率重要度的计算时间可以忽略不计。     

金刚石膜电极电化学氧化石油污水的研究

用BDD(掺硼金刚石)作电极,采用循环电解法处理石油污水,研究了电解时间、槽电压及电极间距对有COD(化学需氧量)降解率的影响,实验发现在槽电压8 V、电极间距2 mm,经过5h电解废水的COD降解率达到了93.9%,并且做了阴极替换实验,最后对COD的降解机理做了分析.     

A/O-混凝-BDD组合工艺处理垃圾渗滤液的研究:Ⅰ.参数优化

研究组合工艺"A/O-混凝-BDD"对垃圾渗滤液中有机物和氨氮的处理效果,优化各段工艺的运行参数。结果表明,各工艺最佳运行条件:A/O工艺水力停留时间(HRT)为10.7 d,回流比为3.5;混凝剂工艺氯化铁为混凝剂,pH=5.5,添加量为0.4 g/L;BDD工艺电流密度为60 m A/cm~2,电极面积/反应体积为4 m~(-1)。最佳工艺条件下进、出水COD_(Cr)平均浓度分别为13375和60 mg/L,去除率为99.5%;进、出水TOC平均浓度分别为6893和12 mg/L,去除率为99.8%。进、出水氨氮平均浓度分别为1889和0 mg/L,去除率为100.0%。A/O、混凝和BDD对COD_(Cr)去除贡献分别为59.0%,32.9%和7.6%,对TOC去除贡献分别为50.5%,46.1%和13.2%,对氨氮去除贡献分别为84.3%,2.5%和3.2%。