-
题名面向软件可信性的可信指针分析技术综述
被引量：3
- 1
-
-
作者
姚宇峰
-
机构
常熟理工学院计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第2期427-431,共5页
-
基金
高校青年教师科研启动基金资助项目
-
文摘
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过对现有可信指针分析技术的分析和比较,详细讨论了面向软件可信性的可信指针分析的关键技术;此外,重点介绍了流敏感指针分析及上下文敏感指针分析的方法和理论;最后对进一步研究工作的方向进行了展望。
-
关键词
软件可信
程序分析技术
可信指针分析
流敏感分析
上下文敏感分析
-
Keywords
software trustworthiness
program analysis technology
trustworthy pointer analysis
flow sensitive pointer analysis
context sensitive pointer analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名氧化铈对水煤气变换反应催化剂的影响研究
- 2
-
-
作者
樊惠玲
李晓东
上官炬
林建英
郭汉贤
-
机构
太原理工大学煤科学与技术省部共建国家重点实验室培育基地
-
出处
《太原理工大学学报》
CAS
北大核心
2012年第1期86-90,共5页
-
基金
山西省自然科学基金资助项目(2011011008-2)
山西省回国留学人员科研资助项目(2010-40)
-
文摘
采用程序升温氧化及脱附技术考察了CeO2对铁铬中温变换催化剂的氧化性能以及表面吸附性能的影响。研究表明,在铁铬中变催化剂中加入氧化铈,可明显改变催化剂的吸附性能与氧化性能。CeO2质量分数为3%时,对催化性质的改善作用最显著;CeO2具有结构型与电子型助剂的双重作用;少量CeO2的加入可以提高主剂分散度,提高催化剂的比表面积,但大量加入则会使CeO2本身积聚在催化剂表面,并对活性组分造成覆盖,反而降低了比表面积。
-
关键词
铁铬催化剂
氧化铈
水煤气变换反应
程序升温分析技术
-
Keywords
Fe-Cr catalyst
CeO2
water shift reaction
temperature programmed technique
-
分类号
TQ426
[化学工程]
-
