时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

一类拟线性椭圆型方程解的最大值原理

文章主要讨论了一类拟线性椭圆型方程解的最大值原理及其三种比较典型的边值问题,得到了解的泛函的最大值原理。Ｐ．Ｗ．Ｓｃｈａｅｆｅｒ和Ｒ．Ｐ．Ｓｐｅｒｂ）曾研究过该问题,但他们对原方程的要求比较严。本文构造了一种新的泛函,这样就对原方程的要求减弱了。从而推广了Ｐ．Ｗ．Ｓｃｈａｅｆｅｒ和Ｒ．Ｐ．Ｓｐｅｒｂ的相应结果     

一类具有状态约束的线性二次最优控制问题

研究具有状态积分不等式约束的线性二次控制问题,证明了最优控制的存在性和唯一性,推导出最优控制的反馈形式。     

关于亚纯函数组的几个定理

证明了关于亚纯函数组的几个定理,这些定理在亚纯函数唯一性理论的研究中将起重要作用．     

含Hardy位势与临界参数的渐近线性椭圆型方程

考虑一类含Hardy位势与临界参数的渐近线性椭圆型方程。对于一般有界区域Ω, 此类方程在H¹₀ (Ω)中不存在非平凡解。本文应用Morse理论, 在新的Sobolev-Hardy空间中得到了非平凡解的存在性。     

Loewy矩阵与几乎Koszul代数

几乎Koszul代数作为Koszul代数的推广,在代数周期性和分次自入射代数的研究中起到了重要的作用.几乎Koszul代数的刻画是一个复杂的计算问题,而Loewy矩阵为Koszul代数的刻画带来了较为直观的计算方法.通过经典的Loewy矩阵和构造增广Loewy矩阵,利用分次代数分次模的两种不同Loewy维数向量得到了一...     

基于改进LADRC的永磁同步电机转速控制

传统PI控制器在永磁同步电机(permanent magnet synchronous motor, PMSM)伺服控制中,存在转速超调和抗外部扰动能力差的问题。针对这一问题,设计了一种能提高自抗扰控制器对内外扰动观测精度的线性扩张状态观测器(linear extended state estimator, LESO),并在此基础上设计了用于PMSM伺服转速控制的线性自抗扰控制(linear active disturbance rejection control, LADRC)系统。通过仿真和实验,验证了基于改进LADRC的PMSM伺服系统能达到更高的观测精度,实现转速的快速无超调的高精度控制,且对负载扰动具有良好的鲁棒性。     

一类半线性抛物方程的外推非均匀网格有限差分方法

作者针对一维分布控制方程构造了一类外推非均匀网格差分格式,证明了差分格式解的存在唯一性和收敛性,并通过数值试验验证了理论分析的正确性.     

基于HAAR小波的关联加权LDA在人脸识别中的研究

线性判别分析(LDA)是人脸识别系统中用来降维的主要技术之一,可以运用于整个人脸图像,但却受到了小样本(small sample size,SSS)问题的限制。通过引入权值的概念,关联加权LDA(RW-LDA)方法有效地改善了小样本问题,但是,它的分类效果却不是很好。为了解决这个问题,提出了基于HAAR小波的关联加权LDA(related weighting LDA based onHAAR wavelet,HWRW-LDA)方法,在HAAR小波子带基础上,应用关联加权LDA方法,既解决了小样本问题,又改善了分类的效果。在ORL及FERET两大人脸数据库的实验结果表明,与最先进的几种方法相比较,HWRW-LDA方法具有更好的识别性能。     

在相关变量中寻找主因素的一种方法

得到在多维随机变量中寻找主要因素（主要分量或主成分）的一种方法. 找出主要分量并证明其余分量均可表示为主成分的线性组合, 从而解决了多维随机变量的各个分量之间所存在的线性关系问题.