基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

生物柴油降低装甲车辆柴油机排放的试验研究

在柴油中添加20%的生物柴油,通过试验研究了掺混后的燃料对装甲车辆柴油机动力输出和排放的影响。结果表明：添加20%的生物柴油对各转速下最大输出扭矩影响不大,最大降幅小于2%;常用转速下（1400r/min）全负荷范围内降低碳烟的效果较好,可降低23%～100%;同时,HC排放量可降低11%～70%,CO排放量可降低33%;外特性工况下,在中、高转速时亦可降低碳烟排放22%～46%,但NOx排放有一定程度升高,部分工况下升高10%左右。     

舰船消磁系统S矩阵测量计算机仿真

用舰船消磁系统数学模型 ,实现了消磁系统的计算机仿真 .可以利用这种仿真方法研究一些难以用实验方法研究的消磁系统问题 ,如S矩阵测量分析等 .对消磁系统S矩阵测量过程和分析方法进行了仿真研究 ,调试了S矩阵专用测量程序 .仿真结果证明了S矩阵的不变特征和所提出的测量分析方法是正确的 ,同时说明了消磁系统仿真研究方法是可行的     

基于切比雪夫神经网络的软件定义卫星网络智能路由策略

针对现有的软件定义卫星网络中流表占用的三态内容寻址存储器空间不断增加,复杂的流表项查找、匹配过程导致路由转发效率降低,无法满足多样化应用需求的问题,提出基于神经网络的软件定义卫星网络智能路由架构。控制器通过训练神经网络获取数据流的传输模式,并用训练后的神经网络代替流表,在此基础上提出基于Chebyshev神经网络的智能路由策略,交换机根据数据流的业务类型预测其转发路径,以满足卫星网络应用的服务质量要求。仿真结果表明:所提路由策略显著减少了占用的三态内容寻址存储器存储空间,提高了路由效率。     

大规模科学数据体绘制技术综述

体绘制是刻画大规模科学数据中复杂物理特征的有效途径,然而,数据量极大、特征难以捕捉等问题依然是目前体绘制研究的主要挑战。为此,研究者们从三个方面对体绘制算法进行了深入研究,以提高大规模数据体绘制的效率和效果。一方面,依托硬件通过多处理器核来分担计算,降低单处理器核所要完成的计算量,是提高体绘制效率的一个有效途径。另一方面,充分发掘数据场内在特性对三维数据场进行约简,大幅减少绘制处理数据量从而降低算法开销,也是提高体绘制效率的一个有效途径。同时,在体绘制算法中融入特征分析和特征增强方法,让复杂物理特征从数据场中突显出来,以实现对科学数据的高质量绘制。本文对国内外体绘制技术相关研究进展进行了调研、综述,并分析了不同的研究方法,最后展望了未来体绘制技术研究的可能发展方向,包括应用驱动的特征体绘制、基于特征的约简体绘制、适应硬件的体绘制多级加速以及原位智能化体绘制等。     

离子推力器栅极组件热态间距测量系统研制

为了完成LIPS-300离子推力器三栅极组件在真空、高温环境中微小热态间距的高精度测量,设计了一套使用远距显微镜的非接触摄像测量系统。基于拍摄的图像,运用交互式分区方法获得多个圆形合作标志稳定、清晰的边缘,利用合作标志和标定片完成图像放大系数标定、图像畸变校正以及栅极热态间距亚像素级测量。精度验证实验表明,本系统在非加热情况下测量精度优于6μm,在加热情况下测量精度优于12μm。大气环境下的加热实验结果显示屏栅和加速栅温度差越大,栅极热态间距的减小量越大,当温差最大为150℃时热态间距减少量达到最大,即420μm。同时,由于安装环的热变形影响,栅极在热稳态时热变形量下降、在冷却期时产生负位移现象,测量结果与国外同类实验趋势一致。系统满足栅极组件热态间距测量的需求。     

炮兵雷达组网校射评估系统的设计与实现

针对多部雷达保障校正射击时各个雷达获得的数据精度不高、数据传输自动化程度低、炸点坐标缺乏数据融合等问题,采用VC＋＋和SQLServer为软件开发平台,设计并实现了炮兵雷达组网校射评估系统。讨论了系统的基本组成和软件结构。同时根据最小方差原则,按照各雷达的精度分配权值,设计了多雷达组网对炸点测量数据最优融合估计的数据融合算法。通过实弹射击保障应用表明,该系统提高了雷达对炸点数据测量的精度及炮兵指挥自动化能力。     

基于综合集成赋权法的主攻方向和突破口决策模型

针对现有主攻方向和突破口决策过程中指标权重确定方法的不足，提出了一种多属性决策方法。首先基于模糊层次分析法确定主观权重、熵权法确定客观权重；然后把主观权重和客观权重综合，使得到的综合权重同时反映主观和客观程度。最后，通过实例分析，说明采用该方法进行主攻方向和突破口选择排序是可行、有效的。     

数据库中关联规则的并行/分布式采掘技术

高效的并行/分布式采掘方法是数据库中关联规则发现技术的重要的研究方向,首先给出了关联规则的并行/分布式采掘的相关描述,针对关联规则并行/分布式采掘的基本思想,分析算法中可以改进效能的环节,提出生成更少候选集、局部剪枝、减少通讯量和优化扫描等提高性能和降低复杂度的方法。