模拟退火算法在BDD变量最优排序中的应用

二叉判定图(BDD)作为表示布尔函数的有效工具,被广泛的应用到逻辑综合,布尔电路的测试等领域,但是在构造BDD的过程中变量的顺序对其结点数有很大的影响,本文将广泛应用于人工智能的模拟退火算法引入到BDD变量排序中,提出了一种寻找变量最优排序的新方法。该方法在寻求BDD最优变量排序的过程中,对处理器的处理时间和存储器的空间需求都有很大的改善。     

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

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

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

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

基于动态筛选算法的二元判定图的优化

作为逻辑布尔函数的一种高效简洁的描述方法,BDD规模结构对应着计算机实现算法的空间和时间复杂性。随着应用领域的不同,BDD的节点和路径的规模成为关注的两个焦点。文章讨论利用基于动态规划的筛选算法来实现从节点规模和路径的大小两方面对BDD的优化。在将筛选算法用于节点优化的基础上,从理论上提出了优化路径的思路及可行算法。     

基于二元决策图的故障树底事件排序

提出了一种底事件排序的新方法——最小深度子树法。该方法先将结构复杂的故障树化简为一棵简单的树,然后基于各子树的深度、节点数及节点间的位置关系对底事件进行静态排序,并根据排序结果动态构造BDD。最后,通过对航空发动机加速时喘振停车的故障树分析,证明该方法可快速构建BDD,而且构建的BDD产生的冗余节点数目较少。     

一种用于BDD模型构建的排序起点选择新方法

在BDD网络可靠性分析中,还没有一种可用的方法用来选择最佳(或高性能)的排序起点.为了找到最佳的排序起点,基于对BDD构建过程的深入分析,用实验总结的方法提出了一种"依赖集总长度小优先"的排序起点选择方法.在Square Lattice,De-Bruijn和Hyper Cube网络中的大量实验表明:所提方法能找到最佳(或高性能)排序起点,从而指导生成更小规模的BDD模型,提升网络可靠性分析性能.     

硼掺杂金刚石电极方波伏安法同时测定阿斯巴甜与甜蜜素

BDD(boron-dopeddiamond)掺硼金刚石是一种碳基电极,近年来被广泛研究,本文利用SWV+BDD检测食品中的aspar-tame和cyclamate,通过在一些食品样品中做测试对比,获得了很好的实验结果,可以有效的同时检测阿斯巴甜和甜蜜素,而且这种方法简单,经济,快速,不需要对样品做事先的处理。     

一种多阶段任务系统的BDD排序新方法

近年来,BDD(二元决策图)的分析方法越来越多地被用于多阶段任务系统可靠性分析中.BDD方法应用的一个关键是在从故障树向BDD转换时需要对底事件进行排序,所选择的排序顺序将影响构造的BDD的节点数.与单一阶段任务系统相比,多阶段任务系统的可靠性分析由于阶段之间的相关性而变得更加复杂,将一般的BDD排序方法直接应用于多阶段任务系统的BDD分析很难得到令人满意大小的BDD.在考虑多阶段任务系统的结构和特性的基础上,通过共同失效组件对多阶段故障树化简,提出了基于最小相邻组件优先相邻排序的多阶段任务系统BDD排序方法.通过与一般的排序方法相比较,这种新方法可以生成更理想的BDD结构.     

液压油乳浊液电解过程中掺硼金刚石电极结构演变

以掺硼金刚石(BDD)电极为阳极,研究了液压油乳浊液电解过程对BDD电极微观结构演变的影响。扫描电子显微镜(SEM)、原子力显微镜(AFM)、X射线衍射(XRD)以及拉曼光谱(Raman)等表征技术用于研究不同电解时间下BDD电极的微观结构信息,循环伏安技术用于测试不同电解时间下BDD电极的电化学反应活性和稳定性。结果表明:BDD电极中金刚石晶粒在电解过程中由不规则八面体逐渐刻蚀为梯形台面,且晶粒尺寸逐渐减小,相应粗糙度也逐渐减小,膜厚逐渐变薄。BDD电极的循环伏安性能测试表明BDD仍然保持良好的电化学反应活性和较好的稳定性。     

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

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

Clicking cyclophane to boron doped diamond surfaces

"Click chemistry" was used to covalently attach acetylene-bearing cyclophane to azide-terminated BDD surfaces. The azide termination was obtained through an esterification reaction between 4-azidobenzoic acid and the terminal hydroxyl groups of oxidized BDD surfaces. The resulting surfaces were characterized using X-ray photoelectron spectroscopy (XPS), water contact angle and electrochemical measurements. As a result, alkyne-functionalized cyclophane can undergo click chemistry to conveniently attach these units onto a preformed azide-functionalized BDD surface.     

不同氧化程度的掺硼金刚石膜电极的电化学性能及电荷转移速率研究

