亚洲成色777777女色窝,777亚洲妇女,色吧亚洲日本,亚洲少妇视频

基于MOVR啟發(fā)式的求差知識編譯算法

摘要：DKCHER算法是基于超擴(kuò)展規(guī)則的求差知識編譯算法,也是目前為止表現(xiàn)最好的EPCCL理論編譯算法.本文通過研究DKCHER算法的執(zhí)行流程,設(shè)計了一種新的啟發(fā)式策略MOVR(maximum occurrence number of variables in middle result),用于動態(tài)地從輸入子句集中選擇所包含變量在中間結(jié)果中出現(xiàn)次數(shù)最多的子句.將MOVR啟發(fā)式策略與DKCHER算法相結(jié)合,設(shè)計了MOVR_DKCHER算法.實驗結(jié)果表明,MOVR啟發(fā)式策略能夠顯著提高DKCHER算法的編譯效率和編譯質(zhì)量,編譯效率平均可提升70倍左右,最高可以提高237倍.

關(guān)鍵詞：
  • 知識編譯  
  • 擴(kuò)展規(guī)則  
  • 超擴(kuò)展規(guī)則  
  • epccl理論  
  • 啟發(fā)式策略  
作者：
牛當(dāng)當(dāng); 呂帥; 王金艷
單位：
西北農(nóng)林科技大學(xué)信息工程學(xué)院; 陜西楊凌712100; 吉林大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院; 吉林長春130012; 符號計算與知識工程教育部重點(diǎn)實驗室(吉林大學(xué)); 吉林長春130012; 廣西師范大學(xué)計算機(jī)科學(xué)與信息工程學(xué)院; 廣西桂林541004
刊名：
電子學(xué)報

注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社

期刊名稱：電子學(xué)報

電子學(xué)報緊跟學(xué)術(shù)前沿，緊貼讀者，國內(nèi)刊號為：11-2087/TN。堅持指導(dǎo)性與實用性相結(jié)合的原則，創(chuàng)辦于1962年，雜志在全國同類期刊中發(fā)行數(shù)量名列前茅。