|
个人信息Personal Information
教授
博士生导师
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：机械工程学院
办公地点：机械东楼
电子邮箱：sunwei@dlut.edu.cn
扫描关注
复合配置约束的知识审核研究
点击次数：
论文类型：期刊论文
发表时间：2008-05-01
发表刊物：计算机工程与应用
收录刊物：PKU、ISTIC、CSCD
卷号：44
期号：13
页面范围：60-62,79
ISSN号：1002-8331
关键字：复合配置约束;知识审核;布尔方程组
摘要：针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核,提出了一种基于布尔方程组的复合配置约束表达形式,给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法.实例表明,这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核,并且使实例的配置合理性审核得到简化.