Hits:
Indexed by:期刊论文
Date of Publication:2008-05-01
Journal:计算机工程与应用
Included Journals:PKU、ISTIC、CSCD
Volume:44
Issue:13
Page Number:60-62,79
ISSN No.:1002-8331
Key Words:复合配置约束;知识审核;布尔方程组
Abstract:针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核,提出了一种基于布尔方程组的复合配置约束表达形式,给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法.实例表明,这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核,并且使实例的配置合理性审核得到简化.
