计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2013年
1期
45-48,53
,共5页
属性约简%分辨函数%多线程技术%并行模型%析取范式
屬性約簡%分辨函數%多線程技術%併行模型%析取範式
속성약간%분변함수%다선정기술%병행모형%석취범식
基于分辨矩阵计算信息系统的所有约简,都需要将合取范式转化为析取范式,但是该转化过程存在组合爆炸问题.为解决该问题,根据合取范式、合取运算和析取运算的特点,构建析取范式转化的并行模型,提出基于多线程技术的分辨函数析取范式生成算法,利用Windows的自动线程调度功能提高范式转换的效率.实验结果表明,该算法的析取范式转化效率会随着合取范式长度的增加而提高,适合在多核CPU计算机上运行.
基于分辨矩陣計算信息繫統的所有約簡,都需要將閤取範式轉化為析取範式,但是該轉化過程存在組閤爆炸問題.為解決該問題,根據閤取範式、閤取運算和析取運算的特點,構建析取範式轉化的併行模型,提齣基于多線程技術的分辨函數析取範式生成算法,利用Windows的自動線程調度功能提高範式轉換的效率.實驗結果錶明,該算法的析取範式轉化效率會隨著閤取範式長度的增加而提高,適閤在多覈CPU計算機上運行.
기우분변구진계산신식계통적소유약간,도수요장합취범식전화위석취범식,단시해전화과정존재조합폭작문제.위해결해문제,근거합취범식、합취운산화석취운산적특점,구건석취범식전화적병행모형,제출기우다선정기술적분변함수석취범식생성산법,이용Windows적자동선정조도공능제고범식전환적효솔.실험결과표명,해산법적석취범식전화효솔회수착합취범식장도적증가이제고,괄합재다핵CPU계산궤상운행.