基于移动Agent技术的自动拍卖模拟研究

自动拍卖的基本思想是用某种代理机制——Agent代替人监控整个拍卖过程。提出分阶段第二价格封标拍卖模式，设计了多Agent网上自动拍卖协议，和多Agent拍卖系统体系结构。提出三种拍卖策略模型：平稳加价型策略、跳跃型策略和保密型策略。利用移动Agent开发平台Aglet实现了一个模拟系统，并进行了多次仿真模拟实验，对实验数据进行了详细分析。实验结果表明该模拟系统基本达到设计目的，并为进一步研究自动拍卖相关策略、协议提供了一个实验平台。     

一种基于Multi-Agent的供应商选择系统

构建了一种基于Multi-Agent的供应商选择系统,给出了其中各主要组成部分的结构和功能,并提出了一种基于Vickrey拍卖的改进的合同网协议,作为制造商Agent和供应商Agent的协商策略,最后描述了他们之间的交互过程.     

一种基于移动代理的自主拍卖模型

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模、拍卖大厅查询、交易对象定位、拍卖过程同步和出价策略等.基于移动Agent和博奕理论,提出了一种自主拍卖模型.该模型支持一次价格密封标价拍卖和双边拍卖两种拍卖机制.模型中的Agent接受拍卖任务后能够自动搜寻拍卖大厅、自主参与拍卖过程并向其所有者返回拍卖结果.     

基于移动Agent的安全电子拍卖系统的构建

随着电子商务技术的日益发展，移动Agent技术可以用来进行市场调查，商品买卖及离线拍卖等。事实证明只有当用移动Agent构建的系统的安全性得到确切的保证后，才能被大众用户所接受。该文提出了一个基于移动Agent的电子拍卖协议，并以此协议构建了一个实际的系统。系统中采用了主从结构，在认证过程中要求Agent向拍卖服务器出示许可证等方法来保证系统的安全性。最后，对协议设计的正确性和效率进行了详尽的分析。     

多Agent协商领域中的拍卖

协商是多Agent研究领域的热点方向,对策论是目前多Agent协商领域研究的主要方法之一,而拍卖属于对策论研究范畴。总结了多Agent协商领域中一些重要的拍卖形式,并给出了拍卖过程的模型和一般的算法流程。     

拍卖在多Agent协商领域的应用

协商是多Agent研究领域的热点方向,对策论是目前多Agent协商领域研究的主要方法之一,而拍卖属于对策论研究范畴。总结了多Agent协商领域中一些重要的拍卖形式,并给出了拍卖过程的模型和一般的算法流程。     

同时参加多宗网上拍卖的智能Agent的设计

本文提出的方法使得智能Agent能够同时监视多宗网上拍卖.Agent站在消费者的立场上作各种决定,并按照使用者的偏好尽力保证拍品的获得.Agent监视并收集各种正在进行的拍卖信息,然后决定它愿意参加哪个或同时参加哪些拍卖.至于在拍卖上的出价则基于一系列的策略和方法.     

基于多Agent拍卖的网格资源主动分配

为了保障网格资源的利用率和实现资源主动分配,提出基于FIPA（Foundation of Intelligent Physi-cal Agents）英式拍卖和荷兰式拍卖协议的网格资源分配方法,在多Agent开发平台JADE（Java Agent Develop-ment Framework）下分别对这两种拍卖协议作了实现,给出了具体的实现算法、步骤、参与拍卖的各Agent的交互过程以及拍卖结果。最后,用实例说明了仿真实现过程的正确性。     

基于组合拍卖机制的移动Agent投标策略

针对Agent系统资源分配需求提出一种兼顾Agent时间片数量要求和执行截止期限要求的投标策略。定义CPU时间片组合拍卖问题模型,设计Agent各种投标信息处理方法,包括适合组合拍卖CPU时间片机制的Agent零智能投标算法和NZIPca投标算法。仿真结果表明NZIPca策略具有较强的竞标能力。     

基于多Agent拍卖的网格资源主动分配

为了保障网格资源的利用率和实现资源主动分配,提出基于FIPA（FoundationofIntelligentPhysi-calAgents）英式拍卖和荷兰式拍卖协议的网格资源分配方法,在多Agent开发平台JADE（JavaAgentDevelop-mentFramework）下分别对这两种拍卖协议作了实现,给出了具体的实现算法、步骤、参与拍卖的各Agent的交互过程以及拍卖结果。最后,用实例说明了仿真实现过程的正确性。     

动态合同网协议

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

战场环境中多无人机动态任务调度

采用了基于合同网的分布式规划方法，研究了战场环境中多无人机动态任务调度问题，并建立了数学模型，提出了分布式的任务调度体系结构，设计了一种基于代价变换的概率路标图路径规划算法，该算法能够在任务调度阶段，快速预估无人机执行不同任务的飞行航路，扩展了合同网协议，可在一次拍卖中“并发”进行多次交易，提高了任务调度的效率。通过多种合同类型的综合，解决了复杂战场态势下的任务调度问题。     

基于任务熟人集的合同网模型的改进

