Experimental research on combined effect of obstacle and local spraying water fog on hydrogen/air premixed explosion

In order to reveal the mechanism of water fog explosion suppression and research the combined effect of water fog and obstacle on hydrogen/air deflagration, multiple sets of experiments were set up. The results show that the instability of thermal diffusion under lean combustion conditions is the main influencing factor of hydrogen/air flame surface instability, and the existence of water fog will aggravate the hydrogen/air flame surface instability. When obstacle is not considered, 8 μm, 15 μm, 30 μm water fog can significantly reduce the flame velocity and explosion overpressure of hydrogen/air, 45 μm fine water fog plays the opposite role. When considering the relative position of the water fog release position and the obstacle, the 8 μm, 15 μm, 30 μm water fog has almost no suppression effect when released near the obstacle, but a significant suppression effect occur, when using the 45 μm water fog. In the field of theoretical research, the research results not only provide an experimental basis for the fine water fog to reduce the consequences of hydrogen explosion accidents, and the optimal diameter range used by the water fog, but also provide experimental reference for the numerical simulation of hydrogen/air explosion suppression in semi-open space, and promote the development of hydrogen explosion suppression theory. In terms of engineering applications, this study can provide a theoretical basis for the layout of fire fighting equipment in the engine room of nuclear power plants or hydrogen-powered ships.     

加油站电气设备引发着火爆炸事故原因分析及对策

通过对加油站电气设备引发着火爆炸事故的作业环节、发生部位、点火源和对事故原因的综合定性定量分析。指出电气设备不防爆和电气线路安装不符合防爆要求，以及规章制度不健全，管理不到位是引发着火爆炸的主要原因，提出了要提高思想认识，做好加油站防爆电气设备的全面普查摸底。要搞好新建加油站或改建项目的竣工验收和落实责任，加强防爆电气的使用管理等措施。     

一种零知识证明协议的安全分析与改进

论文指出了文献[1]中的零知识证明协议在公钥参数选取上的安全漏洞,并从求解离散对数的角度进行了分析证明。然后吸取了DSA数字签名算法中安全密钥选取高效简单的优点,提出了一种比Schnorr身份识别方案快1／3的简单、安全、高效的零知识证明身份识别方案。     

西气东输对南水北调穿黄隧洞影响动力分析计算

西气东输管线距离南水北调工程穿黄河隧道的最近距离:河漫滩仅150 m,主河槽仅205 m.输气管线在运行过程中,存在着因误操作、管道腐蚀、自然灾害或人为破坏等因素引发事故发生爆炸的可能.对深泓区穿黄隧洞地下部分在天然气爆炸冲击波作用下的安全性进行动力分析计算,认为西气东输管道破裂引起的天然气爆炸,不会对南水北调输水隧洞产生破坏影响.     

淤泥软基爆炸固结试验研究

对爆炸效应在淤泥软基工程中的应用问题进行了探讨，并首次提出了爆炸在淤泥软基中的分界应力特征以及排水固结及破坏分区的基本模式。为采用动力加速对淤泥软基工程的处理，提供了试验依据，具有实用价值和指导意义。     

NK-EH500调质钢爆炸硬化的冲击动力学研究

通过试验并运用爆炸冲击动力学理论NK－EH500调质钢爆炸硬化进行了深入的研究，结果表明，金属材料存在硬化极限，调整炸药组成改变爆炸硬化可以满足不同金属材料的硬化要求，隔离式爆炸硬化有利于保护硬化工件外观的完整性，本研究对拓展爆炸硬化在实践中的应用领域具有重要的理论指导意义。     

φ1m氨合成塔20钢异径管失效分析

分析了氨合成塔底部副线20钢异径管爆破的原因。结果表明：异径管长期处于200℃以上工作，管内H2与管材中的碳或Fe3发生化学反应，生成CH4致使管内脱碳并产生裂纹，异径管强度降低脆性增加，导致爆破。     

缺省理论的简化

缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.     

Heterogeneous chain propagation in low-pressure flames

An analysis of papers on hydrogen combustion at low pressures is performed, which refines the contribution of the catalytic reactions on the reactor wall to the gas-phase part of the process. A new model for the heterogeneous loss of active reaction centers was proposed and tested experimentally to explain inconsistencies that occur in some papers. In this model, the diffusion region of chain termination is formed under standard experimental conditions in vacuum oxyhydrogen flames at a reactor gas pressure a thousand times lower than the boundary pressure postulated by the previous models as the pressure below which the diffusion region of chain termination cannot be formed. __________ Translated from Fizika Goreniya i Vzryva, Vol. 42, No. 2, pp. 10–18, March–April, 2006.     

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).