符号执行中的循环依赖分析方法

符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。     

水下爆炸冲击载荷作用下舵的动态特性

利用Arbitrary Lagrangian-Eulerian(ALE)有限元方法求解爆炸冲击过程中的流固耦合问题:采用ALE算法描述流体和炸药模型,采用Lagrangain方法描述舵结构模型,不同介质间的界面采用接触罚函数耦合算法。应用有限元软件ANSYS/LS-DYNA仿真模拟舵遭受TNT炸药爆炸冲击作用的全过程,得到舵的应力云图、位移云图,典型位置压力时间历程,加速度时间曲线等冲击响应。计算结果表明:利用A L E方法可以预估舵在水下爆炸冲击载荷作用下的损伤情况,为舵的抗冲击设计提供依据。     

壁面粗糙度对瓦斯爆炸火焰波传播的影响

在实验研究的基础上，分析了壁面粗糙度对瓦斯爆炸过程中火焰传播规律的重要影响．研究结果表明，壁面粗糙度对瓦斯爆炸过程的影响很大，相比光滑管道，粗糙管的火焰速度大幅度提高；对于管道终端闭口系统和开口系统的瓦斯爆炸过程，壁面粗糙度对两种系统的影响规律是一致的，影响程度比较接近．基于壁面粗糙度对瓦斯爆炸影响的实验结论，从理论上分析了壁面粗糙度对高速传播的火焰区的影响，并对实验现象做出了合理解释．因此，在矿井开拓中，应尽可能减小巷道壁面的粗糙度．研究结果对指导现场如何防治瓦斯爆炸，减轻瓦斯爆炸的威力具有重要作用．     

Thermal explosion in a hot gas mixture with organic gel fuel droplets

Recent experimental evidence has uncovered the peculiar behavior of certain gel droplets which, under appropriate ambient thermal conditions, evaporate and burn in an oscillatory fashion. In this work a preliminary foray is made into the theoretical analysis of the nature of the evolution of a hot gas mixture containing organic gel fuel droplets with oscillatory evaporation within the context of thermal-explosion theory. The problem is modeled as a system of highly nonlinear singularly perturbed ordinary differential equations. Non-dimensionalization of the equations enables identification of the parameters that play a major role in determining the dynamical regimes of the system of equations. The method of integral manifolds is exploited for the analysis and it is found, that for certain parametric regions, the system exhibits new dynamical behavior that is quite different from that found for conventional liquid droplets.     

Coulomb explosion following electronic excitation in ion-solid interaction

In atomic collisions in solids by the ions with very strong electronic interaction, it is confirmed that the atomic displacement process is enhanced by electronic excitation. Two experimental results are introduced as examples. The first is the columnar defect formation in a cuprate superconductor Bi₂Sr₂CaCu₂O_x which is irradiated with 3.5 GeV Xe ions, the second is sputtering induced by highly charged ion (HCI) bombardment (Xe^q+; q=15-44). Since there are some indications to show that these phenomena might be the outcome of the Coulomb explosion process, we tried to make a molecular dynamics simulation of the sputtering process based on this Coulomb explosion mechanism. Good agreement between the simulation and experiment was found. For sputtering of electrically conductive materials, the importance of neutralization dynamics of the HCI and the highly charged region in the solid materials was indicated.     

600MW超临界复合循环锅炉制粉系统爆炸原因分析

某电厂600MW超临界复合循环锅炉采用双进双出钢球磨煤机正压直吹式制粉系统.机组在投产后曾多次发生锅炉制粉系统爆炸事故,严重影响锅炉的安全稳定运行.通过分析,启停制粉系统时一次风速过低及磨煤机料位控制过高是造成爆炸的主要原因,为此提出制粉系统运行控制要点,增加磨煤机火灾保护逻辑,效果明显.     

侧向载荷下圆柱壳体断裂的ALE法数值模拟

为了了解侧向爆炸冲击载荷下圆柱壳体断裂过程,采用任意拉格郎日-欧拉方法、爆轰产物采用JWL状态方程对侧向爆炸冲击载荷作用下圆柱壳体断裂过程进行了数值模拟和分析．模拟结果表明,圆柱壳体爆炸断裂所需炸药量与壳体壁厚为递增线性关系,且这个线性关系的斜率随壁厚不同而改变．在其他条件相同的情况下,壳壁越厚,增加炸药量爆炸时壳体单元最大应力增加越慢．     

近水面水下爆炸作用下舰艇结构损伤数值仿真

在MSC Dytran中,通过远场加载方法,对水下冲击波在自由水面的反射效应及对舰艇结构的损伤进行数值仿真研究,得到比较理想的计算结果. 通过与模型试验结果的比较验证该方法的可靠性.     

化学品贮罐火灾爆炸模拟评价方法的研究及软件开发

大多数危险化学品都具有火灾爆炸危险特性，尤其是化学品贮罐，一旦发生泄漏事故，遇到火源，极有可效预防和扑灭贮罐火灾爆炸的关键。应用计算机来模拟评价危险化学品贮罐火能发生灾难性的火灾爆炸事故。研究火灾的发生、发展规律，预测其危险性是有灾爆炸事故的后果及其对环境的影响已成为更为可行的手段。针对化学品贮罐的危险特性，研究了贮罐火灾爆炸模拟评价的方法，并据此开发一种化学品贮罐火灾爆炸模拟评价软件。软件系统主要由贮罐重大危险源辨识系统、火灾爆炸模拟评价系统和后台数据库系统等3个子系统组成。应用表明，本软件可进行重大危险源辨识和快速分级，能够对每种事故伤害模型的后果（危险区域范围、人员伤亡和经济损失等）进行定量的模拟计算和定性的等级划分。     

鲁西关山头-车往峪地区隐爆角砾岩群地质特征及成矿前景

通过对关山头—车往峪地区角砾岩群的分布特征、岩石特征、矿化蚀变及构造控制因素的分析, 指出该角砾岩群由隐爆作用形成。隐爆角砾岩群出露区分布有磁异常及Au、Ag、Cu、Pb、Zn等元素化探异常, 基岩显示出较高的As、Sb元素化探异常。通过分析认为, 关山头—车往峪地区成矿前景较好, 深部可能存在隐伏矿体。