软件静态分析工具评析

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

15000m~3钢板贴壁油罐建设静态投资分析

以部队某保障基地油库军用柴油扩容工程采用钢板贴壁工艺新建的1座15 000 m3地下水封油池为例,从技术经济学角度对钢板贴壁油罐作了静态投资分析。该钢板贴壁油罐静态总投资1 756.95万元,其中占总投资比例最高者为地下工程建设,达到53.76%,库容投资1 171.30元/m3。结果表明:钢板贴壁油罐较地下水封石洞油罐整体经济效益明显;投资定额可供编制预算参考。     

微胶囊型自修复碳纤维增强复合材料性能研究

为了分析内嵌环氧树脂基微胶囊的碳纤维增强复合材料(CFRP)的力学性能,开展了材料在准静态载荷条件下力学性能试验研究,对比分析了有、无微胶囊时碳纤维增强复合材料的静态力学性能,详细探究了微胶囊的质量分数对碳纤维增强复合材料的力学性能和自修复性能的影响,分析了材料的拉伸强度,弹性模量,断裂伸长率以及自修复性能情况。在相同冲击能量下,采用落锤法对不同微胶囊含量的层合板进行冲击试验,研究其在冲击载荷作用下的动态力学响应。结果表明,微胶囊具有增韧效果和自修复能力。随着微胶囊质量分数的增加,自修复碳纤维增强复合材料的拉伸强度降低,弹性模量先略微升高后降低,断裂伸长率先降低后升高,但总体变化不大,修复效率随微胶囊含量的增加而升高。在相同冲击能量下,微胶囊含量越大,最大冲击力越小,材料的冲击力-位移曲线斜率越小,抗冲击性能越差。研究结果可以为推动自修复型CFRP材料的实际工程应用和理论研究提供相关参考。     

陆军分队模拟训练战斗决心方案静态评估研究

为解决检验陆军分队模拟训练中战斗决心方案可行性这一难点问题，在分析战斗决心方案静态评估的军事规则基础上，首先建立了陆军分队战斗决心方案的静态评估指标体系；然后，采用语言标度术语和模糊综合评估方法分别建立了对集团作业和编组作业两种作业形式下战斗决心方案评估模型，同时结合实例进行了分析评估。其结果符合实际情况。     

水下缩比航行体热尾流的红外探测实验研究

根据缩比模型,建立了缩比红外成像实验测试系统,对水下航行体的体积、航行深度、运动速度、尾流排放等进行了缩比设计,设计了多种实验工况,可实现缩比目标模型红外尾流的静态和动态测试,一方面明确红外尾流的可探测性,另一方面掌握红外尾流可探测性的影响因素以及红外尾流的变化规律,为下一步工作奠定基础。     

一种用于SpaceWire网络的混合路由机制设计*

针对星上系统总线多元性导致的星载网络接口和协议不能标准化的发展瓶颈,本文基于SpaceWire总线协议,通过将静态路由(时间触发)与动态路由(事件触发)机制结合,实现了控制数据和载荷数据共用网络。静态路由完全遵循SpaceWire-D协议,在保证确定性传输的同时,通过启发式调度算法首次实现了多时间窗并行调度,并提出利用最大公约数法设计时间窗,以提高网络吞吐量；动态路由通过对随机事件和载荷数据分配优先级,实现传输路径冲突时对紧急任务的优先处理。最后在OPENT中搭建网络系统仿真模型,对所提出的路由机制进行了仿真。实验结果表明,静态路由时段网络吞吐量较现有调度算法有明显提高,动态路由实现了紧急事件优先传输。     

航母编队静态势评估-指数化图形相似度

航母编队态势评估在现实中困难较大。针对这种困难,提出航母编队静态势的指数化评估方法,对航母编队静态势评估的基本概念进行分析和总结,并对多种航母编队情形的态势开展简要的定性分析。提出改进的SWOT方法和假设的指数化评估体系,完成航母编队的静态势指数化评估。最后,建立Radar图模型和图形相似度计算模型,获得各航母编队的静态势与期望态势的相似度,从而将评估指数结果转化为评估结论。结论表明指数化的图形相似度评估方法能较好地解决航母编队静态势评估问题,且对类似问题具有参考价值。     

浅海中潜艇腐蚀相关静态电磁信号特征

来源于腐蚀及防腐电流的静态电、磁信号是潜艇水下新的重要目标特性。为掌握其水下分布特征,采用三层平行分层导电媒质中的水平直流电偶极子对其进行建模。结合水平直流电偶极子全空间中的电场、磁场表达式的推导,通过数值仿真计算,对比分析海水中腐蚀相关静态电场及静态磁场的分布特征及远场衰减规律。分析表明:浅海中潜艇腐蚀相关静态电场近场量值大,分布特征明显,适合做水中兵器引信的信号源;磁场远场按距离的平方反比衰减,可用于潜艇的远程探测和定位。     

基于支持向量机的制造系统静态复杂性综合模型研究

制造系统复杂性对优化制造系统结构设计、提高制造系统的生产效率具有非常重要的意义.然而目前对静态复杂性及动态复杂性影响因素复杂性及其测度的研究较多,对于如何将这些分因素复杂性进行综合得出综合复杂性的研究较少,这直接影响了复杂性研究结果的准确性。鉴于此,引入擅长处理小样本数据的支持向量机对制造系统静态复杂性进行综合,用遗传算法对其参数进行寻优,对模型的有效性进行了验证,结果说明方法的实用性与科学性较强.     

装备分布式虚拟维修训练仿真负载平衡研究

基于HLA的装备分布式虚拟维修训练过程极易产生仿真节点负载失衡,以往的负载平衡研究多关注资源利用率,仿真运行过程中可能会因节点负载的不均衡进行频繁的负载调度,影响仿真运行效率.针对此问题,以保证仿真节点的高效运行为首要目的,将负载平衡定义为不存在超载节点即为平衡,提出了一种动静结合的复合式负载平衡调度方法.研究了复合式负载平衡系统的体系结构,采用最小连接调度法实现了节点静态负载的粗粒度平衡,引入仿真运行比率分量参数表征负载量值,进而设计了动态负载平衡算法对仿真运行过程进行实时监控和调度.实验结果表明,改进后仿真平衡调度频率明显下降,实现了资源利用率和仿真效率的平衡兼顾,取得了良好的效果.