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

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

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

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

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

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

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

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

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

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

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

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

弹道导弹防御系统对抗技术研究

介绍了国外导弹防御系统研制和部署过程中所考虑的进攻方可能采取的几种典型对抗措施,研究分析了对抗导弹防御系统的基本方法、技术和策略。通过使用大量诱饵或假目标、减弱弹头的雷达信号特征或红外特征、隐藏弹头的真实位置,以及进行弹头机动等一种或多种组合的对抗措施,可以有效对付那些使用外大气层碰撞杀伤拦截器的导弹防御系统。     

基于向量皮尔森相关系数的组合赋权法

针对多属性决策中属性权重的确定问题,提出了一种基于皮尔森相关系数的主、客观权重的集成方法。用权向量的相关度作为不同赋权方法重要性的度量,意义明确,计算简单,可操作性强。最后采用算例验证了此方法的有效性和实用性。     

基于CPN的TDRS操作规划建模与仿真

以中继卫星(Racking and Data Relay Satellite,TDRS)为研究对象,以有色Petri网(Colored Petri Net,CPN)为数学工具,根据自顶向下的原则和层次化建模思想,提出一种基于CPN的TDRS操作规划模型,该模型分为顶层模型、控制模型、前向链路数据接收任务与发送任务的操作规划模型和返向链路数据接收任务与发送任务的操作规划模型,有效地描述了TDRS的动态行为特性。最后,通过仿真实验得到了TDRS操作规划方案,验证了所建模型的有效性。与PDDL模型比较分析表明:所建模型可以有效引入TDRS的领域知识,能够有效提高求解效率。所建模型可以为TDRS操作规划方案的制定提供理论参考。     

反辐射导弹告警技术效能分析

基于反辐射导弹告警技术的原理,分析了反辐射导弹雷达告警技术和光电告警技术的可行性。定义了告警设备的抗电子摧毁因子,并给出了分析过程和计算模型。以命中概率为指标,对反辐射导弹告警技术的作战效能进行了分析研究。仿真得出反辐射导弹命中概率与告警设备告警距离、发现概率等参数的关系,可为反辐射导弹告警技术的研究提供一定的参考。