非基于自身状态信息的一致性问题研究

研究允许部分成员不使用自身状态信息的多智能体系统一致性问题。给出一个新的通信协议,允许系统中部分成员甚至全体成员不使用自身信息。通过研究非负随机矩阵谱半径及其对应有向图的结构,分别给出固定通信拓扑和动态通信拓扑下的多智能体系统一致性结果,即在系统通信拓扑所含的生成树中,当且仅当根节点含有自伴环时,系统可以渐近实现信息一致性。仿真结果验证了理论结果的正确性。     

通信和指控分布式仿真系统中的桥接成员设计

借鉴"桥"的设计思想,遵循高层体系结构(HLA)分布式仿真技术标准,建立了通信和指控一体化分布式仿真体系结构,研究设计了通信和指控一体化分布式仿真系统中的桥接成员,解决了桥接成员在高速传递异构RTI仿真系统间的交互信息时既高效而又不丢失有用信息的难题,并保证联合仿真时间的一致性.依据特定作战想定,进行了通信和指控一体化联合仿真实验,实验表明桥接成员运行稳定可靠,为实现基于DMSO RTI的通信仿真系统与基于pRTl的指控仿真系统互操作提供了一种有效的技术方法.     

基于HLA的防空导弹网络化作战仿真研究

该文概要介绍了防空导弹网络化作战及其仿真演示系统的基本组成,介绍了基于HLA体系结构的总体框架设计及开发步骤,分析了防空导弹网络化作战仿真中各联邦成员的功能模型,并对在开发过程中将要遇到的时/空一致性、联邦成员运行逻辑等问题进行了分析,为该项研究课题的进一步深入奠定了基础.     

联邦成员一致性测试软件研究

为了实现仿真系统的可重用性，可互操作性和可扩展性，开发基于HLA的仿真系统已成为未来仿真技术发展的方向。在开发HLA联邦成员时，必须符合HLA规则，能与RTI准确交换数据，确保加入联邦的各成员的正确性，为此，开发有效的联邦成员测试软件，在加入联邦之前对各成员进行测试具有重要意义，该文先介绍了联邦成员一致性测试的背景知识，接下来列举了有关定义，详细阐述了联邦成员一致性测试（FCT）的地位，测试过程和相关的辅助工具，文章最后描述了FCT软件的开发过程，重点是测试成员的生成和测试过程的记录。     

基于共享内存的机群服务检查点机制研究

针对既有基于稳定存储的机群服务检查点存在的系统成本高、恢复时间长的问题,提出了一种基于共享内存的机群服务检查点机制;设计了一套面向基于共享内存的检查点信息主-备存储模式的检查点信息管理协议,确保机群服务检查点信息一致性;设计了一套基于单向逻辑环的检查点组管理协议,确保检查点逻辑备份环中检查点进程的成员视图一致性.性能实验结果表明,该检查点机制具有较好的检查点信息读写性能,组管理协议系统开销小,较好地满足了机群服务检查点需求.     

基于WS-BPEL过程的Web服务依赖关系分析

构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。     

第24届大冬会计时和成绩系统数据流转技术研究

保证数据准确性及一致性．防止数据及文件丢失、篡改、伪造、受损。成为信息服务系统不得不解决的问题。由此．研究及实现了“主动的数据及文件同步”系统．从而有效地解决了以上问题。实现快速．准确的数据流转。     

基于偏好一致性的群体聚类算法

提出了成员与成员集的相似度概念,证明与分析了一些有用的命题和推论,给出了一个保持聚集一致性的成员与聚集相聚的充分必要条件,描述了一个群体聚类的启发式迭代算法。实例测试表明,提出的算法有较好的聚类性能和较低的一致性偏差指标。     

线性多智能体系统一致性问题的部分稳定性方法

提出了处理高阶线性多智能体系统一致性问题的线性变换.该线性变换将一致性问题转化为一个部分稳定问题.研究了一般线性协议下线性多智能体系统的三个问题: 1) 寻找一致性收敛判据; 2) 计算一致性函数; 3) 设计线性一致性协议的增益矩阵.具体来说,提出了基于矩阵 Hurwitz 稳定的一致性收敛的充分必要条件,给出了一致性函数的解析表达式,同时建立了一致性协议的增益矩阵与多智能体系统收敛时间和一致性精度的关系,并针对预先给定的收敛时间和精度要求设计了增益矩阵.     

远程数据容灾系统中数据一致性保持策略研究

数据一致性是数据容灾的前提条件.远程数据容灾系统中数据一致性保持策略采用保持主、从两端数据卷上数据块的更新顺序的方法来保证主从数据一致性,并通过一种改进型流水线策略,在保证数据视图一致性的同时优化了系统性能,最后探讨了解决多设备数据一致性的方法.原型实验表明,系统的数据一致性保持策略是有效的.     

具有一步随机时滞和多丢包的网络系统H∞滤波器设计

在网络系统中由于连接传感器和滤波器的网络带宽有限,系统测量数据在传输中会出现随机时延甚至丢失. 本文讨论了具有一步随机时延和丢包的网络系统的H∞滤波器设计问题.基于新近提出的同时描述随机时延和丢包的模型,利用线性矩阵不等式方法设计线性滤波器,使得滤波误差系统均方指数稳定,并具有给定的H∞性能. 滤波器参数通过求解一个线性矩阵不等式得到.仿真研究说明了所提出算法的有效性.     

