面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

应用于有源消声的变换域LMS算法

针对自适应有源消声最常用的滤波—XLMS算法(FLMS)运算量小、收敛缓慢、宽带消声效果差等不足之处,利用误差通道滤波特性,提出了变换域滤波—XLMS算法。新算法的突出优点是收敛速度较快、宽带消声效果较好。     

二维 DFT 和 DCT 的 Systolic 阵列

超级计算中一个活跃的研究领域是将某些有限和,如离散富里叶变换(DFT)、离散余弦变换(DCT),映射到多处理机阵列上。本文首先通过二维DFT的行列分解算法流程图,给出了计算二维DFT的二种Systolic阵列:一种是由N_1个处理器组成的线性阵列,所花时间步为O(N_1N_2)(设二维DFT为N_1×N_2长的),与行列分解算法在单处理机上顺序执行所花时间相比,加速比为O(N)(设N_1=N_2=N)。这一结果无论是在时间消耗,还是在PE数量上都是目前最优的。另一种是由N_1×N_2个处理器组成的矩形阵列,所需时间为O(N_1+N_2),与行列算法在单处理机上顺序运行所花时间相比,加速比为O(N~2)(这里仍假定N_1=N_2=N)。本文还给出了二维DCT的与二维DFT相似的Systoilc阵列结构。不难将上述阵列推广到多维的情况。     

潜艇占位可行性分析

目标、潜艇及其鱼雷武器系统和水文环境是潜艇鱼雷攻击的基本条件。占领射击阵位是攻击中所要完成的基本任务之一。从分析鱼雷射击可行域、潜艇机动可行域入手给出了在一定攻击条件下的潜艇占位可行域。     

极化域-空域联合估计在反辐射导弹抗诱偏中的应用研究

提出了将极化阵列应用到反辐射导引头上,导引头利用目标与诱饵的极化差异,采用极化域-空域联合估计方法抗诱偏。首先,利用波达方向矩阵法,估算出雷达与诱饵的空间二维到达角和极化参数,将估算出来的二维到达角信息为反辐射导引头提供导引,极化参数用来鉴别雷达与诱饵,从而达到抗诱偏的目的。然后,结合导弹运动方程及导引方程对反辐射导弹抗三点源诱偏进行了全弹道数字仿真,并且采用Monte-Carlo方法对全弹道仿真进行了多次实验,仿真结果证明了将极化域-空域联合估计应用于反辐射导引头抗诱偏的可行性。     

红外与可见光图像融合算法性能评估

在研究小波分析的基础上,鉴于不同小波函数和融合规则对融合效果的影响,通过改变小波函数和融合规则对红外与可见光图像进行大量融合实验;首先,研究了不同类型小波函数的性质,分析了不同融合算法的特点;接着,对融合实验结果进行了定量分析和比较,为不同应用目的和场合正确选择合适的小波函数和融合规则进行红外和可见光图像融合提供了理论依据.     

高阶累积量自适应波束形成的改进算法

针对线性约束最小方差(LCMV)算法在自适应波束形成时,存在的对噪声敏感、信噪比(SNR)较高时波束形成受小特征值扰动影响较大的情况。在基于高阶累积量的LCMV算法的基础上提出改进方法。该方法首先计算阵列接收数据的高阶累积量,然后对高阶累积量构造数据增广矩阵,进行奇异值分解求出伪逆,再用伪逆修正LCMV算法的权值,形成波束。仿真结果表明,相比于传统LCMV算法与基于高阶累积量的LCMV算法。算法能够有效地克服信噪比升高时小特征值扰动对波束形成的不良影响,且在较低快拍数下仍能有效形成波束。     

认知域的公域特性及其关键技术

伴随着“认知域”作战概念被引入军事领域，现代战场已经形成了物理域、信息域、认知域三大作战维度。认知域已经成为美国战略空间拓展的主要战场之一。按照习主席关于要打好意识形态领域“制脑权”战争的思想，更需要重视认知域的攻防，研究相关技术，才能在没有硝烟的战场上不落下风。     

美军“多域战”概念探析

"多域战"概念由美陆军率先提出,是美军在联合作战概念上的又一次创新。"多域战"是美陆军力图拓展多领域作战能力、美军反制"反介入/区域拒止"威胁和打造在未来高强度对抗战争中的新优势的有力手段。"多域战"概念具有作战领域多维扩展、要素体系高度融合、指挥体制扁平灵活、军队编制精简多能和技术装备革新整合的特点。近年来,美军不断推动"多域战"的完善,为其发展提供了理论支撑、科技支撑、实践支撑和智力支撑。美军"多域战"概念的实施前景挑战与机遇并存。     

随机系数线性方程组的正解问题

通过建立摩擦片磨损量的数学模型,引出了随机系数线性方程组的求解问题.通过分析其解的统计分布,给出了一个相关定理,阐明了解的分布为对称分布,且其负分量出现的概率大于零.利用优化思想,给出了在信赖域法下求数值化正解的近似解的算例.