面向验证的启发技术设计

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

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

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

潜艇占位可行性分析

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

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

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

单信道时频重叠MPSK信号的调制识别方法

提出一种基于高阶循环累积量的调制识别算法,用于解决单信道两个时频重叠M PSK信号的调制识别问题。对接收到的重叠信号进行预处理,计算其四阶循环累积量,提取分类特征参数,采用最小误差准则算法实现时频重叠双信号的自动分类。理论分析和仿真试验结果均证明了算法的正确性和有效性。     

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

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

美军“多域战”概念探析

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

采用正交分集的灵巧噪声干扰对抗方法

针对数字射频存储干扰机多通道宽带转发模式下的灵巧噪声干扰,提出了基于混沌调制信号、多谐波相位调制线性调频信号的正交分集抗干扰方法。混沌调制信号与多谐波相位调制线性调频信号具有"图钉"形模糊函数,除了具有良好的距离、多普勒分辨力,还对回波频率敏感,通过正交分集设计,能够更好地适应宽带转发灵巧噪声干扰。通过计算机仿真对新方法的抗干扰性能进行了分析和验证,结果表明:在多通道宽带转发灵巧噪声干扰环境下,新方法的抗干扰改善因子能够达到10 d B以上,抗干扰性能明显优于传统的频率捷变、斜率捷变方法。     

BOC调制信号相关检测算法

针对BOC调制信号的相关特性,提出一种针对BOC调制信号载波频率、扩频伪码速率和方波副载波速率的相关检测算法.为验证算法的有效性,在仿真环境下对算法进行仿真,并在不同信噪比下对算法性能进行分析.仿真结果表明,BOC调制信号相关检测算法能有效的实现对BOC调制信号的载频、扩频伪码速率和方波副载波速率的检测.     

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

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