软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

黄河防凌“未雨绸缪”——鄂尔多斯民兵防凌爆破分队开展针对性训练

黄河流经鄂尔多斯728公里,几乎占据内蒙古黄河的整个右岸,每年的黄河防凌任务十分繁重。鄂尔多斯市政府和军分区在达拉特旗和杭锦旗分别组建一支20人的民兵防凌爆破分队,配备专业爆破器材,确保河道畅通。两支民兵防凌     

抓生产 巧经营 抢市场——红宇专用汽车的经营之道

最近几年来,河南红宇公司民品业务坚持走专业化发展、规模化经营之路,使民品主业专用汽车呈现出强劲的发展势头。“十五”期间红宇专用汽车平均增速达到41%,形成了3000辆的年生产能力,已发展为重、中、轻、微4大系列,冷藏汽车、保温汽车、厢式汽车、爆破器材运输车、自卸汽车等138个车型,并被列为中国兵器集团公司重点监管民品。冷藏保温车市场占有率位居全国第三位,爆破器材运输车市场占有率位居全国第一位。2006年前三个季度,红宇专用汽车累计生产完成年计划的75.6%,同比增长70.25%。累计销售1969辆,完成年计划的78.76%,同比增长31.62%。…     

关于建立我国民用爆破器材安全标准体系的探讨

文章针对民用爆破器材行业的发展状况和特点,综述了我国民用爆破器材行业安全标准的发展趋势。     

电子对抗装备软件的静态分析方法

软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查.     

Ti含量对Ti-B4C-C体系自蔓延高温合成的影响

以14Ti+3B4C+5C为基础反应体系,通过热力学分析及静态燃烧合成实验研究了钛含量对该体系SHS反应的绝热温度、反应速度和产物致密度的影响.研究表明,Ti含量适当增加,能够使反应速度加快、产物致密度提高.当Ti过量16%(摩尔分数)时,体系的绝热温度仍高达3 193K,反应速度最快,产物的致密度也较高.     

反对和质疑助推三峡奇迹？

2006年6月6日16时,三峡大坝坝前最后一段挡水围堰在短短12秒时间内爆破拆除,刚刚建成17天的大坝开始全线挡水,三峡工程从围堰挡水发电进入了大坝挡水发电,至此,世界历史上最浩大的水电工程开始完整地走进中国人的生活。     

台阶爆破能流密度的计算机模拟

以波动理论为基础,将柱状药包的爆炸作用,等效为球状药包爆炸产生的应力场的叠加。由此编制了模拟台阶爆破能流密度的程序。模拟结果可初步用于指导爆破设计和工程实践。     

一种基于层次模型的卫星故障动态仿真方法

针对卫星静态仿真方法未实现故障时序发展过程及影响范围仿真的问题,在故障仿真方法进行分析的基础上,提出了一种基于层次模型的动态故障仿真方法,即通过建立不同层级的故障模型,利用动态仿真推进方法实现故障的时序发展过程仿真.此方法能够有效提高故障仿真的精细化程度,为故障处置提供支撑.通过某卫星能源安全模式故障仿真,对方法的有效...