Finite time agreement protocol design of multi‐agent systems with communication delays

In this paper, the finite‐time agreement problem of continuous‐time multi‐agent systems with communication delays is considered. First, the multi‐agent system researched in the paper is described. Second, some notations and lemmas used in the paper are given. Then, agreement protocols for continuous (but non‐smooth) multi‐agent systems are proposed, which ensure that the states of agents reach agreement in finite time. The stability analysis and simulations are presented to show the effectiveness of the method. Copyright © 2009 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

基于身份的认证群密钥协商协议

认证群密钥协商(AGKA)协议能为一群用户产生一个共享的会话密钥,使得群用户间能在公共数据网络进行安全通信.现有的大部分基于公钥技术的AGKAY协议分两类:第一类,认证部分是基于PKI/CA,会话密钥协商部分主要用模指数(或点乘)实现;第二类,认证部分是基于身份(ID)的公钥体制,会话密钥协商部分主要是用Weil对或Tate对实现.第一类AGKA协议存在一个较显著问题:公钥管理问题;第二类AGKA协议虽然有效地解决了公钥管理问题,但由于其会话密钥协商部分主要是用双线性对(即Weil对或Tate对)实现,与前者相比,计算量较大.针对这些不足,提出了一个新的AGKA协议,其认证部分是基于身份(ID)的公钥体制,会话密钥协商部分的运算主要用模指数实现;并在ROM,ECDH和BDH假设下证明了该AGKA协议的安全性.该协议与基于PKI/CA的相关AGKA协议相比,克服了后者在密钥管理上的困难;与其它基于身份的AGKA协议相比,在效率上具有一定的优势.     

演播室设备自动控制探究

介绍了硬件接口的通信协议,结合本台实际,介绍了在系统灵活控制方面所做的尝试、设备选型、控制功能设计目标,最后给出了详细的设计方法.     

LRCRaft: 支持节点数据快速恢复的共识协议

在支持纠删码的分布式存储系统中, 最常用的编码是RS (Reed-Solomon)码. 对于一个RS(k, m)编码条带, 常见的配置是一个节点仅存储条带中的一个分片, 这导致在节点出现故障的情况下, 对其存储分片的恢复需要跨多个节点读取分片并重新编码生成恢复分片, 容易造成系统网络拥塞. 在需要恢复大量数据的场合, 系统在恢复期间会处于较长时间的脆弱期, 容错能力和吞吐量下降、读写时延升高时有发生. LRCRaft是一个基于LRC (local reconstruction code)的改进Raft共识协议, 通过在Raft中引入LRC码、动态日志增补、状态机删减和分片版本一致性等机制, 降低了Raft的读写时延, 缩短了节点故障恢复时间. 实验结果表明, 相较于Raft, LRCRaft在不同恢复模式中恢复一个单节点故障数据时, 恢复用时有着49.25%–74.97%的减少.     

基于MT8056触摸屏的ModBus协议变频器控制系统

变频器是被广泛应用于工业现场的调速设备。利用MT8056触摸屏,基于ModBus协议,研究了一种变频器的控制系统。该方法具有良好的修改界面,简易的操作性能,很好的体现了集中控制系统的优点。     

一种新的无线传感器网络MAC协议

针对SMAC协议退避机制的缺陷,提出一种新的MAC协议——自适应SMAC。在SMAC的基础上引入指数退避机制,引用马尔可夫分析模型对退避关键性能参数进行理论分析,根据分析结果引入信道忙计数器。使节点能根据该计数器估计信道的拥塞程度,自适应地改变竞争窗I：1大小以减少碰撞,提高能量效率和吞吐率。仿真结果表明,新方案的能量效率和吞吐率相对于SMAC有明显提高。     

MANET节点移动模型仿真研究

移动自组网（MANET）节点移动特性对网络拓扑结构有重要影响,在合理的节点移动模型下对网络性能的评估才真实可靠。通过对网络仿真软件NS2进行拓展,实现个体、群体和具有地域限制的节点移动模型,提出物理链路和路由协议2个层面的评估准则,给出不同类节点模型对路由协议性能的影响程度。对研究和评估MANET的路由协议有重要的参考价值。     

双重认证Ad hoc网络安全路由协议设计

由于Ad hoc网络拓扑的动态性和数据传输的多跳性,传统路由协议不能保证Ad hoc网络路由安全。提出一种双重认证Ad hoc网络安全多径路由协议——TASRP（Two-tier Authentication Secure Multi-path Ad hoc Routing Protocol）,在按需路由建立的过程中,引入了双重认证（邻节点之间的身份认证、中间节点处理路由请求包时的相互认证）机制,同时实现了一次性会话密钥的交换,既保证了节点分离路径的安全建立,又实现了端到端的数据安全传输,保证了整个网络运行的安全。最后运用BAN逻辑进行推理分析,分析表明,该路由协议具有高的安全性。     

一种检测无线网络违规行为的改进退避算法

无线媒体访问控制（ＭＡＣ）协议通常使用分布式竞争机制来共享无线信道,但在动态和开放的网络环境中,部分违规节点会有意识地抢占信道以获取更多的信道资源．为此,通过对ＩＥＥＥ８０２．１１协议的ＤＣＦ 机制进行修改,提出一种改进的退避算法,可实现对网络中违规行为节点的有效检测,并通过惩罚机制加以纠正．仿真结果表明,该方法能够更有效地检测出无线网络中的违规行为,提高整个网络的吞吐量．     

无线传感器网络LEACH路由协议研究与改进

针对LEACH算法随机选取簇头,未考虑节点剩余能量及单跳与sink节点通信造成能量损耗过快的问题。引入以剩余能量及邻居节点数作为权重因子的时间等候簇头竞争模式选取簇头,并提出LEACH与蚁群算法相结合建立簇间路由机制,采用局部信息素更新,综合簇头节点的剩余能量及节点距离,为簇首与sink节点通信建立多跳路由,达到降低簇头节点能耗过快的目的。仿真实验结果表明,改进算法在降低能耗、延长网络生命周期等方面较LEACH算法有较大提高。