|
|||||
|
|
| 基于遗传算法的TBDD排序方法 | |
| 引用本文： | 龙望宁,杨士元,闵应骅,童诗白.基于遗传算法的TBDD排序方法[J].电子学报,1998,26(5):1-6. |
| 作者姓名： | 龙望宁 杨士元 闵应骅 童诗白 |
| 作者单位： | 1. 清华大学计算机系,北京,100084 2. 清华大学自动化系,北京,100084 3. 中科院计算所CAD开放实验室,北京,100080 |
| 基金项目： | 国家自然科学基金，国家CIMS工程研究中心基金 |
| 摘 要： | 带时间参数的二叉判决图（ＴＢＤＤ）在电路的时滞故障测试中有着重要的应用价值，但其变量排序是用常规方法无法解决的一个优化问题。本文提出一种基于遗传算法的ＴＢＤＤ排序算法。用快速衡量值和ＴＢＤＤ节点数来计算个体的适应度。针对变量排序的特定问题，提出一种模板保序交叉方法。采用知适应的变异概率计算方法，并提出一个适合于ＴＢＤＤ排序问题的变异算法。实验结果表明较好地解决了ＴＢＤＤ的排序问题。 |
| 关 键 词： | 遗传算法 电路的时滞故障测试 已排序的二叉判决图(OBDD) TBDD变量排序 |
Variable Ordering for TBDD Based on Genetic Algorithm |
|
| Long Wangning.Variable Ordering for TBDD Based on Genetic Algorithm[J].Acta Electronica Sinica,1998,26(5):1-6. | |
| Authors: | Long Wangning |
| Abstract: | An approach of variable ordering for TBDD, based on genetic algorithm, is presented. The fitness is calculated based on the short time scaling merit and the size of TBDD. The template Ordering crossover (TOX) is proposed as an efficient crossover method which is suitable for variable Ordering of TBDD. Adaptive calculation of mutation probability is adopted and a mutation algorithm is proposed. Experimental results show that our method is efficient. |
| Keywords: | Genetic algorithm Delay fault test Binary decision diagrams Variable ordering for TBDD |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |