求Ramsey数最优下界值的递归算法

要确定每个具体的Ramsey数的数值是相当困难的,至今人们只求出了为数很少的几个Ramsey数的数值.人们在研究Ramsey数性质的同时,也在估计Ramsey数的数值,得出了某些Ramsey数的下界值,但工作进展缓慢.本文提出了一种计算Ramsey数最优下界值的递归算法,该算法利用当今关于Ramsey数的最新结果,能得出Ramsey数的目前最优下界值.1 算法描述不妨将本算法定名为G,参数个数为1个以上(可变化),算法允许递归调用,其输出值为Ramsey数的目前最优下界值.C(k_1,k_2…,k_n)表示以k_1,k_2…,k_n作为输入,通过算法G所得到的输出结果,即C(k_1,k_2…,k_n)表示的是G算出的Ramsey数N(k_1,k_2,…,k_n;2)的目前最优下界值,其中N(k_1,k_2…,k_n;2)的含意与文献[2]中有关含意相同.算法G:     

经典Ramsey数R（5,23）和R（5,24）的新下界

构造了２个新的素数阶循环图,从而得到了２个Ｒａｍｓｅｙ数的新下界：Ｒ（５,２３）≥４２２,Ｒ（５,２４）≥４３４。     

线性谐振子势的相对论效应 Ⅰ:Klein-Gordon方程

本文研究了具有线性谐振子型势的Klein-Gordon方程的束缚态，给出了束缚态存在的条件是标量势大于或等于矢量势。在标量势等于矢量势的条件下，给出精确的能语方程和归一化波函数。对标量势，证明其相对论方程等价于具有4次方项的非谐振予势的Schrodinger方程，讨论了相对论能级的变化情况.     

合成孔径雷达景象匹配中制导导弹定位

研究了合成孔径雷达景象匹配中制导中的导弹定位问题。部分孔径成像是景象匹配中制导合成孔径雷达有效的成像模式,为便于利用多匹配点定位,提出了聚焦多普勒波束锐化成像方法。建立了基于匹配点距离差和多普勒差,并考虑了高度、速度和匹配点位置测量误差的定位模型。推导了位置估计的克拉美-罗下限（Cramer-Rao lower bound, CRLB）。提出了一种基于最小二乘的闭式求解算法。理论分析表明,在一定近似条件下,这一算法的估计精度到达CRLB。仿真分析了各种误差因素对CRLB的影响,验证了算法的理论分析结果及其有效性。     

SAR图像目标增强模型最优性能分析

研究用于SAR图像目标增强的lk范数正则化方法的最优性能.从有偏参数估计的统计性能极限角度,将达到渐进最小总方差的参数估计看作目标增强的最优效果.根据Bayes框架以及罚最大似然估计原理,研究了达到最优性能时正则项需满足的条件,该条件与图像大小、信号统计分布以及观测数据噪声方差有关,可为模型设计与迭代算法设计提供依据.并证明了仅当噪声方差较小时lk范数约束才能使得处理结果达到该最优估计性能.仿真实验验证了该结论的正确性.     

多变量网络控制系统建模与稳定性分析

研究了一类多变量网络控制系统的建模和稳定性问题,基于线性时不变对象,推导了该类网络控制系统的时滞连续时间数学模型,并利用李雅普诺夫第二法,分析了系统的渐近稳定性,得到了系统稳定运行的最大允许时延和全时滞稳定的条件。最后,通过实例仿真分析证实了本文所提理论的有效性,以及稳定判据的可行性。     

An improved branch-and-bound algorithm to minimize the weighted flowtime on identical parallel machines with family setup times

This article investigates identical parallel machines scheduling with family setup times. The objective function being the weighted sum of completion times, the problem is known to be strongly NP-hard. We propose a constructive heuristic algorithm and three complementary lower bounds. Two of these bounds proceed by elimination of setup times or by distributing each of them to jobs of the corresponding family, while the third one is based on a lagrangian relaxation. The bounds and the heuristic are incorporated into a branch-and-bound algorithm. Experimental results obtained outperform those of the methods presented in previous works, in term of size of solved problems.     

Analysis for MIMO correlated frequency-selective channel in the presence of interference

The space time spreading, superimposed training sequences, and space-time coding are used to present a multiple input and multiple output （MIMO） systems model, and a closed-form of average error probability upper bound expression for MIMO correlated frequency-selective channel in the presence of interference （co-channel interference and jamming signals） is derived. Moreover, the correlation at both ends of the wireless link that can be incorporated equivalently into correlation at the transmit end is also derived, which is significant to analyze space-time link algorithm of MIMO systems.     

两阶段资金投入条件下多项目组合中基于项目启动水平的资金分配问题研究

对两阶段资金投入条件下多项目组合中基于项目启动水平的资金分配问题进行了研究.由于已启动项目的资金不能按预算全额投入,因此文中引入了项目启动水平的概念,低于最低启动水平则项目不能启动.假设每个项目的净收益值与资金投入值可表示为与启动水平有关的线性函数,据此对两阶段投资过程分别建立了数学模型,分析认为它们分别属于0/1背包问题和连续背包问题,且都为NP难题.在建立了相关定理及定义的基础上,基于连续松弛条件下的价值密度贪婪准则,分别应用分枝定界算法、动态规划算法得到了该问题的资金分配最优策略.     

CONSTRUCTIVE KISSING NUMBERS IN HIGH-DIMENSIONAL SPACES

In the present paper, we focus on constructive spherical codes. By employing algebraic geometry codes, we give an explicit construction of spherical code sequences. By making use of the idea involved in the proof of the Gilbert-Varshamov bound in coding theory, we construct a spherical code sequence in exponential time which meets the best-known asymptotic bound by Shamsiev and Wyner.