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

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

机组动态过程分析中处理转子运动的方法

分析军用便携式发电机组在单机供电及并联供电情况下的动态过程有利于提高其供电质量.采用有限元法计算电机动态过程需要在电机电磁场计算时实现转子的自由转动.从运动导电媒质中的电磁场方程出发,分析了固定坐标系求解方法及移动坐标系求解各方法的特点.针对军用便携式发电机组单机供电及并联供电情况下动态过程的特点分析,对各种处理转子运动的方法进行了比较,得出的结论对于研究军用便携式发电机组单机供电及并联供电情况时处理转子运动的方法选取具有理论指导意义.     

二氧化硅气凝胶隔热复合材料的性能及其瞬态传热模拟

高马赫数、新型航天飞行器承载严重的气动加热环境,其隔热材料的性能与传热计算对飞行器热防护结构的优化和预测具有一定的指导意义.研究了二氧化硅气凝胶隔热复合材料的结构与性能,并进行了瞬态传热模拟.结果表明复合材料热导率仅为0.018W/m·K,瞬态传热模拟结果与考核测试值吻合,为预测和优化隔热材料提供了一定的依据.     

基于支持向量机的多分类军事目标识别应用

针对现代战场信息化程度的不断提高,电磁环境日趋复杂,侦查目标难以准确地识别情况,提出了运用支持向量机多分类器对军事侦查目标进行有效识别.结构风险最小化地支持向量机分类方法是小样本情况下统计机器学习的经典,具有速度快、泛化能力强等特点.用该算法建模军事目标的识别问题,达到了较高的识别准确率.所以应用在对侦查目标的识别上具有良好的效果,在军事应用上有较广阔的前景.     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

海水电场受物体电导率及其形状影响分析

海水中电场测量体会对目标电场产生影响,为了提高电场测量的准确度,利用有限元分析的方法研究了物体对海水电场分布的影响因素,并确定畸变电场的分布规律。仿真结果表明:海水电场畸变峰值大小及其畸变区域受物体的电导率及其形状影响,物体电导率小于或大于海水电导率时对电场分布的影响截然相反,物体形状的曲率越大,电场畸变的峰值越大,但畸变区域越小。     

Numerical simulation of dynamic large deformation and fracture damage for solid armature in electromagnetic railgun

The design of solid armature of railgun should take full account of its operating conditions and material properties because the armature is subjected to dynamic loading conditions and experiences a complicated electrical, thermal and mechanical process in the interior ballistic cycle. In this paper present, we first introduced a multi-physical field model of railgun, followed by several examples to investigate the launching process. Especially, we used the explicit finite element method, in which material nonlinearity and geometric nonlinearity were accounted, to investigate the deform behaviors of solid armature. The results show that the dynamic mechanical process of armature is dependent on the armature geometry, material and exciting electric current. By the numerical simulation, the understanding of the fracture mechanism of solid armature was deepened.     

基于VMD和SVM的舰船辐射噪声特征提取及分类识别

针对复杂海洋背景下舰船声频辐射噪声特征提取困难的问题,提出一种基于变分模态分解、中心频率、复杂度特征和支持向量机的舰船辐射噪声特征提取及分类识别方法。对四类舰船辐射噪声信号使用变分模态方法分解,得到一定数量的固有模态函数。通过比较提取能量最大的固有模态函数中心频率和排列熵作为特征参数,并利用支持向量机方法对四类舰船信号样本进行分类识别。实验结果表明,该方法可以实现对舰船辐射噪声的特征提取,与已有方法对比,该方法具有较高的识别率。     

A note on optimal pricing for finite capacity queueing systems with multiple customer classes

This article investigates optimal static prices for a finite capacity queueing system serving customers from different classes. We first show that the original multi‐class formulation in which the price for each class is a decision variable can be reformulated as a single dimensional problem with the total load as the decision variable. Using this alternative formulation, we prove an upper bound for the optimal arrival rates for a fairly large class of queueing systems and provide sufficient conditions that ensure the existence of a unique optimal arrival rate vector. We show that these conditions hold for M/M/1/m and M/G/s/s systems and prove structural results on the relationships between the optimal arrival rates and system capacity. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

火炮身管锥度对弹丸起始扰动的影响分析

火炮身管设计时,根据强度理论有一段圆锥段,身管圆锥段锥度的大小影响近炮口段身管刚度的大小,刚度大小对于弹丸起始扰动的影响规律值得进行研究。针对这一问题,建立某大口径火炮弹炮耦合全炮动力学有限元模型,计算不同工况下锥度为c=0°、c=0.38°、c=0.73°和c=1.17°时弹丸膛内的运动规律。分析结果表明,对建立的某大口径火炮而言,在保证身管质量、质心不变的前提下,身管锥度越小,即身管近炮口段越粗,身管近炮口段刚度越大,越有利于减小弹丸起始扰动。