陆军防空兵体制编制信息化评估模型研究

针对信息化条件下陆军防空兵体制编制的主要特点和发展趋势,研究了如何定量评估其信息化程度问题。运用模糊综合评判法和综合评分分析法建立了防空兵体制编制信息化评估模型。并以某防空旅为例进行了实例测评,基本上反映了该旅体制编制信息化建设的真实水平,证明建立的模型是可行和正确的。而且,通过对不同元素测评结果的对比分析,可以清楚地看出测评对象体制编制各元素信息化建设的发展态势,找出下一步建设的努力方向。     

作战仿真本体构建研究

作战仿真可以为作战任务、作战过程、作战活动、装备效能、体系能力等复杂作战问题的研究提供有效的手段与方法。然而,作战仿真知识涉及多领域、多专业、多层次、多军兵种,存在表达形式异构、共性理解困难、重用复用不足等诸多问题,制约着作战仿真应用的建设、活动的实施、效能的发挥。提供可共享、可理解、可计算的作战仿真知识模型能够提高作战仿真的实施效率和应用效益。因此,结合本体工程和作战仿真知识特点,梳理分析了作战仿真本体的必要性,提出构建原则和构建流程,对形成具体的作战仿真知识模型具有指导意义。     

基于ISM的弹药精确保障能力影响因素分析

通过对弹药精确保障能力影响因素进行分析,基于ISM构建了弹药精确保障能力影响因素的结构化模型,将弹药精确保障能力的诸多影响因素之间的复杂关系层次化,确定了影响弹药精确保障能力的关键因素,为平时弹药精确保障能力建设和战时重点关注节点的确定提供重要参考。     

基于运动信息的空中目标模糊识别方法

为解决空中机动目标识别方法复杂且识别率不高的问题,提出了一种基于运动信息的空中目标模糊识别方法。选取了机动性较小的无控类弹以及机动性较大的制导炸弹等作为研究对象。首先,对无控类弹(榴弹、火箭弹、迫击炮弹)、制导炸弹、巡航导弹及无人机的运动特征进行分析,仿真得出目标的运动轨迹。然后,提取目标的速度、高度、加速度、俯仰角及其变化率等特征,建立基于模糊集合的目标识别算法,根据择近原则进行判定,最后,得到仿真结果。实验结果表明,所提方法应对不同目标识别效果较好,且响应速度较快,为今后作战指挥及理论研究提供支持。     

铸春秋栉风沐雨 创未来任重道远——航天三院一五九厂取得的历史性成就与启示

肩负航天三院产品研制和生产总装使命的一五九厂,是军工大型骨干企业。改革开放以来,企业传承和弘扬了航天“三大精神”,抓住难得的改革开放的战略机遇期,解放思想,锐意改革,快速发展．为履行富国强军的神圣使命,书写了瑰丽的历史乐章。     

船舶甲板机械应更加注重国产化

我国船舶甲板机械的研发能力目前已与当代世界先进水平接近,且在部分产品方面已实现“零距离”。针对本土化产品在核心技术方面仍受制于人的现状,船舶辅机专家富贵根呼吁——     

脉冲等离子体推力器羽流的粒子模拟

目前微小卫星正在积极地发展中,脉冲等离子体推力器是其推进系统的一个重要发展方向,为了能够将PPT成功地运用于空间,需对其羽流进行研究.将DSMC(Direct Simulation Monte-Carlo)/PIC(Particle in Cell)流体混合算法与一维MHD放电模型相结合,一体化模拟NASA Glenn PPT羽流,对不同出口偏转角的羽流场进行模拟,并与实验结果进行了比较.计算结果显示引入出口速度的偏转角提高了模型的羽流扩散能力,羽流的扩散角是影响羽流的一个主要因素.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于模糊综合评判的装备软件可靠性分析

可靠性是衡量装备软件质量的重要参数,但由于软件可靠性的特点,在实际对装备软件可靠性定量分析往往很难,甚至不可能。从软件质量框架模型出发,结合装备软件的特点,分析了影响装备软件可靠性的几个参数,提出了一种运用模糊综合评判方法对装备软件可靠性进行定性分析的方法。该方法简单,可行性强。最后,给出了一个实例。