期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
程序升温-漫反射红外光谱考察SAPO-34分子筛表面酸性质
被引量：
2
1
作者
张平
王乐夫
《分析测试学报》
CAS
CSCD
北大核心
2004年第1期39-41,共3页
将程序升温 -漫反射红外光谱用于表征磷酸硅铝分子筛SAPO_34表面酸性质 ;结果表明 ,SAPO_34分子筛中的桥联羟基Si—OH—Al具有较强的热稳定性 ;结合NH3 探针考察表明 ,SAPO_34分子筛具有B酸和L酸两种酸中心 ,其中B酸较强 ,是SAPO_34酸...
将程序升温 -漫反射红外光谱用于表征磷酸硅铝分子筛SAPO_34表面酸性质 ;结果表明 ,SAPO_34分子筛中的桥联羟基Si—OH—Al具有较强的热稳定性 ;结合NH3 探针考察表明 ,SAPO_34分子筛具有B酸和L酸两种酸中心 ,其中B酸较强 ,是SAPO_34酸性的主要部分 ,而L酸中心较弱。
展开更多
关键词
磷酸硅铝分子筛
SAPO-34分子筛
羟基
酸性
程序
升温-漫
反射
红外光谱
原位表征技术
B酸中心
L酸中心
在线阅读
下载PDF
职称材料
函数式元编程语言的设计要素
被引量：
1
2
作者
欧阳坚
罗晓光
+2 位作者
王生原
戴桂兰
张素琴
《计算机科学》
CSCD
北大核心
2006年第3期234-238,共5页
本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了...
本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。
展开更多
关键词
函数式语言
程序反射
元编程系统
同构系统
在线阅读
下载PDF
职称材料
题名
程序升温-漫反射红外光谱考察SAPO-34分子筛表面酸性质
被引量：
2
1
作者
张平
王乐夫
机构
广州大学环境科学系
华南理工大学化学工程系
出处
《分析测试学报》
CAS
CSCD
北大核心
2004年第1期39-41,共3页
基金
国家自然科学基金资助项目(20076017)
广东省自然科学基金资助项目(000428)
广东省科技攻关计划(2KB06601S)
文摘
将程序升温 -漫反射红外光谱用于表征磷酸硅铝分子筛SAPO_34表面酸性质 ;结果表明 ,SAPO_34分子筛中的桥联羟基Si—OH—Al具有较强的热稳定性 ;结合NH3 探针考察表明 ,SAPO_34分子筛具有B酸和L酸两种酸中心 ,其中B酸较强 ,是SAPO_34酸性的主要部分 ,而L酸中心较弱。
关键词
磷酸硅铝分子筛
SAPO-34分子筛
羟基
酸性
程序
升温-漫
反射
红外光谱
原位表征技术
B酸中心
L酸中心
Keywords
In-situ DRIFTS
SAPO-34molecular sieve
Hydroxyls
Acidity
分类号
O643.36 [理学—物理化学]
在线阅读
下载PDF
职称材料
题名
函数式元编程语言的设计要素
被引量：
1
2
作者
欧阳坚
罗晓光
王生原
戴桂兰
张素琴
机构
清华大学计算机系
出处
《计算机科学》
CSCD
北大核心
2006年第3期234-238,共5页
基金
国家自然科学基金项目(编号:#60403022)
文摘
本文介绍基于函数式语言的元编程系统,讨论元编程系统特别是同构系统的语言特点。从程序反射的角度分析元编程系统对程序设计语言在自我表示、自我分析和控制等方面的要求。以 MetaML 和 Template Haskell 为例论述在函数式语言中为了支持元编程需要扩展的机制,包括语法、语义、类型系统、安全的变量使用等,以及它们的实现方案、各方案的特点。最后总结一些元编程系统的共同点,并预测未来的发展趋势。
关键词
函数式语言
程序反射
元编程系统
同构系统
Keywords
Functional language,Procedural reflection, Meta-programming system, Homogeneous systems
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TB482 [一般工业技术—包装工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
程序升温-漫反射红外光谱考察SAPO-34分子筛表面酸性质
张平
王乐夫
《分析测试学报》
CAS
CSCD
北大核心
2004
2
在线阅读
下载PDF
职称材料
2
函数式元编程语言的设计要素
欧阳坚
罗晓光
王生原
戴桂兰
张素琴
《计算机科学》
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
