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

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

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

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

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

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

极限工况下的管网“互联互通”改进方案

在全国天然气管道“主干互联、区域成网”(以下简称“互联互通”)基础格局逐渐形成的背景下,天然气管网规模日益扩大、管道分支和气源增加,并且分布不集中、输送方向可变,使得输气方案更加灵活,可以更好地解决某些地域的供气紧张问题;但受现有站场和设备的限制,暂不能满足某些多线组合极限工况,使得“互联互通”的初衷难以全部实现。为了使得现有的各输气干线在实现“互联互通”之后可以满足更多的多线组合工况,在分析“互联互通”背景下M管网工况变化的基础上,研发了可以进行水力仿真和压气站方案制订的计算软件,并对3种极限工况下的不同输气量情况进行了可行性试算,进而基于试算结果提出了相应的管网改进建议。研究结果表明:(1)经验证,软件计算误差满足要求;(2)在M管道某处增设压气站或在某些输气站场配置压缩机组;(3) M管网改进调整后,可以完成大部分的多线组合极限工况,真正实现“互联互通”的输气方案。结论认为,该研究成果有助于推进全国天然气管网早日实现“互联互通”。     

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.     

新2级能效低噪音节能环保变压器的研发设计

随着电力变压器新版能效标准于2021年6月1日起正式实施,如何降低变压器的损耗成为各生产厂家面临的主要课题.研发中首次使用宝武钢铁公司生产的低损耗B20R065硅钢片,通过电磁计算、结构设计、工艺制造等一系列的保障措施,试制出SB20-M-2500/10.5新2级能效低噪音节能环保叠铁心变压器,并通过型式试验验证了技术方案的可行性.     

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

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

长距离供热管线穿越行洪区的设计方案探讨

随着城市建设规模的不断发展,为满足不断增长的城市供热需求并全面落实国家生态保护、清洁供暖、可持续发展等政策,减少城市环境治理的压力,城市供热热源逐步远离城市,形成许多以长距离供暖和大规模供热为特征的长距离供热管线.由于热源和城市的位置关系,长距离供热管线往往会穿越复杂的障碍区域.以富拉尔基发电厂向齐齐哈尔市长距离供热管网项目穿越行洪区段管网作为案例,从管线穿越障碍区域设计、防洪设计及施工便道设计三个方面对供热管网穿越行洪区时的难点进行分析总结.     

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

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