不确定时滞系统的区间时滞相关鲁棒镇定

研究了时间滞后满足区间变化的线性连续系统鲁棒镇定问题。采用Lyapunov-Krasovskii稳定性分析方法,给出了区间时滞依赖系统的状态反馈设计稳定解。进一步研究参数化不确定性情况下,区间时滞依赖系统的鲁棒稳定性判据和鲁棒状态反馈控制器设计方法。最后,通过仿真算例比较,验证了此方法的有效性。     

奇异时滞系统的鲁棒故障检测和分离观测器

讨论了一类不确定奇异时滞系统的鲁棒故障检测和分离观测器(RDO)设计问题,设计所有的观测器使得它们的冗余信号对非故障因素具有鲁棒性,并设计每个观测器使其冗余信号对一组特定的故障不敏感而对其余故障敏感。给出了RDO存在的充分条件及有效的设计算法,并讨论了故障集合不同划分的RDO设计之间的关系,最后给出一具体算例来说明该方法的有效性。     

多变量网络控制系统建模与稳定性分析

研究了一类多变量网络控制系统的建模和稳定性问题,基于线性时不变对象,推导了该类网络控制系统的时滞连续时间数学模型,并利用李雅普诺夫第二法,分析了系统的渐近稳定性,得到了系统稳定运行的最大允许时延和全时滞稳定的条件。最后,通过实例仿真分析证实了本文所提理论的有效性,以及稳定判据的可行性。     

Fuzzy上下文无关语言的几个辅助定理

Ｆｕｚｚｙ上下文无关语言是一种常见而有用的语言,对它的研究目前尚是一薄弱环节．本文研究了Ｆｕｚｚｙ上下文无关语言的几个辅助定理及语言的歧义性等,这为进一步研究Ｆｕｚｙ上下文无关语言及与Ｆｕｚｚｙ自动机的关系奠定了基础．     

滞后广义系统的渐近稳定与镇定

广义系统的渐近稳定与镇定问题是广义系统理论的基本问题之一,在许多领域均有应用,时滞广义系统的研究与无时滞广义系统相比要困难得多。利用广义Lyapunov泛函方法研究了具滞后的广义系统的渐近稳定性和镇定问题,给出了渐近稳定判定定理,设计了适当的反馈律,以实现滞后广义系统的镇定,方法简单,直观,易于理解,给出的例子说明了该定理的可行性。     

应用模块法杂凑语言的上下文无关文法

编译程序的编制过程中,人们首先接触是语言,而上下文无关文法是作为程序设计语言重要的语法描述工具。因此,只有将语言用上下文无关文法表示才能使用现有的技术,从而用计算机自动实现。通过应用模块法将语言进行模块化划分,并在模块内实现杂凑,能够成功地、方便地实现语言到上下文无关文法的转换。     

凸多面体不确定随机时滞系统的非脆弱鲁棒镇定

针对具有凸多面体不确定性的随机时滞系统，讨论了非脆弱鲁棒指数镇定问题，其中非脆弱控制器中的不确定性采用的是凸多面体不确定描述。基于Lyapunov直接法，采用了与参数相关的Lyapunov krasovskii泛函，并结合自由权矩阵方法, 使得Lyapunov矩阵与系统矩阵分离，从而获得了系统的完全基于线性矩阵不等式的时滞相关非脆弱鲁棒镇定的充分条件。最后,用例子说明了结果的有效性。     

一类时滞HBV感染模型的最优治疗策略

基于病毒感染过程中存在胞内时滞，本文建立了乙型肝炎病毒HBV DNA核衣壳和细胞-细胞感染的时滞HBV感染模型，并研究两种药物治疗的最优控制问题。基于庞特里亚金极值原理，得到所建模型最优控制的存在唯一性及其特征表达。最后结合数值模拟验证了最优控制策略在降低感染肝细胞浓度和病毒载量方面的有效性。结果表明，时滞对最优控制策略有一定的影响，但不会影响最优控制的长期治疗效果，且干扰素类药物（如聚乙二醇干扰素，Polyethylene Glycol Interferon，简称PEG IFN）的控制效果要优于核苷类药物（如拉米夫定，Lamivudine，简称LMV）。     

线性时滞系统稳定的充分必要条件

运用复变函数理论,将特征方程转化为幅值条件和相位条件,通过分析得到幅值与相位之间的单调特性。将系统的稳定条件对应右半复平面特征方程无解,获得了单时滞系统稳定的充分必要条件。其结论与相关参考文献比较,稳定性条件与时滞之间的关系是显式的,不需要试算。文末给出的数值实例说明了结果的简洁性与有效性。     

数值级数法求解时滞抛物型方程

利用数值级数法求解时滞抛物型方程,特点是对方程离散后(半离散)将数值解用级数的形式表示.通过对离散后方程(半差分格式)收敛性、稳定性的分析可以看出该格式收敛且稳定.数值算例表明该方法还有很高的精度.