全文获取类型
收费全文 | 83481篇 |
免费 | 942篇 |
国内免费 | 406篇 |
专业分类
电工技术 | 770篇 |
综合类 | 2316篇 |
化学工业 | 11352篇 |
金属工艺 | 4779篇 |
机械仪表 | 3012篇 |
建筑科学 | 2151篇 |
矿业工程 | 562篇 |
能源动力 | 1096篇 |
轻工业 | 3567篇 |
水利工程 | 1266篇 |
石油天然气 | 341篇 |
无线电 | 9219篇 |
一般工业技术 | 16242篇 |
冶金工业 | 2617篇 |
原子能技术 | 253篇 |
自动化技术 | 25286篇 |
出版年
2018年 | 14447篇 |
2017年 | 13374篇 |
2016年 | 9953篇 |
2015年 | 597篇 |
2014年 | 218篇 |
2013年 | 179篇 |
2012年 | 3124篇 |
2011年 | 9387篇 |
2010年 | 8265篇 |
2009年 | 5530篇 |
2008年 | 6759篇 |
2007年 | 7765篇 |
2006年 | 106篇 |
2005年 | 1201篇 |
2004年 | 1120篇 |
2003年 | 1165篇 |
2002年 | 531篇 |
2001年 | 93篇 |
2000年 | 174篇 |
1999年 | 54篇 |
1998年 | 49篇 |
1997年 | 26篇 |
1996年 | 43篇 |
1995年 | 8篇 |
1994年 | 11篇 |
1993年 | 8篇 |
1992年 | 11篇 |
1991年 | 22篇 |
1988年 | 9篇 |
1969年 | 24篇 |
1968年 | 43篇 |
1967年 | 33篇 |
1966年 | 42篇 |
1965年 | 44篇 |
1964年 | 11篇 |
1963年 | 28篇 |
1962年 | 22篇 |
1961年 | 18篇 |
1960年 | 30篇 |
1959年 | 35篇 |
1958年 | 37篇 |
1957年 | 36篇 |
1956年 | 34篇 |
1955年 | 63篇 |
1954年 | 68篇 |
1953年 | 5篇 |
1952年 | 6篇 |
1951年 | 4篇 |
1950年 | 6篇 |
1949年 | 6篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
71.
Sibang Liu Shuzhi Sam Ge Zhongliang Tang 《International Journal of Control, Automation and Systems》2016,14(4):924-938
This paper presents a modular designed autonomous bolt tightening shaft system with an adaptive fuzzy backstepping control approach developed for it. The bolt tightening shaft is designed for the autonomous bolt tightening operation, which has huge potential for industry application. Due to the inherent nonlinear and uncertain properties, the bolt tightening shaft and the bolt tightening process are mathematically modeled as an uncertain strict feedback system. With the adaptive backstepping and approximation property of fuzzy logic system, the controller is recursively designed. Based on the Lyapunov stability theorem, all signals in the closed-loop system are proved to be uniformly ultimately bounded and the torque tracking error exponentially converges to a small residue. And the effectiveness and performance of the proposed autonomous system are verified by the simulation and experiment results on the bolt tightening shaft system. 相似文献
72.
Wenhai Qi Xianwen Gao 《International Journal of Control, Automation and Systems》2016,14(6):1413-1420
The paper is concerned with the problem of positive L 1-gain filter design for positive continuous-time Markovian jump systems with partly known transition rates. Our aim is to design a positive full-order filter such that the corresponding filtering error system is positive and stochastically stable with L 1-gain performance. By applying a linear co-positive Lyapunov function and free-connection weighting vectors, the desired positive L 1-gain filter is provided. The obtained theoretical results are demonstrated by numerical examples. 相似文献
73.
Andreas Zeller 《Datenschutz und Datensicherheit - DuD》2016,40(8):519-522
Moderne Testgeneratoren finden Schwachstellen in Eingabeschnittstellen von Programmen, indem sie in Sekunden tausende Eingaben zufällig erzeugen. Die Werkzeuge lassen sich leicht von jedermann einsetzen–zum Angriff oder zur Verteidigung. 相似文献
74.
In this work, we have put forth two different protocols to address a concrete secure multi-party computational (MPC) problem related to a triangle, of which the coordinates of the three vertices are confidentially kept by the three participants, respectively. The three parties wish to collaboratively compute the area of this triangle while preserving their own coordinate privacy. As one of the merits, our protocols employ weaker assumptions of the existence of pseudorandom generators. In particular, unlike massive secure MPC protocols that rely a lot on oblivious transfer, ours utilize a new computing idea called “pseudorandom-then-rounding” method to avoid this burdensome obstacle. The two protocols are based on different theorems, while they both make use of the same underlying idea. At last, we provide a detailed proof for the first protocol by a series of security reductions of our newly defined games, which seems somewhat stronger than the previous simulation-based proofs and a proof sketch for the second one. Analysis and discussion about the reasons are provided as well to round off our work. 相似文献
75.
Weiran Liu Jianwei Liu Qianhong Wu Bo Qin Yan Li 《International Journal of Information Security》2016,15(1):35-50
We focus on practical Hierarchical Identity-Based Broadcast Encryption (HIBBE) with semantic security against adaptively chosen-ciphertext attacks (CCA2) in the standard model. We achieve this goal in two steps. First, we propose a new HIBBE scheme that is secure against chosen-plaintext attacks (CPA). Compared with the existing HIBBE scheme that is built from composite-order bilinear groups, our construction is based on prime-order bilinear groups. The much better efficiency of group operations in prime-order bilinear groups makes our proposed HIBBE scheme more practical. Then, we convert it into a CCA2-secure scheme at the cost of a one-time signature. Instead of extending one user hierarchy in the Canetti–Halevi–Katz approach from CPA-secure (\(l+1\))-Hierarchical Identity-Based Encryption [(\(l+1\))-HIBE] to CCA2-secure \(l\)-HIBE, our construction merely adds one on-the-fly dummy user in the basic scheme. We formally prove the security of these two schemes in the standard model. Comprehensive theoretical analyses and experimental results demonstrate that the proposed HIBBE schemes achieve desirable performance. 相似文献
76.
This paper presents an approach to modular contract-based verification of discrete-time multi-rate Simulink models. The verification approach uses a translation of Simulink models to sequential programs that can then be verified using traditional software verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, and automatic proofs are also discussed. Furthermore, the paper provides detailed discussions about the correctness of each step in the verification process. The verification approach is demonstrated on a case study involving control software for prevention of pressure peaks in hydraulics systems. 相似文献
77.
78.
Sambasiva Rao Chinnamsetty Mike Espig Wolfgang Hackbusch 《Computing and Visualization in Science》2015,17(6):267-275
The computation of a six-dimensional density matrix is the crucial step for the evaluation of kinetic energy in electronic structure calculations. For molecules with heavy nuclei, one has to consider a very refined mesh in order to deal with the nuclear cusps. This leads to high computational time and needs huge memory for the computation of the density matrix. To reduce the computational complexity and avoid discretization errors in the approximation, we use mesh-free canonical tensor products in electronic structure calculations. In this paper, we approximate the six-dimensional density matrix in an efficient way and then compute the kinetic energy. Accuracy is examined by comparing our computed kinetic energy with the exact computation of the kinetic energy. 相似文献
79.
80.
Asymptotic homogenization is employed assuming a sharp length scale separation between the periodic structure (fine scale) and the whole composite (coarse scale). A classical approach yields the linear elastic-type coarse scale model, where the effective elastic coefficients are computed solving fine scale periodic cell problems. We generalize the existing results by considering an arbitrary number of subphases and general periodic cell shapes. We focus on the stress jump conditions arising in the cell problems and explicitly compute the corresponding interface loads. The latter represent a key driving force to obtain nontrivial cell problems solutions whenever discontinuities of the coefficients between the host medium (matrix) and the subphases occur. The numerical simulations illustrate the geometrically induced anisotropy and foster the comparison between asymptotic homogenization and well established Eshelby based techniques. We show that the method can be routinely implemented in three dimensions and should be applied to hierarchical hard tissues whenever the precise shape and arrangement of the subphases cannot be ignored. Our numerical results are benchmarked exploiting the semi-analytical solution which holds for cylindrical aligned fibers. 相似文献