Study on the difference of dispersion behavior between hydrogen and methane in utility tunnel

Compared to liquid/gas hydrogen tank, the pipeline is an economical way for hydrogen transportation. With the quick development of utility tunnel in China, hydrogen pipeline enters the gas compartment can be expected soon. However, all the safety requirements of the gas compartment in the current standards are designed for natural gas, and the applicability for hydrogen is unknown. Therefore, a series of studies were started to investigate the safety of hydrogen in utility tunnel. In this work, a real utility tunnel locates at Shanghai was selected as the physical object. A 3D numerical model was built and successfully validated by a scaled tunnel test. The model has the maximum deviation of +9.5%. After that, a comparatively study of the dispersion behavior of CH₄ and H₂ was conducted. The assumed scenario was a 20 mm small-hole leaks with gauge pressure of 1.0 MPa in the middle of the tunnel. Numerical results shown that, H₂ has a larger dispersion velocity and higher concentration, and is more dangerous compared to CH₄. The current emergency ventilation strategy of air change rate of 12 times/h is not effective enough to dilute the H₂ flammable cloud. The alarm time of the testing points shown strong linear law. There was a sharp variation in the range of 20%–100% LFL (Lower Flammable Limit), so the alarm strategy in the tunnel standards is too ideal for both CH₄ and H₂. The numerical results in the present study could provide a guidance for the design and safety management of the hydrogen tunnel.     

粉体含能材料生产与储运中的静电安全及防护

分析了静电产生的原因,阐述了粉体含能材料生产中的静电起电现象、静电的危害、静电安全性评估标准以及建立在此标准基础上的静电放电危险的评价办法,提出了粉体含能材料在生产、运输中所需要采取的静电防护措施。     

爆破工程安全评价初探

开展爆破工程安全评价可有效地减少各种危险和有害因素 ,减少爆破事故的发生 ,大型或特殊爆破工程均应进行安全评价。本文提出了对爆破工程开展安全评价的设想 ,并对爆破工程安全评价的内容和方法进行了探讨。文中指出 :根据爆破工程的特点 ,可采用事故树分析和预先危险性分析等方法进行爆破工程的安全评价     

Trade-off study between risk and benefit in safety devices for hydrogen refueling stations using a dynamic physical model

As hydrogen refueling stations become increasingly common, it is clear that a high level of economic efficiency and safety is crucial to promoting their use. One way to reduce costs is to use a simple orifice instead of an excess flow valve, which Japanese safety regulations have identified as a safety device. However, there is concern about its effect on refueling time and on risk due to hydrogen leakage. To clarify the effect, we did a study of model-based refueling time evaluation and quantitative risk assessment for a typical refueling station. This study showed that an orifice is an effective alternative safety device. The increase in refueling time was less than 10%, based on simulations using a dynamic physical model of the station. Neither was there a significant difference in the risk between a configuration with excess flow valves and one with an orifice.     

Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Recent activities in the field of Nuclear Operational Management and Nuclear Safety Engineering

Recent activities in the field of Nuclear Operational Management and Nuclear Safety Engineering, the studies related to risk analysis methodology, design, and operational management, physical phenomena, and emergency preparedness and nuclear security, have been progressed. Especially, ‘risk analysis methodology’ and ‘design and operational management’ are the main categories of the field, in which more than half of published articles on Journal of Nuclear Science and Technology are related to these categories.     

Flow Reaction Forces upon Blowdown of Safety Valves

The activation of safety valves causes the development of flow reaction forces that have to be transferred in an adequate way via the piping to the steel structure or via the connected vessel into the foundation. If the safety valve outlet piping is connected to a blowdown system or, in case of blowing off into the atmosphere, are equipped with a T‐piece at the outlet, the stationary reaction forces are compensated completely. The transient opening process, however, develops flow reaction forces which culminate in peaks of short duration. In this article, a simple method will be proposed for the estimation of the resulting reaction forces as a function of the length of the pipe at the safety valve outlet. CFD calculations and blowdown tests executed with a full‐lift safety valve have confirmed this method on principle. Special importance is attributed to the short duration of the effect of the reaction forces which seems to have only a negligible impact on the supporting steel structure.     

几种涉密网主机系统保护及审计技术的比较

论文比较详细地阐述了涉密网主机系统所面临的安全隐患,提出了涉密网主机安全防护所要解决的几个技术问题,并就可能实现的技术方法进行了探讨和比较。     

构建媒体网络信息安全体系

通过对广州市电视台综合信息平台网络系统的应用现状及安全风险进行分析,提出基于网络层、系统层、用户层和安全策略管理全方位的网络信息安全体系.