求解带指数凹多乘积规划问题的对偶界方法

对一类带指数的凹多乘积规划问题,给出一种求其全局最优解的分支定界算法.先利用对数函数性质将原问题进行等价转化,对于等价问题,利用Lagrange弱对偶定理将分支定界算法中关键的定下界操作转化为易于求解的线性规划问题,且这些线性规划的规模不随迭代而变化,利于编程计算.同时,分支操作采用单纯形作为分割元素,并使用对分法,既保证穷举性,又使得线性规划的规模更小.最后给出算法的收敛性证明和数值实验结果.     

可发生多种故障的可修复系统稳定性分析

研究了可发生多种故障的可修复系统.运用C_0半群理论,通过服务率均值的观念,对系统主算子的谱界进行了估值,并得到该谱上界即为各服务率均值的最小者的相反数.然后运用了共尾的概念及相关的理论,得到了系统算子的谱界与系统算子产生的半群的增长界相等.最后由分析了系统算子的谱分布,得到了系统的指数稳定性.     

严格双对角占优矩阵行列式的上下界估计

严格双对角占优矩阵的行列式计算是数值代数中的热点问题. 本文首先将严格双对角占优矩阵右乘一个正对角矩阵, 使其化为严格对角占优矩阵, 其次对严格对角占优矩阵行列式的上下界进行估计, 从而得到严格双对角占优矩阵行列式的上下界估计. 最后通过数值算例表明所得估计是有效的.     

Tail behavior of supremum of a random walk when Cramér’s condition fails

We investigate tail behavior of the supremum of a random walk in the case that Cramer＇s condition fails, namely, the intermediate case and the heavy-tailed ease. When the integrated distribution of the increment of the random walk belongs to the intersection of exponential distribution class and O-subexponential distribution class, under some other suitable conditions, we obtain some asymptotic estimates for the tail probability of the supremum and prove that the distribution of the supremum also belongs to the same distribution class. The obtained results generalize some corresponding results of N. Veraverbeke. Finally, these results are applied to renewal risk model, and asymptotic estimates for the ruin probability are presented.     

基于相关滤波器的红外弱小目标检测算法EI北大核心CSCD

针对复杂背景下红外图像中低信噪比弱小目标实时检测问题,提出一种基于相关滤波器的红外弱小目标检测算法。该算法将红外目标检测转化为模式分类问题,在离线训练阶段,利用二维高斯模型构造红外小目标训练集,在此基础上训练得到对目标背景具有区分能力的相关滤波器,在线检测阶段,利用滤波器对图像分块进行滤波操作,目标和背景的滤波响应有着显著的差异,最后生成整幅图像的滤波响应置信图以此来判断图像中是否包含目标及其具体位置。在单帧单目标图像、序列图像多目标检测实验结果表明,与经典检测算法相比,所提方法不仅具有更高检测性能,有效降低了虚警概率,而且具有较好的实时性,适用于复杂背景条件下弱小目标的实时检测。     

分段函数与初等函数关系及表达的讨论与进展

依据历史的延革、认知的进展,提出了关于初等函数的一个比较系统的概念;给出的限制域、存在域、定义域的概念,使函数的表达、相关的判断得以扩展,给出了分段函数初等性的一个简明的充分性判断;对于分段函数初等性主要的、广传的文献作了综述与评析,指出了存在的与需要研讨的问题.     

伪Smarandache函数的上下界

对于正整数n,设Z(n)=min{m|m∈N,1/2m(m+1)≡0(modn)},称为n的伪Smarandache函数.设r是正整数.根据广义Ramanujan-Nagell方程的结果,运用初等数论方法证明了下列结果:i)1/2(-1+(8n+1)≤Z(n)≤2n-1.ii)当r≠1,2,3或5时,Z(2~r+1)≥1/2(-1+(2~(r+3)·5+41)).iii)当r≠1,2,3,4或12时,Z(2~r-1)≥1/2(-1+(2~(r+3)·3-23).     

图的k部划分的一个注记

设k≥2是一个整数。本文证明了任意有m条边的图都存在一个顶点的划分V_1,V_2…,V_k,使得e(V_1,V_2…,V_k)≥k-1/k m+k-1/2k((2m+1/4)~1/2-1/2)-(k-2)~2/8k,且max{e(V_i):1≤i≤k}≤m/k~2+(k-1)/2k~2((2m+1/4)~1/2-1/2+3/8-7k-4/8k~2.我们的结果改进了[Fan G.,Hou J.,Zeng Q.,A bound for judicious k-partitions of graphs,Discrete Appl.Math.,2014,179:86—99]的主要结论.     

界约束下算子方程最小二乘问题的条件梯度法

研究如下界约束下算子方程最小二乘问题:min x∈Ω‖L(X:A_1,…,At;B_1,…,B_t)-T‖~2,其中‖.‖为Frobenius范数,L(X:A_1…A_t;B_1,…,B_t)为关于X的线性矩阵算子(或齐次线性变换),Ai∈R~(p×m),B_j∈R~(n×q)i,j=1,…,n为算子L的系数矩阵,丁为右端矩阵,ΩR~(m×n)为界约束凸集合.提出了求解问题的条件梯度迭代算法及其简要收敛性分析,并给出条件梯度算法的几类加速形式.随机数据和图像恢复模型数据的实验结果表明说明算法是可行高效的.     

关于图的最小Q-特征值

研究了基于n阶二部图和s阶完全图构造的一个图类,得到了该图类的无符号拉普拉斯最小特征值(即最小Q-特征值)的一个可达上界为s.基于此,对于任意给定的正整数s和正偶数n,构造了最小Q-特征值为s的一类n+s阶图.另外,对于任意给定的最小度δ和阶数n,在满足2≤δ≤n-1/2条件下,构造了最小Q-特征值为δ-1的一类n阶图.