雷达辐射源信号双谱二次特征提取方法

现有的双谱特征提取方法可以满足信号分类识别，但是出现了交叉项、平凡双谱以及特征维数过高等一些问题。针对以上问题，提出一种双谱二次特征提取方法，将双谱转化为灰度图像，以灰度值表示双谱幅度；再利用图像处理技术提取双谱二次特征，提取出能够表征辐射源信号双谱图像纹理信息的灰度共生矩阵特征集；将该特征集与Hu-不变矩特征集进行对比实验。仿真结果表明：该方法具有更好的分类识别性能，对于CW、LFM和NLFM信号的平均识别率均达90%以上。     

关于行列有限方阵的对角化

给出了般域上行列有限无限方阵对角化（在等价意义下）问题的解答，对其中主要定理之一作了详细证明。     

关于一类不定方程有解的一般性结论

用模型论的方法证明了一类不定方程a1xr11 a2xr22 ... anxrnn=bys(其中a1,...,an,b为任意整数,r1,...,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

严格稳定理论的中介稳定理论

在连续铁有穷的公式是稠密的条件下，建立了严格稳定的理论的中介稳定理论。     

关于域上无限方阵的可逆性

考察了域上的无限方阵。对于任一域Ｋ上行列有限的无限方阵，给出其逆方阵存在性的一些基本的充分必要条件。     

不可数域的一个紧致性定理

给出关于不可数域上无限个线性方程及多项式不等式所成之集的可解性的一个紧致性定理,把全集的可解性化归其诸有限子集的可解性.并举例说明这一定理在无限维线性代数中的应用.     

某些域上无限方阵的2平方和定理

模型论中的紧致性定理,在代数中有不少应用,其主要作用在于沟通某些问题中的有限性条件与无限性条件。Abian证明了一个关于不可数代数闭域上无限方程组可解性的等价条件,也是一种特殊的紧致性结果(另外,它还可看作Hilbert零点定理的一种推广形式,作者在     

关于域上无限方阵的逆方阵

用紧致性论证给出了任一域K上行列有限的无限方阵A具有各种逆方阵的基本的充分必要条件.主要结果是:A在K上具有唯一的行列有限双侧逆方阵当且只当A的各行向量在K上无限线性无关并且各列向量也在K上无限线性无关.