软件静态分析工具综述

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

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

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

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

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

基于结构聚集度的海面目标特征描述及匹配方法

在对海面目标进行光电图像跟踪时,由于跟踪技术的局限性,跟瞄点往往会出现对目标的"失跟"现象,为了判断这一情况,通常需要对前后帧跟瞄区域的目标图像特征进行对比判别。但红外图像基本不存在颜色及纹理特征,而仅使用形状特征对于持续运动中的复杂目标图像又难以取得良好的效果。为解决这一问题,提出了一种基于目标结构聚集度的特征描述及匹配方法。首先对目标图像进行均匀矩形划分,在此基础上建立基于矩形块填充比的邻域矩阵作为图像特征,计算相邻帧图像该特征的欧氏距离差,并加入面积差参数进行特征匹配。对多种不同情况下的实测及模拟目标进行了计算机仿真实验,结果表明这种特征能够有效判断"失跟"情况,并且对于光学及红外目标旋转具有较好的不变性。     

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

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

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

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

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

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

基于影响因素分析的装甲车辆驾驶员作业可靠性评价模型

从影响因素分析人手,在对装甲车辆人-机一环境系统物理模型综合分析的基础上,运用灰色关联度法建立了基于驾驶员作业可靠性影响因素分析的定性评价模型,并结合某装甲部队的驾驶训练考核进行了应用。结果表明：考核成绩与模型计算结果有着比较吻合的变化趋势,验证了模型的有效性。所述研究方法根据不同装备、不同岗位特点,可对评价指标体系调整后进行移植和拓展使用。     

一种含氧混合燃料喷雾特性的试验研究

针对柴油和所需的油料方案B20D10（即在柴油中掺混20%生物柴油和10%碳酸二甲酯,Dimethyl-Carbonate,DMC）,在某型重型车辆柴油机高压泵试验台上,采用定容弹和高速摄影技术,研究了掺混生物柴油和DMC后对燃油喷雾特性的影响。结果表明：在不同的背景压力下,燃料B20D10油束的贯穿距离低于柴油,最大降幅达到7.0%,锥角最大增加约15.2%;在非破碎阶段,燃料的贯穿距离与时间呈正比关系;在破碎阶段,贯穿距离与时间的关系为s∝tn,其中n约为0.57。试验结果为建立该混合燃料的喷雾模型,并进行缸内燃烧的数值模拟奠定了基础。     

型钢混凝土桁架转换层的监控与分析

对贵阳市某大楼型钢混凝土桁架转换层进行了施工期间的监控,并利用有限元分析软件ANSYS建立了带有型钢混凝土桁架转换层的结构有限元分析模型.针对工程中连接、构造和施工影响等相关因素进行有限元模型的对比分析,明确各因素对桁架受力的影响.结合施工阶段的监控数据,分析此工程中桁架受力状态的成因,为准确判断工程在正常投入使用后的...