基于混沌差分进化方法的二元判定图极小化

作     者：陈翎 潘中良 CHEN Ling;PAN Zhong-liang

作者机构：华南师范大学物理与电信工程学院电子工程系广州广东510006 

基　　金：广东省自然科学基金项目(7005833) 广东省教育部产学研结合资助项目(090300339) 

出 版 物：《河北北方学院学报（自然科学版）》 (Journal of Hebei North University:Natural Science Edition)

年 卷 期：2010年第26卷第2期

页      码：20-26页

摘      要：逻辑布尔函数在数字电路的设计与测试、计算机科学、人工智能等领域有广泛的应用.二元判定图是逻辑布尔函数的一种有效表示方法,它的节点数与变量的编序有关.提出了一种基于混沌差分进化的二元判定图极小化方法,在该方法中,使用混沌映射来产生初始种群,并在差分进化算法所获得的一些近似解的附近寻找较优的解;同时设计了一种双种群进化方案,来计算二元判定图的变量编序.对数字电路的测试矢量生成的结果说明,该方法能够得到较优的变量编序,因此,可以获得规模较小的二元判定图.

主 题 词：数字电路 布尔函数 二元判定图 变量编序 进化算法 测试矢量生成 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-1492.2010.02.006

馆 藏 号：203896808...