全文获取类型
收费全文 | 99763篇 |
免费 | 11023篇 |
国内免费 | 7990篇 |
专业分类
电工技术 | 8582篇 |
综合类 | 10681篇 |
化学工业 | 12939篇 |
金属工艺 | 6767篇 |
机械仪表 | 6835篇 |
建筑科学 | 6867篇 |
矿业工程 | 3439篇 |
能源动力 | 2695篇 |
轻工业 | 11216篇 |
水利工程 | 2949篇 |
石油天然气 | 2957篇 |
武器工业 | 1348篇 |
无线电 | 10448篇 |
一般工业技术 | 9433篇 |
冶金工业 | 4695篇 |
原子能技术 | 1880篇 |
自动化技术 | 15045篇 |
出版年
2024年 | 597篇 |
2023年 | 1540篇 |
2022年 | 3731篇 |
2021年 | 4701篇 |
2020年 | 3427篇 |
2019年 | 2273篇 |
2018年 | 2600篇 |
2017年 | 2942篇 |
2016年 | 2686篇 |
2015年 | 3964篇 |
2014年 | 5167篇 |
2013年 | 6571篇 |
2012年 | 7638篇 |
2011年 | 8065篇 |
2010年 | 7830篇 |
2009年 | 7501篇 |
2008年 | 8173篇 |
2007年 | 7789篇 |
2006年 | 6777篇 |
2005年 | 5620篇 |
2004年 | 4058篇 |
2003年 | 2749篇 |
2002年 | 2583篇 |
2001年 | 2440篇 |
2000年 | 1993篇 |
1999年 | 860篇 |
1998年 | 472篇 |
1997年 | 376篇 |
1996年 | 331篇 |
1995年 | 266篇 |
1994年 | 228篇 |
1993年 | 239篇 |
1992年 | 204篇 |
1991年 | 200篇 |
1990年 | 156篇 |
1989年 | 164篇 |
1988年 | 150篇 |
1987年 | 139篇 |
1986年 | 112篇 |
1985年 | 148篇 |
1984年 | 141篇 |
1983年 | 151篇 |
1982年 | 108篇 |
1981年 | 114篇 |
1980年 | 110篇 |
1979年 | 103篇 |
1978年 | 78篇 |
1977年 | 66篇 |
1976年 | 74篇 |
1975年 | 58篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
71.
72.
The introduction of high spatial and spectral resolution sensors on-board remote-sensing spacecraft has increased, by orders of magnitude, the data rates which need to be sustained on the down-link or cross-link transmission channels. Since these channels are severely limited in capacity, the need arises to perform on-board compression to reduce the volume of data which would need to be down-linked. This paper discusses the development and refinement of a low complexity lossy spectral/spatial compression method which provides high compression ratios at low levels of distortion. The developed techniques uses pixels in adjacent bands to predict the intensity of pixels in the band being compressed via a simple linear prediction model. This prediction method when combined with a low-distortion discrete cosine transform (DCT) block coding method yields performance comparable to block-adaptive Karhunen-Loeve Transform (KLT)-DCT methods without incurring the complexity penalty of the KLT. The methods' performance suffers under misregistration. A fractional-pixel interpolation enhancement to the basic technique significantly improves the performance in the case of misregistered bands 相似文献
73.
74.
Thanapalan Murugesan G. S. Venkat Rathnam S. Panduranga Rao P. Gangadhar Rao 《Journal of chemical technology and biotechnology (Oxford, Oxfordshire : 1986)》1995,63(3):290-294
In the present study of gas–liquid contactors, mean residence/contact time was calculated from knowledge of superficial velocity and the gas phase hold-up, for various gas rates and impeller geometry and speeds, and compared with values obtained from RTD measurements. A new correlation, involving Flow Number, Froude Number, system geometry and the physical properties, is proposed. This uses the authors data and those available in literature. 相似文献
75.
A critical review of the current status of tungsten resources, of state-of-the-art processing technology and of product development
in India vis-a-vis the world scenario is presented. An attempt has been made to identify technology gap areas requiring attention. 相似文献
76.
鱼雷发射装置的可靠性直接关系到潜艇武器系统的整体作战效能。考虑到可靠性分析中影响因素的模糊性,本文引入模糊数的概念,对潜艇鱼雷发射装置的可靠性进行分析,并基于模糊数的运算法则,给出了串联系统模糊可靠度的计算方法。 相似文献
77.
本文从小卫星、星座飞速发展以及对测控通信系统新的要求出发,介绍了综合基带、连续波多波束相控阵天线的功能、特点及工作原理,提出了建立新型多功能智能化测控通信站的设想。 相似文献
78.
A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation
from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond
to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite
system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems
in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC
program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving
termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort,
merge-sort, merge, split, fair-split and append, etc., can be proved.
This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687
Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074.
M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in
the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs
from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer
science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für
Informatik, Saarbrücken until January 1997.
Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas
of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer
vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from
MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief
of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on
Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science.
R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in
the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and
verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a
faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological
University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of
Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International
Conferences and has been on the Editorial Committees. 相似文献
79.
本文简述了以EVA为基质材料制备有机PTC特性材料的实验,实测了样品有关特性,并用非线性回归方法讨论了其导电机理.这对指导温度传感器的设计有一定帮助. 相似文献
80.