导读:本文包含了二元判决图论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:判决,算法,函数,记忆,组合,复杂度,冗余。
二元判决图论文文献综述
杨意,潘中良[1]（2004）在《一种用二元判决图求网络可靠度的方法》一文中研究指出在已有结果的基础上,提出了一种利用二元判决图计算网络可靠度的方法.该方法将网络的最小路集用二元判决图来表示,并得到最小路集的不交和,最后获得网络的可靠度.与其他方法比较,该方法所用的二元判决图的规模较小,并且可以计算出在不同故障率条件下、不同时间长度下的网络可靠度.(本文来源于《华南师范大学学报(自然科学版)》期刊2004年03期）
李翔宇,陈光[2]（1999）在《二元判决图的实现及改进方法》一文中研究指出构造布尔函数的二元判决图（BDD）财核心是ite算符，文中详细介绍了ite算符表示布尔代数的基本运算，以及ite算符在构造BDD中的作用和实现方法;讨论了运用哈希表、反向属性边等策略提高软件包性能的方法。试验结果表明，该BDD软件包性能优于国外同类软件。(本文来源于《电子科技大学学报》期刊1999年05期）
李翔宇,陈光[3]（1999）在《二元判决图变量排序新方法》一文中研究指出从遗传算法入手，利用已有的几种启发式变量排序方法的结果作为最初的染色体群体，并适当加入随机变量顺序，然后按照遗传算法的方法进行运算，经过多代循环找到近似最优解。实验结果表明，该方法比已有的启发式方法更有效，能够在全局范围内搜索最优解，对BDD的变量编序和遗传算法的运用具有参考价值。(本文来源于《电子科技大学学报》期刊1999年02期）
章小兵,陈光[4]（1997）在《构造二元判决图过程中的记忆方法》一文中研究指出在二元判决图ＢＤＤ（ＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ）运算包中，缓存记忆对提高ＢＤＤ的运算速度起了很大的作用、本文提出了一种电路级上的动态记忆方法，它根据电路的结构进行更有目的的记忆．对ＩＳＣＡＳ＇８５标准电路作的实验结果表明本文的动态记忆方法有效地提高了构造ＢＤＤ的速度．(本文来源于《电子学报》期刊1997年05期）
章小兵,王勇,陈光[5]（1997）在《基于自由二元判决图转换的可测性优化方法》一文中研究指出提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为ＦＢ－ＤＤ表达形式，然后用切换单元来替换ＦＢＤＤ中的节点，以形成易测的多级网络，再通过冗余的认定和消除来达到可测性逻辑优化的目的。与以前的可测性设计方法相比，这种方法适用于任意电路，特别是规模较大、不能用两级逻辑表达的电路(本文来源于《电子科技大学学报》期刊1997年02期）
章小兵,陈光[6]（1997）在《二元判决图应用中函数组合方法的改进》一文中研究指出文中确定了Ｂｒｙａｎｔ的基于图的函数组合方法［１］的时间复杂度为Ｏ（｜Ｇ１｜２·｜Ｇ２｜），并提出了基于改进ＩＴＥ算符的函数组合方法。该方法省去了对结果二元判决图的约简步骤，保持了二元判决图的强正则性，提高了效率(本文来源于《电子科技大学学报》期刊1997年01期）
章小兵,陈光(礻禹)[7]（1997）在《二元判决图应用中的变量编序算法》一文中研究指出本文对当今的二元判决图的变量编序算法进行了综述。在充分阐述静态变量编序算法和动态变量编序算法的原理和实现方法的基础上,对它们进行比较,得出了结论:随着二元判决图在计算机辅助设计的许多领域中的应用愈来愈复杂,动态变量编序算法是必不可少的。(本文来源于《微电子测试》期刊1997年02期）
二元判决图论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
构造布尔函数的二元判决图（BDD）财核心是ite算符，文中详细介绍了ite算符表示布尔代数的基本运算，以及ite算符在构造BDD中的作用和实现方法;讨论了运用哈希表、反向属性边等策略提高软件包性能的方法。试验结果表明，该BDD软件包性能优于国外同类软件。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
二元判决图论文参考文献
[1].杨意,潘中良.一种用二元判决图求网络可靠度的方法[J].华南师范大学学报(自然科学版).2004
[2].李翔宇,陈光.二元判决图的实现及改进方法[J].电子科技大学学报.1999
[3].李翔宇,陈光.二元判决图变量排序新方法[J].电子科技大学学报.1999
[4].章小兵,陈光.构造二元判决图过程中的记忆方法[J].电子学报.1997
[5].章小兵,王勇,陈光.基于自由二元判决图转换的可测性优化方法[J].电子科技大学学报.1997
[6].章小兵,陈光.二元判决图应用中函数组合方法的改进[J].电子科技大学学报.1997
[7].章小兵,陈光(礻禹).二元判决图应用中的变量编序算法[J].微电子测试.1997
论文知识图
