转移概率一般不确知时滞Markov跳变神经网络的同步

研究了一类具有一般不确知转移概率的时滞Markov跳变神经网络的渐近同步问题.此类系统跳变过程的转移概率完全未知或者仅知道其估计值,因而更具有一般性.通过选择适当的Lyapunov-Krasovskii函数,利用线性矩阵不等式(LMIs)方法,得到了系统均方渐近同步的充分条件.最后,数值例子说明了所给结果的有效性.     

不确定Delta算子系统的滑模软切换控制

针对一类带有内部参数摄动和外部扰动的快速采样控制系统,基于sigmoid函数提出了一种Delta算子S-变速趋近律方法,并设计了不确定Delta算子系统的滑模软切换控制器。基于Delta算子采样原理,将连续时间系统和离散时间系统的软切换控制器设计统一到Delta算子系统。基于Delta算子S-变速趋近律方法设计的闭环快速采样滑模软切换控制器能够在限制时刻内到达切换面,削弱了系统颤振。从仿真实例可以看出,该滑模软切换控制器的稳定性和平稳性优于传统指数趋近律情形,整个动态过程具有良好的完全鲁棒性。     

一类由偏微分方程描述时滞随机系统的变结构控制

研究了一类由偏微分方程描述的Ito型时变时滞随机系统的变结构控制问题．首先构造了系统的滑动流形，设计了变结构控制律；然后证明T系统的滑动模具有次可达性，并且利用Halanay不等式的方法给出了系统滑动模运动为均方稳定运动的一个充分条件．     

变时滞不确定广义Markovian跳系统的滑模控制

针对一类含有变时滞和非匹配不确定参数的随机广义Markovian跳系统,提出一种滑模控制的方案。首先构造不带跳变的切换函数,利用线性矩阵不等式给出该系统随机鲁棒渐近稳定的充分条件;然后,为使闭环系统的状态轨迹在有限时间内到达切换面,利用Lyapunov稳定性方法设计了滑模控制器及切换规则;最终使闭环系统产生稳定的滑动模态。数值算例验证了该方法的有效性和可行性。     

软件可靠性增长模型研究综述

软件可靠性增长模型SRGM（Software Reliability and Growth Model）是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用,文中对SRGM研究进行阐述和分析.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM基本功用.同时,梳理了SRGM的发展演变历程,进而对当前研究现状进行深入剖析,给出当前研究特征.从软件中总的故障个数、故障检测率FDR（Fault Detection Rate）和测试工作量TE（Testing-Effort）三个方面对影响SRGM的因素进行了分析.文中基于作者前期研究中提出的统一性框架模型,对当前典型的解析模型进行了分类比较和分析;对基于有限与无限服务队列模型的SRGM进行分析与讨论;对以率驱动事件过程RDEP（Rate-Driven Event Processes）为重点的仿真方法进行剖析.进一步,为了验证与分析不同模型的差异,对26个典型的模型在公开发表的16个数据集上进行了实验.结果表明,SRGM的性能差异取决于失效数据集的客观性以及研究人员对测试过程进行不同假设下所建立的数学模型的主观性.最后,指出了SRGM面临的挑战、发展趋势和亟待解决的问题.     

分数布朗运动干扰下广义随机系统滑模控制

本文考虑分数布朗运动干扰下时滞广义随机系统的基于观测器的滑模控制.首先设计了不受分数布朗运动干扰的状态观测器,然后给出了基于观测器的积分型滑模面函数的定义.为了研究观测器系统有限时间随机有界性,构造了带有二重积分的新型Lyapunov函数来处理分数布朗运动.利用奇异值分解原理,解决了观测器增益矩阵设计问题.利用线性矩阵不等式和Gronwall不等式得到了系统随机有界性的充分条件.同时给出了滑模面函数的有限时间可达性分析.最后的数值仿真验证了所提方法的有效性.