反证法的历史沿革

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

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

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

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

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

航空电子多总线记录系统的设计与实现

讨论了某型航空电子设备的数据记录系统的设计与实现 ,主要探讨了此系统的软、硬件开发 ,系统组成及其信息流。系统采用了 ARINC4 2 9总线和并行总线 ,将各个子系统连接起来 ,实现数据的综合处理、综合控制、综合传输 ,在实际应用中收到了很好的效果     

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

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

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

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

管理监督领导干部要"四到位"

坚持从严治党,必须建设一支高标准的领导干部队伍,把好新任领导干部的选拔任用关.同时,要认真做好在职领导干部的管理监督工作,做到思想政治教育到位,强化党内监督到位,组织协调配合到位,制度建设落实到位.     

基于遗传算法的目标分配问题研究

通过对地空导弹部队射击指挥中目标分配问题的分析,建立了目标优化分配数学模型。在此基础上,给合遗传算法对模型进行求解。通过在具体实例中的应用表明,采用遗传算法为有效地解决这一复杂组合优化问题提供了一种新途径。     

系统配套，协调发展——关于加强技术保障装备建设的思考

依据现代高技术战争的特征和装备保障需求 ,分析了加强技术保障装备建设的重要性及必要性 ,阐述了当前技术保障装备发展的基本趋势和特点 ,提出了系统配套 ,协调发展 ,构建我军完备的技术保障装备体系的基本思路     

航母舰载机对空防御作战出航保障指挥决策建模

基于Agent的航母舰载机对空防御作战出航保障指挥决策系统,由数据部分和Agent组织部分组成.前者又含数据库、模型库、知识库、相关管理系统和MIS.后者包括五大决策Agent,通过界面Agent与用户进行交互,而与数据部分的交互则由DB监理Agent统一完成.对于系统内决策Agent的设计,可首先针对五大决策Agent的模板进行设计,再对其功能层进行实例化.