全文获取类型
收费全文 | 131439篇 |
免费 | 21308篇 |
国内免费 | 14080篇 |
专业分类
电工技术 | 14634篇 |
技术理论 | 3篇 |
综合类 | 14589篇 |
化学工业 | 10199篇 |
金属工艺 | 4442篇 |
机械仪表 | 10984篇 |
建筑科学 | 4508篇 |
矿业工程 | 3589篇 |
能源动力 | 4660篇 |
轻工业 | 5087篇 |
水利工程 | 2857篇 |
石油天然气 | 3708篇 |
武器工业 | 2066篇 |
无线电 | 16840篇 |
一般工业技术 | 10986篇 |
冶金工业 | 3005篇 |
原子能技术 | 936篇 |
自动化技术 | 53734篇 |
出版年
2024年 | 1057篇 |
2023年 | 2704篇 |
2022年 | 4820篇 |
2021年 | 5278篇 |
2020年 | 5885篇 |
2019年 | 4940篇 |
2018年 | 4763篇 |
2017年 | 5667篇 |
2016年 | 6333篇 |
2015年 | 7153篇 |
2014年 | 9645篇 |
2013年 | 9576篇 |
2012年 | 11104篇 |
2011年 | 11451篇 |
2010年 | 8614篇 |
2009年 | 8924篇 |
2008年 | 8665篇 |
2007年 | 9563篇 |
2006年 | 7766篇 |
2005年 | 6408篇 |
2004年 | 5195篇 |
2003年 | 4164篇 |
2002年 | 3255篇 |
2001年 | 2654篇 |
2000年 | 2250篇 |
1999年 | 1737篇 |
1998年 | 1448篇 |
1997年 | 1173篇 |
1996年 | 942篇 |
1995年 | 746篇 |
1994年 | 613篇 |
1993年 | 473篇 |
1992年 | 426篇 |
1991年 | 263篇 |
1990年 | 282篇 |
1989年 | 215篇 |
1988年 | 139篇 |
1987年 | 65篇 |
1986年 | 62篇 |
1985年 | 58篇 |
1984年 | 48篇 |
1983年 | 48篇 |
1982年 | 51篇 |
1981年 | 22篇 |
1980年 | 38篇 |
1979年 | 35篇 |
1978年 | 15篇 |
1975年 | 15篇 |
1959年 | 20篇 |
1951年 | 25篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
91.
92.
M. Stolpe K. Svanberg 《International journal for numerical methods in engineering》2003,57(5):723-739
This paper deals with topology optimization of discretized continuum structures. It is shown that a large class of non‐linear 0–1 topology optimization problems, including stress‐ and displacement‐constrained minimum weight problems, can equivalently be modelled as linear mixed 0–1 programs. The modelling approach is applied to some test problems which are solved to global optimality. Copyright © 2003 John Wiley & Sons, Ltd. 相似文献
93.
朱成宏 《勘探地球物理进展》2007,30(3):226-237
介绍了2006年SEG年会上所反映的各向异性研究的新进展,主要包括:提高速度分析精度的各向异性速度分析参数正交化方法;影响裂隙储层预测的地震波动力学与运动学特征差异分析;验证现行裂隙硬币理论模型可靠性的不规则裂隙有效弹性参数计算分析;提高计算效率的波场延拓各向异性参数参考值优选Lloyd算法;常见TTI介质不同成像方法试验效果的比较。 相似文献
94.
95.
A semi-Markov model is constructed that describes an arbitrarily structured multicomponent technological system and takes
into account its calendar maintenance. Using an aggregation algorithm, approximate values of stationary reliability characteristics
and an optimal term of maintenance work are determined for the system.
__________
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 69–86, March–April 2006. 相似文献
96.
利用双种群遗传算法进行数值试井自动拟合 总被引:7,自引:0,他引:7
遗传算法以随机化技术为指导,通过对整个解空间的高效搜索而得到全局最优解,当解空间较大时,常规遗传算法难以同时保证搜索速度和最优解的精度。针对这种缺陷提出了应用双种群遗传算法,即利用具有不同搜索策略的2个种群进行联合搜索,既保证了最优解的精度,又提高了搜索速度,将其应用于数值试井自动拟合解释,比常规遗传算法能节省50%以上的计算时间。 相似文献
97.
简单回顾了国内外在火电机组运行优化领域的研究历程,列举了目前国内外市场上针对火电机组的各种主流运行优化产品的功能特点和应用情况,分析了国外引进产品和国内自主研发产品在中国当前市场环境下各自的优势和劣势。介绍了当前运行优化系统在国内电站机组的应用现状,阐述了国内外运行优化系统在实际应用中存在的问题,并提出了相应的改进意见。对机组运行优化系统的未来发展进行了展望,指出机组运行优化系统将利用先进技术设备和信息平台,与电站管理紧密结合,在日益规范的市场中不断发展完善,为提高电站经济性发挥更大的作用。 相似文献
98.
This paper presents a new approach for using stereo and motion correspondences to solve the problem of tracking multiple independently moving features. In this approach, quantitative relational structure (QRS) is proposed as a framework for the integration of stereo–motion correspondences. The similarity function, tightly coupled to stereo and motion cues, is constructed on QRS, and then energy function E2 consisting of the similarity function is defined. The tracking problem can be converted into the maximization problem of the energy function E2. The stereo and motion correspondences that maximize E2 are recovered by applying an extended graduated assignment algorithm. The relaxation labeling method is also presented for the comparison with the proposed method. Experimental results are presented to illustrate the performance of the proposed method. 相似文献
99.
Tree-shaped flow structures designed by minimizing path lengths 总被引:1,自引:0,他引:1
S. LorenteW. Wechsatol A. Bejan 《International Journal of Heat and Mass Transfer》2002,45(16):3299-3312
This paper outlines a direct route to the construction of effective tree-shaped flow structures. Dendritic flow structures dominate the design of natural and engineered flow systems, especially in thermal and fluid systems. The starting point is the optimization of the shape of each elemental area or volume, such that the length of the flow path housed by the element is minimized. Proceeding toward larger and more complex structures - from elements, to first constructs, second constructs, etc. - the paper develops tree-shaped flow structures between one point and a straight line, one point and a plane, a circle and its center, and a point and many points distributed uniformly over an area. In the latter, the construction method is applied to a fluid flow configuration with laminar fully developed flow. The constructions reveal several features that are supported by empirical observations of natural tree-shaped flows: asymmetry, flow rate imbalance, pairing or bifurcation, angles between branches, and Y-shaped constructs that lie in a plane. It is shown that these basic features are necessary because of “packing”, i.e., assembling optimized elements into a fixed space, and filling the space completely. For the flow between an area and one point, the best elemental shape is the regular hexagon. It is shown that the emergence of string-shaped links that connect two or more elements are necessary features, which are also required by packing. Strings cover some of the inner zones of the tree network, particularly the inner zones of large and complex trees. Dichotomous Y-shaped constructs dominate the tree structure, especially the peripheral zones of the tree canopy. The practical importance of the simplified design method is discussed. 相似文献
100.
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/. 相似文献