基于程序状态变迁的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.     

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°时弹丸膛内的运动规律。分析结果表明,对建立的某大口径火炮而言,在保证身管质量、质心不变的前提下,身管锥度越小,即身管近炮口段越粗,身管近炮口段刚度越大,越有利于减小弹丸起始扰动。     

用于混合动力汽车的球形发动机热力学过程分析

作为混合动力汽车增程系统的一种新型动力源,球形发动机有着功率密度高,结构紧凑等优点。在介绍球形发动机工作原理及基本结构的基础之上,研究了发动机气缸容积变化规律,分析发动机燃烧过程,建立了发动机热力学理论模型。利用FLUENT开展了仿真研究,验证了模型的正确性,进而对于发动机燃油喷射过程进行了分析。结果表明：计算得到的气缸内部温度与压力曲线与仿真得到的结果基本一致,验证了理论模型的正确性。在燃油喷射的过程中,可能会出现涡团状的燃油喷射轨迹,使得局部富油发生,燃烧性能变差。     

加筋板架抗动能穿甲的等效防护厚度研究

为研究舰船舷侧结构抗穿甲性能,采用有限元分析了两种典型工况下板架的穿甲破坏模式、弹体的剩余速度和板架的变形吸能规律,提出了基于剪切冲塞模式的剩余速度理论计算模型,比较了不同等效计算方法得到的结果,并将理论计算结果分别与相关文献的实验结果和本文的有限元计算结果进行了比较,两者之间均吻合较好。结果表明,加强筋对板架的抗穿甲性能影响较大,而板架的实际等效厚度是决定其抗穿甲性能的主要因素;不同的等效计算方法与模型相对尺寸、弹体冲击速度以及命中位置有关,对于弹体直径相对较大且初始冲击速度较高时,不同的等效计算方法得到的结果基本一致。     

空降车着陆缓冲过程车体动态应力仿真研究

为了研究空降车着陆缓冲过程车体结构冲击响应,建立了车体有限元模型,运用显式有限元方法,结合实车空投试验的冲击加速度数据,以力的形式模拟车体着陆缓冲过程所受的冲击,仿真得到普通、恶劣和极限3种工况下着陆缓冲过程车体应力分布。结果表明:在3种着陆工况下,空降车左后立柱底端均为应力最大位置。研究结果可为空降车空投寿命预测及装备保障提供依据。     

火灾对埋地输油管道温度场影响的数值研究

地面发生火灾时,将对土壤、地下管道及输送的油品温度产生影响,原有的热平衡被破坏,建立新的温度场;即便在火灾被扑灭后,一段时间内土壤、管道温度会继续升高,仍有可能造成管道失效。针对此情况建立了非稳态传热模型,进行了数值模拟,并对结果进行了分析。这一模型的建立,为后续的管内输送介质温度分布的研究提供了科学的依据。     

三维边界积分方程中的奇异积分的处理

针对三维边界积分方程中奇异积分的不同形式分别进行了讨论,用刚体位移原理消除强奇异因子,用线性位移函数消除弱奇异因子,在计算工作量大大减少的情况下,保证了原求解精度的要求,并通过数值算例表明了该方法的可行性。