一类非线性随机不确定系统有限时间H∞无穷滤波

研究一类具有时变、有界干扰的非线性随机不确定系统有限时间H∞滤波问题.首先,给出了非线性随机不确定系统有限时间H∞滤波问题的定义;其次,通过构造Lyapunov-Krasoviskii函数,并结合线性矩阵不等式（LMI）方法,给出了非线性随机不确定系统有限时间∞滤波器存在的充分条件;再次,将该问题简化为具有LMI约束的优化问题,并给出了相应的求解算法;最后,通过数值算例表明了所提出设计方法的有效性.     

概率有限状态自动机的代数性质

利用矩阵、同态、同构、同余等代数工具研究概率有限状态自动机的代数性质.首先定义了输入集上两个字符串同余的概念,并利用概率转移矩阵给出2个字符串同余的一些等价刻画.进而提出概率有限状态自动机同态和同构的概念,并给出了概率有限状态自动机同态定理.证明了2个概率有限状态自动机同构的充要条件是它们的概率转移矩阵可以通过第1种行列初等变换相互转化;同时提出了2个概率有限状态自动机积与和的概念,并得到了积自动机、和自动机的同态关系.最后将模糊自动机中交换的概念引入到概率有限状态自动机中,并利用概率转移矩阵给出了此类自动机交换的一些等价刻画以及和自动机、积自动机交换的充要条件.     

离散随机Markov跳跃系统有限时间有界控制

研究一类带乘性噪声的离散时间随机Markov跳跃系统的有限时间控制问题.首先,定义系统的有限时间稳定和有限时间有界,通过逐次迭代和条件期望给出系统有限时间稳定的充分必要条件;其次,针对含干扰的系统,利用Lyapunov方法和线性矩阵不等式技术得到系统有限时间有界的充分条件并设计状态反馈镇定控制器;然后,进一步考虑转移概率信息不完全下的有限时间有界问题;最后,通过数值例子验证了所提出方法的有效性.     

随机系统输出概率密度函数的有限时间镇定

针对一类含有限能量未知扰动的随机动态系统,研究基于随机分布函数的有限时间控制问题.通过B样条逼近建立了输出概率密度函数(PDF)与权值之间的对应关系,利用线性矩阵不等式,给出了基于观测器的PDF有限时间控制器的参数化设计方法.采用该方法设计的控制器,可使系统对所有满足条件的未知扰动是随机有限时间有界和随机有限时间镇定的.仿真实例验证了所提出方法的有效性.     

线性随机系统有限时间H∞ 控制

讨论一类具有时变、有限能量外部扰动的线性随机系统有限时间H∞控制问题．首先,给出了线性随机系统有限时间如控制问题的定义;然后,通过构造Lyapunov-Krasovskii函数,并结合线性矩阵不等式,给出了随机系统有限时间如控制器有解的充分条件;进一步,将该问题简化为具有线性矩阵不等式约束的优化问题,并给出了相应的求解算法;最后,通过数值算例表明了该设计方法的有效性．     

随机马尔科夫跳跃系统有限时间控制

研究了转移概率部分信息未知的随机马尔科夫跳跃系统的有限时间控制问题.首先,介绍了有限时间随机稳定性与随机镇定性的概念;然后,利用矩阵变换、数学期望以及Gronwall不等式等方法,给出了系统为有限时间随机稳定的判定准则.利用上述结果,得出了系统状态输出反馈随机镇定的充分条件;进一步,考虑到实际工程中系统状态的不完全可测性,给出了保证系统有限时间随机镇定的动态输出反馈控制器设计方式,并求得了此控制器存在的判定条件.最后,用一个数值算例说明了控制器设计方法的有效性.     

带乘性噪声的非齐次Markov跳跃系统有限时间稳定性

研究一类带乘性噪声的离散时间非齐次随机Markov跳跃系统的有限时间稳定性,该系统的转移概率矩阵不是常矩阵而是区间矩阵.在区间矩阵紧性的假设下,将其表示为随机矩阵的凸组合.首先,给出系统有限时间稳定的充分必要条件;其次,利用Lyapunov方法和线性矩阵不等式技术得到系统有限时间稳定的充分条件,并用于设计有限时间状态反馈镇定控制器;最后,通过仿真算例说明所提出方法的有效性.     

时滞随机系统的稳定性分析

针对一类时变时滞随机系统,研究其渐近稳定性问题。通过构造李亚普诺夫函数,引用适当的自由权矩阵,利用积分等式、积分不等式,给出系统渐进稳定的时滞相关的充分条件,其结果用线性矩阵不等式形式表示.用数值算例说明方法的有效性。     

不确定奇异系统的有限时间H_∞控制

针对一类在有限时间下的线性奇异系统,同时考虑参数不确定性和有限外部扰动影响,研究了系统基于状态反馈控制器的鲁棒H∞控制问题。首先通过构造合适的Lypunov函数,利用线性矩阵不等式方法给出了线性广义系统有限时间有界且H∞范数有界的充分条件,在此基础上讨论线性广义系统的H∞状态反馈控制,给出了控制器存在的充分条件,同时给出了控制器的具体设计方法,控制器可由线性矩阵不等式解得。最后的数值算例说明了所提出方法的可行性和有效性。     

