动态合同网协议

对经典的合同网协议进行了改进,结合群体智能提出了一种适应环境及主体能力动态变化的动态合同网协议。并给出了动态合同网协议的算法。经过在多主体平台MAGE(Multi-AGent Environment)上的多次试验,证明了动态合同网协议在各方面的优越性。     

智能合同网协议的CPN实现

鉴于传统合同网协议居高不下的通信量,本文提出了智能合同网协议(ICP).该协议对任务的发起者增加友好度因子,对投标者加入信任度因子,双方互相选择,并及时动态更新友好度及信任度;对每个动作添加时间因素,用全局时钟控制整个模型;为了降低通信量,防止投标者无限制投标,对投标者设定投标次数阈值;并且对于没有中标的任务则设定流拍的次数.根据历史投标记录,智能调整各项参数.本文利用颜色Petri网对ICP建模并仿真,实验数据证明, ICP极大的降低了通信量,缩短了运行时间,提高了任务命中率.     

一种改进的动态合同网模型

针对基本动态合同网中存在的问题,利用遗传算法与蚁群算法融合的思想结合蚁群分工特性提出DCNP*协议.该算法利用遗传算法得到初始解,再将其转化为蚁群算法的初始信息素并利用具有分工蚁群算法中刺激度与阈值关系进行最优解求取.通过分析,该模型在动态合同网特别是在大规模的动态合同网中,能够有效地提高求解效率,并减少通信时间.     

一种基于投标结果修正的合同网协议

合同网协议是一种广泛应用于多Agent系统的合作协议. 针对传统的合同网协议, 提出一种基于投标结果修正的合同网协议, 并论述该协议的合作过程, 说明该协议简化了传统合同网协议的工作过程. 最后把该协议应用于一个风力/太阳能互补发电系统的实例中, 结果表明该协议的工作效率比传统合同网协议更高.     

基于改进合同网协议的多Agent协作模型

合同网是用于分布式问题求解环境下各Agent进行通信和协作的一种协议,各个Agent内部的知识、能力和策略在问题求解过程中总是动态变化的。为了能够得到实用性强且易于实现的协作模型,分析了传统经典合同网的缺点并进行了改进,利用熟人模型对投标者进行了合理的筛选。采用Agent的主动感知特性,改进了任务Agent接受任务的被动性。在投标过程中引人信任度、感知系数和活跃度等智能参数,防止了投标者在投标过程中的自私性,平衡了各个合同承担者的负载。通过实验证明,改进的合同网降低了网络通信量,提高了多Agent系统协作的效率。     

基于改进合同网协议的多Agent协作模型

合同网是用于分布式问题求解环境下各Agent进行通信和协作的一种协议,各个Agent内部的知识、能力和策略在问题求解过程中总是动态变化的。为了能够得到实用性强且易于实现的协作模型,分析了传统经典合同网的缺点并进行了改进,利用熟人模型对投标者进行了合理的筛选。采用Agent的主动感知特性,改进了任务Agent接受任务的被动性。在投标过程中引人信任度、感知系数和活跃度等智能参数,防止了投标者在投标过程中的自私性,平衡了各个合同承担者的负载。通过实验证明,改进的合同网降低了网络通信量,提高了多Agent系统协作的效率。     

一种具有容错能力的动态合同网*

为了适应更为复杂的系统环境应用,提出一种具有容错功能的动态合同网算法。该算法引入任务时限概念以监测系统中的承包商主体,发现故障承包商主体以后,通过撤销承包合同和重新发布任务来保证系统的任务完成率,并重新定义信任度的更新准则;管理器能避免将任务分发给故障承包商,有效减少出错任务的数目,并将故障承包商无法完成的任务二次转发,具有容错能力。实验结果证明了算法的有效性。     

RoboCup标准平台组中基于改进合同网协议的任务分配算法

针对RoboCup标准平台组SPL中多机器人之间的协同问题,提出了基于改进合同网协议的任务分配算法。首先对RoboCup多机器人系统建立层次结构分解模型和单体机器人行为任务树模型,并采用AHP层次分析法确定各个任务权重。其次,提出基于改进合同网协议的任务分配策略,相对于传统合同网协议,改进的合同网协议将标书公示机制引入任务分配模型;同时,提出了优先招标策略并对合同网协议流程和评价函数进行了改进和扩展。     

基于扩展合同网协议的无线传感器网络协作方法研究

提出一种适用于无线传感器网络协作的扩展合同网协议.该协议在传统合同网协议中引入了信任度、阈值和优先级等策略,减少了无线传感器网络的通信开销,有效均衡了节点的能量消耗.为确保扩展合同网协议的完整性、正确性和可靠性.利用面向对象Petri网对其进行建模、分析和验证.仿真结果表明,扩展合同网协议有效地延长了网络生命周期,提高了网络的能耗效率,网络完成任务数也有了显著的增加.     

