BDD相关论文
采用传统方法难以去除由高温气冷堆燃料制作过程中产生的高浓度四氢糠醇（Tetrahydrofurfurly alcohol,THFA）和火炸药生产过程中产生......
该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......
学位
体象障碍(Bodly dysmorphic disorder,BDD)又称为躯体变形障碍,是指个体在客观上躯体外表并不存在缺陷,或者有极其轻微的缺陷,但其......
针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描......
Delay consideration has been a majorissue in design and test of high performance digital circuits. Theassumption of inpu......
选用掺硼金刚石(BDD)电极作为阳极、不锈钢电极阴极,对酸性橙Ⅱ染料废水进行电化学降解研究.讨论了电解质、电流密度、溶液pH、初......
多阶段任务系统是一类普遍存在的复杂系统,研究其可靠性冗余优化对于该类系统设计具有重要的参考价值。针对多阶段任务系统的可靠......
针对移动网络通话问题日益严重,需要建立一个故障树分析（FTA）模型。利用BDD技术分析各个基本事件的结构重要度、概率重要度和临界值......
给出了一组从Verilog HDL到可符号执行代码的转换规则，并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术，给出......
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,......
在网络技术问题的研究中,3-状态设备网络系统二-终端可靠度评估的BDD算法存在着可靠度符号表达式项数多,算法效率低问题。为提高可......
针对数据驱动的测试方法中测试用例不能准确测试用户需求,以及测试脚本难以编写的问题,在整个测试过程中融入B D D 的思想.使用通......
介绍了二叉判定图（BDD）的相关知识及在构造BDD过程中变量顺序对其结点数的影响，在Friednan等提出的一种寻找最优变量排序算法的基础上......
针对数字电路的测试两大难点,采用二元判决图(BDD) 表示数字电路模型,同时由BDD生成测试矢量来完成数字电路的功能测试.在由VHDL描......
二元判断图BDD（Binary Decision Diagram）是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。......
以供电企业快速桌面部署的实际应用为基础，阐述了企业级桌面部署平台的设计与实现，详细介绍了部署平台的构建方式和关键技术，分析了平......
提出利用BDD技术来分析数控机床各部件的结构重要度和概率重要度。将系统各部件按其重要性排列出来，利用BDD法求解了电源系统各部件......
提出了一种基于复合门映射的电路面积优化方法.该方法首先通过BDD结构的拆分将待优化的逻辑电路转化为由二输入基本逻辑门组成的多......
BDD（二元决策图）是布尔函数图形化的一种表示方法，现已广泛应用于网络可靠度的计算中。与以往的方法相比，BDD有较高的计算效率。本文主......
为了达到复杂系统快速故障搜寻的目的，设计了一种基于二元决策图优化的新型故障搜寻策略的检测系统设计。通过对基于二元决策图优化......
BDD是布尔函数的一种图形表示方式．可以直观地反映出布尔函数的逻辑结构，利用BDD可以实现对布尔函数的分解和优化。针对BDD的数据结......
迁移关系的构建是基于BDD模型检验中的一个重要环节 ,而建立占内存尽可能小且运算高效的迁移关系一直是难点 ,通常做法是对迁移关......
提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;......
特征模型是领域分析活动产生的具有复用价值的软件需求模型．对特征模型的复用通常采用定制的方式．特征模型定制中的一个重要问题是验......
敏捷开发模式的盛行掀起了自动化测试的一轮热潮,测试和开发合作越来越密切。本文研究的自动化测试框架,将BDD的敏捷开发理念与软......
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。而随着符号化模型检......
本试验利用纳米金／多壁碳纳米管复合物（Au／MWCNTs）修饰硼掺杂金刚石电极（BDD），对抗氧化剂叔丁基羟基茴香醚（BHA）进行检测。研究了BHA在裸电......
以BDD电极对印染废水进行电化学氧化处理,考察处理时间、印染废水初始pH、电极材料、印染废水稀释倍数、电解质Na_2SO_4浓度和电流......
数控机床各部件的重要度计算是其可靠性优化设计、资源优化配置的基础,对提高系统可靠性、降低优化成本具有重要意义。针对传统故......
并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一。建立了具有互斥约束系统的一般......
分别采用BDD电极和钌铱钛电极作为阳极,钛板作为阴极,进行了模拟含溴饮用水的电化学氧化研究。通过对溴离子、活性溴、溴酸盐的浓......
本文研究了深亚微米工艺条件下单元特征参数提取和建模的激励生成，提出了一种基于反向遍历组合单元BDD的延时参数激励波形生成算法......
介绍了含有分支的电路(不连续函数组成的电路)的多项式表示方法.提出了用BDD结构描述不连续点(条件控制操作),用多项式表示分支函......
给出基于二元判决图BDD的无权图和有权图的符号化表示，同时给出该表示下的算法设计及实现，并以连通度算法和最短路径算法作为例子。......
对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。......
利用微波等离子体化学气相沉积法（MPCVD）在钛基底上制备了掺硼金刚石（BDD）薄膜。研究了硼源浓度对BDD薄膜生长的影响。分别采用扫描电......
目的:确定活血渗湿方抗实验性肝纤维化的疗效.方法:用经典四氯化碳肝纤维化模型进行活血渗湿方药效试验,并与复方鳖甲软肝片、干扰......
利用基于割集的传统故障树分析(FTA)技术进行复杂系统部件重要度计算时,面临着计算结果不精确、计算效率低等缺点.用于辅助故障树......
浮点运算部件的功能验证是处理器设计验证中重要的一环.相对于传统的模拟仿真方法,形式化方法具有验证完备且时间短的优点.给出了......
全氟辛酸（PFOA）具有环境持久性及内分泌干扰性,传统的生物降解及高级氧化法对PFOA的去除效果微弱.本研究采用电化学氧化法降解PFOA,......
会议
在对二状态系统结构重要度、概率重要度、关键重要度、F-V重要度和综合重要度分析的基础上，引入BDD分析技术，利用其路径搜索效率高和......
时序电路的等价性验证比组合电路更复杂,尤其是状态变量多的电路;一种有效方法是通过寄存器匹配,将部分时序电路验证转化为组合电......
根据内燃叉车的结构和故障特点,提出了一种基于专家系统的内燃叉车故障诊断方法,实现了一种基于BDD算法和故障树分析的内燃叉车故......
基于故障树理论构建了泵车在线诊断系统,对于不可检测事件,利用诊断重要度和平均检查时间计算综合排序参数,给出故障原因排查顺序;......
车载ATP安全系统作为信号系统主要组成部分,对列车的安全性起着决定性作用,必须保证其具有高度的可靠性。传统上采用故障树分析方......
