自收缩序列的周期和线性复杂度稳定性

周期稳定性和线性复杂度稳定性是衡量周期序列不确定性和随机性的重要指标．利用序列有理分式表示及极小多项式，研究了自收缩序列，讨论了自收缩序列周期稳定性和线杂度稳定性，得到了自收缩序列分别在1重量、2重量时的周期及其复杂度．     

基于LDO限流技术的辐射闩锁防护技术

讨论了CMOS器件受辐射感生的闩锁与电气感生的闩锁的异同点，研究并提出了一种基于限流型低压降线性调整器的闩锁防护方法，给出了卫星用线性调整器电路的地面总剂量摸底试验数据及空间飞行试验验证结果和解决星载计算机的闩锁防护与恢复问题的有效方法．     

Turbo码删截序列全相关特性的进一步研究

在统计的基础上用全相关的概念对相关序列的全相关持性进行了深入的分析和研究，证明了有关全相关的几个定理和性质，给出了具体的例子，并推导出了计算相关序列之间相同组合数的简化算法，对Turbo码的删截序列进行了分析和计算，对几个不同的交织器求出了不同的删截矩阵所对应的删截序列之间的全相关函数值，通过模拟仿真显示删截序列之间的全相关特性也是影响Turbo码误码特性的一个重要因素，从而为交织器的设计，删截矩阵的选取又提供了一个理论上的依据。     

Novel anti-noise-uncertainty spectrum sensing algorithm based on power spectral density segment cancellation

Since noise uncertainty seriously degrades the spectrum sensing performance of energy detection algorithms, a novel spectrum sensing algorithm based on the power spectral density segment cancellation (PSDSC) is proposed. This spectrum sensing algorithm, which can yield real-time and robust performance, makes use of the un-correlation of different power spectrum lines and takes the ratio of some PSD (power spectral density) lines to the residual PSD lines as the detection statistics. Theoretical analysis and simulation results show that the PSDSC algorithm can overcome the noise uncertainty problem effectively and that the decision threshold does not vary with the ambient noise level of secondary users. The PSDSC algorithm could offer a high probability of detection (P_d) at a low probability of the false alarm (P_fa) for a wide range of signal to noise ratios (SNR) and could be applied to spectrum monitoring and cognitive radio systems in the complex electromagnetic environment.     

一种可提高安全通信距离的诱骗态量子密钥分发方案

为提高量子通信安全通信距离,提出一种将修正的相干光(MCS)用于诱骗态量子密钥分发的方案．通过削除弱相干光源中的两光子脉冲,降低多光子脉冲的影响,从而提高安全通信距离．理论分析得到了采用MCS后的单光子计数率和误码率的数学表达式．仿真结果表明,在相同的密钥产生率下,此方案将量子通信的安全通信距离提高约10％,接近完美诱骗态方案的安全通信距离．     

姿态图像缺失情况下的SAR目标识别

针对目标姿态图像缺失的情况,提出通过姿态图像合成的方式增加训练集的姿态覆盖程度,并将扩充后的图像也用于训练目标分类器.受稀疏表示模型的启发,建立了一种合成孔径雷达图像姿态合成模型.该模型根据少量已知姿态的图像,线性组合出缺失姿态下的近似图像.在运动和静止目标获取与识别数据集上的实验表明,通过合成缺失姿态下图像的方法可有效提升目标识别的精度,特别是在训练数据集中姿态缺失严重时,文中方法提升尤为明显.     

模型检验中对CTL公式的空属性探测

在模型检验中建立了一种新方法：检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性．根据原子命题的极性,用TRUE 或FALSE替换原子命题,得到一系列的CTL公式,再对这些CTL公式用模型检验工具验证,若CTL公式中有一个通过了验证,则可得出该系统属性是一个空属性．该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换,只需对原子命题替换,这样检验的次数与原子命题的个数呈线性关系．利用验证综合系统对十字路口交通控制器规范的空属性进行了检验．     

利用尺度不变量特征的ISAR二维像自动识别技术

在平移、旋转、投影和遮挡等条件下,逆合成孔径雷达对目标成像不理想,会导致逆合成孔径雷达二维像目标识别困难．针对这个问题,提出了一种新的逆合成孔径雷达二维像特征提取方法,可以在不同的目标姿态获得有效的识别结果．利用尺度不变量变换,提取逆合成孔径雷达二维像的尺度信息,并按照从大到小的顺序重新排列,称为顺序尺度．将顺序尺度截取相同长度作为不变量特征,利用基于支持矢量机的识别算法选择RBF核函数,对逆合成孔径雷达二维像进行目标识别．仿真结果表明,利用顺序尺度作为特征变量,可以对逆合成孔径雷达二维像进行有效识别．     

二代曲线波图像恢复模型及其算法

假定图像属于Besov空间,可以利用小波系数和Besov范数的等价性来度量图像小波分解的稀疏性． 但是,小波并不能十分有效地表示光滑函数的边界,而曲线波对于具有C2奇异性的光滑函数能够达到渐进最优的稀疏表示． 基于上述分析,提出了新的二代曲线波的图像恢复模型,运用曲线型分解空间来刻画二代曲线波系数的稀疏性． 此外,利用广义条件梯度法得到了迭代硬阈值算法,并给出了解的收敛性定理和停止准则． 实验表明新算法比已有方法具有更高的信噪比和更好的主观视觉效果．     

分布式MIMO雷达双门限GLRT CFAR检测

在分布式多输入多输出雷达目标检测中,为降低融合中心与局部雷达站之间的数据传输率,提出了一种双门限广义似然比恒虚警率检测算法.首先对局部广义似然比检验统计量进行第一门限判断,将过门限的局部检验统计量传送给融合中心.然后在融合中心进行融合检测,与第二门限比较得到判决结果.推导了双门限广义似然比检测器的虚警概率闭式解.仿真结果表明,双门限广义似然比检测算法在降低数据传输率的同时能保证较好的检测性能.