Mechanical Proofs about BW Multi-Party Contract Signing Protocol

We report on the verification of a multi-party contract signing protocol described by Baum-Waidner and Waidner （BW）. Based on Paulson＇s inductive approach, we give the protocol model that includes infinitely many signatories and contract texts signing simuhaneously. We consider composite attacks of the dishonest signatory and the external intruder, formalize cryptographic primitives and protocol arithmetic including attack model, show formal description of key distribution, and prove signature key secrecy theorems and fairness property theorems of the BW protocol using the interactive theorem prover Isabelle/HOL.

An Extension of Contract Net Protocol With Real Time Constraints

The contract net protocol has developed to specify problem solving communication for nodes in a distributed problem solving. Task distribution is affected by a negotiation process,a discussion carried on between nodes with tasks to he executed and nodes that may be able to execute those tasks. In contract net protocol,once negotiation successes,tbe task execution is assumed to success. However,in real world,even though a task is awarded to successfully bidding nodes,it may be delayed. Such delay may badly propagate in whole system. Here,we introduce real-time constraints into contract net protocol to manage task execution for avoiding the, task's delay,or even though being delayed,the railure cannot propagate to whole system. In this paper,we first present a real-time contract net protocol which is an extension of contract net protocol with real-time constraints for distributed computing. Our proposition extends the basic negotiation protocol to negotiation and controlling execution or task. The controlling process is based on task deadline time,we also present an extension of the internode language of contract net protocol specification with real-time constraints.

政府合同概念的体系化重构

现有政府合同管理规范对政府合同的内涵和外延进行了界定,但学理意义上的概念构造尚未完成,“政府合同=行政协议+缔结主体一方为行政机关的民事合同”之结论存在缺陷。通过把合同还原为通用于各部门法的中性工具,将政府合同的研究视角从救济前移至行政过程,政府合同的识别标准被调整为“行政机关与任何主体订立的合同均为政府合同”。以行政任务为出发点,可将政府合同区分为公务型政府合同和管理型政府合同,公务型政府合同可被进一步区分为内部公务型政府合同与外部公务型政府合同。以救济途径为落脚点,可以将政府合同区分为行政协定与非行政协定,非行政协定可被进一步区分为行政协议、民事合同、磋商性文件和劳动人事协议,其中,民事合同和行政协议属于狭义政府合同。将两条基于不同场景的体系化路径进行对接与融合,有助于形成对政府合同概念相对立体的认知,动态还原政府合同概念的全貌。

多/单目标优化转换下的作战任务重分配

协同作战任务分配技术是近年来军事领域的研究热点之一,以往的研究一般将任务分配划分为预分配和动态分配2个阶段并独立进行研究,但是这种做法忽略了2个阶段之间的内在联系。针对这一问题,以多目标优化下的任务预分配和单目标优化下的任务动态分配为切入点,提出一种多/单目标优化转换思想。在动态任务分配阶段,通过决策者在预分配阶段的选择获取其主观偏好,基于获取的主观偏好将多目标优化转化为单目标优化后,使用合同网协议完成单目标任务重分配。仿真结果证明了所提出的多/单目标优化转换思想的正确性及其在动态任务分配问题中的适用性。

基于扩展CNP的分布式多Agent协同系统

传统合同网协议的投标类型单一,不能准确表达参与任务分配的Agent的意图。结合应用环境的任务抢占机制需求,对合同网协议的投标类型进行适应性扩展,基于扩展合同网协议设计分布式多Agent协同系统,给出Agent程序实现方法、多Agent通信机制设计和协同机制应用实例。该系统具有良好的可扩展性,便于动态引入具有不同功能的Agent,为协同机制的研究提供了基础平台。

面向区域目标观测的多星自主协同任务规划方法

针对现有多星自主任务规划方法面对区域目标观测任务时缺乏整体性,从而造成大量观测资源的浪费问题,提出了一种面向区域目标观测的多星自主协同任务规划方法。首先,建立面向区域目标的多星协同观测任务规划模型,并设计基于合同网的多星自主协同规划框架。其次,根据该协同框架设计基于动态定价的招标机制、投标机制和评标机制,从而实现区域目标任务的多星自主协同规划。最后,仿真实验证明,与传统基于单轮招标合同网以及基于固定标价合同网的多星协同规划方法相比,所提方法的任务收益分别提升了60.40%与29.07%。

基于CNP和MAS的航空兵编队协同任务分配

