%0 Journal Article %A 蒙祖强 %A 周石泉 %A 黄柏雄 %T 基于多线程技术的分辨函数析取范式生成算法 %D 2013 %R 10.3969/j.issn.1000-3428.2013.01.009 %J 计算机工程 %P 45-48 %V 39 %N 1 %X 基于分辨矩阵计算信息系统的所有约简,都需要将合取范式转化为析取范式,但是该转化过程存在组合爆炸问题。为解决该问题,根据合取范式、合取运算和析取运算的特点,构建析取范式转化的并行模型,提出基于多线程技术的分辨函数析取范式生成算法,利用Windows的自动线程调度功能提高范式转换的效率。实验结果表明,该算法的析取范式转化效率会随着合取范式长度的增加而提高,适合在多核CPU计算机上运行。 %U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2013.01.009