您要查找的是不是：
- algebraic decision diagram 代数决策图
- 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 零压缩二元决策图
- The boy can't figure out the algebra problems. 这个男孩做不出这道代数题。
- OBDD(ordered binary decision diagram) 有序二叉决策图
- We've learned algebra in middle school. 我在中学就学过代数学。
- Binary decision diagrams (BDD's) has been used in many modern commercial synthesis systems. 对有关二分决策树(BDD)的基本概念和实现也作充分介绍。
- She was studying to build up her algebra. 她在学习以提高自己的代数水平。
- ordered binary decision diagram (OBDD) 有序二元决策图（OBDD）
- Are you stuck over your algebra? 你的代数题做不下去了吧？
- She gave me a diagram of railway network. 她给了我一张铁路网图解。
- Word level model checking based on decision diagrams can verify arithmetic circuits completely,but its bug finding is time-consuming. 基于决策图的字级模型检验方法虽然能完全验证运算电路;但它从有缺陷的设计中发现系统规范的反例所需时间较长.
- He finally got the answer to the algebra problem. 他终於算出了这道代数题的答案。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
