多Agent系统中合同网协议的一种改进方案

在传统的合同网协议招投标过程中引入了Agent心智状态,充分考虑了协商过程中Agent的多种社会属性因素,并引进解质量评价作为以后合作的依据,从而改善协作质量,使系统具有较好的适应性和灵活性．     

改进合同网协议的多移动机器人协作系统

以多移动机器人大规模搜索搬运为背景,探讨机器人异构、目标物异构情况下,多移动机器人协作系统的构建.通过改进合同网协议,实现动态局域网招标,并根据期望值投标,以期望值作为确定任务执行者的重要指标.仿真实验结果表明,该方法能大幅减少系统通信开销,有效缩短任务响应时间与任务完成时间,提高了系统效率.     

多Agent协作中改进的合同网协议

分析了现有多Agent协作采用的经典合同网协议,针对其存在冗余通信及节点负载大等问题,通过引入Agent的心智状态参数和节点拒标策略,同时将经济学中的拍卖思想引入,提出了一种基于拍卖机制改进的合同网协议,减少了系统通信量,均衡了整个系统负载,节约了系统资源,使系统的执行效率得到提高.     

Formalization of the Abstract Architecture of MAS Based on FIPA Specification

The FIPA specification of MAS (multi-agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an abstract architecture from the FIPA based MAS, and gives fon-rmlization about it.     

一种改进的网上合同签署方案

利用PKI基础设施,并采用部分盲签名技术对先前提出的网上合同签署方案进行改进,大大简化了方案的实施步骤,有效地提高了方案的实施效率。为当前“电子签名法”颁布和国家级认证中心建立条件下的信息安全产品开发提供了一个可供借鉴的方案。     

一种改进的定向代理签名方案

在通常的代理签名方案中,任何人都可以验证代理签名的有效性。在定向代理签名方案中,由原始签名人指定一个人作为签名的接收者,以此来防止签名的滥用。当代理签名人产生签名后,只有指定的接收者可以对签名进行验证,进而接受签名。分析了Dai等定向代理签名方案,它不满足不可伪造性,即原始签名人可以成功伪造代理签名人的代理签名。为此,提出了改进的定向代理签名方案,该方案具有不可伪造性,从而有效地防止原始签名人对代理签名人进行恶意攻击,并将其推广到代理多签名方案中。     

一种改进的AY授权签名方案

授权签名是代理签名的一种特殊形式,本文在Nyberg-Ruelppel数学签名方案和AY授权签名的基础上提出了一种新的授权签名方案,它改善了AY的健壮性,使得授权者能够跟踪验证代理签名的有效性,可以有效地防止代理欺骗授权者.     

KERMIT通信协议的一种改进方案

针对日趋国际标准化的KERMT通信协议的一些不足,提出了一种改进方案,使其在文件传输中断时,能够从中断处迅速恢复传输,保证无差错无重复地正常工作。     

一种改进的自适应动态资源调配算法

为了改进在分布式环境下用于QoS控制的基于模糊逻辑的动态资源调配算法(FDRA),提出了基于双阈值和双指针的自适应动态控制资源算法--EFDRA(Enhanced FDRA),解决了当网络资源紧张时,FDRA算法更新指教上升过大的问题.仿真结果证明,该算法以牺牲少量的阻塞率指标为代价,换来了更新指数指标的显著改善,提高了网络的可扩展性能.     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

基于合同网的作业车间分布式合作调度策略

本文在利用面向对象(Object-Oriented)的表达方法描述作业车间生产调度模型的基础上,提出一种基于合同网(Contract-Net)的分布式合作调度策略.     

基于电子商务单向认证协议的Petri网模型

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。     

一种改进的门限RSA签名方案

门限签名是门限密码学的重要组成部分之一,然而,由于在RSA密码体制中,模数n=pq,剩余环Z(n)不是域,其中的元素未必可逆,(n)是秘密参数,因而参与者无法进行模(n)运算,这给建立在Z(n)上的门限RSA签名方案带来了困难。结合Shoup门限RSA签名方案和最小公倍数的思想,提出一种改进门限RSA签名方案,该方案克服了Shoup方案中动态性差、计算量小等缺点。     

基于扩展合同网的协同设计任务分配机制研究

针对网络化产品协同设计过程的任务分配机制进行研究,在分析了已有合同网任务分配机制的基础上,通过引进时间令牌和缓冲池策略,对合同网机制进行扩展,提出了一种基于时间令牌和缓冲池机制的协同设计任务分配方法,给出了任务分配协作过程中的协商策略和基于投标信息的综合多因素决策评价算法。最后通过实例验证了所提方法的可行性,更适用于协同设计任务分配的实际情况。     

网格实时事务并发控制协议及其PETRI网分析

将网格服务动态性与实时事务替代性相结合, 定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性和正确性.     

基于智能合约的易扩展高效去中心化跨链交易协议

针对已有的去中心化跨链交易方案存在的交易效率低、手续费开销大和难以扩展的问题,提出了基于智能合约的跨链交易协议(CCE-SC).协议采用智能合约保证了跨链交易的去中心化和安全性,通过策略制定、策略同步和区块链共识验证三大算法实现低成本且高效的跨链交易.协议中的每条链只需部署一个包含资金池模块、记录管理模块、链转发模块和汇率管理模块的智能合约,就可实现多条链间的跨链交易,解决了以往方案难以扩展的问题.通过实验测试对协议的性能进行分析,实验结果表明该协议使跨链交易效率有了较大提升,同时减少了手续费开销.     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

网络流媒体传输协议

针对多媒体数据传输，实时性和服务质量要求高的特点，详细介绍了RTSP、RTP／RTCP协议在流媒体网络传输方面的应用。