基于ISM的战略级弹药订购因素分析

订购因素分析是实施战略级弹药订购亟需解决的关键性问题,为详细而准确地筹划、建设和运用弹药资源,实现合理的弹药储备规模、储备结构以进行精准弹药保障具备重大意义。在弹药订购目标分析的基础上,从顶层设计、需求来源、弹药后勤能力、生产能力储备、订购经济效益、弹药保障效能等6个方面出发,构建由16个因素组成的弹药订购决策影响因素体系,利用解释结构模型对影响因素进行分析,得到了战略任务、经费投入、储存能力、生产能力4个弹药订购关键影响因素,为战略级弹药订购工作改进提供基础。     

基于测试码并行的同步时序电路故障模拟方法

将组合电路故障模拟的一些加速技术推广到时序电路故障模拟中,提出并实现了一个功能块级的基于测试码并行的同步时序电路故障模拟方法,对部分ISCAS89 Benchmark电路的模拟结果表明,该故障模拟方法有较好的性能.     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

基于复杂自适应系统理论的战术级陆战仿真研究

根据信息化条件下战术级陆战系统的新特点,提出了基于复杂自适应系统理论的战术级陆战仿真方法,对战术级陆战仿真模型智能体进行了区分,给出了相应的模型框架和体系结构,分析了战术级陆战仿真系统的运行机制。     

俄罗斯“闪电”双雄

装备反舰导弹的导弹艇的造价仅为护卫舰的50～75%,但其对大型水面舰艇的威胁丝毫不比护卫舰逊色。特别是在狭窄、浅水等特殊的海域,航速高、机动能力强、隐蔽     

韩国KDX-2级新型导弹驱逐舰

20世纪90年代初,韩国为建立一支具有立体攻防能力的海军力量,制订了雄心勃勃的海军现代化计划,其中KDX、KDX-2和KDX-3这3级驱逐舰是韩国为对付所谓的“北方威胁”,加强水面舰艇作战能力而研制的新一代作战舰艇。目     

德国海军124级新型导弹护卫舰

124级是德国海军目前在建的最新一型导弹护卫舰,计划建造4艘。首舰“萨克森”号1999年2月开工建造,1999年11月下水,目前已进入试航阶段,预计可按时于2002年11月交付使用。建造概况20世纪90年代初,为达到降低建造成本、缩短造舰周期、提高造舰技术水平的目的,西方国家掀起了一个联合研制和发展作战舰艇的热潮。在欧洲有2个     

独具特色的瑞典“维斯比”级隐身护卫舰

瑞典是一个传统的海军装备生产国,它所研制的中小型潜艇、轻型水面作战舰艇以及多种舰载武器颇受国际市场青睐。近年来,它设计建造的“维斯比”级隐身护卫舰再次引起了人们的关注。总体设计注重隐身瑞典是最早研究隐身舰艇的国家,它研制的“斯迈吉”号隐身试验艇曾闻名于海军界,“维斯比”级轻型护卫舰正是该艇研究成果的基础上发展起来的。“维斯比”级舰在总体结构设计上十分注重隐身,在减少舰艇雷达散射截面积,降低红外辐射、舰艇噪声和可见光信