计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2008年
13期
60-62,79
,共4页
孙伟%郭莉%高天一%马沁怡
孫偉%郭莉%高天一%馬沁怡
손위%곽리%고천일%마심이
复合配置约束%知识审核%布尔方程组
複閤配置約束%知識審覈%佈爾方程組
복합배치약속%지식심핵%포이방정조
针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核,提出了一种基于布尔方程组的复合配置约束表达形式,给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法.实例表明,这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核,并且使实例的配置合理性审核得到简化.
針對實例的配置閤理性審覈以及複閤配置約束入庫前的冗餘和一緻審覈,提齣瞭一種基于佈爾方程組的複閤配置約束錶達形式,給齣瞭配置約束冗餘和一緻判定的充分必要條件以及配置閤理性審覈的算法.實例錶明,這種錶達形式有利于對于新加入規則庫的配置約束進行冗餘和一緻審覈,併且使實例的配置閤理性審覈得到簡化.
침대실례적배치합이성심핵이급복합배치약속입고전적용여화일치심핵,제출료일충기우포이방정조적복합배치약속표체형식,급출료배치약속용여화일치판정적충분필요조건이급배치합이성심핵적산법.실례표명,저충표체형식유리우대우신가입규칙고적배치약속진행용여화일치심핵,병차사실례적배치합이성심핵득도간화.
