一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

多重网格法求解静电像管三维电场的若干问题研究

详细讨论了多重网法数值求解三维静电场的若干数学问题,诸如三维多重网格法的限制与延拓公式推导、确定静电像管三维电子光学系统中的锥面电极、圆筒电极、球面电极、圆孔膜片电极、孔电极等的空间位置及范围的方法、以及迭代计算的逻辑尺编码方法等,为像管电子光学系统设计及优化设计奠定了良好基础.     

层次分析法在潜艇作战能力评估中的应用

本文采用层次分析法（AHP：Analysis Hierarchy Process）与Delphi相结合的方法对潜艇的作战能力进行了科学评估,不仅可以为潜艇的作战使用提供指导,也可为潜艇的改进和发展提供量化依据。     

用遗传算法实现雷达网目标分配

通过对雷达网目标分配问题的深入研究,建立了数学模型.为了获得发现概率最大的目标分配方案,引入了遗传算法来对模型求解,并给出了实现的步骤和方法.最后经过验证,证明该方法应用在雷达网目标分配问题上切实可行.     

一种基于VPRSM的辐射源模糊识别方法

为解决辐射源识别的问题,研究利用变精度粗糙集模型来确定辐射源识别特征权值的方法。由概念的正域中对象类的条件属性的描述,得到该概念的充分条件,并依据知识间的依赖性作为所要考虑的因素来获取特征权值,同时结合模糊集理论,提出一种基于变精度粗集特征加权的辐射源模糊识别方法。最后将此识别方法模型应用于雷达辐射源用途识别,仿真实验及其结果验证了该方法的可行性和有效性。     

箔条质心干扰与舰空导弹综合反导兼容性研究

为从战术角度解决舰载箔条质心干扰和舰空导弹综合反导过程中存在的互扰问题,从理论角度对兼容反导可行性进行了探讨,其中着重就综合反导空域兼容进行建模判定,得出了空域兼容性分析的一般方法,并结合不同作战环境和舰艇机动情况对该方法进行仿真试验,得出了箔条质心干扰和舰空导弹反导战术兼容使用原则和结论.     

多层弹道导弹防御体系射击策略研究

主要利用离散马尔可夫链(DTMC)对多层弹道导弹防御系统反导作战射击策略问题进行了研究.定义了多层弹道导弹防御体系防御层识别矩阵、拦截矩阵、综合防御能力矩阵等描述多层弹道导弹防御体系防御层作战能力的相关概念,建立了多层弹道导弹防御体系的DTMC模型.在此基础上,应用多层弹道导弹防御体系的DTMC模型对多层弹道导弹防御体系射击策略对作战效能的影响进行了预测分析,最后应用实例验证了模型的有效性及实用性.研究结果可为制定多层弹道导弹防御体系射击策略问题提供决策依据.     

舰空导弹武器系统信息化发展对策

为打赢未来海上信息化战争,作为舰艇编队盾牌的舰空导弹必须适应信息化发展的要求。主要研究了国外舰空导弹作战体系发展和美军"网络中心战"思想,提出了必须尽快发展具有实战能力的舰载和空中平台装载的舰空导弹协同作战系统,提高舰空导弹的信息化水平,研究相关的信息对抗手段及电子对抗装备,确保舰空导弹在复杂电磁环境下正常工作。     

末制导雷达抗干扰性能评估系统工程实现

噪声干扰是现代电子对抗中对付雷达的主要干扰形式之一。在压制式噪声干扰下,制导雷达无法提取目标角度等信息,使雷达失去工作能力。现代雷达工作者采用多种方法已研制出多种抗压制干扰的雷达。为了验证雷达的抗干扰性能,一套工程上易于实现的、实用性强的雷达压制干扰系统成为抗压制干扰雷达生产应用的必要检验手段。     

基于EKF算法的弹道导弹助推段跟踪建模与仿真

围绕弹道导弹助推段跟踪问题,分析了助推段反弹道导弹的基本作战过程,建立了弹道导弹助推段动力学模型,分别就单传感器/单弹道导弹和多传感器/多弹道导弹两种情况建立了基于EKF算法的弹道导弹助推段跟踪模型,并通过算例验证了模型和算法的有效性,可为助推段反弹道导弹建模与仿真提供一定的参考。