通过阳极电化学氧化法, 制备不同氧化程度的掺硼金刚石膜(BDD)电极, 并对其进行表征。分别采用循环伏安法和 Mott-Schottky 曲线, 研究不同氧化程度的 BDD 电极的电化学性质和电荷转移速率。扫描电子显微镜和拉曼光谱分析表明, 氧化后的 BDD 电极形貌和晶型结构几乎未发生变化, 但 EDX 能谱分析发现BDD 表面氧含量明显增加。循环伏安法和 Mott-Schottky 曲线阳极电流法研究发现, 电荷转移速率随氧化程度的增大而逐渐增大。接触角实验进一步证实, 随着 BDD 电极氧化程度的增加, 接触角减小, 电极表面亲水性逐渐增大, 因此以阳极电流方式表示的电荷转移速率增大。然而, Mott-Schottky 曲线以氧化还原电位差方式表示的电荷转移速率随氧化程度的增大, 先增大, 后减小, 这是由于在不同的氧化时间下, 表面基团的种类及其各成分在总含氧量中所占比例不同, 因此产生的电荷转移速率也不相同。     

计算网络连通可靠度的一种新型算法

大型复杂网络系统的可靠性分析都是NP难问题。结合二分决策图原理和因子分解定理以桥型网络为例提出了一种新型的算法——二分决策分解算法(TPDM算法),该算法便于计算机编程实现,通过与BDD等算法的比较研究表明,该算法的复杂度更低、可行性更高。     

基于BDD的Grover算法仿真

为了解决仿真量子计算过程中复杂性随量子比特数的增加呈指数级递增的问题,采用二项决策图(BDD)表示矩阵算子仿真Grover提出的量子搜索算法.BDD利用矩阵算子在量子计算过程中呈现出的结构化特性,可以高效地压缩存储空间并实现在压缩数据结构上直接进行矩阵的各种运算.利用改进的BDD实现了仿真过程需要的各种矩阵运算,用C++编写的程序对Grover算法的实例进行仿真,最后从多个角度对违反直观的实验结果进行了分析,阐述了量子算法的内在并行性.     

递归学习寻找对称变量

逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率．通常fx1xj^-=fxjxi-被用来检验变量的对称性．一般先分别建立fxjxi和fxjxi^-的BDD(Binary Decision Diagram)二分决策图，然后通过检查两BDD图是否同构来验证fxjxi=fxjxi^-．但将电路转化为BDD图本身就需要一定的时间，而且对于大的电路，存在BDD图不能建立的可能性，致使同构验证无法进行．本文利用递归学习，无需建立BDD图直接在电路拓扑图上验证fxjxi^-=fxjxi^-递归学习算法执行效率高，可以大大缩减对称变量检测的过程．试验结果表明，利用递归学习算法检测对称变量执行时间减少，并且能将大的电路作为检测对象．     

基于BDD快速求解Petri网的陷阱和极小信标

为了分析和计算Petri网模型的陷阱和极小信标,同时实现符号化快速求解,提出了基于二叉决策图(BDD)获取模型的陷阱和优化已有的求解极小信标的方法,主要对原有方法缩减计算步骤并进行优化。通过引入BDD布尔计算方式,可快速求解较大规模Petri网模型的陷阱和极小信标。依据布尔函数给出了相应的符号化表述,并结合实例使用提出的方法进行求解,求得并分析相关结果。分析表明,极小信标求解方法的优化具有显著的时间优势,使用BDD符号化计算方式可以快速求出Petri网模型的陷阱和极小信标,甚至对规模更大的Petri网模型也是有效的。     

在数字电路验证中使用模型检验

形式化方法作为仿真方法的补充,为电路功能验证提供了新的途径.介绍了形式化验证方法之一,模型检验的理论基础和实现方法.介绍了分支时态逻辑CTL、CTL的固定点算法,二元决策图BDD,以及符号模型检验方法.最后使用SMV工具在一个CISC处理器的存储管理单元(MMU)上应用了模型检验,验证了模型检验在模块级验证中的可行性.     

A New Method for the Detections of Multiple Faults Using Binary Decision Diagrams

With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram （BDD）. First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.     

BDD在网络系统可靠度算法中的应用

本文在已有的最小路集算法求网络系统可靠度的基础上,提出了一种利用二元判决图BDD计算网络可靠度的方法。该方法将网络的最小路集用二元判决图来表示,并得到最小路集的不交和,最后获得网络的可靠度。与其他方法比较,该方法所用的二元判决图的规模较小,并且可以计算出在不同故障率条件下、不同时间长度下的网络可靠度。     

掺硼金刚石膜电极电化学氧化降解TNT的研究

首先采用循环伏安法研究了TNT在掺硼金刚石(BDD)膜电极上的电化学氧化-还原行为。基于此,开展了以BDD电极为阳极,电化学高级氧化降解TNT废液的研究,考察了电极电流密度对TNT降解率、溶液化学需氧量(COD)的影响。结果表明:随着电流密度从20 mA/cm2增加到150 mA/cm2,TNT降解率及COD去除率均明显增加,但平均电流效率降低,能耗呈线性增加。综合考虑,在较低电流密度下电氧化降解TNT废液降解更经济合理。