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

摘要：

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

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

所属期刊栏目：26

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2010-06-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：20-26