基于目标高斯分布的定位系统节点最优部署方法

针对三维空间定位系统中目标位置服从高斯先验分布假设条件下节点最优部署问题, 分析了纯方位目标定位算法中估计误差的费希尔信息矩阵, 推导出基于目标先验分布的克拉美罗界(Cramer-Rao bound, CRB)。为了解决目标位置在任意高斯分布时, 协方差矩阵为非对角阵的问题, 提出了基于三维坐标旋转的最大后验概率估计方法, 将协方差矩阵转化为对角阵以实现最小化CRB的迹, 从而得到定位系统中节点的最优部署。最后, 通过梯度下降算法对节点最优部署问题的理论推导进行仿真, 验证了该部署方法的有效性，同时仿真结果中不同节点部署方法的对比也表明了该方法可有效降低定位误差。     

有限交换p-群中加性码的计数

解决了有限交换p-群中加性码的两类计数问题,第一类计数问题是指求任意给定的有限交换p-群中任意类型码的数目,第二类计数问题是指求包含同一类型码的有限交换p-群的数目以及它们分别所含有的该类型码的数目.     

大尺度海洋大气动力学三维黏性原始方程对边界参数的连续依赖性

利用方程解的先验界及微分不等式技巧, 证明大尺度海洋大气动力学三维黏性原始方程的解连续依赖于边界参数.     

具有hollingⅢ类功能反应的非自治捕食系统概周期解

讨论了一类具有hollingⅢ类功能反应的非自治捕食概周期系统，得到了该系统存在的唯一一致渐近稳定概周期解的充分条件。     

一维周期和非周期体系的电子带谱及态密度

本文发展了一种重正化群方法,精确而系统地研究包含周期和非周期格子的一维体系的物理性质.该一体系的构造序列是选A、B两块并按膨胀规则{A、B}→{A~(m11)B~(m12),A~(m12)B~(m22)}排列成的.作为特例,计算了(M_(11),M_(12),M_(21),M_(22))=(1,1,1,0)(1,1,1,1)(1,2,1,1)和(2,1,1,1)几种一维格子的电子带谱和态密度,结果表明,较之其他方法,该方法具有系统性,而且分析结果与其他类似。     

求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:     

顺式丁二烯及其一氟、一氯取代物电环化反应过程的量子化学研究

用密度泛函理论（DFT）的B3LYP方法在6－311＋＋G**基组水平上研究了cis-1,3-丁二烯及其一氟、一氯取代物电环化反应过程的微观机理，优化得到了反应途径上的反应物、过渡态和产物的几何构型，通过振动分析对过渡态进行了确认，并对优化得到的单点在QCISD（T）水平上计算了能量。研究结果表明：cis-1,3－丁二烯的氟、氯代衍生物各有两种构象，且均能发生环化反应，两种构象环化的产物是一致的；亚甲基上外侧的氢原子被氟、氯原子取代后，有利于环化反应的进行。     

多平台基于方位时延差的目标运动分析

以拖曳阵列与本舰所构成的声纳系统为例 ,从双平台观点考虑 ,利用对目标的两方位及时延的量测为依据 ,研究了该系统的目标运动分析 (targetmotionanalysis,TMA)问题。采用了最大似然估计、扩展Kalman滤波(EKF)方法 ,实现了对目标运动参数的估计 ,并给出了它们的Cramer Rao低界 (CRLB)。通过仿真考察了参数变化对估计精度的影响。仿真结果表明上述方法具有较高定位精度。该方法适合于主、被动形式的多平台系统 ,且容易实现。     

离散大系统解的有界性与周期解的存在性

本文分别利用向量Ｌｙａｐｕｎｏｖ函数方法和标量Ｌｙａｐｕｎｏｖ函数方法，给出了判定离散大系统解的有界性与周期解的存在性的充分条件，并讨论了一类具有非线性时变周期离散大系统的平稳振荡存在性问题．     

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.