全文获取类型
收费全文 | 615篇 |
免费 | 53篇 |
国内免费 | 46篇 |
专业分类
电工技术 | 12篇 |
综合类 | 36篇 |
化学工业 | 31篇 |
金属工艺 | 2篇 |
机械仪表 | 16篇 |
建筑科学 | 29篇 |
矿业工程 | 5篇 |
能源动力 | 9篇 |
轻工业 | 19篇 |
水利工程 | 33篇 |
石油天然气 | 4篇 |
武器工业 | 4篇 |
无线电 | 46篇 |
一般工业技术 | 27篇 |
冶金工业 | 34篇 |
原子能技术 | 1篇 |
自动化技术 | 406篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 4篇 |
2021年 | 3篇 |
2020年 | 3篇 |
2019年 | 9篇 |
2018年 | 14篇 |
2017年 | 15篇 |
2016年 | 11篇 |
2015年 | 20篇 |
2014年 | 29篇 |
2013年 | 33篇 |
2012年 | 36篇 |
2011年 | 45篇 |
2010年 | 26篇 |
2009年 | 38篇 |
2008年 | 44篇 |
2007年 | 43篇 |
2006年 | 61篇 |
2005年 | 37篇 |
2004年 | 22篇 |
2003年 | 32篇 |
2002年 | 20篇 |
2001年 | 20篇 |
2000年 | 15篇 |
1999年 | 14篇 |
1998年 | 18篇 |
1997年 | 15篇 |
1996年 | 12篇 |
1995年 | 8篇 |
1994年 | 5篇 |
1993年 | 8篇 |
1992年 | 10篇 |
1991年 | 3篇 |
1990年 | 6篇 |
1989年 | 1篇 |
1988年 | 5篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1985年 | 1篇 |
1983年 | 4篇 |
1981年 | 4篇 |
1980年 | 1篇 |
1979年 | 5篇 |
1975年 | 1篇 |
1966年 | 1篇 |
1965年 | 1篇 |
1964年 | 1篇 |
1961年 | 1篇 |
1957年 | 1篇 |
排序方式: 共有714条查询结果,搜索用时 125 毫秒
681.
682.
提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件的所有执行路径都不会违背给定性质,然后根据这些假设条件遍历所有可能的执行路径以验证给定的时序安全性质,并在遍历的过程中验证这些假设条件是否满足,如果不满足,则不断对其精化和加强.验证方法总是在保证假设条件可靠的前提下尽量使用较弱的条件,使得大量的执行路径由于满足假设条件而可以搜索复用,从而降低验证代价.应用该方法验证了Linux操作系统中SSL协议的实现程序openssl-0.9.6c满足SSL协议的初始握手规范.实验结果表明,该方法具有良好的实用性和可扩展性. 相似文献
683.
基于综合特征图像检索技术研究 总被引:11,自引:0,他引:11
图像数据库应用日益广泛,如何高效、准确地进行图像的检索成为一项重要的研究领域。传统的图像检索主要依赖颜色、纹理、形状、空间关系等单一视觉特征,检索效果往往不够理想。针对这一实际问题,提出一种新的图像检索方法,该方法以综合特征为检索基础,通过获得图像的归一化综合特征,并将其作为图像相似性的衡量依据。实验证明,利用综合特征进行图像检索具有很好的效果。 相似文献
684.
机载全波形激光雷达数据处理及其应用 总被引:1,自引:0,他引:1
机载小光斑全波形激光雷达系统其及数据处理已成为近几年激光雷达领域的研究热点。通过阐述全波形激光雷达的数据特点,介绍全波形激光雷达工作机理,并在此基础上概述了全波形激光雷达数据的处理流程。基于国内外研究现状,详尽的论述了全波形激光雷达数据在数据处理过程中的各个步骤中的理论和方法。最后,分析了机载小光斑全波形激光雷达数据处理及其应用的前景,为后续全波形数据处理和应用提供可靠参考和指导。 相似文献
685.
不同的感知编组(perceptual organization,PO)算法针对不同的全局线索,在使用中必须由人首先判定目标所满足的全局线索,之后选择相应的编组算法进行计算.本文提出基于先验模型的全局线索选择感知编组算法,可以从待选的多个全局线索中挑选出概率意义下最可能的线索作为编组依据.先验模型将场景的统计特性作为先验知识,以广义拉普拉斯分布作为样本的估计分布,通过后验概率和线索概率得到归一化信息量,以表达不同全局线索在编组过程中的重要程度.本文同时提出了编组种子的优先级排序算法,以加快计算速度.最后,以煤矿监控场景为例,说明了算法的计算过程,实验结果验证了算法的有效性. 相似文献
686.
燃烧过程中碳黑颗粒生成机理的研究进展 总被引:2,自引:0,他引:2
从两方面论述了碳黑的生成机理:气体火焰中碳黑的生成模型和煤燃烧过程中碳黑的生成模型。从而对碳黑的生成机理作了一个详细的综述。在气体火焰的碳黑生成模型中,运用化学动力学来诠释在层流预混火焰中大分子芳香族烃的形成。芳香族烃形成的主要步骤是乙炔和小分子芳香族烃的组合,主要是因为H原子萃取和共振稳定基团的组合,包括聚戊二烯的组合、丙炔对苯的粘附和丙炔对芳香环的连续粘附,由此建立了HACA模型(H萃取乙炔加入模型)。在此基础上,加以对共振稳定基团的分析研究,进一步建立气H原子萃取乙炔加入和共振稳定基团组合模型。对于煤燃烧过程中碳黑的生成模型,其过程非常复杂,国内外论述的比较简单,一般认为煤颗粒经过快速加热、热解过程生成焦炭和挥发分,而挥发分进一步裂解生成碳黑。 相似文献
687.
688.
根据工程实践,对住宅工程水电安装质量通病进行了归纳,分析了质量通病产生的原因,并针对性地提出了质量通病的防治措施,以保证住宅工程水电安装的质量,从而提高住宅的舒适度和居民的满意度。 相似文献
689.
通过对设计“建境工园”过程的回顾,阐述了如何发掘原有厂房的空间及存在价值;并运用抽象的空间设计方法以及材料的表现力,还原了旧厂房的真正空间价值。 相似文献
690.