某类四阶非对称微分算子的正则性

本文处理如下四阶非对称微分算子A_λ,A_λ:K(i,j)→A_λK(i,j)的正则性。对于对称微分算子的传统处理,是利用紧算子的重要性质与E.C.Tichmarsh的函数论方法。对于非对称算子,类似的方法会遇到若干麻烦。然而当采用先验估计法,特别利用Opial不等式与内插不等式后,则能比较容易地得到A_λ的范数下界估计及一系列的正则性结果。     

位相物体的三维非对称温度场的重建

采用卷积背抽影公式实现了位相物体的三维非对称温度场的重建,为光线偏／折测量三维非对称温度场提供了高精度分析和处理实验数据的方法。     

一类退化型非线性椭圆方程有界弱解的存在唯一性

针对一类带有低正则值的退化型非线性椭圆方程,通过选取适当的试验函数,结合主部算子的单调性性质证明了有界解的唯一性;在解的存在性方面,首先针对外立项为本性有界函数的情形,给出有界弱解的存在性;进而利用这一结果及适当的光滑逼近和紧性定理给出了原方程有界弱解的存在性。     

置信分布的贝塔分布近似及其在可靠性统计中的应用

在复杂系统可靠性综合评估方法研究中,利用β分布来近似区间[0,1]上的各种概率分布是一种常用的工程方法,并被许多系统可靠性综合评估方法所采用。工程中常用的β分布近似方法有二阶矩法和点估计下限法。为了减少近似误差,本文在文献[1]的基础上,对文献[1]中提出的β分布近似的两点法进行了深入研究,证明了两点法解的存在性和唯一性,并在这一结果的基础上设计出有效的算法。通过模拟计算可以看出,两点法与目前普遍使用的二阶矩法和点估计下限法相比,近似的精确性明显提高,尤其在小子样情形下效果更为显著。     

关于二阶常系数线性椭圆型偏微分方程组解的唯一性的若干结论

本文证明了一个矩阵方面的有用结论,即文中定理２,说明了当条件（Ⅰ）、（Ⅱ）成立时,对于二个自变量、二个未知函数的二阶常系数线性方程组（１）可化为强椭圆型方程组,这一结论也可推广到某些三个未知函数的情形。利用强椭圆型方程组解必定唯一的结论,证明了某些二阶常系数线性椭圆型方程组在有界闭区域内Ｄｉｒｉｃｈｌｅｔ问题解的唯一性。     

一类抛物型方程组的初边值问题

本文利用上、下解方法，讨论一类抛物型方程组的比较定理，同时讨论正则解的存在唯一性。     

误码条件下非对称Turbo码编码参数分析方法

针对Turbo码编码参数识别分析问题,研究非对称Turbo码编码参数的容错分析方法。通过求含错码校验解矩阵识别出Turbo码第一分量编码器编码参数,利用交织帧内信息码字和第二分量编码器校验码字之间的约束关系识别出第二分量编码器编码参数。在恢复出Turbo码交织序列的基础上,采用表决算法恢复出交织映射关系,实现了非对称Turbo码的盲识别。仿真实验表明该方法可以对含误码的非对称Turbo码进行有效的识别。     

非对称线性方程组的块广义最小向后误差算法

许多科学领域都需要求多个右边值的大型非对称线性方程组，使用块方法同时计算所有的方程组比分别计算每一个方程要有效得多。因此，能同时计算所有方程的块迭代方法比单独计算每一个方程的迭代法要有效得多。本提出了一个块GMBACK方法求解有多个右边值的大型非对称线性方程组，该方法利用块Arnoldi过程构造Krylov子空间来求解Xm∈X0 Km(A,R0)使得矩阵A的扰动范数最小。     

双合成射流前体非对称涡控制技术及模型自由飞实验验证

为推进前体非对称涡流动控制方法在飞行器大迎角飞行控制方面的应用,提出并发展了一种基于双合成射流的前体非对称涡控制技术。研发了一套机载型双合成射流控制装置及模型自由飞验证机,通过风洞半自由飞及模型自由飞实验,验证了利用前体非对称涡控制技术实现尾旋改出和大迎角姿态控制的可行性;同时,依靠飞行测控系统和机载压力测量系统,实现飞行器姿态及前体表面压力的同步测量,可对前体非对称涡控制效能进行有效评估。风洞半自由飞实验结果表明：在60°迎角下,双合成射流可有效控制前体非对称涡相对位置,产生偏航力矩,实现大迎角航向操纵。在模型自由飞实验中,该技术可在常规方向舵失效的迎角下实现尾旋改出,可控尾旋角速度达到173 （°）/s;依靠该技术,验证机可在大迎角飞行时进行快速偏航操控,由控制输入到偏航角速度改变的时滞小于0.5 s。     

