基于频率补偿的时延估计方法

由于2个测量站的通道幅相不一致而导致送给时延估计器的两路信号的频率有差异,继而影响时延估计和系统定位精度。首先理论推导了频率差异是如何影响广义相关时延估计的,接着应用频域相关函数对频率差异做准确估计和补偿,最后给出了频差补偿后的时延估计方法。以4种常用通信信号为例,仿真验证了不同信噪比下所提出方法的正确性和有效性。     

脉冲压缩雷达系统分析与仿真研究

基于信号处理工作系统(SPW)仿真平台,对脉压雷达信号处理系统进行了建模与仿真技术研究。建立了脉压雷达信号处理系统的仿真模型,同时,利用仿真技术的优势,对脉压雷达信号处理系统的抗干扰(杂波、干扰和噪声)性能进行了仿真,仿真结果表明该雷达信号处理系统具有一定的抗干扰性能。上述工作为脉压雷达信号处理系统的工作过程描述、方案论证、性能评估和挖潜改造提供了仿真依据及技术支持。     

基于RWG基函数的电场积分方程的奇异性处理

采用矩量法分析导体三维散射体时,基于RWG基函数的电场积分方程存在奇异性,如果直接使用数值积分,则准确性很低。为了得到准确的积分结果,将被积函数拆分为2部分,对于无奇异点的部分直接使用数值积分求解,而对于包含奇异点的部分通过积分变换简化被积函数,得到解析表达式,计算实例验证了这种方法的正确性。     

以数据为中心的天基预警系统视图模型研究

借鉴美国国防部体系结构框架思想(Department of Defense Architecture Framework,DoDAF),从核心体系结构实体、体系结构建模集和建模步骤几方面研究了以数据为中心的体系结建模方法,针对天基预警系统的特点和在反导中的应用,采用体系结构工具System Architect（SA）从系统层面建立了典型的天基预警系统的系统视图模型,对理解天基预警系统体系结构、开展天基预警系统顶层设计研究具有一定的参考价值。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

基于空间时频分布的欠定DOA估计

波达方向（DOA）估计是阵列信号处理领域的热点问题,但经典的DOA估计方法通常要求阵元数大于源信号个数,即满足超定条件。而在实际中往往面临的是源信号个数大于阵元数目的欠定条件。提出了一种基于空间时频分布的MUSIC扩展算法,该算法通过将空间时频分布矩阵进行拓展,实现了欠定条件下的DOA估计。相比时频MUSIC算法,该算法能同时适应超定和欠定条件;相比已有的欠定DOA估计方法,该算法在保证DOA估计精度的情况下,放宽对源信号稀疏性的要求,同时降低对快拍数的要求。仿真实验结果表明了本文算法的有效性。     

混合气体识别的响应等效性与瞬态信号正交分解模型

针对目前混合气体识别大多采用传感器稳态响应信号、基于线性混合假设或大量样本学习,而瞬态响应信号特征分析主要应用非正交分解的问题,提出一种基于响应等效性与瞬态信号正交分解的混合气体识别模型。分析金属氧化物半导体传感器对混合气体的响应特性,建立基于气体响应成分等效性假设的气体非线性混合模型,在此基础上,提出并应用一种新的正交基函数——扩展类Legendre正交基,对气体传感器瞬态响应信号进行分解;通过对正交分解系数与气体浓度的回归分析,验证二者之间的指数型关联关系,并以正交分解系数为特征参数,利用气体非线性等效混合模型对混合气体分解与辨识。实验结果表明,尽管这种混合气体识别模型仅用单一气体检测的先验知识,对混合气体的识别误差仍可达到15%以内。     

战役战术导弹部队机动作战面临的空中威胁分析

在分析战役战术导弹部队机动作战面临空中威胁可能性的基础上,研究了其遭敌空袭兵器和空袭战术威胁情况,并对战役战术导弹部队机动作战的各阶段遭敌空袭的威胁进行了探讨。在分析空中威胁时,借助美军主导的近几场局部战争的经验教训,总结了敌攻击战役战术导弹部队机动作战所使用的空袭兵器和空袭战术,以便在抗击敌空袭兵器时更具有针对性和现实性,以期为未来防空作战提供有益借鉴。     

要地防空导弹飞行试验指挥显示系统的设计

通过对靶场导弹飞行试验发射阵地指挥显示系统的介绍,阐明了试验指挥系统设计的思路、显示内容、建立原则和实现方法,其中重点对系统相关设计和技术实现方法进行了详细阐述。     

字节流对象模型的设计和应用

航天技术的快速发展对任务数据处理提出了更高的要求。针对任务数据格式具有层次嵌套、变化频繁的特点,结合Composite模式设计了字节流对象模型(BOM)。BOM模型具有表述能力强、可灵活扩展的优点。该模型在航天任务数据处理软件中得到了应用,使得软件具备较好的可扩展能力。