时滞不确定随机系统基于参数依赖Lyapunov函数的稳定条件

针对一类具有凸多面体参数不确定性的时滞随机系统,研究了其鲁棒稳定性问题.通过引入适当的加权矩阵变量来寻找Leibniz-Newton公式各项之间的关系,从而直接地处理系统中的时滞状态项,避免了常规的应用Leibniz-Newton公式来进行模型变换的间接方法所带来的较大保守性.采用参数依赖Lyapunov函数方法,推导了此类系统鲁棒稳定的时滞相关的充分条件.本文所得条件为线性矩阵不等式形式,便于借助于内点算法进行求解.仿真实例证明了本文所提出的稳定条件具有较低的保守性.

凸多面体不确定随机时滞系统的参数依赖状态反馈控制

考虑了凸多面体不确定随机时滞系统的参数依赖状态反馈控制问题.把参数相关的Lyapunov-Krasovskii泛函方法和自由权矩阵方法相结合,得到了基于线性矩阵不等式(LMI)的时滞相关及参数相关的鲁棒镇定的充分条件.由于在引入自由权矩阵时,减少了所用的自由矩阵数目,使得给出的参数依赖的控制器更易于实现.最后用例子说明了结果的有效性.

非仿射参数依赖LPV模型的变体飞行器H_∞控制

变体飞行器可以在不同的飞行环境及飞行任务下自适应地进行结构变形,从而确保飞行过程中具有最优的气动性能。以一类翼展可变的飞行器模型为对象,研究了一种针对非仿射参数依赖结构的线性变参数(LPV)系统的控制问题。在Jacobian线性化基础上,将变体过程中的非线性模型精确拟合为以翼展变形率为时变参数的LPV系统。与大多数LPV控制不同的是,此系统为多项式参数依赖结构,不具有仿射参数依赖形式。利用线性分式表示(LFR)将具有非仿射参数依赖结构的LPV模型转换为等价的线性时不变(LTI)系统。为保证变体过程的稳定,针对此LFR形式的变体模型,在满足二次Lyapunov稳定的线性矩阵不等式(LMI)条件基础上,设计了一类基于状态反馈的H∞控制器。仿真结果表明,上述控制器在外部存在干扰的情况下,能够保证变体过程的全局稳定性。因此基于LFR转换的控制器设计方法不再局限于仿射参数依赖形式,对于广泛LPV系统具有普遍适用性。

不确定离散时滞广义系统的参数依赖稳定条件

研究了一类具有凸多面体不确定性的离散时滞广义系统的鲁棒稳定性问题.基于参数依赖的Lyapunov函数和线性矩阵不等式方法,推导出使系统正则、因果且鲁棒稳定的时滞相关型充分条件.算例验证了本文方法的可行性.

不确定随机时滞系统参数依赖的鲁棒稳定性

考虑带有凸多面体不确定性的随机时滞系统的参数依赖的鲁棒稳定性问题。通过构造参数依赖的Lyapunov函数及利用线性矩阵不等式方法,给出随机系统的鲁棒稳定的充分条件。

一般形式的正倒向随机微分方程适应解及参数依赖性

本文得到了任定长度区间上，一般形式的正倒向随机微分方程解存在唯一性结果，还证明了实际应用上非常重要的两个性质：正倒向方程解依赖于参数的连续性和可微性．

凸多面体不确定线性系统的新的参数依赖有界实引理

研究了凸多面体不确定线性系统的鲁棒H∞性能问题,通过提高参数依赖线性矩阵不等式关于不确定参数的阶次,给出了线性矩阵不等式描述的鲁棒H∞性能准则,并进一步给出针对不同阶次的线性矩阵不等式表示,比较分析说明了随着阶次的增大,判别条件的保守性逐渐减少.

不确定广义时滞系统的参数依赖指数镇定

