离散多智能体系统分组一致性分析

在有向拓扑结构下,研究离散多智能体系统的分组一致问题,提出无入度平衡假设条件的控制协议设计方法.首先,根据系统模型,设计离散多智能体系统的分组一致控制协议.其次,利用代数图论和矩阵论,分析并得到离散多智能体系统实现分组一致的充要条件.最后,仿真结果验证了理论分析结论的正确性.数值仿真结果表明:系统实现分组一致仅要求有向图G_n含有一个有向生成树,不要求拓扑结构满足入度平衡条件.     

Leader-following多智能体网络分布式编队控制

针对多智能体固定拓扑网络,考虑无时延和有时延两种情况,研究了多智能体网络的分布式编队控制协议.首先,针对无通信时延的多智能体网络,提出了分布式编队控制协议,利用Lyapunov稳定理论,给出了协议有效的充分条件.然后,考虑时变通信时延,利用Lyapunov-Krasovskii函数证明了协议的有效性.最后,利用仿真实验证明了所设计协议的有效性.本文的创新点是对二阶多智能体网络设计分布式编队控制协议时考虑了速度一致性.     

理想通信及通信时延下Euler-Lagrange多智能体系统的一致性控制

本文研究了一类Euler-Lagrange多智能体系统的领导跟随一致性控制问题。分别考虑通信网络拓扑为无通信时延和存在通信时延两种情形,设计了基于滑模思想的一致性控制协议。利用李亚普诺夫稳定性理论,证明了Euler-Lagrange多智能体系统在所设计控制协议下能达到一致性。最后的仿真结果验证了所提算法的有效性。     

基于事件触发的非线性多智能体系统一致性

针对有向网络拓扑下具有非线性动态的多智能体系统,提出了基于事件触发的一致性控制协议;在实际的多智能体系统中,每个智能体的机载电池的容量和数量是有限的,基于事件触发的一致性协议能够有效地减少智能体控制器的更新次数,从而节约有限的计算资源;智能体的触发时刻由智能体的触发条件所确定,每个智能体只在触发时刻才更新自己的控制器;首先研究了集中式的一致性控制协议,主要利用矩阵理论的方法将一致性问题转化为微分方程的稳定性问题,得到了系统达到一致性的条件;然后研究了分布式的一致性控制协议,在协议中每个智能体只需利用邻居智能体的状态;利用Lyapunov稳定性理论证明了所设计的两个协议能够解决一致性问题,而且不会出现Zeno现象;最后,仿真实例验证了理论结果的有效性。     

模型不确定多智能体系统的鲁棒一致性控制

针对模型不确定性多智能体系统的分布式鲁棒一致问题,提出了鲁棒部分变元稳定性方法,将连续时间多智能体不确定系统的状态一致性问题转化为相应线性系统的鲁棒部分变元渐近稳定性问题.首先根据有向图生成树建立关联矩阵,对原来的不确定系统进行线性变换,实现结构分解.其次根据得到的降阶系统设计鲁棒二次镇定控制器,推导出所有智能体状态达到渐近一致的充分条件,将控制协议的设计最终转化成求解线性矩阵不等式可行解的问题,使得所有的智能体能够在所设计的控制协议下不仅能保证不确定性闭环系统是渐进稳定的,而且实现了多智能体系统状态的一致性.最后通过数值仿真验证了所提出的一致性协议的可行性和有效性.     

基于终端滑模控制的多智能体系统有限时间跟踪控制

针对有向拓扑结构下带领导者的非线性二阶多智能体系统,基于终端滑模控制策略,研究其有限时间一致性跟踪问题;利用快速积分型终端滑模控制理论与有限时间稳定性理论,设计了一类分布式有限时间一致跟踪控制协议,以确保多智能体系统中跟随者对动态领导者的跟踪。提出的控制协议可以使多智能体系统的状态在有限时间内到达并停留在设计的滑模面上,并且能有效削弱抖振。通过数值仿真,验证了所获得的理论结果的有效性。     

多智能体系统对移动放射性辐射源的环绕跟踪

针对多智能体系统对移动放射性辐射源的环绕跟踪问题进行了研究,利用一种全新的方法,证出多智能体系统在有限时间内对移动放射性辐射源群组进行环绕跟踪。通过设计三个不同的分布式估算器分别对辐射源的几何中心、环绕半径以及极角进行估计,最后将得到的估计值为环绕智能体设计分布式控制协议,使得智能体在有限时间内能够将所有辐射源包围在环绕圈内,并实现均匀分布。最后,通过MATLAB仿真验证了控制方案的有效性。     

异质多智能体系统的自适应点对点拟一致性控制

考虑了各层内部节点和两层网络间对应节点都是异质的,设计了 自适应的一致性控制协议,并分别研究了线性多智能体系统和非线性多智能体系统两种情形.针对线性异质多智能体系统,利用线性矩阵不等式和稳定性方法证明了两层网络节点之间可以实现点对点拟一致性;针对具有Lipschitz型动力学的非线性异质多智能体系统,也给出了两层网络节...     

领导—跟随多智能体系统在分布式自适应控制下的滞后一致性

本文研究个体自身动力学具有滞后效应的领导—跟随多智能体系统的滞后一致性问题。首先,给出一个基于邻居信息和领导者信息的分布式控制协议,其中的控制增益是自适应的。然后,在这个控制协议下,运用稳定性理论,导出了该系统实现滞后一致性的充分条件。最后,数值模拟验证了理论结果的有效性和可行性。     

马尔科夫切换拓扑下时滞多智能体系统的平均一致性