容错控制系统鲁棒H∞和自适应补偿设计

通过设计动态输出反馈控制策略研究线性时不变系统执行器故障下的鲁棒自适应容错H∞控制问题. 结合自适应技术和线性矩阵不等式(Linear matrix inequalities, LMI)技术, 设计一个控制策略同时实现系统的故障补偿控制和性能优化控制. 在设计中, 提出由自适应律在线调节控制增益方程补偿未知执行器故障和摄动; 并设计一个基于模式依赖李亚普诺夫方程的LMI条件解出控制参数及次优H∞性能. 所设计的动态输出反馈控制器可以处理一般执行器卡死故障, 并得到更少保守性的H∞性能指标. 此外, 一个更具挑战性的问题, 即通过自适应机构补偿故障致使系统多少性能退化得到论证. 所提方法的有效性由一个解耦线性化动态飞行器系统仿真验证.     

广义Mamdani模糊系统依K-积分模的泛逼近及其实现过程

首先,通过引入拟减法算子给出K-积分模定义,并针对广义Mamdani模糊系统实施等距剖分其输入空间. 其次,应用分片线性函数（Piecewise linear function,PLF）的性质构造性地证明了广义Mamdani模糊系统在K-积分模意义下具有泛逼近性,从而将该模糊系统对连续函数空间的逼近能力扩展到一类可积函数类空间上. 最后,通过模拟实例给出该广义Mamdani模糊系统对给定可积函数的泛逼近及实现过程.     

一类非线性系统的H2容错控制器的设计及其在空间飞行器的应用

针对存在执行器故障的不确定系统,本文研究了一种H2鲁棒容错控制的设计.控制器包括三个功能: 1)利用径向基函数(Radial basis function, RBF)神经网络估计得到的近似非线性函数构成闭环控制,抵消系统的非线性特征; 2)能实现H2性能指标的最优控制; 3)利用滑模控制抑制模型估计误差以提高控制精度, 并且控制器具有指定稳定裕度的设计功能.文中提出了用于执行器故障估计的调整规则, 故障估计信息用于控制律的设计.基于Lyapunov函数,推导了满足H2最优性能的充分条件:非线性二次矩阵不等式. 为了降低计算成本,给出了不等式求解的简化算法,避免了在线求解非线性矩阵不等式.通过一个空间飞行器模型的仿真, 验证了本文提出方法的有效性.     

模态K4、D4系统的归结推理

本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K₄和D₄系统，建立了K₄逻辑的归结推理ＲK₄；D₄逻辑的归结推理R D₄，分别证明了ＲK₄和ＲD₄关于K相似文献   

Consensus of Multi-agent Systems with Feedforward Nonlinear Dynamics and Digraph

This paper considers a high-order consensus problem of multi-agent system with feedforward nonlinear and time-varying input delay in a directed network. In order to achieve the consensus, we propose a low gain distributed protocol which can get rid of impacts of feedforward nonlinearity and an arbitrarily bounded input delay on the consensus problem. Moreover, for any upper bound time-varying delay and strongly connected diagraph, the proposed controller can solve the consensus problem of multi-agent systems with feedforward nonlinearity if the designed parameter θ is great than the threshold value. Finally, several numerical simulations are presented to demonstrate the validity of the theoretical results.     

二阶多智能体系统的线性广义一致性

首次针对二阶多智能体系统提出广义一致性的概念;然后探讨有向网络拓扑结构下的二阶多智能体系统的线性广义一致性问题.通过设计有效的控制协议,使用代数图论和稳定性理论,推导获得二阶的多智能体系统以及带有通信延迟的二阶系统实现线性广义一致性的充分且必要条件.结果表明,在有向网络中,耦合增益参数和拉普拉斯矩阵的特征值对达到广义一致起着关键作用;最后,数值仿真验证了结果的正确性.     

X-Z倒立摆的一种饱和非线性稳定控制方法的研究

X-Z倒立摆不仅具有普通倒立摆的最小相位和欠驱动特性, 同时具有更多的控制自由度.通过一定的状态变换, 发现了X-Z倒立摆与平面垂直起降飞行器模型之间的等价关系. 基于该等价关系,借鉴平面垂直起降飞行器的控制方法, 把饱和非线性控制方法应用于X-Z倒立摆的稳定控制. 通过与PID (Proportion integration differentiation)控制方法的仿真对比,证明了该稳定控制方法的有效性.     

异质多智能体系统二分一致性的充要条件

针对由一阶智能体和二阶智能体组成的异质多智能体系统的二分一致性问题,对连续和离散系统情形分别设计了二分一致性协议。基于结构平衡的拓扑,通过规范变换实现了从具有敌对关系的系统到具有非负连接权重系统的转化,将二分一致性问题转变为一般一致性问题。进一步,运用代数图论和矩阵理论分析闭环控制系统的动态特性,得到了异质多智能体系统渐近实现二分一致性的充要条件。最后通过数值模拟验证了所得结果的有效性。