反证法的历史沿革

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

战区导弹防御系统(TMD)对抗技术浅析

探讨了战区导弹防御系统(TMD)对抗技术的初步设想与实现方法,重点对TMD系统激光对抗技术和TMD系统红外对抗技术进行了可行性分析论证,介绍了一些具体的光电对抗措施。     

防空导弹飞行试验的引战配合性能分析方法

提出了一种对防空导弹的引战配合性能进行量化评价的方法。利用飞行试验数据对导弹目标交会及战斗部杀伤目标过程进行了仿真。     

从美国无人机的发展来看无人机在未来战争中的应用前景

从军事需求和技术推动出发,全面论述了美国无人机的发展情况,并对实战使用情况、新的无人机系列以及无人机在战争中应用的广泛前景作了分析。     

空地作战地空导弹射击的一种仿真模型研究

空地作战仿真研究中,对地空导弹射击的仿真是非常重要的一环。给出了一种地空导弹对空中目标射击的建模方法,该方法对建立战役、战术级突防或防空仿真试验系统具有较强的实用性和适用性。     

排队论方法在评估防空武器系统能力方面的应用

针对当前评估舰炮武器系统作战效能的局限性,运用排队理论,建立评估单舰防空武器系统对持续入侵空中目标负荷能力的数学模型,分析了武器配置、火力单元工作性能对系统处理多批次空中目标能力的影响.针对作战平台的安全性,提出了评估舰炮武器系统功能的参数模型,对多种情况下的系统防空能力做出理论上的评价.最后,基于最一般情况给出舰炮武器系统防空作战中的几种可行配置方案.     

给定降质约束下一类DCT域图像水印算法的拉伸系数估计

数字水印是数字作品版权保护的重要技术手段。与噪声污染类似,数字水印的嵌入必然会损失原作品的质量。数字图像的质量直接关系其商业价值,在给定降质约束下自适应地调节嵌入深度是符合产业化标准的数字水印关键技术之一。根据DCT交流系数的拉普拉斯分布模型,推导了DCT域典型水印算法中拉伸系数与信噪比和峰值信噪比之间的理论关系。依据该理论关系,得到了在给定降质约束下一类典型图像水印算法的拉伸系数估计方法,实验结果表明该估计方法具有较高的精度。     

防空中存在两次转火射击时的火力分配模型

在对空防御时 ,进行火力分配不但要考虑到一次性分配的最佳方案 ,而且应该考虑是否在条件允许的情况下进行一次或两次转火射击 ,如果存在 ,怎样进行转火才能使其射击效果最好。把威胁判断和火力分配结合起来考虑 ,以我方的生存概率为指标 ,建立了存在两次转火射击的火力分配模型 ,并用实例计算检验了模型的正确性。     

驱护舰编队舰空导弹反导能力探讨

根据驱护舰编队反导队形的配置和舰空导弹的战术技术性能 ,对驱护舰编队多舰协同反导能力进行分析 ,计算来袭目标处于不同舷角时的协同反导区域大小和协同反导时间 [1 ] 。     

多机空战目标威胁评估算法

首先介绍了几种现有的多机空战目标威胁评估方法 ,并对它们的应用进行了分析 ;在此基础上 ,提出了一种综合目标空战能力和空战态势的威胁评估算法 :威胁指数法 ;最后给出了具体算例 ,计算结果表明 ,威胁指数法可以全面、有效地完成多机空战中威胁评估和威胁排序的计算。