针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析...针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析取范式群具有可满足性自明性,从而可以实现对SHOIN(D)-概念可满足性的直接判断.该算法基本上消除了判断过程中描述重复的现象,从而在空间、时间性能上都比Tableau算法有更好的表现.关键词:描述逻辑推理;可满足性;析取范式;SHOIN(D);展开更多
针对开放式环境下松耦合程度和可靠性不够的协作模式的缺点,以及协同制造装配问题出现的"结构失配"和"工艺革新"的特性,提出CRQA_(OVTM)Agent模型.模型从服务参数(属性)松耦合程度和服务执行结果确定性两个方面区...针对开放式环境下松耦合程度和可靠性不够的协作模式的缺点,以及协同制造装配问题出现的"结构失配"和"工艺革新"的特性,提出CRQA_(OVTM)Agent模型.模型从服务参数(属性)松耦合程度和服务执行结果确定性两个方面区别定义普通(O,Ordinary)接口、转换(V,con V ersion)接口、多参数适配器(T,multiparameteradap Tor)接口和概念实例调制器(M,conceptinstance M odulator)接口,并在此基础上提供包括普通协作、转换性协作、适配性协作和调制性协作的混合协作模式,且在处方的基础上引入量化合成,以更加灵活的方式处理"结构失配"和"工艺革新"问题.同时模型引入合同的约束,保证自组织协作是可信的.通过验证并与RPACT IAgent模型比较可知,该模型的协作机制既具有很高的成功率和效率,又具有很高的灵活性,更加适合开放环境下的协同制造装配.展开更多
文摘针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析取范式群具有可满足性自明性,从而可以实现对SHOIN(D)-概念可满足性的直接判断.该算法基本上消除了判断过程中描述重复的现象,从而在空间、时间性能上都比Tableau算法有更好的表现.关键词:描述逻辑推理;可满足性;析取范式;SHOIN(D);
文摘针对开放式环境下松耦合程度和可靠性不够的协作模式的缺点,以及协同制造装配问题出现的"结构失配"和"工艺革新"的特性,提出CRQA_(OVTM)Agent模型.模型从服务参数(属性)松耦合程度和服务执行结果确定性两个方面区别定义普通(O,Ordinary)接口、转换(V,con V ersion)接口、多参数适配器(T,multiparameteradap Tor)接口和概念实例调制器(M,conceptinstance M odulator)接口,并在此基础上提供包括普通协作、转换性协作、适配性协作和调制性协作的混合协作模式,且在处方的基础上引入量化合成,以更加灵活的方式处理"结构失配"和"工艺革新"问题.同时模型引入合同的约束,保证自组织协作是可信的.通过验证并与RPACT IAgent模型比较可知,该模型的协作机制既具有很高的成功率和效率,又具有很高的灵活性,更加适合开放环境下的协同制造装配.