全文获取类型
收费全文 | 15521篇 |
免费 | 827篇 |
国内免费 | 28篇 |
专业分类
电工技术 | 166篇 |
综合类 | 43篇 |
化学工业 | 3342篇 |
金属工艺 | 308篇 |
机械仪表 | 316篇 |
建筑科学 | 685篇 |
矿业工程 | 45篇 |
能源动力 | 504篇 |
轻工业 | 1228篇 |
水利工程 | 124篇 |
石油天然气 | 51篇 |
无线电 | 1115篇 |
一般工业技术 | 2966篇 |
冶金工业 | 2239篇 |
原子能技术 | 117篇 |
自动化技术 | 3127篇 |
出版年
2023年 | 165篇 |
2022年 | 359篇 |
2021年 | 573篇 |
2020年 | 374篇 |
2019年 | 380篇 |
2018年 | 496篇 |
2017年 | 461篇 |
2016年 | 531篇 |
2015年 | 465篇 |
2014年 | 595篇 |
2013年 | 1060篇 |
2012年 | 971篇 |
2011年 | 1155篇 |
2010年 | 807篇 |
2009年 | 755篇 |
2008年 | 790篇 |
2007年 | 774篇 |
2006年 | 581篇 |
2005年 | 504篇 |
2004年 | 371篇 |
2003年 | 381篇 |
2002年 | 338篇 |
2001年 | 213篇 |
2000年 | 187篇 |
1999年 | 205篇 |
1998年 | 211篇 |
1997年 | 185篇 |
1996年 | 183篇 |
1995年 | 177篇 |
1994年 | 153篇 |
1993年 | 147篇 |
1992年 | 119篇 |
1991年 | 74篇 |
1990年 | 122篇 |
1989年 | 116篇 |
1988年 | 80篇 |
1987年 | 93篇 |
1986年 | 100篇 |
1985年 | 100篇 |
1984年 | 88篇 |
1983年 | 76篇 |
1982年 | 96篇 |
1981年 | 90篇 |
1980年 | 71篇 |
1979年 | 70篇 |
1978年 | 62篇 |
1977年 | 74篇 |
1976年 | 61篇 |
1975年 | 45篇 |
1974年 | 41篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
21.
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. 相似文献
22.
Many analyses of boxed microstrip discontinuities require the location of large numbers of high-order modes. Using Sturm-Liouville theory, this letter derives a relationship between microstrip modes and slab-loaded guide modes, leading to an efficient mode location algorithm for microstrip, including microstrip with finite strip thickness.<> 相似文献
23.
24.
25.
26.
Xing Gu Shariar Sabuktagin Ali Teke Daniel Johnstone Hadis Morkoç Bill Nemeth Jeff Nause 《Journal of Materials Science: Materials in Electronics》2004,15(6):373-378
ZnO is a highly efficient photon emitter, and has optical and piezoelectric properties that are attractive for a variety of applications in sensors and potentially optoelectronic devices such as emitters. Due to its identical stacking order and close lattice match to GaN, it is also being developed as a substrate material for GaN epitaxy. However, the surface finish of the ZnO is such that much of the damage induced by sawing and follow up mechanical polishing remains. We developed a thermal treatment method to eliminate surface damage on the 0 face of ZnO (0 0 0 1) to prepare it for epitaxial growth. Atomic force microscopy images of ZnO (0 0 0 1) annealed at 1050 °C for 3 h etc. show that residual scratches from mechanical polishing are removed and atomically flat, terrace-like surfaces are attained. In addition, low-temperature photoluminescence and high-resolution X-ray diffraction measurements have been employed to investigate the effect of annealing on ZnO substrates. 相似文献
27.
28.
In this article, we present a detailed theoretical analysis and a prototype implementation of a family of cameras designed with the explicit goal of detecting and removing interfering dynamic occluders in real time, during live capture, as opposed to fixing the resulting artifacts a posteriori. Such an early-acquisition approach improves efficiency: more valid samples are acquired faster without worrying about moving occluders. One option for designing a camera to be unaffected by moving occluders is to sample through the occluder, but true x-ray-like vision is technically impractical. Another option is to sample around the occluder using a camera with a large effective aperture, but such an approach requires a bulky acquisition device. Yet another possibility of sampling around an occluder is to rely on second and higher order reflected rays that indirectly sample surfaces not directly visible. However, devising an acquisition device sufficiently sensitive and efficient to capture large environments using reflected rays will remain challenging for the foreseeable future. 相似文献
29.
Daniel Bouche 《电信纪事》1992,47(9-10):400-412
We study the creeping waves propagating on a convex object, whose surface impedance is Z. To this end, we seek, by using an asymptotic expansion method, a solution of Maxwell equations, propagating along a geode sic, and satisfying Silver-Müller radiation condition at infinity, and the impedance boundary condition at the surface of the body. By using a geodesic coordinate system suited to the problem, we obtain a closed form solution. The electric and magnetic fields are given in term of the components of these fields along the binormal to the geodesic. We show that two types of creeping waves exist: the electric (resp. magnetic) type, with a non zero binormal component of the electric (resp magnetic) field. They are uncoupled, except in the vicinity of Z = 1, where a rotation of the polarization, similar to Rytov’s law, is evidenced. 相似文献
30.
Allen Daniel N.; Strauss Gregory P.; Kemtes Karen A.; Goldstein Gerald 《Canadian Metallurgical Quarterly》2007,21(6):713
Hemispheric involvement in reasoning abilities has been debated for some time, and it remains unclear whether the right hemisphere's involvement in problem solving is modality specific or dependent on the type of spatial reasoning required. In the current study, 2 types of nonverbal reasoning abilities were examined, spatial reasoning and proportional reasoning, in 109 patients with cerebrovascular disease that was confined to either the right or the left hemisphere or was diffuse in nature. Results indicated that no lateralizing effects were present based on type of spatial reasoning. Findings are consistent with the suggestion that higher order cognitive processes involved in nonverbal abstraction and problem solving are not strongly lateralized to the right hemisphere but rather are more generally distributed throughout the cortex. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献