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

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

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

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

传感器网络中基于LQI均值的功率控制方法

邻近图的功率控制方法是传感器网络拓扑控制中的一个重要研究方向。对比分析了PRR,RSSI和LQI等几种链路质量衡量指标的优劣,将LQI均值作为邻近图中邻节点的距离度量,构造链路质量邻近图LQPG,并对所构造的链路质量邻近图进行了仿真实验。结果表明,LQPG有着较低的平均节点度,在链路变化情况下,网络有着较低的平均功率,从而有效地延长了网络的生存期。     

“迪卡斯”声纳浮标探潜盲区与潜艇的规避分析

针对"迪卡斯"声纳浮标存在探潜盲区的问题,通过分析和计算研究潜艇利用盲区规避的可行性.分析了单枚声纳浮标的探测盲区、两枚声纳浮标的重叠盲区和三种典型的声纳浮标阵型,在计算机上实现了"迪卡斯"声纳浮标阵探测盲区的可视化,通过大量计算和分析,得出了潜艇利用盲区规避反潜飞机跟踪的可行性;尽管利用盲区可造成迪卡斯声纳浮标探测的中断,但利用盲区并非所有情况下的最优方法,通过计算机仿真可以找出各?鼢 种态势下潜艇的最优规避方法.     

基于语言评价信息的群决策方法及其应用

针对具有自然语言评价信息的群决策问题,给出了一种基于语言评价信息的群集结和方案优选方法.首先让计算机将决策者给出的语言评价转换为对应的三角模糊数,然后对转换后的三角模糊数信息进行集结,根据集结后的结果选择最优方案.最后进行了实例分析.     

网络中心战对未来指挥控制过程的影响

随着网络中心战的出现,指挥与控制将越来越重要,指挥与控制可为决策者提供必要的信息,使态势评估、制定计划和执行任务更容易,指挥官实施的影响指挥控制的程序称之为指挥控制过程.在简述指挥控制过程作用的基础上,分析了当前典型的3个指挥控制过程模型,结合当前的指挥控制方法阐述了网络中心战给未来指挥控制过程带来的机遇和挑战.     

灰色理论的某型潜射导弹费用分析

在分析某型潜射导弹的寿命周期费用的基础上,根据系统特点,运用灰色系统理论的GM(1,1)模型.累加数列克服原始数列的波动性和随机性,转化为规律性较强的数列,由此建立该导弹的经济寿命预测模型,对导弹的费用进行相关分析.以实例进行计算,进行相应的精度验证检验,计算结果表明所建立的模型和所作的分析是有效可行的,具有实用性.     

潜艇模型尾流场和水动力噪声的测量方法研究

探索了一种集潜艇模型尾流速度场测量及模型水动力噪声测量于一体的试验技术,即通过合理的试验方案设计及信号处理手段,完成对潜艇模型水动力噪声信号的测量,识别出模型噪声信号各成分的影响范围;同时,应用PIV技术对潜艇模型的尾流速度场进行测量,通过对测量结果的处理,得到潜艇模型的尾流涡量场分布.所得到的结果为研究潜艇水动力噪声与尾流涡结构之间的关系提供了参考,所做的工作为上述问题的研究提供了一种新颖的试验思路.     

分布函数充要条件的另一种证明

对函数F(x)为分布函数的充要条件进行了证明:必要性的证明直接采用概率论中传统的证法;而充分性的证明则从随机变量特征函数φ(t)出发,利用特征函数的充要条件来证明分布函数F(x)的充分条件,从而避开了用实变函数中的测度理论证明充分性的传统证法。为分布函数充分条件的证明提供了一种比较简单和实用的证明方法。     

潜射弹道导弹主战系统效能评估模型研究

界定了潜射弹道导弹主战系统的范围,给出了其结构模型;基于扩展ADC效能评估方法,建立了系统可用度、可信度的计算模型以及潜射弹道导弹主战系统效能指标体系,给出了其能力量化矩阵的构建方法。通过该评估模型的研究,能为潜射弹道导弹武器系统的改进和作战使用等提供决策依据。