基于承诺的agent组织描述工具

针对当前描述agent组织的逻辑无法刻画组织间及组织内部可以判定的并发活动这一问题,提出带有截止期限承诺语义的交互时态承诺逻辑,用于描述基于信任的协作.通过引入承诺,将ATL的合作算子《》扩展为《C:ξ:ω:Θ》,表示：组织C承诺当条件ξ满足时立刻开始按规划ω执行,保证在Θ成立之前实现某商定内容.建立交互时态承诺逻辑(ATCL).给出基于行为的迁移系统,以此建模基于带有截至期限条件承诺的agent组织,分别给出ATCL的语法和语义.给出模型检测算法,证明了ATCL的模型检测复杂度为PTIME comple.以卫星图像服务领域特定场景为例,展示了ATCL的表达能力,为研究agent组织可信协作提供了较好的形式化工具.     

直齿轮径向挤压过程变形力规律的数值模拟

采用上限元法模拟圆柱直齿轮径向挤压过程的变形力分析共变形规律。经证骓,所用的计算方法及编制的计算机程序是正确可行的。该天空对生产实践具有重要的指导意义。     

知识管理系统中的用户视图

从分析知识管理系统用户的浏览规律出发,以知识管理系统中的元数据为依托,创建了元数据Web页,提出了用户浏览区域和关联集的概念．在分析视图关键要素的基础上,通过对知识管理系统用户获取知识的过程进行分析,构造了用户浏览图和无环图,提出了基于关联集的无环图分解方法,并依据用户兴趣和知识内容构造了判断准则;根据此准则可生成一个充分反映用户意愿的知识管理系统视图．实际应用表明,该方法可以有效地生成与用户兴趣一致的用户视图。     

支持Agent社交活动的方法体系SASA5

传统软件Agent技术在开发基于Web的社交智能中应用潜力严重受阻,原因在于该技术只适用于封闭的小规模系统,难以适应将出现于Web的Agent社会所面临的由大量异质Agents参与的、开放的、动态变化的并充满不确定因素的因特网环境．该文提出支持Agent社交活动的方法体系SASA5,旨在以社区／联邦式的政策导向型社会体制为主线,从5维(信息建模、中介服务、理性协商、法制管理和用户调控)去建设开放式、多方位、系统化、安全的且易于人透明调控的社交活动基础结构,以支持Agent社交智能的有效开发．