导弹为什么要装“复合眼”？

精确制导导弹之所以具有神奇的“千里穿杨”功夫全靠它的“神眼”——制导装置。由于作战环境愈来愈严酷、导弹作战使命越来越广泛、要打击的目标多种多样,单靠一只眼在现代战争中是不行了,必须要装“复合眼”,即一种导弹要同时有几种制导方式。比如,一种导弹同时使用惯性制导+GPS制导+地形匹配制导,以及电视、激光等末制导,或使用其中任何两种制导方式。     

关于以复合价值为基础制定装备价格的思考

文章从合理制定装备价格、促进国防军工和武器装备建设发展的要求出发,在充分肯定现行装备价格政策法规和基本原则的基础上,提出变革现行的仅仅以劳动耗费价值为基础制定装备价格的办法,代之于按劳动耗费、战技性能、供求关系、市场行情四者的平衡关系制定装备价格,并就此作了定性、定量的理论阐述。     

试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

引入攻防树思想的“软目标”恐怖袭击风险建模

为评估"软目标"恐怖袭击风险,提高"软目标"防恐安全性,以供反恐部门决策参考,设计了一种基于攻防树的"软目标"恐怖袭击风险评估模型。针对不同的袭击方式和防御策略,构建了各类攻击结点和防御结点,对两类结点的动态交互影响因素进行了参数设定,生成了攻击防御树,引入了攻击回报(ROA)、防御回报(ROD)的概念,通过计算各场景下遇袭概率、攻防成本、攻防回报值,对有安检区域和无安检区域的人群遇袭风险进行了仿真、评估和比较。仿真结果表明,要降低"软目标"恐怖袭击风险,需要提高防御措施效率。在无安检区域实施有效的人防、物防、技防策略,可显著降低遇袭风险。     

火箭助飞鱼雷作战效能评估模型

根据火箭助飞鱼雷武器系统的特点,综合WSEIAC法和过程要素法分析武器系统作战效能的优点,利用"复合要素法"建立了火箭助飞鱼雷武器系统的作战效能评估模型,在此基础上分析了影响火箭助飞鱼雷武器系统作战效能的因素。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

模糊神经时延 Petri 网的信息融合模型

将模糊逻辑与融合技术相结合得到了一种模糊信息融合方法,然后用时延Ｐｅｔｒｉ网对此信息融合系统建模,并给出了信息融合系统反应时间的一个计算公式。然后将人工神经网络应用到时延Ｐｅｔｒｉ网中,提出了一种多传感器信息融合的模糊神经时延Ｐｅｔｒｉ网模型。     

复合固体层中粘接层非线性弹性常数对二次谐波的影响

根据二阶微扰理论,给出了一定条件下复合固体层中兰姆波的具有积累效应的二次谐波的解析表达式,以此为基础,文中着重探讨了粘接层非线性弹性常数的变化对具有积累效应的二次谐波振幅的影响,结果表明,粘接层非线性弹性常数较小的变化,可从复合固体层表面的二次谐波位移振幅中得到明显的反映,显示出可以利用复合固体层中二次谐波的强烈声非线性效应,以对非进行无损评价。     

未来战场的明星武器——精确制导炸弹纵横谈

简要回顾了精确制导炸弹在现代局部战争中的使用情况,论述了精确制导炸弹的分类、特点和当前研制的重点技术、项目及发展趋势,最后警示对这种新的空中威胁必须引起防空界的高度重视。