针对具有随机切换拓扑结构的一类多智能体系统,考虑具有时变时滞的线性控制协议,研究了其平均一致性问题。假设智能体网络为有向强连通的,利用正交变换方法,将多智能体系统的平均一致性问题转化为其降维系统的稳定性问题,然后基于Lyapunov稳定性理论,通过引入适当的自由矩阵,获得了系统稳定的基于线性矩阵不等式的充分条件。仿真实例验证了所提方法的有效性。     

Security Analysis of Broadcaster Group Key Exchange Protocols

0 IntroductionAs a result of the increased development of network,group communication occursin many different settings .Anumber of group key exchange protocols have been pub-lished duringthelast years[1-11].This paper discusses thefirsttype; we calledit broadcaster protocols .Secure group communicationis not a si mple extension ofsecure two-party communication. They should provide dy-namic security that is the most complicated aspect . Groupcommunication mutates ( members leave and join) afte…     

一种新型iSCSI原型系统的设计与实现

iSCSI是一种新兴的网络存储协议,具有广泛的应用前景.本文采用层次化的框架结构设计并实现了一种高效的iSCSI原型系统,该系统具有结构清晰、占用系统资源少、可移植性强的特点.     

密钥交换协议的安全性分析

通过对两种攻击的分析,指出缺少认证性的密钥交换协议是不安全的．从认证性入手,在以下两个方面探讨了密钥交换协议的安全性：一方面讨论该协议应采用的消息元素和密码体制,为规范此类协议的设计指出了一个可行方向;另一方面通过两个密码学游戏给出了安全密钥交换协议的定义,该定义量化了协议的认证性,与以往的定义相比,可更准确和直观地分析这种协议的安全性．     

面向对象的电力负荷监控通信规约插件

研究并实现了电力负荷监控系统中通信规约及设备的动态兼容问题.利用面向对象的观点,提出信道与规约独立、数据存储标准化等设计思想,将信道控制逻辑、通信规约等看作独立的对象从系统中划分出来,建立了通信规约插件模型.在组件内部通过定义数据结构与相关函数,实现了规约识别、规约组帧、规约帧解释等相关的任务,并进行了软件实现.实践证明,规约插件的建立使得系统可以灵活地配置无线电台、GPRS、光纤、电话等各种信道,并动态兼容不同厂家、不同型号的终端采集设备,为电力负荷监控系统的稳定高效运行提供了良好的解决方案.     

MANET路由协议的正确性分析

移动自组网(MANET)是当前网络研究的一个热点,但是由于安全问题致使其未能广泛应用.在安全问题中,路由协议的正确性尤为重要.采用形式验证方法分析了MANET非安全路由协议和安全路由协议的正确性.首先给出了协议正确性的形式描述以及攻击者的形式定义,将协议的正确性分为安全性(Safety property)和活性(Liveness property),前者指协议所发现的路由具有某些良好的性质,后者指协议能够发现路由而且能够顺利地传输数据;然后提出了两个活性证明规则--响应性证明规则和反应性证明规则,并用所提出的活性证明规则在Isabelle/HOL中证明了DSR协议和SRP协议的正确性.     

FC和iSCSI协议的分析

光纤通道(Fibre Channel,FC)和iSCSI(Internet SCSI)是目前存储区域网络SAN的两个主流协议。该文介绍FC和iSC-SI协议的协议结构以及流量控制和发现机制。在零复制、流量控制以及发现机制等方面对FC和iSCSI的协议功能进行了分析。     

基于嵌入式WEB服务器的PLC通讯研究

不同类型的PLC有着不同的通讯协议，这给工业控制带来许多不便。通过对嵌入式WEB服务器的研究，制定相关的通讯协议。实现客户机与各种PLC的自由通讯。     

CAN总线智能节点的小型网络设计

CAN总线是现今非常流行的一种现场总线技术,其主要工作在链路层和物理层,但在使用过程中还需要添加应用层协议来实现具体的功能.目前应用最为广泛的应用层协议是De-viceNet和CANopen,但是这些协议比较复杂,更适用于大型的节点网络.本文简单介绍了CAN总线的特点和技术规范,提出了一种适用于小型CAN节点网络的应用层协议的设计方法.     

具有长时安全性的高性能异或秘密共享协议的研究

用于长数据分散存储的秘密共享协议面临着2方面问题,其一为长时安全性问题——份额在长期存储过程中可能渐次泄露,其二为份额分解与重构时的性能问题.已有秘密共享协议无法同时解决上述2个问题,鉴于此,选取Kurihara等的异或秘密共享(XORSS)协议和拜占庭协商协议为基础协议,设计了2个具有长时安全性的增强型异或秘密共享协议——用于份额更新的主动异或秘密共享(PXORSS)协议和用于门限提升的动态门限异或秘密共享(DTXORSS)协议.PXORSS协议和DTXORSS协议基于异或运算进行实现,延续了XORSS协议的高效性,此外给出了数学证明和过程分析,表明2协议满足长时安全性;设计了基于MapReduce模式的云存储原型系统,实验结果表明2协议性能较高、在长数据分散存储方面实用性较强.     

一种实时数据库系统的多版本两段锁的并发控制协议

详细讨论了与并发控制有关的实时数据和实时事务的各种特征以及分类,主要包括：实时数据对象可分为映像对象、导出对象和不变对象;实时事务按功能分类可分为数据接收事务、数据处理事务和控制事务;数据接收事务和控制事务是硬实时事务,是不能等待和阻塞的．然后,根据这些特点对传统数据库系统的多版本并发控制机制进行了扩展,提出了实时数据库系统的多版本两段锁及多版本带夭折两段锁协议,且证明了两者都是冲突可串行化的．前者对于只读事务是没有延迟的,对于硬实时事务的延迟也很小;后者对硬实时事务不产生任何延迟,这两个协议都能较好地保证实时事务和实时数据的定时限制．