研究了具有凸多面体不确定广义时滞系统的时滞相关型指数镇定问题。首先，利用Lyapunov稳定性定理和线性矩阵不等式工具，给出了标称的广义时滞系统正则、无脉冲和指数稳定的时滞相关型充分条件。在此基础上，采用参数依赖Lyapunov函数方法，设计了使闭环系统正则、无脉冲和指数稳定的时滞相关型状态反馈控制器，并给出了相应控制器的显式表示。

参数依赖型软件参数更动测试策略和方法

参数依赖型软件是指初始化时读取并解析配置参数,并据此进行任务处理的软件,航天测控软件是典型的参数依赖型软件;航天测控软件具有明显的领域软件特征,多采用领域工程分析技术,实现业务处理逻辑和具体任务参数的分离,达到仅通过修改任务配置参数而适应高强度型号任务的目的;通过对参数依赖型软件架构、应用模式的分析,提出一种对参数依赖特性进行验收测试、参数更动测试的流程、策略和方法;并基于该方法,对远程数据交互软件进行了参数依赖特性测试,测试结果表明,该方法具有测试覆盖性强、测试重点突出、测试效率高的特点。

基于参数依赖Lyapunov方法的Gl2性能分析

通过构造参数依赖Lyapunov函数,研究了线性离散不确定系统的广义l2(Gl2)性能分析问题。所考虑的线性时不变系统参数不确定性具有凸多面体不确定性形式,同时受外部扰动影响。通过引入自由权矩阵和采用线性矩阵不等式技术,给出了保证系统Gl2性能的三个充分性判别条件。通过理论分析,所得结果较已有文献具有更少的保守性。最后,数值算例验证了此方法的可行性和有效性。

四阶两点非齐次边值问题正解的唯一性及对参数依赖性

利用单调混合算子理论,研究了四阶两点非齐次边值问题:x′′′′t+f(t,x)=0,t∈0,1,x0=α,x′0=β,x1=λ,x′1=-μ正解的存在性与唯一性问题,其中,α>0,β>0,λ>0,μ>0,f(t,x)∈C([0,1]×[0,∞),[0,∞)),f(t,x)对于x单调递增,并且存在0≤θ<1使得f(t,kx)≥kθf(t,x),t∈[0,1],k∈[0,1],x∈[0,∞)成立.给参数α,β,λ,μ赋予一定的条件,证明了上述问题存在唯一正解,并且研究了解对参数的依赖性.

基于参数依赖Lyapunov泛函不确定时滞系统的H_∞性能分析

研究了具有凸多面体不确定性时滞系统的H∞性能分析问题.基于参数依赖的Lyapunov泛函,导出了系统具有给定H∞性能指标的充分条件.进而,将系统最优H∞性能指标的求取问题转化为一个具有线性矩阵不等式约束的凸优化问题,后者可以应用现有的凸优化方法方进行有效的求解.所提出的方法具有更小的保守性.最后,给出的数值例子说明了提出结果的有效性.

基于参数依赖滚动时域H_(∞)控制的高超声速飞行器控制

针对输入受限的高超声速飞行器强耦合、强非线性以及严重不确定性的特点,提出一种参数依赖滚动时域?∞控制(PD-RHHC)的方法.首先在考虑控制输入约束的条件下,引入参数依赖Lyapunov函数和松弛因子并提出了基于LMI优化的PD-RHHC;然后采用函数替换方法,结合张量积模型转换方法实现高超声速飞行器(HSV)纵向非线性弹性模型的LPV描述,并将PD-RHHC应用到高超声速飞行器纵向控制中,以实现HSV在大飞行包线内的机动飞行;最后通过仿真实验验证了所提出算法的有效性.

基于参数依赖的直升机LPV鲁棒变增益控制