求解大型非对称线性方程组的UNSYMMLQ方法

本文给出了求解大型非对称线性方程组的Lanczos方法的一个判据,提出了求解非对称方程组Ax=b的UNSYMMLQ方法,它是Paige和Saunders求解对称线性方程组的SYMMLQ方法的推广。文中描述并讨论了一些数值试验。     

新Hilbert型积分不等式的一个推广

文章通过引入权函数的方法,得到了新Hilbert型积分不等式的一个推广及其等价形式.     

概率方法在不等式证明中的应用

本文利用概率论的性质,定理以及由性质,定理推导出的有关结论证明了一些不等式,阐述了概率方法在不等式证明中的应用,显示不概率应用巧妙性和优越性。     

Young不等式、Holder不等式与Minkowski不等式的新证法

本文给出著名的Young不等式,H(?)lder不等式与Minkowski不等式的新证法。在通常的书上都利用Young不等式来证H(?)lder不等式,再用H(?)lder不等式来证Minkowski不等式。而在本文中用凸函数的特性证明上述三个不等式。     

关于Browder-Hartman-Stampacchia变分不等式

本文是利用Yosida近似和预解式研究Browder-Hartman-Stampacchia变分不等式在没有紧性甚至没有连续性条件下的解的存在性。     

Aczel术等式新证法及其推论

本文对文[1]中Aczel不等式给出了两种新证法,并得出一个推论。     

2-赋范空间的标准正交

本文对2-赋范空间中的标准正交进行了一定的讨论,并给出了2-赋范空间的Bessel不等式。     

一类具有混合边界条件的奇摄动拟线性边值问题

研究一类具有混合边界条件的奇摄动二阶拟线性边值问题,在构造形式渐近解的基础上,利用微分不等式理论证明了解的存在性,并得出了解的任意阶的一致有效展开式。     

基于Lyapunov方法的非线性系统自适应观测器设计

针对一类满足L ipsch itz条件的具有未知参数的非线性系统,利用Lyapunov方法对L ipsch itz非线性系统自适应观测器的设计问题进行了研究。基于分析求解代数R iccati方程给出求解问题的不完善性、特征结构配置理论给出设计方法的重特征值限制性、对不同形式的观测器增益矩阵求解方法进行比较,最终选用线性矩阵不等式来改进观测器增益矩阵的选取方法。在观测误差稳定的条件下,得出了基于线性矩阵不等式方程设计状态观测器的增益矩阵,保证系统的状态估计误差收敛到零,并对其进行了仿真研究。结果证明,本文所构造的非线性观测器增益矩阵方法明显优越于其他方法,增强了系统的鲁棒性。     

一种考虑直升机状态矩阵摄动的 改进LMI设计方法

基于线性矩阵不等式(Linear matrix inequality,LMI)的鲁棒控制方法在直升机飞控系统设计中得到了广泛的应用,现有方法在设计中仅考虑了阵风和噪声等外界干扰引起的控制对象模型不确定性,未考虑直升机飞行状态变化引起的状态矩阵摄动。本文发展了一种能够同时考虑直升机外界扰动和状态矩阵摄动的改进LMI方法,并基于Z-11直升机,针对姿态指令姿态保持(Attitude command attitude hold,ACAH)响应类型进行设计。最后在Matlab/Simulink环境下进行了仿真验证。结果表明基于本文设计方法得到的控制律具有较高的控制精度,同时具有增强的鲁棒性。     

基于采样通信的分布式多智能体系统稳定性分析与协同控制(英文)

研究了基于采样通信的分布式多智能体系统的稳定性分析与协同控制,并采用分布式状态反馈控制器来实现智能体间的协作。推导了一种线性不等式的形成定理,并将其用来分析系统的稳定性。同时提出了针对线性不等式约束优化问题的形成定理,将其用来设计相关的控制器,并给出了相关的算法。仿真实例验证了所提方法的正确性和有效性。