任务分配方法是任务控制过程的重要组成部分,是编队协同作战指挥策略的关键。以合同网协议(CNP)和多智能体系统(MAS)理论为基础,建立了编队MAS结构和基于投标过程的任务分配模型,将任务优先权引入任务分配模型中,可以实现预先任务分配和执行过程中动态任务分配,保证动态环境下编队整体分配效能较优。针对作战想定进行了仿真计算,结果表明,基于CNP和MAS理论的编队协同任务分配具有良好的预先任务分配和实时任务分配效果,能够满足编队作战任务的需要。

Hierarchical Disturbance Propagation Mechanism and Improved Contract Net Protocol for Satellite TT&C Resource Dynamic Scheduling

The practical engineering of satellite tracking telemetry and command(TT&C)is often disturbed by unpredictable external factors,including the temporary rise in a significant quantity of satellite TT&C tasks,temporary failures and failures of some TT&C resources,and so on.To improve the adaptability and robustness of satellite TT&C systems when faced with uncertain dynamic disturbances,a hierarchical disturbance propagation mechanism and an improved contract network dynamic scheduling method for satellite TT&C resources were designed to address the dynamic scheduling problem of satellite TT&C resources.Firstly,the characteristics of the dynamic scheduling problem of satellite TT&C resources are analyzed,and a mathematical model is established with the weighted optimization objectives of maximizing the revenue from task completion and minimizing the degree of plan disturbance.Then,a bottom-up distributed dynamic collaborative scheduling framework for satellite TT&C resources is proposed,which includes a task layer,a resource layer,a central internal collaboration layer,and a central external collaboration layer.Dynamic disturbances are propagated layer by layer from the task layer to the central external collaboration layer in a bottom-up manner,using efficient heuristic strategies in the task layer and the resource layer,respectively.We use improved contract network algorithms in the center internal collaboration layer and the center external collaboration layer,the original scheduling plan is quickly adjusted to minimize the impact of disturbances while effectively completing dynamic task requirements.Finally,a large number of simulation experiments were carried out and compared with various comparative algorithms.The results show that the proposed algorithm can effectively improve the solution effect of satellite TT&C resource dynamic scheduling problems,and has good application prospects.

基于区块链的征信系统消息转移协议

目前征信个人隐私保护系统中的消息转移只实现了单向信任转移,对申请方的责任未做确认,因此,无法建立消息转移双方的双向信任关系,无法实现公正性;此外,消息转移过程也存在安全隐患。提出一个基于区块链的征信系统消息转移协议,该协议要求消息转移的双方需要完成顺序的签署确认,借助于区块链的共识机制和附加协议、加密算法等技术保障消息安全转移,具有公正性、隐私性。此外,还提供了消息的追加、更新和删除等功能。最后,分析了本协议的公正性、隐私性和不可抵赖性。

基于战车和夺控点分配的智能体步兵投送策略决策方法

针对陆战兵棋开局阶段智能体如何分配战车和如何选择步兵投送点位,提出基于战车和夺控点分配的步兵投送策略决策方法。使用多目标最优规划模型将战车部署问题建模为多目标分配问题,构建目标收益函数,引入改进合同网协议算法对问题进行求解;通过分析不同理性程度智能体的行为和意图,将步兵投送点位选择问题建模为多策略分配问题,给出混合投送点位选择算法。实验证明所提方法可解释性强,同时具有一定的针对性、灵活性。

基于区块链的安全通信协议设计与应用研究

区块链,是一种分布式账本技术,因具有透明性、不可篡改性和去中心化等特性而被广泛应用于多个领域。基于此,文章从架构设计、加密算法、智能合约等方面介绍如何设计基于区块链的安全通信协议,并分析这一协议在数据安全管理、个人隐私保护和数据共享等方面的应用,旨在展示区块链技术在提升通信安全性方面的潜力。

基于区块链的公平和可验证电子投票智能合约

针对等权投票机制中存在的公平性缺陷和重放攻击问题,提出一种基于区块链的加密证明方案。首先,将投票流程和规则写入智能合约,包括时间戳和财务激励,以保证投票按时进行。规定每个投票者负责自己的地址密钥生成,构建基于地址公钥的Merkle树来证明投票者身份的合法性且保证交易数据不被篡改。同时利用哈希函数生成随机序列预防重复投票。其次,考虑到最终目的是得到求和结果,利用区块链公告板和Paillier算法加密存储选票,在克服公平性缺陷的同时提升加解密效率。最后,考虑到交易合法性和计算结果准确性问题,利用区块链的不可篡改特性,构造基于zk-SNARK的零知识证明。将需要证明的现实问题转化为特定输出的计算问题,将加密算法从零知识证明电路中抽离,不会泄露验证数据的信息。理论分析和实验结果表明,所提出的方案与已有方案相比显著提高了投票的安全和隐私,且具有更低的时间开销和成本消耗。