针对直升机飞行状态量在全飞行包线内动态变化的问题,设计了一种鲁棒变增益控制方法。在直升机非线性模型的基础上,研究了直升机前飞状态下的纵向线性参数变化(LPV)模型,并引入参考输入,将已建立的模型增广为仿射参数依赖LPV模型;运用鲁棒变增益仿射参数依赖Lyapunov函数的方法对该模型进行控制律设计,并验证了其稳定性;最后通过数值仿真验证了所设计控制器的实时性与鲁棒性。研究结果表明,该方法有效降低了单一Lyapunov函数所带来的保守性,可以用于直升机LPV模型的鲁棒控制与状态量跟踪。

无人飞行器参数依赖鲁棒控制研究

研究了具有参数不确定性的无人飞行器参数依赖鲁棒控制器设计问题。采用误差四元数建立姿态运动方程,避免了欧拉角描述姿态运动存在奇异性的问题。通过引入附加的松弛矩阵使Lyapunov矩阵和系统矩阵分离,并利用平方和工具箱求解非线性矩阵不等式得到了系统的鲁棒控制器。仿真结果表明了所提出的控制器设计方法的可行性和有效性。

基于多目标控制的变体飞行器切换线性变参数控制器

变体飞行器在不同的机体构型有不同的控制目标,针对变体飞行器的多目标控制问题,提出了一种切换线性变参数(linear parameter varying,LPV)控制方法.该方法根据变体飞行器的任务模式及性能指标要求把后掠角变化范围分成不同的区域,在不同的区域根据相应的控制目标求出系统满足控制性能指标的有解条件及相应的LPV控制器,并用参数依赖多Lyapunov函数和公共Lyapunov函数两种方法保证变体过程的稳定性及快速性.仿真结果表明:在飞行器参数大范围快速变化的情况下,运用本文设计的控制器具有良好的操纵性能.

无界域上p-Laplacian方程在依赖参数的空间中动力学行为

研究无界域上非自治p-Laplacian系统u_t-div(ε(t)|▽u|^(p-2)▽u)+f(x,u)=g(x)的长时间动力学行为。在带参变量t的赋范空间中,建立方程所对应过程在拉回意义下吸收集的存在性。在无界区域上研究方程所对应的无穷维动力系统,最大的困难在于Sobolev嵌入缺乏紧性。为克服Sobolev嵌入缺乏紧性,利用一致"tail"估计,证明系统所对应的过程是渐近紧的,从而得到依赖于时间t的全局吸引子的存在性。

广义热传导方程组对参数扰动的连续依赖性

对于低温状态下的热传导方程组的初边值问题,主要讨论了在参数1τ→τ2以及μ1→μ2时的解的收敛性结果.该问题只对热流给出了边界值条件,对温度未给出边界值条件,这一点在数学、物理上更合理.

基于依赖模型的REST接口测试用例生成方法研究

REST接口中普遍存在依赖关系,导致生成合理的接口调用序列与输入参数变得十分困难。现有的大多数方法只考虑了其中一种依赖关系,并需要人工执行繁杂的前置操作,生成的测试用例有效性仍然较低。针对以上问题,文中提出了一种基于依赖模型的测试用例生成方法。通过解析OpenAPI文档,该方法提取了接口内的操作间依赖关系与参数间依赖关系,并据此建立了两种依赖模型,从模型生成测试用例,最后从3方面确定测试预言。实验结果表明,该方法的输入度量覆盖率达到了100%,状态码类别、状态码、响应资源类型的覆盖率分别达到了100%,91.67%,83.33%,并能在限定时间内检出接口内部缺陷;与RESTler和RESTest相比,该方法的输出度量覆盖率最大提高了36%,触发了最多次的异常响应状态码,检测到接口异常响应的比例最大提高了10%。该方法为REST接口的测试用例生成问题提供了有价值的参考。

一阶线性脉冲微分方程解的参数连续依赖性

在文献[6]的基础上,讨论了广义线性微分方程与一阶线性脉冲微分方程的关系,并给出一阶线性脉冲微分方程初值问题解对参数的连续依赖性定理.