溶胶凝胶法制备甲醇裂解铜系催化剂

甲醇具有能量密度高、易于储存运输及价格低廉等优点,以甲醇作为氢气载体裂解制H2,可以解决氢气难以储存运输的困难。用于该反应的催化剂较多,铜系催化剂以其价格便宜、毒性小等特点而受到研究者的广泛关注。但是该催化剂在低温下活性不高。本文用溶胶一凝胶法制备技术研制了一系列加助剂的铜系催化剂,进行热重和TPR表征,讨论其在甲醇裂解制氢模型反应中的应用。     

基于JavaCard的云数据确定性删除方法

确定性删除将外包数据的删除问题转换为密钥的安全管控和删除问题,使得留存于云服务提供商和数据使用者处的外包数据是失效、不可恢复的。但是,现有的确定性删除方案大多是在资源充裕的计算机和智能手机上设计和实现的,无法应用于资源受限的嵌入式设备。本文提出了适用于JavaCard平台的云数据确定性删除方法。在该方法中,密钥的使用条件可以是时间,也可以是次数,数据属主可以根据其需要选取一种条件以实现密钥在数据使用者端的受限使用。对于这两种使用条件,数据使用者都可以将密钥及使用条件安全保存在本地,节省通信开销。当密钥使用条件满足时,JavaCard用密钥解密数据;当密钥使用条件不满足时,JavaCard安全删除密钥,并生成可公开验证的密钥删除证据。实验和对比分析表明,本文方案性能开销合理,能够实现预期目的,可以应用于嵌入式设备。     

基于中国邮递员问题的可信平台模块测试序列生成优化研究

现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.     

特立氟胺合成方法的工艺改进

以对三氟甲基苯胺为起始原料,在缩合剂EDC的作用下直接与氰乙酸缩合得到关键中间体2-氰基-N-(4-(三氟甲基)苯基)乙酰胺。经甲醇钠脱质子,与乙酰氯发生取代、重排反应得特立氟胺成品。中间体和成品结构均经¹H NMR、¹³C NMR和HR-MS(ESI)确证。通过工艺优化,产品收率大幅度提高。该方法原料廉价易得、反应条件温和、操作安全性高、绿色环保,具有广阔的工业化前景。     

异丁烯氢甲酰化用负载型PPh3-Rh-Co/SiO2配合物高效催化剂

制备了SiO2担载的Rh-Co双金属配合物催化剂,用FT-IR、TPR和TPD等手段对催化剂进行了表征,并用异丁烯氢甲酰化反应考察了催化剂的性能.结果表明,Co和Rh之间存在协同效应,这种协同效应可以促进二者在载体表面的分散;可以促进催化活性物种前驱物数量的增加,从而提高催化剂的催化性能;氢甲酰化反应产物中没有副产物特戊醛的生成;经过研究和优化,高效催化剂在2.5 MPa反应压力下5 b内异戊醛的平均产率可达1257.5 mol/mol-Rh·h.     

多壁碳纳米管的改性及其储氢性能研究

考察了空气处理、混酸处理、H₂O₂处理和等离子体活化等化学改性和多种活性金属修饰对碳纳米管储氢性能的影响,采用TPD-H₂评价装置测试了不同样品吸附的氢气在程序升温后的脱附情况,用峰面积和氢气的校正因子计算出样品吸附氢气的体积,从而计算出碳纳米管的储氢容量.实验结果表明,化学改性和金属修饰均能明显提高碳纳米管的储氢性能,其中经过混合酸和H₂O₂化学处理并负载质量分数为20%Ni的碳纳米管,在常温常压下的氢气储存的质量分数达到2.55%,比未做任何处理的碳纳米管的储氢容量提高了7倍.     

一种形式化的可信平台模块应用编程接口安全性分析方法

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.     

担载型铑络合物催化异丁烯氢甲酰化反应的研究

将铑络合物担载于磷钨酸改性的载体上制备了一系列新型催化剂。利用异丁烯氢的甲酰化反应考察了磷钨酸改性的各种载体对催化剂的活性和稳定性的影响。结果表明,以磷钨酸改性的S iO2为载体的催化剂在反应中的催化效果最好,当异丁烯5.0 g,V(H2)∶V(CO)=1∶1,p=3.0 MPa时,于377 K反应5 h,ASTY达420.9 h-1;异戊醛的收率为80.37%。