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

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

珠江口盆地珠一坳陷古近系高自然伽马砂岩形成机制及油气地质意义

运用放射性元素寻找油气是一种非常规油气勘探手段。近年来,在珠江口盆地珠一坳陷富烃凹陷周边古近系钻遇高自然伽马(GR)砂岩,其GR值(100~300 API)甚至大于同区泥岩的GR值(100~200 API)。为了弄清该特殊现象背后的地质意义,对珠江口盆地珠一坳陷古近系高自然伽马砂岩开展了铀(U)、钍(Th)、钾(K)等3种元素含量与GR值的相关趋势线分析,从井震特征、岩性特征及矿物成分特征等入手分析了砂岩GR值增高的主要原因及成因机制,探讨了放射性元素聚集的条件、运移通道、驱动力以及油气意义。结果表明:西江、惠州地区由U含量增高导致砂岩GR值偏高,恩平、番禺地区由K,Th含量增高导致砂岩GR值偏高;砂岩GR值增高有两大成因机制,一是地下流体带来的放射性元素离子U4+在氧化-还原面处富集后导致地层GR值偏高,这种特殊现象说明在具有连通基底大断裂旁的圈闭中,U4+的富集指示了曾经油气的存在,证实了研究区油气运移通道的有效性,对于油气藏的预测有着非常重要的指导性意义,二是地表流体带来的含放射性元素的矿物大量沉积后导致地层GR值偏高,含放射性元素矿物性质不稳定,可指示近源供给的存在,对于判断物源及沉积环境有着非常重要的意义。该研究成果为预测研究区油气成藏有利区带提供了依据。     

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

基于柴油产品质量升级的需求,中国石化大连石油化工研究院(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和两者匹配使用的方法。