全文获取类型
收费全文 | 2716篇 |
免费 | 124篇 |
国内免费 | 16篇 |
专业分类
电工技术 | 52篇 |
综合类 | 8篇 |
化学工业 | 699篇 |
金属工艺 | 91篇 |
机械仪表 | 85篇 |
建筑科学 | 46篇 |
矿业工程 | 2篇 |
能源动力 | 209篇 |
轻工业 | 101篇 |
水利工程 | 19篇 |
石油天然气 | 9篇 |
无线电 | 344篇 |
一般工业技术 | 662篇 |
冶金工业 | 174篇 |
原子能技术 | 20篇 |
自动化技术 | 335篇 |
出版年
2023年 | 54篇 |
2022年 | 102篇 |
2021年 | 103篇 |
2020年 | 96篇 |
2019年 | 85篇 |
2018年 | 111篇 |
2017年 | 99篇 |
2016年 | 113篇 |
2015年 | 69篇 |
2014年 | 109篇 |
2013年 | 219篇 |
2012年 | 135篇 |
2011年 | 159篇 |
2010年 | 129篇 |
2009年 | 116篇 |
2008年 | 110篇 |
2007年 | 94篇 |
2006年 | 85篇 |
2005年 | 48篇 |
2004年 | 56篇 |
2003年 | 41篇 |
2002年 | 45篇 |
2001年 | 43篇 |
2000年 | 28篇 |
1999年 | 30篇 |
1998年 | 45篇 |
1997年 | 45篇 |
1996年 | 36篇 |
1995年 | 31篇 |
1994年 | 32篇 |
1993年 | 32篇 |
1992年 | 18篇 |
1991年 | 25篇 |
1990年 | 11篇 |
1989年 | 12篇 |
1988年 | 11篇 |
1987年 | 16篇 |
1986年 | 21篇 |
1985年 | 19篇 |
1984年 | 27篇 |
1983年 | 19篇 |
1982年 | 18篇 |
1981年 | 25篇 |
1980年 | 19篇 |
1979年 | 19篇 |
1978年 | 17篇 |
1977年 | 17篇 |
1976年 | 14篇 |
1975年 | 8篇 |
1972年 | 6篇 |
排序方式: 共有2856条查询结果,搜索用时 15 毫秒
1.
2.
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. 相似文献
3.
The saturation capacity of n-alkanes in CHA, AFX and ERI zeolites, that consist of cages separated by windows, decreases with increasing carbon number. The major aim of the present communication is to demonstrate the possibility of separating n-alkane mixtures relying on differences in saturation capacities. To investigate this possibility, Configurational-Bias Monte Carlo simulations for adsorption of C3–nC6, nC4–nC6, and nC5–nC6 mixtures in CHA, AFX and ERI were carried out for equimolar bulk fluid phase. These mixture simulations show that for operation at fluid phase fugacities below about 1 MPa, the adsorbed phase in equilibrium with the bulk vapor phase is predominantly the alkane with the longer chain length, i.e. nC6. However, for operation at pressures in excess of 1 MPa, the adsorbed phase in equilibrium with the bulk liquid phase is richer in the component with the smaller chain length. In some cases, the nC6 is practically excluded from the zeolite. 相似文献
4.
5.
Sangeeta A Godbole Thirumalai G Krishna Chittaranjan R Bhatia 《Journal of the science of food and agriculture》1994,64(3):331-335
Cajanus trypsin inhibitor (CTI) and Cajanus trypsin-chymotrypsin inhibitor (CTCI) previously purified from cv TAT-10 were further characterised. The modification of the inhibitors revealed the presence of lysine at the trypsin reactive site in both CTI and CTCI. Modification of tyrosine at the reactive site of CTCI did not abolish chymotrypsin inhibition suggesting the presence of leucine or phenylalanine as reported in other chymotrypsin inhibitors. CTCI did not contain tryptophan. Dissociation constants for the inhibitors with bovine trypsin were in the region of 0.69 nmol (CTCI) and 0.029 nmol (CTI). Although the protease inhibitors lost their inhibitory activity on exposure to 2-mercaptoethanol they remained attached to the enzyme. The inhibitors were not very effective against the protease from Helicoverpa armigera which is a serious field pest of Cajanus. Dissociation constants for the inhibitors with the larval enzyme were in the region of 100 nmol. 相似文献
6.
A new finite element crack growth algorithm has been developed to simulate dynamic fracture. In this algorithm, pseudo elements with very high initial density are placed below the crack plane and the density is reduced to zero in a gradual manner as the crack passes the element. A number of linear elastic and elasto-viscoplastic problems have been carried out to test the new algorithm. The results are compared with some of the existing crack growth models. 相似文献
7.
This paper presents the results of an experimental investigation undertaken to evaluate different purging solutions to enhance the removal of multiple heavy metals, particularly chromium, nickel, and cadmium, from a low buffering clay, specifically kaolin, during electrokinetic remediation. Experiments were conducted on kaolin spiked with Cr(VI), Ni(II), and Cd(II) in concentrations of 1,000, 500, and 250 mg/kg, respectively, which simulate typical electroplating waste contamination. A total of five different tests were performed to investigate the effect of different electrode purging solutions on the electrokinetic remedial efficiency. A constant DC voltage gradient of 1 V/cm was applied for all the tests. The removal of heavy metals from the soil using tap water as the purging solution was very low. When 1 M acetic acid was used as the purging solution in the cathode, the removal of chromium, nickel, and cadmium was increased to 20, 19, and 13%, respectively. Using 0.1 M ethylene diamine tetraacetic acid as the purging solution in the cathode, 83% of the initial Cr was removed; however, the nickel and cadmium removal was very low. A sequentially enhanced electrokinetic remediation approach involving the use of water as a purging solution at both the anode and cathode initially, followed by the use of acetic acid as the cathode purging solution and a NaOH alkaline solution as the anode purging solution was tested. This sequential approach resulted in a maximum removal of chromium, nickel, and cadmium of 68–71, 71–73, and 87–94%, respectively. This study shows that the sequential use of appropriate electrode purging solutions, rather than a single electrode purging solution, is necessary to remediate multiple heavy metals in soils using electrokinetics. 相似文献
8.
Prediction of the effects on dynamic response due to distributed structural modification with additional degrees of freedom 总被引:1,自引:0,他引:1
Huajiang Hang Krishna Shankar Joseph C.S. Lai 《Mechanical Systems and Signal Processing》2008,22(8):1809-1825
The aim of this study is to investigate means of efficiently assessing the effects of distributed structural modification on the dynamic properties of a complex structure. The dynamic properties of the modified structure can be determined by experimental testing or numerical simulation, both of which are complex, expensive and time-consuming. Assuming that the original dynamic characteristics are already established and that the modification is a relatively simple attachment, the modified dynamic properties may be determined numerically without solving the equations of motion of the full-modified structure. The frequency response functions (FRFs) of the modified structure can be computed by coupling the original FRFs and a delta dynamic stiffness matrix for the modification introduced. The validity of this approach is investigated by applying it to a cantilever beam to which a smaller beam is attached as modification. The original FRFs were obtained experimentally as well as numerically. The delta dynamic stiffness matrix was determined numerically by modeling the attachment and part of the original structure including the attachment points. The FRFs of the modified beam were then computed. Good agreement is obtained by comparing the results to the FRFs of the modified beam determined experimentally as well as by numerical modeling of the complete modified structure. 相似文献
9.
P. Gopala Krishna P. Venkateswarlu 《Journal of chemical technology and biotechnology (Oxford, Oxfordshire : 1986)》1993,56(3):253-258
In the case of submerged multijets impinging on to a flat surface, the limiting current densities were measured at microelectrodes, fixed flush with the target surface using diffusion controlled electrode reactions (i.e. reduction of ferricyanide ion). The height of the multijet distributor from the target surface (Y) was varied from 5 to 9 cm. The numbers of holes of the distributor (N) studied were 76 and 141. The variation of mass transfer data with radial distance reveals the existence of two different regions, i.e. the impingement region and the wall jet region. The mass transfer rate increased with increase in Y in the impingement region. The effect of Y is negligible in the wall jet region. Decrease in N decreases the mass transfer rate in both the regions. The data are correlated separately for the two regions. 相似文献
10.
With the advent of distributed and multiple processing systems, the study of interconnection networks has developed into a field of its own. In most cases, the performance measures used to characterize the reliability of such networks have been primitive.It is our purpose, in this brief paper, to survey the many available measures of the vulnerability of interconnection networks. The most widely known is classical connectivity; however, measures more recently introduced in the graph theory literature are probably a better practical metric of reliability. Our objective is to make these measures more widely known, and to spur the development of good algorithms to calculate them in practical instances. 相似文献