基于软件历史仓库和抽象语法树的相似缺陷识别方法

软件开发过程中,软件开发人员常常通过搜索软件历史仓库(historical software repository, HSR),再经复制/粘贴以实现软件复用。HSR中会保存被复用的代码的缺陷及修复信息,辅助处理相似缺陷。基于此,提出一种基于HSR挖掘的相似缺陷识别方法。首先,基于变更日志的分析,从HSR中提取出已知缺陷的模块,建立bug模块库。然后,采用基于抽象语法树(abstract syntax tree, AST)的相似代码检测方法,识别待测试软件与bug模块库中相似的代码,并借助HSR中保存的相应缺陷及修复信息,完成待测试软件中可能包含潜在缺陷的模块的识别。同时,为提高相似代码的识别精度,优化基于AST的代码特征度量。在18个C程序、164对克隆代码上进行实验,结果表明所提方法能够识别出全部相似代码且性能优于已有工具。在人工构建的bug模块库上验证了代码相似性对相似缺陷识别的作用。最后,在8个真实的大型C项目上进行验证,平均缺陷召回率达到94%,表明挖掘HSR可以有效地为跨项目传播的相似代码提供缺陷理解支持。     

满足使命需求的武器装备系统组合方案搜索算法

武器装备系统组合是武器装备体系构建的基础。武器装备体系需求建模与仿真的一项基础工作是获得满足使命需求的可行武器装备系统组合方案,从而为武器装备体系需求模型构建提供基础数据支持。本文针对使命需求到装备系统之间的三层映射关系,利用改进的向量运算提出了一种满足武器装备体系需求建模与仿真的需要的装备系统组合方案搜索算法,通过实验证明算法具有便于编程实现、实用性强、可靠性高的特点。     

基于网格的汽车耐撞性设计与协同仿真研究

在汽车设计开发过程中,保护企业的知识产权和安全利用企业外的资源是企业需要解决的难题之一.研究和运用网格技术,基于GOS2.1,设计和建立了基于网格的汽车耐撞性设计与协同仿真系统,利用Web服务技术实现了汽车耐撞性设计与协同仿真过程中的关键步骤部件装配、仿真计算、结果分解与仿真计算监控.同时建立了网格试验环境,在此环境中运行实例进行了试验验证,能够在一定程度上解决汽车厂商协作时数据安全共享的问题.     

典型黑土区地形因子对土地利用变化的影响

以海伦市为例,以1986、2000年两时段土地利用数据为基础,运用马尔可夫模型分析土地利用变化,并在ARC／INFO支持下,从坡度、坡向两个方面分析土地利用变化规律。分析表明：耕地、林地、牧草地及沼泽地之间的转化明显,耕地的增加主要来自于林地、牧草地及沼泽地的减少,其中丘陵旱田增幅最大为218％;坡度和坡向在很大程度上影响着土地利用变化的方向,耕地分布的坡度增大,灌木林地、疏林地在水土流失发生地带（1°-8°）明显减少。林地、牧草地等土地利用类型破坏严重,向着农田化方向发展趋势明显,应加强地区的生态环境建设。图2,表3,参11。     

CO2浓度升高对三江平原典型湿地土壤活性有机碳的影响

选择三江平原典型草甸化小叶章湿地为研究对象,利用开顶箱控制CO2浓度,模拟CO2浓度升高对湿地土壤活性有机碳的影响。结果表明,CO2浓度升高对土壤微生物量碳的影响受土壤氮素水平制约。不施氮和常氮处理,CO2浓度升高对其影响不显著;高氯处理,土壤中可利用的氮相对充足,微生物活性不受氮素限制,土壤微生物量碳显著增加。置于CO2浓度升高环境中的土壤水溶性有机碳含量有增高的趋势,但没有达到统计上显著水平（P〉0．05）。施氮均促进了土壤微生物量碳和水溶性有机碳的增加。图2,参13。     

导弹战斗部对复杂目标毁伤效能评估研究综述

国内在导弹战斗部毁伤效能尤其是战斗部时复杂目标毁伤效能的评估方面有待系统研究,这是当前常规导弹试验鉴定和作战指挥研究领域急需开展的课题之一.提出了构件贡献因子、毁伤指数等概念,建立了毁伤效能量化评估研究内容体系框架,并分目标易损性分析与计算、战斗部威力分析与计算、毁伤效应试验与计算和毁伤效能综合评估等四方面综述了相关研究的一般方法和关键技术.以侵彻类战斗部打击建筑物目标为例,给出了导弹毁伤效能量化评估模型.     

故障拓展模型到概率检验模型的转换规则

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。     

紧耦合多飞行机器人悬停配平计算分析

针对直升机的复杂性和紧耦合多直升机协调操作的特殊性,分析了多直升机协调操作的必要性,建立多直升机间的协调力学模型,并采用牛顿迭代法进行了配平计算,所得姿态量和控制输入量为多直升机协调操纵的飞行控制系统提供了参考输入量,为进一步分析多直升机的动力学建模及稳定性打下了基础。     

自动化系统数据挖掘问题的模拟退火解法

数据挖掘是近年来发展起来的新技术,指挥自动化的辅助决策过程也越来越依靠数据挖掘求解。通过数据挖掘,可以有效地处理海量数据,为正确决策提供支持。模拟退火是一种性能优越的计算智能算法,广泛应用于求解非线性最优化问题。数据挖掘中的数据聚类与模拟退火在本质特性上存在相似,可以将模拟退火应用于数据挖掘。通过蒙特卡罗方法生成随机数据,进行基于模拟退火的聚类分析。算例表明,新方法能够很好地进行数据聚类,具有较好的适用性。     

铝型材挤压成形过程数值模拟的研究现状及发展

介绍了铝型材挤压过程数值模拟的基本理论，包括描述流体运动的方法、材料模型及本构关系、控制微分方程等。分析了有限元法和有限体积法在铝型材挤压过程数值模拟中的应用现状，发现有限体积法由于采用欧拉描述，能避免网格畸变及重划而具有技术优势，并开始受到重视，提出了有限元法及有限体积法在铝型材挤压过程数值模拟中应用的研究重点及发展趋势．