| 复合配置约束的知识审核研究 |
| |
| 引用本文： | 孙伟,郭莉,高天一,马沁怡.复合配置约束的知识审核研究[J].计算机工程与应用,2008,44(13):60-62. |
| |
| 作者姓名： | 孙伟 郭莉 高天一 马沁怡 |
| |
| 作者单位： | 大连理工大学 精密与特种加工教育部重点实验室，辽宁 大连 116023 |
| |
| 摘 要： | 针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核，提出了一种基于布尔方程组的复合配置约束表达形式，给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法。实例表明，这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核，并且使实例的配置合理性审核得到简化。
|
| 关 键 词： | 复合配置约束 知识审核 布尔方程组 |
| 文章编号： | 1002-8331(2008)13-0060-03 |
| 收稿时间： | 2007-8-29 |
| 修稿时间： | 2007年8月29日 |
Research on knowledge examination of compound configuration constraints |
| |
| 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. |
| |
| Authors: | SUN Wei GUO Li GAO Tian-yi MA Qin-yi |
| |
| Affiliation: | Dalian University of Technology，Dalian，Liaoning 116023，China |
| |
| 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. |
| |
| Keywords: | compound configuration constraint knowledge examination Boolean equation group |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
