全文获取类型
收费全文 | 46081篇 |
免费 | 1464篇 |
国内免费 | 201篇 |
专业分类
电工技术 | 497篇 |
综合类 | 30篇 |
化学工业 | 7442篇 |
金属工艺 | 1146篇 |
机械仪表 | 784篇 |
建筑科学 | 2010篇 |
矿业工程 | 114篇 |
能源动力 | 1086篇 |
轻工业 | 2886篇 |
水利工程 | 449篇 |
石油天然气 | 125篇 |
武器工业 | 5篇 |
无线电 | 2779篇 |
一般工业技术 | 6207篇 |
冶金工业 | 6651篇 |
原子能技术 | 357篇 |
自动化技术 | 15178篇 |
出版年
2023年 | 215篇 |
2022年 | 440篇 |
2021年 | 683篇 |
2020年 | 463篇 |
2019年 | 630篇 |
2018年 | 786篇 |
2017年 | 694篇 |
2016年 | 833篇 |
2015年 | 758篇 |
2014年 | 1243篇 |
2013年 | 2537篇 |
2012年 | 2427篇 |
2011年 | 5111篇 |
2010年 | 2757篇 |
2009年 | 2530篇 |
2008年 | 2450篇 |
2007年 | 2340篇 |
2006年 | 2025篇 |
2005年 | 1997篇 |
2004年 | 1682篇 |
2003年 | 1689篇 |
2002年 | 1318篇 |
2001年 | 705篇 |
2000年 | 551篇 |
1999年 | 615篇 |
1998年 | 667篇 |
1997年 | 598篇 |
1996年 | 564篇 |
1995年 | 574篇 |
1994年 | 528篇 |
1993年 | 512篇 |
1992年 | 507篇 |
1991年 | 293篇 |
1990年 | 426篇 |
1989年 | 395篇 |
1988年 | 327篇 |
1987年 | 362篇 |
1986年 | 321篇 |
1985年 | 424篇 |
1984年 | 439篇 |
1983年 | 329篇 |
1982年 | 300篇 |
1981年 | 287篇 |
1980年 | 269篇 |
1979年 | 270篇 |
1978年 | 247篇 |
1977年 | 225篇 |
1976年 | 206篇 |
1975年 | 194篇 |
1974年 | 173篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
David Lorge Parnas 《Annals of Software Engineering》1998,6(1-4):19-37
Programmes in Software Engineering have become a source of contention in many universities. Some Computer Science departments, many of which have used that phrase to describe individual courses for decades, claim software engineering as part of their discipline. However, Engineering faculties claim Software Engineering as a new speciality in the family of engineering disciplines. This paper discusses the differences between traditional computer science programmes and most engineering programmes and argues that we need programmes that follow the traditional engineering approach to professional education and educate engineers whose speciality within engineering is software construction. One such programme is described. 相似文献
992.
993.
D. Kennedy D. Miller Victor QuintanaAuthor vitae 《International Journal of Electrical Power & Energy Systems》1998,20(8):501-515
In this paper, a unified approach to the design of a nonlinear excitation controller/power system stabilizer for a synchronous generator/infinite bus power system is presented. The approach is based on a form of state feedback linearization, known as input–output feedback linearization, which provides an exact semi-global state transformation that is valid for a large class of operating points of the power system. With this transformation, the terminal voltage becomes a linear function of the control input. The excitation controller/power system stabilizer is then synthesized by using linear controller design techniques. The controller is proven to provide small signal stability and to provide local asymptotic tracking of admissible constant reference signals for a large class of operating points. A procedure is given to tune the controller gains to provide significant damping of the power angle oscillations. 相似文献
994.
995.
We present data on the copper isotope effect (63Cu-65Cu), Cu =-nTc/nmCu, for two isotopic pairs of oxygen-deficient YBa2Cu3O7–, where varies between 0.06 and 0.52. Cu is below 0.01 at =0.06 (fully oxygenated), it takes values between –0.14 and –0.34 in the 60 K plateau. Larger negative values of Cu are observed away from the plateau. The dependence of Cu is similar to that of the pressure effect dnTc/dP. 相似文献
996.
GOST 34.10 is Russia's DSA. Like its US counterpart, GOST is an ElGamal-like signature scheme used in Schnorr mode. It is similar to NIST DSA in many aspects. In this paper we will overview GOST 34.10 and discuss the three main differences between the two algorithms, (i) GOST's principal design criterion does not seem to be computational efficiency: the algorithm is 1.6 times slower than the DSA and produces 512-bit signatures. This is mainly due to the usage of the modulus q which is at least 254 bits long. During verification, modular inverses are computed by exponentiation (while the Extended Euclidian algorithm is roughly 100 times faster for this parameter size) and the generation of the public parameters is much more complicated than in the DSA. This choice of the parameters makes GOST 34.10 very secure. (ii) GOST signers do not have to generate modular inverses as the basic signature equation is s = xr + mk (mod q) instead of (mod q). (iii) GOST's hash function (the Russian equivalent of the SHA) is the standard GOST 34.11 which uses the block cipher GOST 28147 (partially classified) as a building block. The hash function will be briefly described. Copyright 相似文献
997.
Better verification through symmetry 总被引:2,自引:1,他引:1
998.
We first show that ground term-rewriting systems can be completed in a polynomial number of rewriting steps, if the appropriate data structure for terms is used. We then apply this result to study the lengths of critical pair proofs in non-ground systems, and obtain bounds on the lengths of critical pair proofs in the non-ground case. We show how these bounds depend on the types of inference steps that are allowed in the proofs. 相似文献
999.
Douglas C. Burger Rahmat S. Hyder Barton P. Miller David A. Wood 《The Journal of supercomputing》1996,10(1):87-104
Massively parallel processors have begun using commodity operating systems that support demand-paged virtual memory. To evaluate the utility of virtual memory, we measured the behavior of seven shared-memory parallel application programs on a simulated distributed-shared-memory machine. Our results (1) confirm the importance of gang CPU scheduling, (2) show that a page-faulting processor should spin rather than invoke a parallel context switch, (3) show that our parallel programs frequently touch most of their data, and (4) indicate that memory, not just CPUs, must be gang scheduled. Overall, our experiments demonstrate that demand paging has limited value on current parallel machines because of the applications' synchronization and memory reference patterns and the machines' high page-fault and parallel context-switch overheads.An earlier version of this paper was presented at Supercomputing '94.This work is supported in part by NSF Presidential Young Investigator Award CCR-9157366; NSF Grants MIP-9225097, CCR-9100968, and CDA-9024618; Office of Naval Research Grant N00014-89-J-1222; Department of Energy Grant DE-FG02-93ER25176; and donations from Thinking Machines Corporation, Xerox Corporation, and Digital Equipment Corporation. 相似文献
1000.
David A. Bader Joseph Jájá David Harwood Larry S. Davis 《The Journal of supercomputing》1996,10(2):141-168
This paper presents efficient and portable implementations of a powerful image enhancement process, the Symmetric Neighborhood Filter (SNF), and an image segmentation technique that makes use of the SNF and a variant of the conventional connected components algorithm which we call -Connected Components. We use efficient techniques for distributing and coalescing data as well as efficient combinations of task and data parallelism. The image segmentation algorithm makes use of an efficient connected components algorithm based on a novel approach for parallel merging. The algorithms have been coded in Split-C and run on a variety of platforms, including the Thinking Machines CM-5, IBM SP-1 and SP-2, Cray Research T3D, Meiko Scientific CS-2, Intel Paragon, and workstation clusters. Our experimental results are consistent with the theoretical analysis (and provide the best known execution times for segmentation, even when compared with machine-specific implementations). Our test data include difficult images from the Landsat Thematic Mapper (TM) satellite data.Also affiliated with the Department of Electrical Engineering.Also affiliated with the Department of Computer Science and the Center for Automation Research. 相似文献