大型二次规划的一种分解算法

对于大中规模的二次规划问题,当约束条件结构具有方块角型的形式时,为了减少计算量和内存容量等,常可用系统分解原理来进行求解.但泽格和华尔夫(1960年)提出的以对偶理论为基础的分解-对偶法,以及作者(1987年)提出的最小减优率法,都是针对大型可分解线性规划问题的.本文根据最小减优率法的基本思路和二次规划问题解的一般特性,提出一种有较高效率的求解大型二次规划的分解算法.它从子问题的解直接推求有藕合约束时的二次规划的最优解,从而可显著减少求解的工作量.从所举算例可以看出,它与传统二次规划法整体求解时相比的明显差别.     

Morse型数与拓扑度的关系及其应用

本文利用拓扑度理论及Morse型数与拓扑度的关系,给出了文[2]中有关渐近二次函数的临界点的一个存在性定理的另一证明,并且获得了其临界点存在唯一的一个充要条件和两个充分条件;我们还简单地导出了文[1]、[2]中得到的渐近二次函数存在非平凡临界点的部分结论;最后,在Hilbert空间上的C~2实值函数有紧梯度场的假设条件下,给出了文[2]中的三临界点定理的一种加强形式。     

一种求解Riccati代数方程的新方法——矩阵符号函数法

本文提出一种用矩阵符号函数求解Riccati代数方程的新方法,导出了一个改进迭代格式,文中提出的计算矩阵符号函数的三阶收敛迭代格式,可进一步提高收敛速度。     

半无限二次规划

本文给出了半无限二次规划和它的对偶规划之间没有间隙的条件。还证明了具有对偶间隙的半无限二次规划可以通过扰动其目标函数来消除,且扰动后的半无限二次规划的最优值收敛于原始半无限二次规划的最优值。     

一类二次系统存在Poincaré分枝的条件

本文研究所论系统在二次自治扰动下产生两个或一个极限环的条件,并研究当参数变化时极限环的极限性质,从而否定了二次微分系统大概不存在Poincare分枝的猜测.     

用低维二次规划法求解高维线性互补问题

把高维线性互补问题转化为与之等价的高维二次规划问题，然后把高维二次规划问题分解为一系列低维二次规划问题．提出了一种算法，该算法运用这一系列低维二次规划子问题的解去逼近高维线性互补问题的解．证明了该算法的收敛性．数值实验的结果表明该算法是有效可行的，且具有存储量小、精度高等特点，是一类求解大规模线性互补问题的新途径。     

二次系统(Ⅲ)_(n=0)的极限环的惟一性

讨论了特殊二次系统(Ⅲ)n=0的极限环的惟一性问题,首先证明当a(b+2l)0,且d[l-a(b+2l)]0时该系统无极限环,再让d从零变为d[l-a(b+2l)]<0,文中就a 0,b+2l 0,b+2l 0这两种情形,在适当附加条件下证明了这时极限环最多只有一个.     

基于二次互信息的特征选择算法

将二次互信息(mutual information)用作模式分类问题中特征选择的准则,分析了该准则在再生核希尔伯特空间中的几何意义.在二次互信息准则基础上,提出了基于Parzen窗密度估计和后向删除策略的特征选择算法PW-QMI,同时针对大规模数据集的情况给出了基于高斯混合模型的算法GMM-QMI,以减小算法的计算复杂度.通过与相关度算法和SVM-RFE算法的实验比较,证明了该算法在特征选择问题上具有更为稳定的性能.     

框式约束凸二次规划的预估校正光滑算法

研究了框式约束凸二次规划的一种光滑算法，算法中应用了牛顿法及其变形形式，证明了算法的全局收敛性．     

广义不确定周期时变系统的鲁棒镇定控制

通过广义周期时变系统Lyapunov不等式和广义不确定周期时变系统鲁棒稳定的充分必要条件,讨论了在状态反馈控制下闭环系统的鲁棒镇定问题,得到了系统鲁棒镇定的充分必要条件,且给出了一族状态反馈鲁棒镇定器的设计方法;提出了广义周期时变系统二次稳定的概念,并讨论了二次稳定与鲁棒镇定的关系,得到了广义不确定周期时变系统二次稳定的充分必要条件.最后,通过数值算例说明了主要结果.