全文获取类型
收费全文 | 63328篇 |
免费 | 6511篇 |
国内免费 | 4398篇 |
专业分类
电工技术 | 4005篇 |
技术理论 | 11篇 |
综合类 | 7432篇 |
化学工业 | 8328篇 |
金属工艺 | 2064篇 |
机械仪表 | 3300篇 |
建筑科学 | 5082篇 |
矿业工程 | 1975篇 |
能源动力 | 2259篇 |
轻工业 | 4844篇 |
水利工程 | 1661篇 |
石油天然气 | 2235篇 |
武器工业 | 882篇 |
无线电 | 5522篇 |
一般工业技术 | 8075篇 |
冶金工业 | 3164篇 |
原子能技术 | 911篇 |
自动化技术 | 12487篇 |
出版年
2024年 | 330篇 |
2023年 | 1211篇 |
2022年 | 1674篇 |
2021年 | 2071篇 |
2020年 | 2256篇 |
2019年 | 2005篇 |
2018年 | 2051篇 |
2017年 | 2278篇 |
2016年 | 2457篇 |
2015年 | 2415篇 |
2014年 | 3511篇 |
2013年 | 4321篇 |
2012年 | 3986篇 |
2011年 | 4605篇 |
2010年 | 3498篇 |
2009年 | 3579篇 |
2008年 | 3691篇 |
2007年 | 4105篇 |
2006年 | 3670篇 |
2005年 | 3200篇 |
2004年 | 2658篇 |
2003年 | 2245篇 |
2002年 | 1841篇 |
2001年 | 1546篇 |
2000年 | 1312篇 |
1999年 | 1178篇 |
1998年 | 897篇 |
1997年 | 806篇 |
1996年 | 713篇 |
1995年 | 645篇 |
1994年 | 548篇 |
1993年 | 443篇 |
1992年 | 391篇 |
1991年 | 305篇 |
1990年 | 261篇 |
1989年 | 262篇 |
1988年 | 200篇 |
1987年 | 107篇 |
1986年 | 134篇 |
1985年 | 106篇 |
1984年 | 101篇 |
1983年 | 76篇 |
1982年 | 74篇 |
1981年 | 48篇 |
1980年 | 44篇 |
1979年 | 43篇 |
1978年 | 34篇 |
1977年 | 30篇 |
1964年 | 28篇 |
1955年 | 35篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
51.
Summary Recent progress in the modelling of exchanged Cu sites and their interactions with small molecules, based on DFT cluster calculations, is briefly reviewed. 相似文献
52.
We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system. 相似文献
53.
C. S. Kubrusly 《Systems & Control Letters》1992,19(3)
A discrete system is uniformly mean-square stable if uniform convergence is preserved between input and state correlation sequences, and if nuclearity is preserved between the input and state correlation limits. This paper supplies a contraction-free condition ensuring mean-square stability for infinite-dimensional bilinear systems evolving in a separable Hilbert space. 相似文献
54.
B. E. Rytsar 《Cybernetics and Systems Analysis》2007,43(2):192-207
The paper considers the set-theoretical approach to the joint decomposition of systems of Boolean functions of variables specified
in different representation forms. The approach is based on the method of q-partitions of conjuncterms and concept of decomposition
clones. Theorems on joint decomposition of a system of full and partial functions are formulated. The approach is illustrated
by examples.
Parts I and II of this article are published in No. 5 (2001) and No. 1 (2002).
__________
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 39–58, March–April 2007. 相似文献
55.
This paper addresses the problem of finding the parameters of the arrival law which most significantly influence expected occupation and loss of a finite capacity queue. The input process is supposed to be ergodic and wide sense stationary. We show that it is mostly possible to fit an MMPP(2) to the decisive parameters of observational data. Numerical examples illustrate the importance of the decisive parameters, called key parameters, and also show the accuracy of the proposed fitting procedure. Finally, in the appendix we present the solution of the finite capacity queueing problem with Special Semi Markov Process (SSMP) arrivals and a general service strategy. 相似文献
56.
This paper deals with the issues of development and implementation of a real-time NURBS interpolator for a six-axis robot. Using an open-architecture controller system as a testbed, a real-time NURBS curve interpolator was developed, implemented and tested. Sample runs were conducted with the resulting trajectories measured in real-time during robot motion. The resulting trajectories are analyzed, discussed and compared with those from a commonly used point-to-point approximation technique. The real-time NURBS curve interpolator's feasibility, advantages and related issues are also discussed. 相似文献
57.
Current-voltage characteristics of Bi2Sr2Ca2Cu3O10 tapes and bulk samples with preferentially oriented crystallites have been measured in zero applied magnetic field and for temperatures close to the mean-field critical-temperature,T
c0. It was shown that the power-law dependence,V=AI
a, valid for two-dimensional systems, does not correctly describe the data, which clearly indicate the existence of a finite critical-current density,J
c. The experimentalI-V curves are fitted quite well with the model which attributes the finite critical-current density to the coupling between the CuO2 double layers. It was found thatJ
c vanishes at a temperature value belowT
c0. This behavior can result from the occurrence of vortex fluctuation-induced layer decoupling and/or from the contribution of entropy to the vortex unbinding process. 相似文献
58.
We consider an integer-subset representation problem motivated by a medical application in radiation therapy. We prove NP-completeness, derive nontrivial bounds, and report on the performance of a greedy heuristic. 相似文献
59.
Robert Jenssen Author Vitae Deniz Erdogmus Author Vitae Author Vitae Jose C. Principe Author Vitae Author Vitae 《Pattern recognition》2007,40(3):796-806
We introduce a new graph cut for clustering which we call the Information Cut. It is derived using Parzen windowing to estimate an information theoretic distance measure between probability density functions. We propose to optimize the Information Cut using a gradient descent-based approach. Our algorithm has several advantages compared to many other graph-based methods in terms of determining an appropriate affinity measure, computational complexity, memory requirements and coping with different data scales. We show that our method may produce clustering and image segmentation results comparable or better than the state-of-the art graph-based methods. 相似文献
60.