关于多线程技术的分辨函数析取范式生成算法.pdfVIP

第39卷第1期 计算机工程 2013年1月 2013 、，01．39 No．1 Engineering January Computer 文■标识码，A 中圈分类号：TP301．5 ·软件技术与数据库· 文章■号：loom-3428(2013)ol—．004导珈4 基于多线程技术的分辨函数析取范式生成算法 蘩祖强。月石泉，黄柏雄 (广西大学计算机与电子信息学院，南宁530004) 摘要：基于分辨矩阵计算信息系统的所有约简，都需要将合取范式转化为析取范式，但是该转化过程存在组合爆炸问题。 为解决该问题，根据合取范式、合取运算和析取运算的特点，构建析取范式转化的并行模型，提出基于多线程技术的分辨 函数析取范式生成算法，利用Windows的自动线程调度功能提高范式转换的效率。实验结果表明，该算法的析取范式转化 效率会随着合取范式长度的增加而提高，适合在多核CPU计算机上运行。 关健诃：属性约简；分辨函数；多线程技术；并行模型；析取范式 unctionNormalFormGenerationof Disj Algorithm On FunctionBasedMulti-thread Discernibility Technology MENG Zu—qiang，ZHoUShi—quart，HUANGBo-xiong of and (CollegeComputer,ElectronicsInformation，GuangxiUniversity,Nanning530004，China) is totranslate normalforminto normalformwhen marxto [Abstract]Itrequired conjunction disjunction usingdiscernibility allreductsofaninformation thereexiststhecombination inthistransformation compute system．But explosionproblem process． the of normal andOR constructsa modelforthe form，And Followingpropertiesconjunction operator operator,thispaper parallel transformationthen amulti-thread for normalforms．The process，andproposes technology-basedalgorithmgenerating disjunction the oftransformationthefunctionsofautomaticthread ofWindows．