规范约束的Agent可信协同模型与机制研究

来源 :浙江大学 | 被引量 : 0次 | 上传用户:hgtata
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
如何在分布、动态、共享的网络计算环境中,建立E机构(Electronicinstitution)去规范和约束Agent的协同行为,使得系统可信?如何表达和实施协同行为规范,使得只要个体都遵从行为规范,就可预测这些个体完成拟定的全局目标?如何使得Agent能够有效地遵循行为规范,且在Agent违反行为规范时能有效地追究其责任?如何建立高效的VO体制,使系统尽量减少合同违约?如何使系统体制表现出自管理能力,自修复能力?这些都是当前研究的热点。目前,以软件Agent充当自治计算元素,建立E机构调控多agent系统是进行上述热点研究的有效方法。但却缺乏有效的模型和机制去支撑Agent的可信服务协同,以减少违约的发生。为此,本文提出了规范约束的Agent可信协同模型与机制研究,以减少违约,提高可信度。文章主要的研究内容和创新成果包括:   1.提出了EMLHYB机构模型,并定义了相应的E机构动态模型和运行协议。文中多层次地阐述了E机构模型,并且E机构模型中规范的定义描述了不同实例层之间的协同行为的制约。通过规范实施机制就可以减少不同实例层之间的规范的违反,提高了可信度。通过E机构动态模型的动态调控,可以减少违约,或者使得违约控制在理想范围内。   2.基于LABEL-CTL*逻辑的软约束规范描述和全面的规范实施可以减少规范违反。本文用标记分支时序逻辑(LABEL-CTL*)描述软约束规范,使得对规范的描述有最强的表达力。通过合理设置软约束规范的异常状态下Agent应该尽的义务,可以有效减少规范违反。提出了标记分支时序逻辑描述下的违约逻辑悖论处理方法,解决了软约束规范的技术问题。本文的规范实施机制是综合性的,包括规范执行前的实施(包括基于规范的服务匹配机制和协作前的基于合同信任的方案选择机制)、规范执行时的实施(规范的内化和策略驱动的Agent自主管理),规范执行后的实施(违约制裁与系统演化)。   3.建立了基于DRQSHCTAgent模型的VO自组织、自演化机制。为了减少合同违约,提出了DRQSHCTAgent模型来实现VO的自组织。为了减少VO演化后合同违约,提出了VO演化机制的DRQSHCTENV。   总之,本文的模型和机制可以有效抑制规范违反事件的发生。
其他文献
自从关系数据库的事务概念提出以来,如何解决事务问的并发以及串行化调度就成为了一个热点的问题。从上世纪八十年代开始物理行锁的封锁机制开始成为了关系数据界的主流解决
随着高校网络的迅速发展,大多数高校都已建立了自己的校园网。为了充分利用教育网上的资源,大多数高校都把教育网作为校园网的主要出口,但由于教育网与公网的互联带宽比较窄,
隐式多项式曲线,尤其是高次隐式多项式曲线对物体几何模型的描述非常有效,它用很少数目的参数就能描述形状不规则的物体,其稳定性和不变量的鲁棒性可用来快速有效地识别物体。在
随着网络信息技术在管理上越来越深入而广泛的应用,基于WEB的数据库信息管理系统的开发在技术上已逐步成熟,并成为主流和发展趋势。同样,信息管理技术正以前所未有的速度深入
随着网络技术和信息数字化的快速发展,面向海量数据的大型应用纷纷涌现,数据中心里存储服务器集群规模随之不断增大,越来越多的存储节点,给存储系统中的元数据服务器带来了更重的
高端容错计算机是指同时具备高性能和高可用特性的高端服务器。高端容错计算机主要面向金融、电信等涉及到国家战略安全的关键领域的计算需求,此类系统的可靠运行直接关系到
四边网格在有限元模拟仿真、样条曲面、参数化以及纹理贴图等领域有着非常广泛的应用。相比常用的三角网格,四边网格不仅天然具有张量积性质,而且在有限元计算中提供了更好的
随着互联网的高速发展,越来越多的人通过网络来表达自己的意见、想法、情绪和态度,其中既包括对事件的发展有着正面、积极作用的信息,也包括一些负面、消极的信息。同时,网络
纹理烘焙是一种增加图像真实度的手段,其占用资源少,使用方式简单,有效解决了三维场景的计算机真实感图形实时绘制的速度与质量的问题。因此被广泛运用在影视动画与视频游戏
规范调控、策略驱动的自治式服务协同模型NGPD,可以解决因自治个体行为难以预测、控制而导致的协同效应“可信”危机[1]。然而,服务协同的社区应用依托于众多的中小企业的参与,