Ni-Mg复合催化剂催化裂解CH_4制氢动力学研究

基于定温热重实验,建立了甲烷催化裂解反应动力学模型和催化剂表面积炭失活动力学模型。其中,甲烷催化裂解动力学模型将初始产氢速率视为催化剂未积炭条件下的动力学基础数据;催化剂表面积炭失活动力学则基于甲烷催化裂解速率的降低。实验使用Ni-Mg复合催化剂,分别在535、585、635℃,甲烷分压10~4、2×10~4、3×10~4Pa条件下展开甲烷催化裂解动力学特性研究。结果表明,甲烷催化裂解的反应级数为0.5,活化能为82 k J/mol;Ni-Mg复合催化剂反应失活级数为0.5,催化剂失活活化能为118 k J/mol。实验条件下均制得了多壁碳纳米管。     

锌离子荧光探针研究进展

锌广泛存在于人体内,具有重要生理功能。因此,对游离锌离子的选择性识别和有效检测具有重要意义。荧光探针因其设计简单、易于操作、灵敏度高、可细胞成像等诸多优点而广泛应用于锌离子的识别研究。锌离子荧光探针常见的识别机理包括光致电子转移、分子内电荷转移、荧光共振能量转移、聚集诱导荧光增强、螯合荧光增强等。其中,基于螯合荧光增强机理的锌离子探针,其荧光团通常可同时作为识别基团,因此,相比于其它探针,具有设计较为简单、合成较为便捷的优点。本文综述了近年来文献中报道的基于以上各种识别机理的锌离子荧光探针,并着重介绍了螯合荧光增强机理在锌离子识别中的应用。     

乙烯-甲基丙烯酸共聚物离聚体在聚对苯二甲酸乙二酯中的相分离行为

聚对苯二甲酸乙二酯(PET)结晶速度很慢,通常加入成核剂来提高结晶速度。从专利文献来看,以离子聚合物为成核剂的例子也是很多的。离子聚合物与小分子成核剂的显著差别是:离子聚合物有一个很长的碳氢主链,其侧基为酸基,酸基被部分或全部地中和成盐。很明显,离子聚合物不象小分子成核剂那样能很好地分散在PET基体中,而是以独立的相存在。作为PET体系系列研究的继续,本文报道了离子聚合物Surlyn在PET中的相分离行为。     

标准模型下基于格的代理环签名方案

代理环签名是一种特殊的数字签名,可以广泛地应用于很多生活领域.但是现有的代理环签名方案的安全性大都是在随机预言模型下证明的,在实际应用中不一定安全.提出一个标准模型下基于格的代理环签名方案,同时,基于格上的难题SIS和ISIS,证明了方案能够抵抗存在性伪造攻击.     

渐近线性二阶Hamilton系统解的存在性和多重性

在实际问题中存在着Neumann边值情形.为实际需要,运用指标理论和Morse理论研究了渐近线性二阶Hamilton系统在这种情形下解的存在性和多重性问题。     

基于MSM输入输出排队交换结构的调度算法研究

信息网络的传输宽带化和业务多样化需求给交换结构的可扩展性及性能提出了更高的要求.基于MSM(Memory-Space-Memory)输入输出排队交换结构进行研究,通过对交换网络内部拥塞调度机制进行深入分析,在保障调度公平性的基础上,提出一种严格匹配输出调度过程的SM-RR(Strict Matching algorithm based onRound-Robin)算法.与现有典型算法相比,该算法无需加速比即可获得较高的性能.     

一类反向混合单调算子方程解的存在唯一性定理

运用锥与半序理论和非对称迭代方法,讨论Banach空间一类反向混合单调算子方程解的存在唯一性,给出了迭代序列收敛于解的误差估计,所得结果改进和推广了某些已有结果.     

关于体上分块矩阵的群逆

本文利用分块矩阵方法．研究了体上两个矩阵乘积的群逆的存在性及表示形式，给出了体上两个矩阵乘积群逆存在的充分必要条件和表示形式．并且在一定条件下．给出了体上分块矩阵的群逆存在性及表示形式．     

碳排放税收政策下供应链网络成员企业行为研究

针对三种碳税决策框架:分权碳税框架、集权碳税框架——固定阀值、集权碳税框架——弹性阀值,分别分析三种碳排放税收政策决策框架下供应链网络中成员企业收益的变化以及各企业间的交互行为,给出了各成员企业的均衡条件,并将其转化为变分不等式问题,建立碳排放税收政策下供应链网络成员企业博弈模型,并提出基于欧拉算法的模型求解方法。最后结合算例分析碳排放税收政策下供应链网络成员企业关于生产决策、分销决策、碳排放量的反应,研究为达到预期的环境目标,政府相关部门如何调整单位碳排放税,同时,根据成员企业相关经济指标的均衡结果,政府相关部门又如何调整碳排放的环境目标。     

一类离散的时滞脉冲切换系统的H_∞二次稳定性

研究了一类离散的时滞脉冲切换系统的H_∞控制问题,利用Lyapunov稳定性理论和线性矩阵不等式方法,给出了离散脉冲切换系统具有性能指标γ的充分条件.