复合配置约束的知识审核研究  

Research on knowledge examination of compound configuration constraints

作　　者：孙伟[1] 郭莉[1] 高天一[1] 马沁怡[1] 

机构地区：[1]大连理工大学精密与特种加工教育部重点实验室,辽宁大连116023

出　　处：《计算机工程与应用》2008年第13期60-62,79,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.50475156)

摘　　要：针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核,提出了一种基于布尔方程组的复合配置约束表达形式,给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法。实例表明,这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核,并且使实例的配置合理性审核得到简化。Facing to configuration reasonableness testing of new products and conflict and redundancy testing for new configuration constraints,a representation of compound configuration constraints based on Boolean equation group is presented in this paper.Necessary and sufficient conditions for compatibility and redundancy are derived and algorithm of configuration reasonableness testing is discussed.Instance indicates this representation facilitates conflict and redundancy testing of new constraints to rule base and configuration reasonableness testing of new products is simplified.

关 键 词：复合配置约束 知识审核 布尔方程组 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]