NiY分子筛选择性吸附脱硫性能及作用机理

用液相离子交换法制备了NiY分子筛,并用XRD、TEM、ICP、N2吸附和吡啶吸附原位红外技术等表征手段对其进行了表征. 利用固定床、气相色谱-硫发光检测器（GC-SCD）及傅里叶红外光谱（FT-IR）等方法系统研究了NiY分子筛对噻吩、2-甲基噻吩、3-甲基噻吩、四氢噻吩、苯并噻吩、二苯并噻吩、4-甲基二苯并噻吩、4,6-二甲基二苯并噻吩8种有机硫化物的选择性吸附脱硫性能和吸附机理. 结果表明,NiY分子筛对硫化物的穿透吸附硫容量顺序为四氢噻吩﹥苯并噻吩≈二苯并噻吩≈4,6-二甲基二苯并噻吩﹥4-甲基二苯并噻吩﹥2-甲基噻吩≈3-甲基噻吩﹥噻吩,说明有机硫化物的空间位阻效应不是其在NiY分子筛上吸附的决定因素. 红外结果表明,不同硫化物与NiY分子筛的作用机理并不相同,但主要以硫原子与金属离子配位作用（S-M作用）为主. 噻吩及其烷基取代物在NiY吸附剂上表面酸性作用下发生催化反应,噻吩环的共轭体系遭到破坏形成硫化物大分子或聚合物,导致分子筛孔道的堵塞,严重影响吸附剂的吸附脱硫能力. NiY的选择性吸附脱硫性能是硫化物与吸附中心的作用模式及吸附剂表面酸性综合作用的结果.     

一种中断驱动系统的时间约束验证方法

中断是嵌入式系统进行实时响应的重要机制.以测试为基础的传统方法在处理中断驱动的系统时,由于系统可能的运行轨迹空间无穷,其有效性受到很大的影响.本文基于线性混成自动机有界验证技术提出一种对中断驱动系统的时间约束进行验证的方法,应用线性混成自动机对中断驱动的系统建模,将时间约束验证问题转换成线性混成自动机上的路径可达性判定问题,并借助模型检验工具BACH来进行验证,以周期性中断源驱动的嵌入式系统为例,说明了方法的可行性和有效性.     

1,5-己二烯和苯对NiY分子筛脱硫性能的影响

利用固定床、傅里叶红外光谱(FT-IR)及频率响应(FR)等方法研究了1,5-己二烯和苯对NiY分子筛脱硫性能的影响机理. 结果表明, 吸附剂的选择性吸附脱硫性能随着模拟燃料中1,5-己二烯和苯含量的增加而显著降低, 苯的影响比1,5-己二烯更显著. 1,5-己二烯和苯影响NiY脱硫的机理不同, 在吸附剂表面质子酸的作用下, 烯烃与噻吩发生催化反应, 噻吩开环生成烷基噻吩类大分子化合物, 这类吸附堵塞分子筛的孔道, 阻碍硫化物分子进入超笼与其中的金属阳离子吸附活性中心发生吸附作用. 通过FR光谱观察, 得知吸附过程是噻吩在NiY分子筛中传质过程的速控步骤, 扩散过程是苯在NiY分子筛上动力学过程的速控步骤, 这使噻吩从吸附中心上置换下来的苯不易从分子筛孔道中扩散出去, 从而阻碍了噻吩在吸附中心上的吸附.