全文获取类型
收费全文 | 309715篇 |
免费 | 4010篇 |
国内免费 | 714篇 |
专业分类
电工技术 | 6202篇 |
综合类 | 560篇 |
化学工业 | 46776篇 |
金属工艺 | 10327篇 |
机械仪表 | 8821篇 |
建筑科学 | 7909篇 |
矿业工程 | 887篇 |
能源动力 | 8571篇 |
轻工业 | 31103篇 |
水利工程 | 2533篇 |
石油天然气 | 3671篇 |
武器工业 | 8篇 |
无线电 | 39714篇 |
一般工业技术 | 58478篇 |
冶金工业 | 56703篇 |
原子能技术 | 5464篇 |
自动化技术 | 26712篇 |
出版年
2021年 | 2279篇 |
2019年 | 2147篇 |
2018年 | 3615篇 |
2017年 | 3453篇 |
2016年 | 3546篇 |
2015年 | 2549篇 |
2014年 | 4450篇 |
2013年 | 14287篇 |
2012年 | 7372篇 |
2011年 | 10123篇 |
2010年 | 7907篇 |
2009年 | 9143篇 |
2008年 | 9604篇 |
2007年 | 9585篇 |
2006年 | 8511篇 |
2005年 | 7898篇 |
2004年 | 7761篇 |
2003年 | 7503篇 |
2002年 | 7338篇 |
2001年 | 7548篇 |
2000年 | 7212篇 |
1999年 | 7550篇 |
1998年 | 17671篇 |
1997年 | 12847篇 |
1996年 | 10104篇 |
1995年 | 7874篇 |
1994年 | 7205篇 |
1993年 | 6906篇 |
1992年 | 5287篇 |
1991年 | 5068篇 |
1990年 | 4934篇 |
1989年 | 4782篇 |
1988年 | 4675篇 |
1987年 | 3890篇 |
1986年 | 4008篇 |
1985年 | 4720篇 |
1984年 | 4276篇 |
1983年 | 4022篇 |
1982年 | 3602篇 |
1981年 | 3762篇 |
1980年 | 3456篇 |
1979年 | 3419篇 |
1978年 | 3226篇 |
1977年 | 3815篇 |
1976年 | 4852篇 |
1975年 | 2781篇 |
1974年 | 2660篇 |
1973年 | 2676篇 |
1972年 | 2216篇 |
1971年 | 1963篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
191.
R Jover J Llach JM Bordas A Mas JM Salmerón S Navarro J Terés 《Canadian Metallurgical Quarterly》1997,20(7):344-346
There are evidence indicating that endoscopic retrograde cholangiopancreatography with sphincterotomy (ERCP+S) reduces the rate of complications in patients with severe acute biliary pancreatitis (ABP). The aim of this study was to analyze our experience in the treatment of severe ABP with ERCP+S and compare the evolution of the patients treated early (3 days or less following admission) with those treated late (after the 3rd day). A retrospective review of the clinical histories of the 16 patients with severe ABP treated with ERCP+S over the last two years is presented, analyzing their clinical features on admission and evolution. Biliary stones or biliary sludge was observed in 11 cases (69%). Nine patients had undergone early, and 7 late, ERCP+S. The patients of the latter group presented a greater number of complications during evolution than the former group (43% vs 0%; p = 0.025). The mortality of the patients of the late ERCP+S was also greater although without statistical significance (28.6% vs 0%; p = 0.15). No complication secondary to ERCP+S was detected. These findings confirm the fact that ERCP+S performed early in severe ABP significantly reduces the number of complications and is associated with a lower mortality. 相似文献
192.
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. 相似文献
193.
The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions. 相似文献
194.
195.
The human 4 hour patch test provides an opportunity to identify substances with significant skin irritation potential without recourse to the use of animals. The protocol is designed to avoid the production of more than mild irritant reactions and meets the highest ethical standards. This paper provides the background to the development of the method and comments on its performance in the light of recent intra- and inter-laboratory investigations. In particular, the value of the method in providing 'gold standard' data for the identification of those substances (or preparations) which should, or should not, be classified as irritant to skin in European legislation is discussed. On the basis of the published data and supplementary investigations, recommendations are made on both the conduct and interpretation of the human 4 hour patch test. Finally, the lack of any necessity for formal validation of this assay is addressed. 相似文献
196.
197.
Cresswell M.W. Allen R.A. Guthrie W.F. Sniegowski J.J. Ghoshtagore R.N. Linholm L.W. 《Semiconductor Manufacturing, IEEE Transactions on》1998,11(2):182-193
The physical widths of reference features incorporated into electrical linewidth test structures patterned in films of monocrystalline silicon have been determined from Kelvin voltage measurements. The films in which the test structures are patterned are electrically insulated from the bulk-silicon substrate by a layer of silicon dioxide provided by SIMOX (Separation by the IMplantation of OXygen) processing. The motivation is to facilitate the development of linewidth reference materials for critical-dimension (CD) metrology-instrument calibration. The selection of the (110) orientation of the starting silicon and the orientation of the structures' features relative to the crystal lattice enable a lattice-plane-selective etch to generate reference-feature properties of rectangular cross section and atomically planar sidewalls. These properties are highly desirable for CD applications in which feature widths are certified with nanometer-level uncertainty for use by a diverse range of CD instruments. End applications include the development and calibration of new generations of CD instruments directed at controlling processes for manufacturing devices having sub-quarter-micrometer features 相似文献
198.
The value of flexible videoendoscopy as a biofeedback tool in conservative swallowing rehabilitation of patients suffering from aspiration after head and neck surgery was examined. For this purpose, the outcomes of conventional swallowing therapy and of swallowing therapy with support of videoendoscopic biofeedback were compared. In the first 40 days of swallowing therapy, videoendoscopic biofeedback significantly increased the chance of therapeutic success, shortening the period of functional rehabilitation in comparison to conventional swallowing therapy. Limitations of this visual biofeedback procedure are poor cognitive skills of the patient, rejection of the procedure by the patient and local factors that make the positioning of the endoscope difficult. 相似文献
199.
200.
For part I see, ibid., p. 134, 1998. The basic approach outlined in the previous article is applied to the difficult problem of computing the optical modes of a vertical-cavity surface-emitting laser. The formulation utilizes a finite difference equation based upon the lowest order term of an infinite series solution of the scalar Helmholtz equation in a local region. This difference equation becomes exact in the one-dimensional (1-D) limit, and is thus ideally suited for nearly 1-D devices such as vertical-cavity lasers. The performance of the resulting code is tested on both a simple cylindrical cavity with known solutions and an oxide-confined vertical-cavity laser structure, and the results compared against second-order-accurate code based upon Crank-Nicolson differencing 相似文献