FMmlet变换的性质及收敛性分析

证明了FM^mlet变换的线性性质、时移性质、尺度变换性质和反转性质，以及FM^mlet变换的一个子空间chirplet变换的频移性质. 证明了基于自适应匹配投影塔形分解算法的FM^mlet变换的残差信号能量按指数律衰减.     

FM^mlet变换的子空间

研究了FM^mlet变换的子空间,结果表明,Fourier变换、短时Fourier变换、Gabor变换、小波变换、chirplet变换、FM^-1let变换、蝴蝶子空间和信号的均值等均是FM^mlet变换的子空间,因此,FM^mlet变换能更好地刻画信号中的线性和非线性时变结构成分。     

形式系统L*的扩张L*n及其完备性

将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L^*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L^*的一个扩张L^*_n, 证明了L^*_n的完备性.     

OH-根对掺铒碲酸盐玻璃光谱性质的影响

制备了5种浓度下系列不同OH^&#8722;根含量的掺铒碲酸盐玻璃样品, 测试了样品的红外吸收光谱, 分析了在不同通氧除水时间下玻璃的红外吸收系数变化情况. 测试了样品的吸收光谱, 利用Judd-Ofelt理论计算了不同铒掺杂浓度和OH^&#8722;根含量样品的光谱参量Ω _i (i = 2, 4, 6). 根据McCumber理论计算了铒离子在1532 nm处的吸收截面和Er³⁺:⁴I_13/2®⁴I _15/2跃迁峰值发射截面. 测试了样品中 Er³⁺: ⁴I_13/2®⁴I_15/2跃迁对应的荧光光谱和⁴I_13/2能级荧光寿命, 讨论了OH^&#8722;根对不同铒掺杂浓度下碲酸盐玻璃光谱性质的影响. 研究结果表明, OH^&#8722;根仅对荧光寿命和荧光峰值强度存在影响, 在Er₂O₃浓度小于1.0 mol%时, OH^&#8722;根是发生荧光猝灭的主要影响因素, 而高于这一浓度后Er³⁺离子本身的能量转移对荧光猝灭起主要作用. 而OH^&#8722;根对其他光谱性质(荧光半高宽、吸收光谱、受激发射截面等)基本没有影响.     

基于改进随机子空间法和稳定图技术的电力系统低频机电振荡特征识别

基于由WAMS量测得到的类噪声信号来识别系统的低频机电振荡模式及其对应模态在电力系统分析和控制中具有很好的应用前景.本文以随机子空间方法为基础,引入参考通道技术,在不影响识别准确度的情况下极大地提升了计算效率,形成了一种改进的随机子空间方法,能够方便快速地得到系统的模式及其对应模态.本文还引入稳定图的思路,通过设计了巧妙的稳定图自动识别算法,快速有效地辨别了系统的真伪模式.在IEEE-118节点测试系统上进行的算例分析表明本文提出的方法具有较高的识别准确性和计算效率,能够满足在线应用的需要.     

基于光照补偿空间的鲁棒人脸识别

如何应付光照条件变化是人脸识别的主要研究课题,文中提出了一种基于单幅注册图像的光照不变人脸识别方法．文中首先分析证明了同一个主体的不同光照图像之间的差别．可以通过一个与身份和光照独立的子空间进行线性描述,我们称之为光照补偿空间;然后介绍了光照补偿空间的构建,并且提出了一种简单有效的基于光照补偿的人脸识别算法,将图像光照差异补偿与人脸识别过程统一在一起．通过一次l1优化就可以完成人脸身份的识别．文中方法在没有明显增加优化复杂度的前提下,有效降低了光照差异对于人脸识别算法精度的影响．文中提出的方法在ExtendedYale B图像库上进行了验证．     

协同优化方法与并行子空间方法的评估与比较

多学科优化设计技术是航空航天领域内近年来发展起来的一种新的总体优化设计技术,致力于解决复杂系统的耦合设计问题,以获得系统的整体最优.协同优化方法和并行子空间方法是多学科优化设计技术中的2种主要方法,本文从计算效率、计算精度、学科自治、工程实用性等方面,结合3个实例,对2种方法进行深入的分析与评估.分析结果表明：并行子空间方法在计算效率、学科自治以及工程实用性方面比协同优化方法略胜一筹.     

一种新的信号二进小波变换模极大值重构信号的迭代算法

基于Hilbert空间单调算子理论和求解单调算子方程的迭代算法, 给出了一个新的基于信号二进小波变换模极大值重构信号的迭代算法, 证明了算法的收敛性. 同Mallat的交替投影算法相比, 该算法更加简单、快速和有效. 数值实验表明, 对于不同类型的信号, 该算法仅需要较少的几次迭代, 就可获得较好的重构效果.     

适用于多种蕴涵算子的赋值空间上的测度与积分理论

对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了t(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架.     

Banach空间中时变广义分布参数系统的可解性

广义分布参数系统是比分布参数系统更常见的一类系统,二者有着本质的区别,如广义分布参数系统受到干扰时会引起脉冲行为等．广义分布参数系统的可解性问题是广义分布参数系统研究的重要问题之一．本文主要研究Banach空间中时变广义分布参数系统的可解性问题．首先,讨论Banach空间中由有界线性算子所引导的广义发展算子及其性质,定义了广义发展算子的生成元．证明了广义发展算子的存在性;然后,应用广义发展算子研究时变广义分布参数系统的可解性问题,证明了强解的存在性和唯一性,并应用广义发展算子给出了时变广义分布参数系统强解的构造性表达式．所得结果对于研究时变广义分布参数系统的稳定性问题、能控性问题及最优控制问题等都有重要的理论及应用价值．