全文获取类型
收费全文 | 146篇 |
免费 | 13篇 |
国内免费 | 11篇 |
专业分类
电工技术 | 9篇 |
综合类 | 9篇 |
化学工业 | 13篇 |
金属工艺 | 10篇 |
机械仪表 | 10篇 |
建筑科学 | 22篇 |
矿业工程 | 9篇 |
能源动力 | 4篇 |
轻工业 | 21篇 |
水利工程 | 3篇 |
石油天然气 | 6篇 |
武器工业 | 2篇 |
无线电 | 8篇 |
一般工业技术 | 6篇 |
冶金工业 | 5篇 |
自动化技术 | 33篇 |
出版年
2024年 | 2篇 |
2023年 | 16篇 |
2022年 | 14篇 |
2021年 | 10篇 |
2020年 | 10篇 |
2019年 | 12篇 |
2018年 | 16篇 |
2017年 | 7篇 |
2016年 | 6篇 |
2015年 | 5篇 |
2014年 | 8篇 |
2013年 | 3篇 |
2012年 | 7篇 |
2011年 | 3篇 |
2010年 | 7篇 |
2009年 | 11篇 |
2008年 | 3篇 |
2007年 | 6篇 |
2006年 | 3篇 |
2005年 | 1篇 |
2004年 | 1篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2000年 | 1篇 |
1999年 | 6篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1995年 | 2篇 |
1994年 | 2篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1984年 | 1篇 |
排序方式: 共有170条查询结果,搜索用时 0 毫秒
11.
在现代室内装饰中,色彩是不可替代的关键性艺术表现元素.色彩的选择与运用直接决定了空间艺术的整体功效.在现代化发展进程的驱动下,居民的爱好由物质生活层面逐步转向了精神层面的追求,他们对室内装饰装修提出了更高的要求.适应这一变化,就要针对装饰的具体情况对色彩进行合理设计与搭配,从整体上提高空间艺术的功效与价值,以满足居民的... 相似文献
12.
13.
14.
15.
基于ARM的嵌入式数控系统平台阐述了汉字显示模块的实现方法。介绍了ARM7处理器S3CA4BOX的内置LCD控制器和SHARP公司的LM057QCIT01液晶显示模块以及两者之间的接口,重点对嵌入式数控系统中汉字库的建立以及汉字显示模块的驱动进行了说明。 相似文献
16.
结合航天型号风险管理实例对项目风险管理理论方法进行了详细阐述,使得项目风险管理理论更加通俗易懂,对型号风险管理的关键环节和成功要素进行描述,为航天型号管理人员提供参考. 相似文献
17.
中国石化石油化工科学研究院研制的SR-1000催化剂在哈萨克斯坦奇姆肯特PKOP炼油厂1.0 Mt/a半再生催化重整装置上进行了首次工业器内再生。与新鲜催化剂相比,烧焦催化剂的比表面积和孔体积下降幅度小于2.0%,说明烧焦过程控制比较平稳,催化剂的水热稳定性好。SR-1000再生催化剂运转前期结果表明,与新鲜催化剂操作工况相比,在重整进料量增加17.1 m3/h、重整原料的环烷烃与芳烃质量分数之和高6.01百分点的情况下,使用再生催化剂时的稳定汽油研究法辛烷值比使用新鲜催化剂时高0.5,收率比使用新鲜催化剂时高0.9百分点,充分说明SR-1000催化剂具有良好的再生性能。 相似文献
18.
本文从分散松香胶的商品化与纸厂自制的制造工艺条件、设备、乳化剂的选择及其在实践中的应用情况作充分的研究,可以看出纸厂自制分散松香胶的优越性,从而预测纸厂自制分散松香胶具有广阔的前景。 相似文献
19.
20.
随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向. 相似文献