全文获取类型
收费全文 | 123篇 |
免费 | 11篇 |
国内免费 | 63篇 |
专业分类
综合类 | 3篇 |
化学工业 | 2篇 |
机械仪表 | 1篇 |
建筑科学 | 41篇 |
矿业工程 | 2篇 |
武器工业 | 1篇 |
无线电 | 3篇 |
一般工业技术 | 5篇 |
冶金工业 | 2篇 |
原子能技术 | 73篇 |
自动化技术 | 64篇 |
出版年
2023年 | 8篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 5篇 |
2019年 | 4篇 |
2018年 | 6篇 |
2017年 | 9篇 |
2016年 | 5篇 |
2015年 | 7篇 |
2014年 | 5篇 |
2013年 | 6篇 |
2012年 | 6篇 |
2011年 | 4篇 |
2010年 | 9篇 |
2009年 | 22篇 |
2008年 | 12篇 |
2007年 | 22篇 |
2006年 | 17篇 |
2005年 | 9篇 |
2004年 | 6篇 |
2003年 | 5篇 |
2002年 | 1篇 |
2001年 | 4篇 |
2000年 | 8篇 |
1999年 | 5篇 |
1998年 | 5篇 |
1996年 | 1篇 |
1993年 | 1篇 |
1990年 | 1篇 |
1986年 | 1篇 |
1979年 | 1篇 |
排序方式: 共有197条查询结果,搜索用时 15 毫秒
1.
用程序升温热脱附(TPD)技术,研究了五种 HNM(H-型天然丝光沸石)及 HM(合成 H-型丝光沸石)的表面酸性质,用氨作检测酸中心的分子探针,在六个 TPD谱图上均有两个脱附峰,第一峰的峰顶温度约为210℃,该峰代表了弱酸中心,第二峰的峰顶温度约550℃,代表强酸中心,两类不同酸中心的强度可用氨脱附活化能大小来表征。另外,按照非均匀表面处理,氨的脱附活化能 E_d是表面覆盖度θ的函数,本文用 Tokoro's 计算机模拟热脱附曲线的方法,求得脱附活化能 E_d 并描绘出 E_d~θ关系图,用来表征酸中心强度及酸强度分布,结果表明 HNM 酸强度分布要比 HM 不均匀。计算还表明,4N HNM 样品的强酸中心的酸强度要比9N HNM 样品的大得多。本研究还给出了酸强度与 C_7催化裂解的转化率之间的关系。 相似文献
2.
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。 相似文献
3.
4.
本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。 相似文献
5.
6.
分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足,以ε-Connections语言构建的模块化本体库为研究对象,基于保守扩充理论提出了本体模块知识完整性概念,并证明了知识完整性的相关性质.在此基础上,给出了一种针对模块化本体库的保守扩充重用算法ERMMO(extracting reused modules from modularontologies),讨论了该算法的两种子算法EMMOIK和EMOIK的特点及适用条件.分析并验证了ERMMO算法的可行性和正确性.ERMMO算法是当前保守扩充重用算法的一般化扩充,对模块化思想应用于本体重用问题有所启示. 相似文献
7.
8.
用二氢吡啶酯为还原剂,在无催化剂条件下对醛亚胺的还原进行了研究,考察了溶剂、温度、二氢吡啶酯与亚胺的摩尔比例以及添加剂对反应的影响。同时,在最优条件下对一系列N-芳基醛亚胺进行了还原,最高收率可以达到99%。 相似文献
9.
10.