高阶相关调制分类原理、判决门限与仿真研究

信号的自相关函数由傅里叶变换与其功率谱相联系。Beidas和Weber揭示了自相关函数与似然函数的关系 ,并建立了高阶相关调制分类方法。推导了用信号高阶相关代替似然比进行MFSK调制分类的基本原理 ,推导了截断似然比检测性能分析的基本公式 ,研究了高阶相关调制分类门限设置方法 ,进行了MFSK调制分类计算机仿真试验。结果表明该方法是可行的 ,并可望用于其它问题中。     

一类四阶方程边值问题正解的存在性

得到了一类四阶方程边值问题相应的Green函数。从而将该问题转化为相应的Hammerstein型积分方程，并利用锥拉伸与锥压缩不动点定理，证明了它在一定条件下，至少有一个正解。     

STABILITY CRITERIA FOR A CLASS OF UNCERTAINSYSTEMS WITH TIME—DELAY

Some stability criteria are obtained for a class of uncertain systems with time-delay usingLyapunov functional and analytic techniques. It is easy to check the criteria by making use of theboundedness of the uncertainties.     

瑞利噪声环境中水下目标辐射信号增强算法

提出了基于高阶累积量广义函数迭代的自适应滤波算法，证明了该算法的收敛性，给出了广义函数的几种具体表示式。用该算法对瑞利噪声环境中水下目标辐射信号谱增强进行了仿真研究。结果表明：该算法具有很强的抑制瑞利(白或色)噪声的能力。因此，该算法在提高水下探测系统对水下目标的检测能力方面有重要的应用价值。     

第一临界情形下的三次系统局部结构的判断准则

讨论了第一临界情形下的平面三次系统高次奇点的局部拓朴结构，并给出利用多项式系数的判断准则。     

关于指数丢番图方程x~2+(3a~2+1)~m=(4a~2+1)~n(英文)

应用Bilu,Hanrot和Voutier关于本原素因子的深刻理论及二次丢番图方程解的表示等方面的精细结果,完全解决了指数丢番图方程x2+(3a2+1)m=(4a2+1)n在3a2+1为奇素数或奇素数幂时的求解问题.     

工业CT重建图像中边缘梯度效应引起的高频伪影

为研究伪影对大型工件内部密度锐变区域高对比度微小缺陷检测的影响,从一个简单的轴对称断层模型出发,计算了边缘梯度效应引起的通过物体内部不同材料交界面处的射束的投影偏差。并研究采样相位的影响,探讨了由此偏差引起的重建图像中的高频伪影的表现形式。计算结果表明,高频伪影具有相当的强度,且具有与缺陷相似的表现形式,从而影响工业CT的检测能力。结合点扩散过程,高频伪影强度的计算为评估工业CT边缘处的缺陷检测能力提供了理论依据。     

关于中心和焦点判别问题的一个计算机程序

利用maple数学软件强大的符号运算功能，给出一个maple程序，用它可解决原点是系统{dx/dt=y ^∞∑j=2 Xj(x,y), dx/dt=-x ^∞∑j=2 Xj(x,y),其中Xj(x，y)，Yj(x，y)均为x和y的j次齐次多项式的任意阶细焦点或中心判别问题。     

关于高阶线性微分方程解的正规性问题

研究了高阶线性微分方程f^(m) an-1f^(n-1) … a1f′ a0f=F的解的正规性问题，其中ai(0≤i≤n-1)均为多项式，F是正规的超越整函数，我们证明了若σ(F)≥1 max 1≤i≤n degan-i/i,则方程的解均是正规的．我们还在上述方程的系数为有理函数，F为正规的超越亚纯函数的情况下，证明了只要方程的系数组成的代数方程满足一定条件，那么所有解均是正规的．     

二叉分裂算法的随机路径长度

用泊松变换的方法研究了由二叉分裂算法所产生的随机树上的随机路径的长度,首次得到了关于其数学期望的确切表达式.在此基础上,对该期望的渐近性状进行了分析,证明了当被分裂的集合的大小n趋于无穷时,随机路径长度的期望具有log2n的阶.