反证法的历史沿革

反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。     

共形阵机载相控阵雷达统一杂波建模与分析

针对机载雷达任意形状共形阵列,在考虑阵元方向图及其安装指向的情况下,给出了阵元级统一杂波模型,在此基础上对共形阵的空域匹配滤波器进行了研究,给出了与常规平面阵不同的共形阵空域匹配滤波器形式.最后通过对几种典型机载共形阵天线的杂波仿真,分析了共形阵机载相控阵雷达的杂波分布规律,验证了模型的合理性,得出了有用结论.     

虚拟小区多层蜂窝技术在战术通信中的应用

介绍了个人通信系统PCS（Personal　Communications　System）的基本概念、结构和技术,重点比较了基于蜂窝和Ad Hoc2种联网结构形式的PCS性能差异,并针对未来战争对军事通信系统的要求,提出了一种以虚拟小区VC（Virtual Cell） 为基本结构单元的多层蜂窝战术移动通信系统。     

作战活动分析方法与建模

作战功能是作战节点具备的履行作战活动的能力,作战任务是作战节点履行作战活动的原因和目的.首先,从研究作战任务、作战功能、作战活动等基本概念着手,分析作战任务、作战功能和作战活动三者之间的关系.然后,建立模型,通过数学关系式a=A(f,t)说明作战活动是作战功能、作战任务的二维函数,作战节点履行什么作战活动由作战功能和需要完成的作战任务共同决定;在此基础上,构建作战功能、作战任务、作战活动三者的关系矩阵,用关系矩阵的形式分析、描述作战节点履行的作战活动;最后,结合IDEF0建模方法,给出分析、确定作战活动的基本步骤.     

基于分组稀疏分析的高分辨距离像目标识别算法

因目标所处环境及探测用宽带雷达工作机理等因素的制约,实测距离像样本不仅繁多且可能混有干扰,为克服因此带来的识别困难,优化识别效果,稀疏分析提供了一类压缩样本数据并提升数据分析质量的研究思路.提出了一种依据分组稀疏分析策略开展雷达一维距离像稀疏分解,从而识别目标的方法.为了进一步改善识别算法的噪声鲁棒性,提升其实用性,算...     

基于OCSVM和MCSVM的新故障检测与诊断技术研究

针对SVM故障诊断方法无法对新故障模式进行有效检测的问题,在阐述OCSVM原理的基础上,详细分析了各种参数对其性能的影响,提出了基于OCSVM和多类分类MCSVM相结合的新故障检测与诊断方法．实验结果表明,该算法在故障诊断及新故障检测方面有较高的精度,具有良好的推广性．     

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

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

基于多模型的模拟电路软故障诊断

针对电子装备模拟电路故障诊断过分依赖专业技术人员和诊断专家的不足,提出利用信息融合技术,综合极限学习机(ELM,Extreme Learning Machine)、支持向量机(SVM,Support Vector Machine)以及BP(Back Propagation)神经网络等智能故障诊断模型,对模拟电路软故障进行诊断的故障诊断方法。通过对不同模型分别输入不同频率的电压信号,得到每个模型的诊断结果;采用DS(Dempster-Shafe)证据理论对每个模型诊断结果的可信度进行评估,确立每个模型诊断结果的组合置信度。通过不同模型诊断结果的决策层融合,最终获得诊断结果。以某型装备滤波电路的故障诊断为例,多模型融合诊断结果的准确率比单一方法模型的诊断准确率有了明显的提高,证明了该方法的有效性。     

武警院校指挥类“合训”学员军事素质科学评价研究

针对武警部队第一批指挥类“合训”学员,选取部分“合训”学员的军事体能考核成绩,利用多元统计中的主成分分析方法,构造科学、客观的评价函数,对学员军事体能考核指标体系进行综合评价,并对每一名学员考核成绩排序,为武警部队“合训”学员教学、管理提供参考。     

封套封存环境透湿模型及应用

利用封套对装备进行集合封存具有轻便、廉价、可靠等优点,它可建立一个阻隔封存环境以解决野战条件下各种装备的防潮问题。通过分析封套封存环境的各种潮湿因素,建立了封套封存环境透湿模型。利用该模型对现有干燥剂用量的计算方法进行了改进。