全文获取类型
收费全文 | 9930篇 |
免费 | 877篇 |
国内免费 | 610篇 |
专业分类
电工技术 | 789篇 |
综合类 | 466篇 |
化学工业 | 442篇 |
金属工艺 | 367篇 |
机械仪表 | 994篇 |
建筑科学 | 534篇 |
矿业工程 | 202篇 |
能源动力 | 343篇 |
轻工业 | 344篇 |
水利工程 | 177篇 |
石油天然气 | 236篇 |
武器工业 | 156篇 |
无线电 | 1239篇 |
一般工业技术 | 771篇 |
冶金工业 | 361篇 |
原子能技术 | 281篇 |
自动化技术 | 3715篇 |
出版年
2024年 | 48篇 |
2023年 | 112篇 |
2022年 | 233篇 |
2021年 | 282篇 |
2020年 | 285篇 |
2019年 | 188篇 |
2018年 | 203篇 |
2017年 | 261篇 |
2016年 | 323篇 |
2015年 | 354篇 |
2014年 | 570篇 |
2013年 | 538篇 |
2012年 | 614篇 |
2011年 | 665篇 |
2010年 | 536篇 |
2009年 | 525篇 |
2008年 | 534篇 |
2007年 | 662篇 |
2006年 | 625篇 |
2005年 | 625篇 |
2004年 | 474篇 |
2003年 | 465篇 |
2002年 | 377篇 |
2001年 | 276篇 |
2000年 | 285篇 |
1999年 | 259篇 |
1998年 | 192篇 |
1997年 | 172篇 |
1996年 | 116篇 |
1995年 | 106篇 |
1994年 | 93篇 |
1993年 | 74篇 |
1992年 | 64篇 |
1991年 | 46篇 |
1990年 | 46篇 |
1989年 | 28篇 |
1988年 | 15篇 |
1987年 | 6篇 |
1986年 | 6篇 |
1985年 | 10篇 |
1984年 | 9篇 |
1983年 | 6篇 |
1980年 | 7篇 |
1979年 | 6篇 |
1965年 | 9篇 |
1963年 | 6篇 |
1959年 | 7篇 |
1958年 | 10篇 |
1956年 | 8篇 |
1955年 | 13篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
1.
The basic methods of verifying continuous automatic belt weighers are described. A comparative analysis of these methods on the basis of experimental studies is made and ways of implementing the results in industry are recommended. 相似文献
2.
论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。 相似文献
3.
4.
5.
6.
本文介绍一套先进的构件实验设备的功能及其在发动机构件疲劳试验方面的具体应用实例.通过对几种受力较复杂构件的受力分析设计出实验方法,使构件在实验室中受力情况与构件实际受力情况相似或相同,这样,得出的试验数据就可为构件的可靠性分析工作提供较好的依据. 相似文献
7.
8.
Sven Beyer Christian Jacobi Daniel Kröning Dirk Leinenbach Wolfgang J. Paul 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(4-5):411-430
In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor
with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE
compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification
has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA.
A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional
verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University. 相似文献
9.
针对传统的非锐化掩模算法的局限性,依据图像中各像素点及以其为中心的若干相邻像素点的均方差值,提出了自适应图像增强算法的原理,并分析其硬件实现方法,然后给出了该算法与其它算法应用于图像增强的对比结果,最后在FPGA(field programmable gate array)实验板上进行验证.实验结果表明,此算法有效的增强图像的细节区域,防止图像边缘区域出现过冲现象,抑制图像平坦区域的噪声放大.因此,该算法取得了良好的视觉效果,硬件实现简单,适合于实时条件下图像的增强. 相似文献
10.