组合函数无冗余覆盖的优算法
AN ALGORITHM FOR FINDING THE IRREDUNDANT COVER OF COMBINATIONAL FUNCTIONS作者机构:哈尔滨工业大学
出 版 物:《计算机学报》 (Chinese Journal of Computers)
年 卷 期:1984年第2期
页 面:129-134页
学科分类:081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:本文提出了“相邻点分布密度及质蕴涵项“生成元的概念,从而使函数质蕴涵项的生成在选点及方向上,为形成无冗余覆盖有了依据,并进而提出了一个产生函数无冗余覆盖的较优算法,从理论和实践上验证了根据本算法编制的程序条数少、速度快、存储量少。