全文获取类型
收费全文 | 1481043篇 |
免费 | 25212篇 |
国内免费 | 6939篇 |
专业分类
电工技术 | 34298篇 |
综合类 | 6374篇 |
化学工业 | 269956篇 |
金属工艺 | 64161篇 |
机械仪表 | 41811篇 |
建筑科学 | 45500篇 |
矿业工程 | 11408篇 |
能源动力 | 50259篇 |
轻工业 | 108735篇 |
水利工程 | 14911篇 |
石油天然气 | 37664篇 |
武器工业 | 147篇 |
无线电 | 195858篇 |
一般工业技术 | 279811篇 |
冶金工业 | 150149篇 |
原子能技术 | 33973篇 |
自动化技术 | 168179篇 |
出版年
2021年 | 15506篇 |
2020年 | 11785篇 |
2019年 | 14558篇 |
2018年 | 15668篇 |
2017年 | 15086篇 |
2016年 | 21270篇 |
2015年 | 17303篇 |
2014年 | 28619篇 |
2013年 | 87747篇 |
2012年 | 34731篇 |
2011年 | 47000篇 |
2010年 | 42394篇 |
2009年 | 50870篇 |
2008年 | 43894篇 |
2007年 | 41072篇 |
2006年 | 43874篇 |
2005年 | 38764篇 |
2004年 | 40900篇 |
2003年 | 40759篇 |
2002年 | 39877篇 |
2001年 | 36518篇 |
2000年 | 35193篇 |
1999年 | 34003篇 |
1998年 | 40476篇 |
1997年 | 36525篇 |
1996年 | 33591篇 |
1995年 | 29687篇 |
1994年 | 28008篇 |
1993年 | 27859篇 |
1992年 | 25944篇 |
1991年 | 22932篇 |
1990年 | 23313篇 |
1989年 | 22360篇 |
1988年 | 20923篇 |
1987年 | 19219篇 |
1986年 | 18562篇 |
1985年 | 21871篇 |
1984年 | 22177篇 |
1983年 | 20126篇 |
1982年 | 19154篇 |
1981年 | 19257篇 |
1980年 | 17870篇 |
1979年 | 18457篇 |
1978年 | 17656篇 |
1977年 | 17301篇 |
1976年 | 18060篇 |
1975年 | 15976篇 |
1974年 | 15470篇 |
1973年 | 15531篇 |
1972年 | 13011篇 |
排序方式: 共有10000条查询结果,搜索用时 12 毫秒
991.
992.
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. 相似文献
993.
994.
An automatic tuning algorithm for decentralized PID control in multiple-input multiple-output (MIMO) plants is presented. This algorithm generalizes the authors' recent auto-tuner for two-input two-output systems to any number of inputs and outputs. The algorithm consists of two stages. In the first, the desired critical point, which consists of the critical gains of all the loops and a critical frequency, is identified. The auto-tuner identifies the desired critical point with almost no a priori information about the process. During the identification phase all controllers are replaced by relays, thus generating limit cycles with the same period in all loops. It is shown that each limit cycle corresponds to a single critical point of the process. By varying the relays parameters different points can be determined. The auto-tuner contains a procedure which converges rapidly to the desired critical point while maintaining the amplitudes of the process variables as well as of the manipulated variables within prespecified ranges. In the second stage, the data of the desired critical point is used to tune the PID controllers by the Ziegler-Nichols rules or their modifications. This paper focuses on the first stage. The steady-state process gains, which are required for the appropriate choice of the desired critical point, are determined by the auto-tuner in closed-loop fashion simultaneously with the identification of the critical point. The identification of the process gains is achieved at no extra plant time. Based upon a large number of simulated cases, the proposed auto-tuner seems to be efficient and robust. The paper discusses the underlying principles of the auto-tuner and its properties and capabilities are demonstrated via examples. 相似文献
995.
Reviews the book, Constructing the subject: Historical origins of psychological research by Kurt Danziger (1990). Kurt Danziger's Constructing the Subject: Historical Origins of Psychological Research is a book of singular importance because it provides such a penetrating analysis, and does so in a manner that is cause for considerable reflection. In brief, Danziger provides a history lesson that not only situates the names and the projects of experimental psychology in the first part of this century, but also aims to clarify the project of knowledge generation both past and present. Indeed, shades of Quine, Kuhn, and Hesse permeate this book in a way that demands psychologists examine their own investigative practices and logics of justification. Through Wundt, through Galton, through Ebbinghaus and others, Danziger illuminates the development of experimental psychology along with the historical and philosophical vicissitudes that have given rise to numerous psychological knowledge claims. If it is true that we must understand our history in order to understand our present, then Danziger's book should be required reading in all research laboratories. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
996.
Particulate TiB2 reinforced aluminum-based metal matrix composites (MMCs) were successfully fabricated by means of the reaction processing
method. TiB2 particulates were formed in situ through the reaction of Ti and B in Ti-Al-B, TiO2 and B in TiO2-Al-B, and TiO2 and B2O3 in TiO2-Al-B2O3 systems. The results showed that in situ TiB2 particulates formed in the Ti-Al-B system had a size of 5 μm and they exhibited block and rodlike structures. Moreover, coarse Al3Ti blocks several tens of micrometers in size were also formed simultaneously. On the other hand, equiaxed Al2O3 and TiB2 particulates with a size of less than 2 μm were formed in situ in the TiO2-Al-B and TiO2-Al-B2O3 systems. The Al3Ti phase was completely eliminated in the TiO2-Al-B system with increasing B content. Tensile tests revealed that the Al2O3 · TiB2/Al composite fabricated from the TiO2-Al-B system exhibits excellent mechanical properties. The yield strength of the Al2O3 · TiB2/Al composite appeared to increase with increasing TiB2 content. The yield strength of the Al2O3 · TiB2/Al composite could be further increased by introducing CuO into the TiO2-Al-B system. Such an increment in mechanical strength arose from the strengthening effect caused by the Al2Cu precipitates. The incorporation of CuO had no effect on the in situ reaction process of the TiO2-Al-B system. Finally, the effect of SiC addition on the microstructure and mechanical properties of the composites fabricated
from the TiO2-Al-B and TiO2-Al-B-CuO systems was also investigated. 相似文献
997.
BS Kendrick BS Chang T Arakawa B Peterson TW Randolph MC Manning JF Carpenter 《Canadian Metallurgical Quarterly》1997,94(22):11917-11922
Understanding the mechanism for sucrose-induced protein stabilization is important in many diverse fields, ranging from biochemistry and environmental physiology to pharmaceutical science. Timasheff and Lee [Lee, J. C. & Timasheff, S. N. (1981) J. Biol. Chem. 256, 7193-7201] have established that thermodynamic stabilization of proteins by sucrose is due to preferential exclusion of the sugar from the protein's surface, which increases protein chemical potential. The current study measures the preferential exclusion of 1 M sucrose from a protein drug, recombinant interleukin 1 receptor antagonist (rhIL-1ra). It is proposed that the degree of preferential exclusion and increase in chemical potential are directly proportional to the protein surface area and that, hence, the system will favor the protein state with the smallest surface area. This mechanism explains the observed sucrose-induced restriction of rhIL-1ra conformational fluctuations, which were studied by hydrogen-deuterium exchange and cysteine reactivity measurements. Furthermore, infrared spectroscopy of rhlL-1ra suggested that a more ordered native conformation is induced by sucrose. Electron paramagnetic resonance spectroscopy demonstrated that in the presence of sucrose, spin-labeled cysteine 116 becomes more buried in the protein's interior and that the hydrodynamic diameter of the protein is reduced. The preferential exclusion of sucrose from the protein and the resulting shift in the equilibrium between protein states toward the most compact conformation account for sucrose-induced effects on rhIL-1ra. 相似文献
998.
This paper examines the relationship between self-efficacy and social power (expert and referent) and how the application of this relationship, leads to client adherence and compliance. Referent power is defined, including methods that health care professionals may use to develop and apply referent power. Expert power is defined and addressed in the context of referent power, self-esteem and self-efficacy as a means of promoting adherence. Self-efficacy as a concept is defined and explored in the context of social power. The relationships between self-efficacy and social power (expert and referent) are shown as important determinants of adherence and compliance. The theory of the application of referent and expert power in relationship with self-efficacy has been compared with an effective programme, yielding high compliance, at Western Psychiatric Institute and Clinic, showing the theory's relevance and applicability in determining compliance. Explored are the reasons for non-compliance in the elderly population and how the theory model can remedy these detriments for compliance. The empowerment of elderly patients through the application of this theory to medication compliance is examined. The determination of adherence and compliance is shown by the application of the relationship between self-efficacy and both expert and referent power. 相似文献
999.
Ten natural bloom samples of cyanobacteria from the Danish lakes Knud s? (5), Ravn s? (4), and Salten Langs? (1) collected during 1993-1995 were assayed for toxicity by mouse bioassay, for acetylcholinesterase inhibiting activity by a colorimetric method, and for microcystins by enzyme-linked immunosorbent assay. In the mouse bioassay, seven samples were neurotoxic, two were non-toxic and one gave a protracted toxic response. One of the non-toxic and the single protracted toxic sample both contained anticholinesterase activity equivalent to 4 micrograms anatoxin-a(s) g-1. The neurotoxic samples contained equivalents to 20-3300 micrograms anatoxin-a(s) g-1. The highest anticholinesterase activities (equivalent to 2300 and 3300 micrograms anatoxin-a(s) g-1, respectively) were found in samples collected from Lake Knud s? in connection with bird-kills in 1993 and 1994. Small amounts of microcystins (0.1-0.9 microgram g-1) were detected in all samples but one. All Lake Knud s? and Lake Ravn s? samples were dominated by Anabaena lemmermannii, and the Lake Salten Langs? sample by several species of Anabaena. Gel filtration profiles indicated similarity between the toxic component from the Lake Knud s? 1994 bloom with registered bird-kills and anatoxin-a(s) isolated from Anabaena flos-aquae NRC-525-17. Anticholinesterase-producing cultures of A. lemmermannii were isolated from the Lake Knud s? 1993 bloom. These laboratory cultures produced anatoxin-a(s) equivalents of 29-743 micrograms g-1. Other cultures of A. lemmermannii isolated from Lake Knud s? and Lake Ravn s? were hepatotoxic or non-toxic. Dead birds collected from Lake Knud s? during the neurotoxic 1993 Anabaena bloom possibly died from cyanobacterial toxicosis. The stomach contents contained colonies and single trichomes of Anabaena, and anticholinesterase activities equivalent to 2.1-89.7 micrograms anatoxin-a(s) kg-1 body weight and microcystins (53-95 ng kg-1) were also detected. 相似文献
1000.
DJ Hazuda PJ Felock JC Hastings B Pramanik AL Wolfe 《Canadian Metallurgical Quarterly》1997,71(9):7005-7011
Previous in vitro analyses have shown that the human immunodeficiency virus type 1 (HIV-1) integrase uses either manganese or magnesium to assemble as a stable complex on the donor substrate and to catalyze strand transfer. We now demonstrate that subsequent to assembly, catalysis of both 3' end processing and strand transfer requires a divalent cation cofactor and that the divalent cation requirements for assembly and catalysis can be functionally distinguished based on the ability to utilize calcium and cobalt, respectively. The different divalent cation requirements manifest by these processes are exploited to uncouple assembly and catalysis, thus staging the reaction. Staged 3' end processing and strand transfer assays are then used in conjunction with exonuclease III protection analysis to investigate the effects of integrase inhibitors on each step in the reaction. Analysis of a series of related inhibitors demonstrates that these types of compounds affect assembly and not either catalytic process, therefore reconciling the apparent disparate results obtained for such inhibitors in assays using isolated preintegration complexes. These studies provide evidence for a distinct role of the divalent cation cofactor in assembly and catalysis and have implications for both the identification and characterization of integrase inhibitors. 相似文献