超空泡武器技术

2000年8月,俄罗斯最先进的“奥斯卡Ⅱ”级“库尔斯克”号核潜艇在演习时发生神秘爆炸,沉没于巴伦支海海底。有一种传闻说,致使潜艇沉没的爆炸与一种超声速鱼雷的试验有关。今年初,美国商人埃德蒙·波普在莫斯科因涉嫌从事间谍活动被逮捕。据说被捕原因是他刺探并购买一种超声速鱼雷的情报。各种迹象表明,这两起扑朔迷离的事件都涉及到一项高度机密的尖端武器技术——     

γ射线暴对卫星探测空间核爆的影响

简介γ-射线暴现象。指出了γ-暴可能是卫星探测空间核爆的重要背景辐射干扰源;通过适当选择对各种辐射强度的探测阈值,有可能基本消除γ-暴的影响。     

脱胎换骨新陆军

随着信息时代的到来和新军事革命的兴起,陆战不再是“地面战”、“火力战”、“机动战”的代名词,“信息战”、“指挥控制战”、“精确打击战”等已加入到陆战系列之中。放眼21世纪,信息技术、纳米技术、新材料技术、新能源技术等高新科技的广     

一种结构化的编译型 PROLOG数据库及其管理策略

PROLOG数据库存放着构成PROLOG程序的子句以及表示成子句的全局数据,它的组织与管理是实用PROLOG系统的关键,这一点在提高执行效率的编译型PROLOG系统中尤为如此。本文以YH-SIM——一个扩充了的WAM模型为基础,提出一种新颖的编译型PROLOG数据库结构形式,其中·过程中的子句索引与子句彼此分离; ·子句索引块分成多个专门的子索引块; ·一个子句按两种形式存放,子句代码和子句项(源子句形式)。二者分离且共享同一索引,因此代码库和项库的管理是一体化的。这些结构化的特征,有力地支持PROLOG数据库的操作及管理(子句的插入删除,以及空间分配与回收)。文中还介绍了一种简明有效的管理方法。     

受限空间油气抑爆模拟实验

针对受限空间的特点,建立了油气爆炸及其抑爆模拟实验系统,研制了新型高效超细粉体抑爆剂,对受限空间油气爆炸及其抑爆过程进行系统的实验研究,分析了抑爆机理.研究表明抑爆剂的喷射方式、喷射压力、喷射用量以及布置方式等因素对抑爆效果有着重要的影响,得到了抑爆装置的关键设计参数,为进一步研制抑爆装置奠定了实验和理论基础.     

CacheFI: 一种片上缓存的体系架构级故障注入工具

与逻辑电路相比,SRAM存储单元更易受工艺偏差和老化磨损的影响,体系架构级的缓存容错技术被认为是应对永久位故障率较高时的有效手段,但片上缓存故障注入工具尚不多见,影响了对这些缓存容错机制的验证,测试和评估。因此,提出了CacheFI,它是一个基于Simics的缓存故障注入工具,采用了故障生成和注入分离的设计,故障生成是随机分布,模式和时序三个方面的结合,故障注入则考虑了故障可重现性和模块化的需要。在全系统模拟器Simics上,针对15个选自SPEC CPU2000的测试程序,通过CacheFI进行片上缓存故障注入,演示了对Buddy,MAEP等典型的体系架构级缓存容错机制的容错能力和性能的评估。     

基于舰载主动声纳的水下目标距离精确测量方法

针对舰载主动声纳对近程水中目标的测距特性,研究舰艇航行情况下主动声纳对水中目标的距离测量原理,提出基于舰载主动声纳的目标距离精确计算模型,并在对目标距离测量精度影响因素分析的基础上,提出了适合工程应用的改进计算模型。计算对比结果表明,该改进计算模型可有效提高舰载主动声纳对水中目标距离的测量精度。     

军营挥毫书国防

白狼,中国当代狂草大家,艺术评论家、剧作家、画家、雕塑家、园林艺术、城市景观空间艺术设计师、高级工程师。政协全国书画院常务理事、解放军八一画院特聘书法家、北京伟人书画院、书法院院长,加拿大美术家协会副主席,日本东京书画院副院长,中国书协会员。     

一种基于虚拟阵元的超波束形成方法

针对超波束形成方法(Hyper Beam-forming,HBF)在实际应用中的不稳定问题,依据阵元间协方差矩阵同一斜对角线上不同元素具有相同相位差的特点,提出了一种基于虚拟阵元的超波束形成方法(Hyper Beam-forming Based on Virtual Array Element,VAEHBF)。该方法按互相关法对接收阵进行虚拟扩展;按HBF思想分子阵分裂波束形成;对分裂波束形成结果进行合成,得到改善的超波束形成结果。数值仿真和实测数据处理结果表明,相比HBF方法,该方法通过对接收阵进行虚拟扩展,在保持分辨力不变的情况下,可进一步提高合成波束增益,对信噪比的适应能力得到了3 dB提高,提高了HBF的目标检测性能及方位估计能力。     

基于特征空间中类别可分性判据的特征选择

针对支持向量机首先要将数据通过一个非线性函数映射到高维特征空间,从而在特征空间中改变了数据的分布,因此在设计支持向量机分类器时有必要在特征空间进行特征选择,而非原空间。提出在特征空间中利用类别可分性判据进行特征选择,将类内类间距离引申到特征空间来计算可分性判据。通过仿真,该方法能够有效地在特征空间进行特征选择。