全文获取类型
收费全文 | 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.
中、高压变频器产量越来越多,但试验手段大多比较落后,一般采用带电机空转的方法。本文介绍了一个高压变频器试验平台,通过该平台可以对电压等级在3kV~10kV、功率在5000kW以下的变频器进行实载试验。 相似文献
3.
论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。 相似文献
4.
5.
6.
7.
本文介绍一套先进的构件实验设备的功能及其在发动机构件疲劳试验方面的具体应用实例.通过对几种受力较复杂构件的受力分析设计出实验方法,使构件在实验室中受力情况与构件实际受力情况相似或相同,这样,得出的试验数据就可为构件的可靠性分析工作提供较好的依据. 相似文献
8.
9.
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. 相似文献
10.
采用传递比较法对二厘米微波衰减标准装置不确定度进行了验证。测量标准装置的重复性以组内实验标准偏差sn(A)定量表征,测量标准装置的稳定性用组间实验标准偏差sm定量表征。 相似文献