计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2015年
1期
271-274
,共4页
约简%增量%析取范式%合取范式%范式转换
約簡%增量%析取範式%閤取範式%範式轉換
약간%증량%석취범식%합취범식%범식전환
Reduction%Increment%Disjunctive normal form%Conjunctive normal form%Normal form conversion
通过研究属性约简中合取范式到析取范式的转换过程,发现减少冗余项和重复计算可以适当提高转换效率.同时考虑到范式的动态变化,设计一种边转换边化简的增量转换算法,可以利用已有结果直接进行计算.对于减量情况,抽象出范式转换的数学模型,给出相应转换的构造形式和分析过程,并提出一种近似减量转换算法,从而实现了不同变化情况下生成析取范式的动态计算.最后通过仿真实验验证了算法的可行性和高效性.
通過研究屬性約簡中閤取範式到析取範式的轉換過程,髮現減少冗餘項和重複計算可以適噹提高轉換效率.同時攷慮到範式的動態變化,設計一種邊轉換邊化簡的增量轉換算法,可以利用已有結果直接進行計算.對于減量情況,抽象齣範式轉換的數學模型,給齣相應轉換的構造形式和分析過程,併提齣一種近似減量轉換算法,從而實現瞭不同變化情況下生成析取範式的動態計算.最後通過倣真實驗驗證瞭算法的可行性和高效性.
통과연구속성약간중합취범식도석취범식적전환과정,발현감소용여항화중복계산가이괄당제고전환효솔.동시고필도범식적동태변화,설계일충변전환변화간적증량전환산법,가이이용이유결과직접진행계산.대우감량정황,추상출범식전환적수학모형,급출상응전환적구조형식화분석과정,병제출일충근사감량전환산법,종이실현료불동변화정황하생성석취범식적동태계산.최후통과방진실험험증료산법적가행성화고효성.
