二进制决策图,BDD英语短句,例句大全

二进制决策图,BDD
1)BDD二进制决策图
1.Predicate Analysis and Optimization Based on BDD;Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统(PAS);然后在其基础上,提出了结合芯片自身体系结构特点的谓词优化算法。
2)BDD Binary Decision Diagrams二进制判决图
3)binary decision diagram二元决策图
1.Basic event ordering in fault tree analyses using binary decision diagram;利用二元决策图求解故障树的基本事件排序
2.Fault tree analysis based on Binary Decision Diagrams故障树分析的二元决策图方法
3.Based on the binary decision diagram(BDD),both the multistage equipments and the repeated events in the fault tree of MEL are well solved by using the multistate dependent operations(MDO) and MCSOR operation.该算法基于二元决策图(binary decision diagram,BDD)技术,利用改进的多态运算法则和MCS或门求解法则,有效地解决了MEL故障树模型MCS求解过程中的多态部件和重复事件难题。

英文短句/例句

1.The Research of Test Generation Method for Combinational Circuits Based on Binary Decision Diagrams;基于二元决策图的组合电路测试生成方法研究
2.Analysis on Importance of Turret Tool System of CNC Machine Tools Based on BDD基于二元决策图的数控机床转塔刀架系统重要度分析
3.Research on Methods for Removing Pseudo Elements and Decision-Making in Constructing 3D Solids from 2D Views;从二维视图重建三维实体中假元删除与决策求解方法研究
4.Project Method for Multiple Attribute Group Decision Making in Two-tuple Iinguistic Setting基于二元语义多属性群决策的投影法
5.A New Approach to Group Decision Making Based on 2-tuple Fuzzy Linguistic Representation Model基于隶属模糊二元语义的群决策方法
6.Speedup Generation Method for Test Pattern Based on BDD Learning用二叉决策图学习加速测试模式生成
7.A BDD-BASED METHOD FOR COMPUTING NETWORK RELIABILITY一种用二元判决图求网络可靠度的方法
8.Group Decision Making Method Based on Two-tuple Linguistic for Eight Types of Preference Information;基于二元语义的八类偏好信息的群决策方法
9.Two-tuple linguistic multiple attribute group decision making with incomplete attribute weight information;权重信息不完全的二元语义多属性群决策方法
10.Decision-Making Method for Program Based on 2-Tuples Linguistic Information Processing;基于二元语义信息处理的项目群决策方法
11.Group decision making method based on two-tuple linguistic for judgment matrices with different fuzzy preferences;不同偏好形式判断矩阵的二元语义群决策方法
12.Multi-criteria Group Decision Making Method Based on Two-tuple Linguistic Information Processing;一种基于二元语义的多指标群决策方法
13.Method for group decision making based on two-tuple linguistic information processing;基于二元语义信息处理的一种语言群决策方法
14.Sorting decision model based on binary relations and Boolean reasoning基于二元关系和布尔推理的分级决策模型
15.Method for 2-tuple linguistic group decision making based on the ET-WG and ET-OWG operators基于ET-WG和ET-OWG算子的二元语义群决策法
16.A group decision-making method for linguistic assessment based on two-tuple linguistic projection operator基于二元语义投影算子的语言群决策方法
17.China dual economy structure’s theory analysis and solution countermeasure我国二元经济结构的理论分析及解决对策
18.Locating Method of POL Depot Based on Two-tuples Semantic Group Decision-making基于二元语义群决策的油料供应站选址方法

相关短句/例句

BDD Binary Decision Diagrams二进制判决图
3)binary decision diagram二元决策图
1.Basic event ordering in fault tree analyses using binary decision diagram;利用二元决策图求解故障树的基本事件排序
2.Fault tree analysis based on Binary Decision Diagrams故障树分析的二元决策图方法
3.Based on the binary decision diagram(BDD),both the multistage equipments and the repeated events in the fault tree of MEL are well solved by using the multistate dependent operations(MDO) and MCSOR operation.该算法基于二元决策图(binary decision diagram,BDD)技术,利用改进的多态运算法则和MCS或门求解法则,有效地解决了MEL故障树模型MCS求解过程中的多态部件和重复事件难题。
4)BDD二叉决策图
1.In this paper, a novel algorithm is presented to enhance the effectiveness of the binary decision diagram(BDD) engine.提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;同时,利用启发式信息选择复杂度较高的节点变量进行量化,进一步减小二叉决策图(BDD)的内存要求。
2.We propose a method of implementing a symbolic simulation system which uses symbolic simulation and BDD.通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。
5)binary decision diagram二分决策图
1.Presents an algorithm for generating the sum of disjoint products by using binary decision diagram as well as certain ordering role of paths and Boolean algebra formulas.利用二分决策图，同时采用道路排序技巧及布尔代数运算给出了求不交和的方法，它比单纯采用二分决策图的算法更简单，不交和的项数更少，从而得到一个求网络可靠度的有效算法。
6)binary decision diagram(BDD)二元决策图
1.An efficient way to analyze a fault tree is binary decision diagram(BDD) method,which can take advantage of computer technology to automatically deal with a large scale fault tree.而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram,BDD)又是其中最有效的方法之一。