支持四维航迹运行的新一代民机数据链技术综述

支持四维航迹运行是未来民用航空运输技术发展的主要趋势之一,四维航迹运行对数据链应用、数据链协议栈以及数据链链路传输技术提出了新的要求。在研究国外四维航迹运行新技术基础上,分析了支持四维航迹运行的管制员-飞行员数据链通信、合约式自动相关监视等数据链应用新特点,介绍了支持四维航迹运行的未来数据链协议栈——基于互联网协议的航空电信网工作原理,分析了支持四维航迹运行的宽带卫星通信链路、L频段数字航空通信系统的链路特性。

基于改进合同网协议的集群化管理调度模式研究

个性化冲击下的制造车间正在向着智能化转型,文中将各类加工资源进行整合,提出了一种对各种加工设备进行集群化管理的调度模型,改进了传统合同网的单步寻优的局限性,兼顾了单个任务最小完工时间和同一时刻到达某类加工设备的多个任务负载分配均衡的多目标优化,提出了任务工件紧急程度实时变化的思路,对车间实时接受新订单、同一时刻有多个任务到达某类加工设备、紧急订单问题提出了解决方案,最后通过仿真实验证实了文中调度模式的可行性。

基于扩展合同网协议的分布式武器目标分配方法

以网络化防空导弹体系为研究背景,对分布式武器目标分配(dynamic weapon target assignment,DWTA)问题进行了描述,从招标条件、招标策略、投标策略、中标策略、协议机制及合同类型六个方面对合同网协议(contract net protocol,CNP)进行了扩展,构建了基于扩展CNP协同机制的DWTA体系结构,提出了基于扩展CNP的DWTA算法。通过某一作战想定,分别从整体效能变化、协同交战次数和通信量三方面对基于CNP和扩展CNP的DWTA算法进行了比较,实验结果证明了后者的有效性和优越性。

有人机/无人机编队协同攻击任务分配方法研究

任务分配方法直接决定协同作战效果。针对有人机/无人机编队协同空战的任务分配问题进行研究,给出时序约束下的任务分解方法,采用改进的合同网协议建立任务分配模型,通过引入熟人库来提高任务分配的效率,通过引入任务有效性和黑板机制来实现对时序任务的处理,最后对任务分配算法进行仿真。结果表明任务分配方法是可行的。

基于规范的多agent协同机制研究

针对传统合同网自身的局限性和存在的问题,提出了基于规范的合同网协议。首先对规范在组织符号学理论和现有的规范分类基础上,提出了层次、类型和柔性的三维规范分类;在规范的基础上对合同协议进行扩充,提出基于规范的协同过程。该协同框架由两大层次和五个阶段构成,为agent协同提供了一个柔性的解决方案,以此提高MAS中多agent协同的效率和效用。

有人机/无人机编队协同任务分配方法

任务分配方法是任务控制过程的重要组成部分,是编队协同作战指挥策略的关键。以合同网协议(contract net protocol,CNP)和多智能体系统(multi-agent system,MAS)理论为基础,建立了有人机/无人机编队MAS结构和基于投标过程的任务分配模型,将任务优先权引入任务分配模型中,可以实现预先任务分配和执行过程中动态任务分配,保证动态环境下编队整体分配效能较优。针对作战想定进行了仿真计算,结果表明,基于CNP和MAS理论的有人机/无人机编队协同任务分配策略具有良好的预先任务分配和实时任务分配效果,能够满足编队作战任务的需要。

防空作战中合同网协议分布式目标分配算法

目标分配是防空指挥控制（C2）系统的核心功能，而分布式目标分配代表了目标分配算法的发展方向。对典型的分布式-Brown目标分配算法和基于合同网协议的集中式目标分配算法进行了分析，指出了两种算法的局限；提出一种基于合同网协议的分布式目标分配算法，对三种算法的实时性、通讯量和优化程度进行了比较，证明提出的算法有效可行。

基于拍卖机制的改进合同网协商策略

在现有合同网协议的研究基础上,引入经济学中的拍卖理论,提出一种基于拍卖机制的改进合同网协商策略,通过Agent间的自主竞争来实现任务的动态分配,从而降低管理者获取和更新其他Agent知识的难度,间接支持Agent能力动态变化,减少Agent间通讯量和评标时间。