合同网模型广泛应用于基于多Agent系统的各种应用系统中，以解决分布合作求解和任务分配问题，在讨论基本合同网模型的缺点和不足的基础上，给出了一个任务熟人集的概念，随后提出一种改进的合同网模型和基于任务熟人集选择修选结点和协商策略方法的选择机制，该模型有效地降低通讯量，减少了协商时间和信息流量，提高了系统效率。     

基于市场机制的无人集群任务分配研究综述

类市场机制的方法数学推导严谨,理论解释清晰,算法计算量小,对网络规模和拓扑结构限制少,适合未来军事领域大规模无人集群任务规划问题。围绕基于市场机制的无人集群任务分配的拍卖法和合同网法两类方法,详细梳理了该研究领域的经典文献和近年来的相关研究;从该方法的基本原理、改进研究进展、应用背景和使用局限性等方面进行了详细介绍和全面总结;最后提出了类市场机制任务分配研究中的关键问题和未来研究趋势。     

区块链拍卖退款交易智能合约DoS漏洞优化研究

针对智能合约的DoS漏洞可能在拍卖退款交易中造成资源耗尽问题进行了研究,设计了拍卖退款交易中智能合约DoS漏洞优化方案。首先构造可能存在DoS漏洞的智能合约,然后采用增加映射以及压栈出栈方法完成漏洞优化,最后通过形式化验证运行优化后的智能合约,检测其是否存在逻辑错误或不一致性。实验结果表明,采用该方法优化的智能合约能够避免因资源耗尽产生的拒绝服务,与带有漏洞智能合约相比,优化后的智能合的等效内存使用量减少了约62.8%,运行时间也有缩短。     

基于区块链的密封式投标拍卖方案

随着互联网技术的飞速发展,传统拍卖正逐渐转变为电子拍卖,其中隐私保护越来越受到关注。针对当前电子投标拍卖系统中出现的问题,如竞买人隐私存在被泄露的风险、第三方拍卖中心的费用昂贵、第三方拍卖中心可能与竞买人勾结等,提出一种基于区块链智能合约技术的密封式投标拍卖方案。该方案充分利用区块链的去中心化、防篡改和可信赖性等特征构建了一个无第三方的拍卖环境,并通过区块链上的安全保证金策略约束竞买人的行为,从而提高密封式电子拍卖的安全性。同时该方案利用Pedersen承诺保护竞买人的竞拍价格不被泄露,并通过Bulletproofs零知识证明协议验证中标价格的正确性。安全性分析和实验结果表明,提出的拍卖方案满足安全性要求,各个阶段的时间消耗均在可接受范围内,满足日常拍卖要求。     

面向协同任务的多UCAV分布式任务分配与协调技术

对多架无人作战飞机 (Unmanned combat aerial vehicle, UCAV) 分布式控制中的任务分配与任务协调问题开展研究. 采用合同网实现任务执行过程中的任务分配. 通过对合同网进行扩展, 使 UCAV 能够在招标和竞标的同时处理任务间的时间约束. 设计了一种新的部分全局规划协商机制, 能够更有效地对执行相关任务的 UCAV 的任务计划进行协调. 通过 Petri 网建模方法, 将两种协商机制模型化为 Petri 网并分析了协商过程的正确性与协商结果的可行性. 仿真实验验证了方法的有效性.     

一种高级智能合约转化方法及竞买合约设计与实现

智能合约是运行在区块链上的数字协议,智能合约的开发涉及计算机、金融、法律等多个领域,近年来高级智能合约语言已被提出用于解决不同领域人员阅读、交流与协同开发难的问题,然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法.针对这一问题,本文设计了一种SPESC到目标程序语言(Solidity)的转化规则,并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架.首先,转化规则给出了根据SPESC合约当事人定义生成目标语言当事人子合约、以及SPESC其余部分生成目标语言主体子合约之间的对应关系;其次,除程序框架与存储结构外,目标语言程序还包含当事人人员管理、程序时序控制、异常检测等机制,这些机制能辅助编程人员半自动化地编写智能合约程序;进而,通过两个实验验证了上述高级智能合约框架的易读性以及转换的正确性,第一个实验邀请了计算机与非计算机人员分组阅读Solidity和SPESC的智能合约并回答问卷,结果表明阅读SPESC的速度约为阅读Solidity两倍,准确率也更高.然后以竞买合约为实例,给出了根据上述转化规则从SPESC合约转化到可执行Solidity合约语言程序,并通过以太坊私链部署运行来验证转化过程的正确性.实例表明上述转化规则和系统框架可简化智能合约的编写、规范智能合约的程序结构、辅助编程人员验证代码的正确性.     

Automated Negotiation from Declarative Contract Descriptions

Our approach for automating the negotiation of business contracts proceeds in three broad steps. First, determine the structure of the negotiation process by applying general knowledge about auctions and domain–specific knowledge about the contract subject along with preferences from potential buyers and sellers. Second, translate the determined negotiation structure into an operational specification for an auction platform. Third, after the negotiation has completed, map the negotiation results to a final contract. We have implemented a prototype which supports these steps by employing a declarative specification (in courteous logic programs) of (1) high–level knowledge about alternative negotiation structures, (2) general–case rules about auction parameters, (3) rules to map the auction parameters to a specific auction platform, and (4) special–case rules for subject domains. We demonstrate the flexibility of this approach by automatically generating several alternative negotiation structures for the domain of travel shopping in a trading agent competition.