您要查找的是不是:
- A new dynamic heuristic binary decision diagram(BDD) minimization algorithm is proposed. 提出了一种新的动态启发式二叉判定图(BDD)最小化算法.
- A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed. 摘要提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
- Effective description for Binary Decision Diagram(BDD) has proven useful in many applications as data structure for Boolean function. 二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。
- Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme. 摘要在基于逻辑电路的布尔推理过程中,经常用到二叉判决图(BDD)与布尔可满足性(SAT)相结合的算法。
- BDD( Binary Decision Diagram)is the state-of-the-art data structure in logic function. It is widely used in the fields of computer science and digital circuit and system. 二元判决图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路与系统等领域中有广泛的应用。
- An active FTA constructing method, qualitative and quantitative as well as module analysis of FTA based on Binary Decision Diagram (BDD) was researched in this thesis. 本文研究了动态建造故障树的方法,以及基于BDD的故障树定性分析、定量分析和模块分析方法。 主要做了以下几方面的工作:
- Decision Fault Tree (DFT) based Binary Decision Diagram (BDD) was presented, which applied in the expert system in combination with Case Based Reasoning (CBR). A diagnosis model, which integrated DFT and CBR, was built. 本文分析了飞机航线维护排故专家系统的特点,提出了基于二元决策图的判定故障树方法,并将该方法和基于事例推理的方法应用于专家系统的开发,给出了这两种方法的集成诊断模型。
- A New Binary Decision Diagram Device and Circuit 一种新型二元判定图器件和电路
- zero-suppressed binary decision diagram 零压缩二元决策图
- OBDD(ordered binary decision diagram) 有序二叉决策图
- ordered binary decision diagram (OBDD) 有序二元决策图(OBDD)
- Binary decision diagrams (BDD's) has been used in many modern commercial synthesis systems. 对有关二分决策树(BDD)的基本概念和实现也作充分介绍。
- binary decision diagram for phased-mission systems (PMS-BDD) 多阶段任务系统的双值决策图(PMS-BDD)
- Reliability is an important parameter in evaluating the performance of a communication network. Anew algorithm of computing networks reliability by using binary decision diagrams (BDD) is presented in this paper. 关于网络可靠度,在已有结果的基础上,提出了一种利用二元判决图计算网络可靠度的方法,该方法将网络的最小路集用二元判决图来表示,并得到最小路集的不交和,最后获得网络的可靠度。
- Basic event ordering in fault tree analyses using binary decision diagram 利用二元决策图求解故障树的基本事件排序
- Binary decision diagram method for test generation of digital circuits 数字电路测试生成的二元判定图方法
- The study of ordered binary decision diagram and its constructing arithmetic 有序二叉判定图及其构造算法研究
- ordered binary decision diagrams 有序二叉决策图
- Binary Decision Diagram Minimization Algorithm Based on Genetic Tabu Hybrid Strategy 基于遗传禁忌混合策略的二叉判定图最小化算法研究
- Overview on the Research of Binary Decision Diagrams Optimization 二叉判定图最优化算法研究综述