炼油生产调度研究现状与挑战

调度作为计划层和执行层的纽带,是智能型工厂的主要组成部分.对此,从炼油生产装置调度的角度,对炼油调度问题进行综述与分析.首先对炼油生产调度建模问题的研究现状进行阐述,介绍目前该领域建模方面考虑的因素;其次,对炼油生产调度的各种优化方法进行总结综述;最后,结合目前的信息技术和智能制造的发展趋势,分析炼油生产调度所面临的挑战和未来的研究方向.     

Solution-Synthesized Multifunctional Janus Nanotree Microswimmer

Synthetic active matters are perfect model systems for non-equilibrium thermodynamics and of great potential for novel biomedical and environmental applications. However, most applications are limited by the complicated and low-yield preparation, while a scalable synthesis for highly functional microswimmers is highly desired. In this paper, an all-solution synthesis method is developed where the gold-loaded titania-silica nanotree can be produced as a multi-functional self-propulsion microswimmer. By applying light, heat, and electric field, the Janus nanotree demonstrated multi-mode self-propulsion, including photochemical self-electrophoresis by UV and visible light radiation, thermophoresis by near-infrared light radiation, and induced-charge electrophoresis under AC electric field. Due to the scalable synthesis, the Janus nanotree is further demonstrated as a high-efficiency, low-cost, active adsorbent for water decontamination, where the toxic mercury ions can be reclaimed with enhanced efficiency.     

Centimeter-scale low-damage micromachining on single-crystal 4H–SiC substrates using a femtosecond laser with square-shaped Flat-Top focus spots

Femtosecond (fs) lasers have been proved to be reliable tools for high-precision and high-quality micromachining of ceramic materials. Nevertheless, fs laser processing using a single-mode beam with a Gaussian intensity distribution is difficult to obtain large-area flat and uniform processed surfaces. In this study, we utilize a customized diffractive optical element (DOE) to redistribute the laser pulse energy from Gaussian to square-shaped Flat-Top profile to realize centimeter-scale low-damage micromachining on single-crystal 4H–SiC substrates. We systematically investigated the effects of processing parameters on the changes in surface morphology and composition, and an optimal processing strategy was provided. Mechanisms of the formation of surface nanoparticles and the removal of surface micro-burrs were discussed. We also examined the distribution of subsurface defects caused by fs laser processing by removing a thin surface layer with a certain depth through chemical mechanical polishing (CMP). Our results show that laser-induced periodic surface structures (LIPSSs) covered by fine SiO₂ nanoparticles form on the fs laser-processed areas. Under optimal parameters, the redeposition of SiO₂ nanoparticles can be minimized, and the surface roughness Sa of processed areas reaches 120 ± 8 nm after the removal of a 10 μm thick surface layer. After the laser processing, micro-burrs on original surfaces are effectively removed, and thus the average profile roughness Rz of 2 mm long surface profiles decreases from 920 ± 120 nm to 286 ± 90 nm. No visible micro-pits can be found after removing ~1 μm thick surface layer from the laser-processed substrates.     

反坦克导弹用热电池研究进展

反坦克导弹作为击毁坦克和其他装甲目标的武器装备,在国家安全领域具有重要地位.热电池作为反坦克导弹的能源系统,对导弹功能实现具有重要意义.围绕反坦克导弹用热电池快激活和瞬时高比功率技术,结合热电池电化学材料体系发展历史、现状,探讨了提升快激活能力,提高瞬时比功率输出能力的技术,并对技术发展趋势进行了展望.     

催化剂级配技术在加氢改质装置上的工业应用

基于柴油产品质量升级的需求,中国石化大连石油化工研究院(FRIPP)开发了FHIDW加氢改质技术及配套FF-46加氢精制催化剂、FC-14B加氢改质催化剂和FDW-3临氢降凝催化剂.该技术及催化剂级配体系在格尔木炼油厂0.8 Mt·a-1加氢改质装置上的工业应用情况表明,级配催化剂体系对原料适应性强,装置运转平稳,操作灵活性高,催化剂失活速率慢,产品分布合理且质量优异,在降低柴油产品凝点的同时可以明显改善其密度和十六烷值,解决了改造前装置生产重柴油密度偏低的问题,为炼油厂生产符合国V质量标准的柴油提供了技术保障.     

75 t/h循环流化床锅炉降低NOx排放技术

近年来,我国对环境保护的要求越来越高,电厂烟气NOx排放指标多次进行了修改。国内绝大多数运行时间超过10年以上的老电厂,尤其是低参数小机组电厂的NOx排放都不达标。文章介绍了五阳热电厂4×75 t/h循环流化床锅炉通过技术改造降低NOx排放指标的成功经验,供同类型机组借鉴。     

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

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

离子膜电解反向电流及其消除

探讨反向电流的形成、反向电流的危害、极化整流器消除反向电流的若干方式、C-DCDS装置构成及其与极化整流器匹配应用于电解槽的情况,以及单独使用极化整流器或C-DCDS和两者匹配使用的方法。