超低排放改造后烟气余热利用设备存在问题及防治措施

随着火电厂超低排放改造的普遍应用，低温省煤器等烟气余热利用设备获得了广泛应用。本文针对烟气余热利用设备在实际工程应用中所存在的低温腐蚀、磨损、积灰堵塞以及振动等问题，分析了形成原因及主要影响因素，提出了选用耐低温腐蚀性能优异的材料制造换热器，合理设计受热面结构型式，控制烟气流速和受热面金属壁温，加装吹灰设备以及导流板和防振隔板等防治对策，有效地解决了烟气余热利用设备所存在的低温腐蚀、磨损、积灰堵塞以及振动等问题。     

日本新型二次电池工业发展及其与中国的比较

在新型二次电池产业的发展中,氢镍电池市场不断萎缩,锂离子电池市场正处于黄金时代。通过对日本和中国新型二次电池产业发展历程分析,我国主要针对低端市场,高端市场为日本占据,并从日本发展经验中提出了可供我国锂离子电动车电池发展的借鉴之处。     

基于小角度高位技术的钻孔初采期瓦斯治理

回采工作面初采期瓦斯涌出不均衡,易出现瓦斯超限现象。针对新源煤矿近距离煤层群开采、瓦斯涌出量大等特点,提出了小角度高位钻孔抽采治理初采期瓦斯的方法;2219工作面应用实践表明,初采期内,小角度高位钻孔抽采瓦斯纯量最高5.25m3/min,瓦斯抽采率64.02%,回风流瓦斯浓度最高为0.32%,上隅角最高瓦斯浓度0.96%,未出现瓦斯超限现象,取得了很好的初采期瓦斯治理效果。     

Effect laws and mechanisms of different temperatures on isothermal tensile fracture morphologies of high-strength boron steel

The fracture behaviour and morphologies of high-strength boron steel were investigated at different temperatures at a constant strain rate of 0.1 s-1 based on isothermal tensile tests. Fracture mechanisms were also analyzed based on the relationship between microstructure transformation and continuous cooling transformation(CCT) curves. It is found that 1) fractures of the investigated steel at high temperatures are dimple fractures; 2) the deformation of high-strength boron steel at high temperatures accelerates diffusion transformations; thus, to obtain full martensite, a higher cooling rate is needed; and 3) the investigated steel has the best plasticity when the deformation temperature is 750 °C.     

Highly active sites of low spin FeⅡN4species:The identification and the ORR performance

Over recent years,catalytic materials of Fe-N-C species have been recognized being active for oxygen reduction reaction(ORR).However,the identification of active site remains challenging as it generally involves a pyrolysis process and mixed components being obtained.Herein Fe₃C/C and Fe₂N/C samples were synthesized by temperature programmed reduction of Fe precursors in 15%CH₄/H₂and pure NH₃,respectively.By acid leaching of Fe₂N/C sample,only single sites of FeN₄species were presented,providing an ideal model for identification of catalytic functions of the single sites of FeN₄in ORR.A correlation was conducted between the concentration of Fe^ⅡN₄in low spin state by Mossbauer spectra and the kinetic current density at 0.8 V in alkaline media,and such a structure-performance correlation assures the catalytic roles of low spin Fe^ⅡN₄ species as highly active sites for the ORR.     

大数据时代法律流程外包视阈下的法律法规翻译

大数据时代的到来,改变了人们的生活方式、思想方式和工作方式,也为国际服务外包产业带来了新的发展机遇。本文首先介绍了WTO透明度原则和我国加入WTO后在法律法规翻译方面应承担的义务及履行情况;其次,从法律流程外包(Legal Process Outsourcing,LPO)的概念、内容和特征出发,分析了大数据技术条件下我国政府法律法规译审外包的必要性,并根据大数据应用的可实时性、可解释性、数据准确性稳定性等基本原则,探讨了大数据技术条件下我国政府法律法规译审外包的运行模式及主要举措;最后,讨论了法律流程外包在我国的发展前景。     

The formation of fibrous structure of polyamide 6 induced by the three-step forming process and its prominent reinforcement in nitrile rubber

Nitrile rubber (NBR) blends with excellent performance have always been a hot research topic in petroleum field. Due to the excellent performance and compatibility of polyamide 6 (PA6), it provides an opportunity for the preparation of high-performance NBR/PA6 blends. In this article, NBR/PA6 blends were prepared by the three-step molding process. Experimentally, it was found that PA6 has a prominent reinforcement effect in NBR matrix. The variation of this mechanical property was investigated from different aspects of the crystal structure, crystallinities, phase morphology, and so on. It can be cleared that the formation of fibrous structure of PA6 phase is the main factor for reinforcement of the polymer blends. Meanwhile, the formation mechanism of the special phase structure induced by the three-step process is deeply expounded and its structural evolution schematic is established. © 2019 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47472.     

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

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