软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

一种惯性器件常值误差对系统误差影响的分析方法

在平台式惯性导航系统中,陀螺仪和加速度计的常值误差是制约系统最终精度的重要因素之一。通过分析在无阻尼惯性导航系统中,惯性器件对平台误差角、速度误差和定位误差的影响,给出了在初始对准后,因惯性器件常值误差引起的系统固有误差和这类固有误差随时间的变化规律。结果表明,除经度误差随时间有振荡发散现象外,其它误差均为周期振荡有界。利用给出的结论,在设计惯性导航系统时通过分析系统误差要求,对于选择惯性器件具有一定的借鉴意义。     

海战场态势分析作战想定生成技术研究

态势分析是战场态势监视系统的一项关键技术。在态势分析研究中,需要利用某些作战想定来检验态势分析算法的效果。本文针对该问题,研究了作战想定生成技术,利用该技术为海战场态势分析仿真系统生成某些剧情,并输入想定数据。首先建立了海战场环境下单目标、编队目标的运动模型,生成相关的群体态势参数,并基于此建立了海战场态势分析想定平台,在此平台上生成了一个红蓝双方对抗的想定,并用其验证了一个态势分析的海战场机动目标功能合群算法。     

橡胶隔振器弹性特性分析及结构优化

通过橡胶力学性能试验,获得了建立橡胶超弹性材料本构模型所需的数据,并将试验数据与ABAQUS中不同的橡胶本构模型进行了曲线拟合,对结果进行了对比分析.建立了6自由度动力总成动力学仿真模型,结合能量解耦理论在ADAMS中对悬置系统刚度参数进行了优化.运用hypermesh对某汽车悬置元件的结构进行了初步优化,然后利用AB...     

美军军兵种结构变化对我军的启示

一国军队军兵种结构的变化受到该国战略选择、国际战略环境以及该国经济政策等因素的影响。文章通过对美军军兵种结构变化的经济学分析,认为在上述因素既定的前提下,存在一个动态的最优军兵种结构,这对调整我军规模、加强我军军兵种建设具有重要的现实意义。     

动力之源

在兵团党委六届六次全委(扩大)会议上,兵团党委部署用四个月时间在全兵团集中开展"唱响兵团精神"宣传教育活动。这是兵团党委着眼跨越式发展和长治久安这个时代主题,着眼兵团事业发展面临的严峻挑战和难得机遇,着眼实现"十二五"宏伟目标,精心     

经济转型现生机 屯垦戍边展新姿

中央新疆工作座谈会召开后,兵地融合发展进入了一个新的历史时期,中央、自治区党委对兵团发展的支持力度越来越大,边疆共守,资源共享,优势互补,共同繁荣的理念深入人心。兵团经济社会发展正进入关键的转型期,第二产业对兵团     

兵团人口计生信息化建设的思考

2010年,兵团人口和计划生育系统先后赴湖南、四川两省学习考察人口计生信息化建设,开阔了眼界,开启了思路。信息化之重要,众所周知。但究竟好在哪,未必都讲得清,倒是对其耗资多、见效少、数据录入量大等问题印象深刻。     

关于军用软件可靠性问题的探讨

归纳了军用软件在可靠性方面存在的主要问题,在此基础上详细分析了影响军用软件可靠性的因素,并提出了提高军用软件可靠性的途径,并从六个方面重点进行了阐述。     

基于共词分析的新兴技术分解结构研究

文章提出新兴技术分解结构,将理论、模型与实证分析融为一体,从共词分析的角度对新兴技术分解结构进行判断与分析,建立了基于共词分析的新兴技术分解结构的构建框架,将较为复杂的新兴技术转化为相对简单的子技术,再进行分析识别,可部分达到降低新兴技术不确定性的目的。首先通过文献检索工具对新兴技术的文献进行检索,然后抽取出关键词,利...