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

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (13): 60-62.

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

孙伟,郭莉,高天一,马沁怡

大连理工大学精密与特种加工教育部重点实验室，辽宁大连 116023

收稿日期:2007-08-29 修回日期:2007-11-15 出版日期:2008-05-01 发布日期:2008-05-01
通讯作者: 孙伟

Research on knowledge examination of compound configuration constraints

SUN Wei,GUO Li,GAO Tian-yi,MA Qin-yi

Dalian University of Technology，Dalian，Liaoning 116023，China

Received:2007-08-29 Revised:2007-11-15 Online:2008-05-01 Published:2008-05-01
Contact: SUN Wei

摘要/Abstract

摘要： 针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核，提出了一种基于布尔方程组的复合配置约束表达形式，给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法。实例表明，这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核，并且使实例的配置合理性审核得到简化。

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

Abstract: 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.

Key words: compound configuration constraint, knowledge examination, Boolean equation group

孙伟,郭莉,高天一,马沁怡. 复合配置约束的知识审核研究[J]. 计算机工程与应用, 2008, 44(13): 60-62.

SUN Wei,GUO Li,GAO Tian-yi,MA Qin-yi.

Research on knowledge examination of compound configuration constraints

[J]. Computer Engineering and Applications, 2008, 44(13): 60-62.