非线性不确定随机多重时滞系统的鲁棒H_∞控制

研究一类非线性不确定随机多重时滞系统的鲁棒 H∞ 控制问题。运用线性矩阵不等式方法 ,导出了满足系统随机鲁棒稳定的充分条件 ,提出实现系统在一定概率意义下干扰衰减鲁棒镇定的鲁棒无记忆控制器设计方法     

井架主梁缺陷的随机有限元及扩展有限元分析

针对石油井架使用过程中出现主梁应力集中,影响井架的安全性及可靠性的问题,以K型井架为例,将主梁强度的降低以及腐蚀磨损等效为主梁截面的减小,采用随机有限元方法进行了参数敏感性及可靠性分析。采用扩展有限元方法进行了主梁断裂缝面的扩展以及主梁结构强度的分析。结果表明:主梁缺陷的存在会明显降低井架的可靠度,导致井架主梁应力集中问题更加严重。裂纹尖端的应力集中是造成主梁裂纹面扩展的主要因素,而且裂缝面的存在会直接改变其周围的位移分布。根据研究结果,可以更好地预测主梁缺陷对于井架可靠度的影响,以及为主梁裂缝面扩展的评估提供依据,从而降低井架安全事故的发生。     

随机系统的鲁棒状态反馈控制

对结构参数不确定的随机线性时不变系统的无限时间鲁棒状态反馈控制问题进行了研究．给出了鲁棒控制器的存在条件及其状态空间表达形式，而且也给出了系统输出的渐近协方差所规定的性能界．仿真结果表明，本文所提供的方法大大改善了系统的输出性能，且具有很强的鲁棒性．     

COMPUTING ANTICIPATORY PROPERTY IN STOCHASTIC DIFFERENTIAL SYSTEMS

ABSTRACT

This article concerns computing anticipatory property of stochastic systems, which are characterized by forward and/or backward stochastic differential Equations. Since a Pardoux-Peng solution of a Backward Stochastic Differential Equation (BSDE) is required adaptedness to the natural filtration of a standard Brownian motion, it is nonanticipatory in the sense of stochastic calculus. However, the BSDE is solved backwardly with a terminal state and the solution will generally depend on the future state. Hence a system described by Forward and Backward Stochastic Differential Equations (FBSDEs) will be shown to be a strong computing anticipatory system. A stochastic system described by a numerical scheme also has the same property.     

一类随机干扰作用下的非线性系统的自适应控制

利用随机干扰作用下的采样数据训练模糊神经网络可得到对象含噪声信息的统计辨识模型 ,通过预估及校正算法在线调整控制输入以弥补模型偏差的影响 ,实现系统的自适应控制 .仿真实验结果表明该控制方案具有较高的控制精度、较强的抗干扰能力和良好的自适应性能     

基于随机Petri网的电信交换系统可生存性分析

网络系统的可生存性问题是系统安全领域的一个重点研究方向。讨论现有的系统可生存性的一般分析方法,确定系统的可生存属性,并采用随机Petri网(SPN)技术,分析电信交换系统生存性问题的特点。重点利用随机Petri网描述系统的失效-修复分析模型和性能分析模型,给出系统可生存性分析中主要指标的定量计算方法。系统仿真结果表明了该方法的有效、合理性。     

有限期延迟交货的随机性库存系统的仿真模型

本文基于离散事件系统仿真原理,建立了有限期延迟交货的随机性库存系统的仿真模型,从而可用计算机仿真的方法为物流管理选定最佳库存策略。     

基于异构传感器网络的随机系统节点协同方法研究

针对传感器网络的通信延迟和切换拓扑,提出运动目标的随机状态协同估计算法.采用具有各种状态组合的不同测量矢量的异构传感器和卡尔曼滤波器对动态目标系统的状态进行估计.通过数值模拟方法验证协同式算法的可行性,对比SAA算法、CLACF算法和协同式算法的定位覆盖率和定位精度.结果表明,该算法性能最优,且不受通信限制.     

实时专家系统可靠性分析的随机Petri网模型

可靠性是限制实时专家系统广泛应用的主要原因之一．然而目前国内尚未见有关的理论及论文出现．本文讨论了影响实时专家系统可靠性的主要因素．给出了基于规则专家系统推理过程的随机Ｐｅｔｒｉ网模型及其参数的数字化方法．在假定硬件系统可靠性一定且没有软件错误的条件下，通过对该模型的仿真对实时专家系统的可靠性进行了分析，给出系统可靠性与实时限制及启发误差之间的关系曲线．     

识别Thue系统不可约字集的有穷自动机的一个构作

本文给出了识别Ｔｈｕｅ系统不可约字集的有穷自动机的一个新的构作。     

基于AutoCAD的有限元前处理系统设计

以AutoCAD为几何平台,并利用其提供的二次开发技术实现了有限元前处理系统的编程。该方法解决了常规的有限元分析系统中的几何建模系统和前处理系统脱节的问题。集成了造型、单元属性设置、网格划分、显示等多种模块。研究了有限元前处理系统的若干关键技术,包括如何控制网格形态、输出求解数据接口、基于ObjectARX的CAD/CAE集成设计、复杂三维实体的四面体网格全自动生成算法。建立了一个基于AutoCAD的有限元前处理系统。