基于swarm仿真平台的合同网协议的应用分析

以仿真软件为基础,实现一种高层通讯协议即合同网协议.首先解释了swarm在人工世界环境下进行计算机仿真模拟的基本思想.及swarm的主要概念和系统结构.进而利用Swarm进行仿真建模的一般思路,以具体实例"捕食者-猎物"问题为实验背景,以Java语言为二次开发语言,通过调用Swarm提供的各种类库,按合同网协议规范来设计"捕食者"之间的协作,并对问题的各个参数进行设置,建立了基于Swarm的研究合同网协议的仿真模型,仿真结果表明Swarm平台很适合基于多Agent的协作的仿真建模,以及发现了传统合同网的不足.     

基于面向对象Petri网的动态合同网协议通用模型

传统的合同网协议模型通过管理Agent和承包商Agent之间招投标进行交互和协商以共同完成目标任务。但传统合同网协议模型也存在一些如协作过程中通信量大、通用性不强等问题。为此，采用面向对象Petri网，引入对象Agent，对动态合同网协议进行建模,并采用Petri网的数学分析方法对模型进行了分析，表明模型具有通用性、并发性、活性的特点且通信量减少。     

合同网协议协商机制收敛性与收敛速率分析

针对合同网协议协商机制缺乏问题求解质量与效率分析的情况,设定假设条件,构建马尔可夫链模型,得出了利用目前已有的合同类型无法保证全局收敛的结论.在此基础上,提出了变邻域合同系的概念,通过分析控制方式对收敛性的影响,得出了集中式控制可以保证全局收敛以及分布式控制以概率保证全局收敛的结论,并设计了概率的计算方法.采用Doebin理论,对应用变邻域合同系的收敛速率进行分析,得出了集中式控制收敛速率与分布式控制收敛速率的上下界估计.     

MAS中基于任务聚类合同网的自主重构技术*

为了保证嵌入式实时计算系统的可靠性,提出了一种基于多智能体的嵌入式自主重构技术。首先描述了可重构MAS的组织结构,在此基础上,通过对故障节点上的任务进行聚类划分,采用基于任务聚类的合同网协商机制实现任务的再分配,提高系统的并行处理能力;同时,系统为上层用户提供透明的通信机制,屏蔽节点重构对于任务通信的影响,保证对协作式多任务可重构支持。     

Holonic coordination obtained by joining the contract net protocol with constraint satisfaction

Present manufacturing systems are facing significant challenges concerning their adaptability. Holonic manufacturing systems are among the technologies that can provide solutions to such requests, if certain conditions are met. As being included in the class of semi-heterarchical control architectures, holonic systems need appropriate coordination and planning schemes, together with validation tools to increase the beneficiaries’ trust. This paper proposes a coordination scheme for holonic systems, based on a mix between contract net protocol and distributed constraint satisfaction problems. The distinct phases of this method are explained, with details referring to the adaptation of contract net protocol. About the constraint satisfaction mechanism, a guide is provided on how a manufacturing problem can be expressed according to this formalism. To validate the introduced coordination scheme, a coloured Petri net model was developed. This allowed several simulation experiments for scenarios regarding a manufacturing system with four robots to be carried out. The obtained solutions showed that the proposed method can determine both the right holarchy related to the manufacturing goal, and optimal plans for robots. Moreover, as proven by the reachability graphs obtained for different goals, the proposed method reached correct results for all goals and diverse constraints, and it determined all possible solutions. An advantage is about how knowledge possessed by different types of holons is efficiently used, without producing an increased communication load. In conclusion, our method can ensure the right trade-off between complexity and optimality, and the attached model can constitute the required link between design and implementation, thus contributing to an easier deployment of holonic systems.     

基于改进的合同网的多专家Agent协作的研究

在研究专家系统和MAS(Multi—agent System)结构的基础上,讨论了专家Agent的功能。结合农业专家系统的特点,提出了基于改进的合同网的关系网模型,在此基础上分析了专家Agent协作过程及通信语言。     

具有非泄露性的公平签约协议

针对目前已有的公平签约协议存在的不足,提出了签约协议非泄露性的概念,结合具有指定接受方签名方案的原理,改进双线性聚集签名方案,构建了一种具有非泄露性的公平签约协议,并对协议性质进行了分析。     

非滥用合同签署协议的研究

非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。     

CIMS Network Protocol and Its Net Models

Computer communication network architectures for cims are based on the OSI Reference Model.In this paper,CIMS network protocol model is set up on the basis of the corresqonding service model.Then the authors present a formal specification of transport protocols by using an extended Predicate/Transition net system that is briefly introduced in the third part.Finally,the general methods for the Petri nets based formal specification of CIMS network protocols are outlined.