全文获取类型
收费全文 | 26680篇 |
免费 | 1292篇 |
国内免费 | 1305篇 |
专业分类
电工技术 | 980篇 |
综合类 | 1548篇 |
化学工业 | 1464篇 |
金属工艺 | 952篇 |
机械仪表 | 3047篇 |
建筑科学 | 1457篇 |
矿业工程 | 681篇 |
能源动力 | 886篇 |
轻工业 | 470篇 |
水利工程 | 385篇 |
石油天然气 | 969篇 |
武器工业 | 298篇 |
无线电 | 1433篇 |
一般工业技术 | 1170篇 |
冶金工业 | 576篇 |
原子能技术 | 226篇 |
自动化技术 | 12735篇 |
出版年
2024年 | 32篇 |
2023年 | 127篇 |
2022年 | 273篇 |
2021年 | 393篇 |
2020年 | 405篇 |
2019年 | 412篇 |
2018年 | 383篇 |
2017年 | 546篇 |
2016年 | 709篇 |
2015年 | 833篇 |
2014年 | 1432篇 |
2013年 | 1371篇 |
2012年 | 1412篇 |
2011年 | 1965篇 |
2010年 | 1424篇 |
2009年 | 1579篇 |
2008年 | 1677篇 |
2007年 | 1950篇 |
2006年 | 1862篇 |
2005年 | 1610篇 |
2004年 | 1422篇 |
2003年 | 1401篇 |
2002年 | 1013篇 |
2001年 | 855篇 |
2000年 | 662篇 |
1999年 | 698篇 |
1998年 | 610篇 |
1997年 | 469篇 |
1996年 | 380篇 |
1995年 | 323篇 |
1994年 | 243篇 |
1993年 | 173篇 |
1992年 | 149篇 |
1991年 | 88篇 |
1990年 | 73篇 |
1989年 | 82篇 |
1988年 | 49篇 |
1987年 | 22篇 |
1986年 | 29篇 |
1985年 | 38篇 |
1984年 | 26篇 |
1983年 | 20篇 |
1982年 | 14篇 |
1981年 | 17篇 |
1980年 | 10篇 |
1979年 | 3篇 |
1978年 | 4篇 |
1977年 | 2篇 |
1976年 | 3篇 |
1973年 | 2篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
101.
可生物降解的钻井液降滤失剂SPS的合成与性能研究 总被引:4,自引:0,他引:4
以淀粉为主要原料合成了一种可生物降解的钻井液滤失剂SPS,考察了SPS的生物降解性及其在淡水泥浆,盐水泥浆和海水泥浆中的性能。结果表明,SPS具有良好的降滤失与抗温、抗污染性能,在海水中可被生物降解。 相似文献
102.
Diana Hurdowar-Castro Ioannis Tsanis Ilmar Simanovskis 《Journal of Great Lakes research》2007,33(1):232-252
A 3D transport model is used to perform a comparative analysis of several potential drinking water intakes located along the northwest shore of Lake Ontario between Toronto and Oshawa. The model is specifically used to assess each intake under both long- and short-term transport of a potential pollutant release from the Pickering Nuclear Generating Station and potential and actual pollutant releases from local land sources respectively. A model based on a 500 m grid resolution is calibrated using data collected in the aftermath of the 1992 tritium spill at the Pickering Nuclear Generation Station and subsequently used to simulate long-term transport. A model based on a 100 m grid resolution is verified using drogue studies and used to simulate short-term transport events. Both models are used to assess pollutant levels at each of nine potential intake locations under different wind scenarios and pollutant releases. Field data for the study included water quality and flow measurements from local sewers and rivers, and estimates of pollutant levels from the local waste water treatment plants. This paper describes the model setup for both the long-term and short-term transport models, calibration using field data, long-term transport modeling, short-term transport modeling, and the comprehensive analysis approach used to evaluate the nine potential intake locations proposed. Results indicated that four intakes in particular outperformed other intake locations by maintaining bottom pollutant levels within governmental standards and warning times that exceeded 20 hours. 相似文献
103.
Martijn Hendriks Barend van den Nieuwelaar Frits Vaandrager 《International Journal on Software Tools for Technology Transfer (STTT)》2006,8(6):633-647
For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used
to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in
the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which
confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems.
Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained
using only a single model.
Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/. 相似文献
104.
Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems
are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task
due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology
that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has
been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research
the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language
based on business rules, and a model checker.
Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D.
degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are
on performance analysis and modeling of e-business and distributed systems, and formal methods.
Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte,
Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking).
Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas
Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and
formal methods. Actually his current interests are on software engeneering and project management of IT projects. 相似文献
105.
复合轴控制系统应用研究 总被引:18,自引:3,他引:15
复合轴控制是提高光电跟踪系统精度和控制带宽的一种有效手段,尤其在光束定向器系统中,不仅要求系统要稳定地跟踪上动态目标,而且必须将光束涣定在目标的某一点上,这对控制系统的要求是非常高的,必须采用双或三复合轴控制方式。 相似文献
106.
多判据模糊决策在工程爆破中的应用 总被引:3,自引:0,他引:3
本文介绍了多判据模糊决策的数学模型。该模型可广泛地用于工程爆破中的爆破方案比较,以及爆破试验中的最优爆破参数的决策。该模型的应用将有利于工程爆破试验及设计的计算机程序设计。 相似文献
107.
The design of feedback-linearization and poles-placement controllers for discrete-time non-linear plants, using Input/Output/State measurements only, is typically addressed via indirect design. In this paper we propose the use of a new technique, based on a Virtual Input Direct Design (VID2) approach. The main feature of such a technique is to reduce the control design problem into a standard non-linear mapping approximation problem, without calling for the preliminary construction of an appropriate model of the plant. As compared with the existing methods, the new one requires less computational effort, while taking full advantage of the non-linear approximation software tools already available. In this paper, the new method is described, a simple theoretical analysis is given, and some numerical examples are presented. 相似文献
108.
Haitao Zhang Zonghai Chen Yongji Wang Ming Li Ting Qin 《International Journal of Adaptive Control and Signal Processing》2006,20(2):53-76
Laguerre Functional Model has many advantages such as good approximation capability for the variances of system time‐delay, order and other structural parameters, low computational complexity, and the facility of online parameter identification, etc., so this model is suitable for complex industrial process control. A series of successful applications have been gained in linear and non‐linear predictive control fields by the control algorithm based on Laguerre Functional Model, however, former researchers have not systemically brought forward the theoretical analyses of the stability, robustness, and steady‐state performance of this algorithm, which are the keys to guarantee the feasibility of the control algorithm fundamentally. Aimed at this problem, we introduce the principles of the Incremental Mode Linear Laguerre Predictive Control (IMLLPC) algorithm, and then systemically propose the theoretical analyses and proofs of the stability and robustness of the algorithm, in addition, we also put forward the steady‐state performance analysis. At last, the control performances of this algorithm on two different physical industrial plants are presented in detail, and a number of experimental results validate the feasibility and superiority of IMLLPC algorithm. Copyright © 2005 John Wiley & Sons, Ltd. 相似文献
109.
A real-time road pricing system in the case of a two-link parallel network is proposed in this paper. The system that is based on a combination of Dynamic Programming and Neural Networks makes “on-line” decisions about road toll values. In the first phase of the proposed model, the best road toll sequences during certain time period are calculated off-line for many different patterns of vehicle arrivals. These toll sequences are computed using Dynamic Programming approach. In the second phase, learning from vehicle arrival patterns and the corresponding optimal toll sequences, neural network is trained. The results obtained during on-line tests are close to the best solution obtained off-line assuming that the arrival pattern is known. 相似文献
110.
STUDYONRESIDUESOF~(14)C-FENITROTHIONINMODELRICE-FISHECOSYSTEMANDFIELDRICE-FISHECOSYSTEMZhangZhongliang(张仲良);WangHuaxin(王化新);G?.. 相似文献