全文获取类型
收费全文 | 18305篇 |
免费 | 434篇 |
国内免费 | 223篇 |
专业分类
电工技术 | 580篇 |
技术理论 | 2篇 |
综合类 | 593篇 |
化学工业 | 1103篇 |
金属工艺 | 817篇 |
机械仪表 | 2329篇 |
建筑科学 | 4525篇 |
矿业工程 | 333篇 |
能源动力 | 644篇 |
轻工业 | 818篇 |
水利工程 | 260篇 |
石油天然气 | 395篇 |
武器工业 | 87篇 |
无线电 | 1096篇 |
一般工业技术 | 1340篇 |
冶金工业 | 544篇 |
原子能技术 | 139篇 |
自动化技术 | 3357篇 |
出版年
2024年 | 20篇 |
2023年 | 117篇 |
2022年 | 156篇 |
2021年 | 246篇 |
2020年 | 289篇 |
2019年 | 169篇 |
2018年 | 194篇 |
2017年 | 195篇 |
2016年 | 380篇 |
2015年 | 432篇 |
2014年 | 941篇 |
2013年 | 944篇 |
2012年 | 1184篇 |
2011年 | 1333篇 |
2010年 | 974篇 |
2009年 | 1028篇 |
2008年 | 848篇 |
2007年 | 1139篇 |
2006年 | 1173篇 |
2005年 | 1094篇 |
2004年 | 929篇 |
2003年 | 921篇 |
2002年 | 759篇 |
2001年 | 557篇 |
2000年 | 530篇 |
1999年 | 506篇 |
1998年 | 383篇 |
1997年 | 303篇 |
1996年 | 257篇 |
1995年 | 225篇 |
1994年 | 188篇 |
1993年 | 144篇 |
1992年 | 99篇 |
1991年 | 80篇 |
1990年 | 51篇 |
1989年 | 31篇 |
1988年 | 30篇 |
1987年 | 22篇 |
1986年 | 13篇 |
1985年 | 22篇 |
1984年 | 23篇 |
1983年 | 12篇 |
1982年 | 2篇 |
1981年 | 4篇 |
1980年 | 5篇 |
1979年 | 2篇 |
1978年 | 2篇 |
1971年 | 2篇 |
1970年 | 1篇 |
1954年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
81.
扣件式钢管脚手架应用代表着建筑工业化的一个重要发展方向 ,如何安全、规范地使用扣件式钢管脚手架将是我们标准化施工的新课题 相似文献
82.
This paper is mainly concerned with the Identification of an embryonic product platform from a family of products whose composition, configuration and characteristics are represented by Attributed Graphs. The problem becomes that of identifying the largest isomorphic sub-graph with the highest similarity. An algorithm is proposed for solving this problem together with several novel concepts. 相似文献
83.
商业创新模式下的建筑设计服务 总被引:1,自引:0,他引:1
购物中心作为一种现代的零售商业模式,从上世纪90年代进入中国后,已为一般民众厂为接受。文章首先简要地介绍了美国购物中心的开发历史和类型,尤其是近年来出现的生活方式中心的特点和发展趋势。对于购物中心在中国的开发、规划设计中经常遇到的一些内容,如融资方式,主力商店和专卖店等进行了讨论。最后对于建筑师在这新的商业模式下如何与设计团队一起提供专业服务方面根据自身的经验提出了自己的看法。 相似文献
84.
本文首先分析了国内网络教育平台的现状,接着介绍了南通大学网络教育平台的建设情况,并阐述了网络教育平台建设的主要环节——网络课程建设的内容。 相似文献
85.
本文阐述阻尼式限流器参数设计选择和产品系列规划的依据原则,并结合实例说明实施步骤与方法,以有助于限流器的正确设计与选用。 相似文献
86.
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. 相似文献
87.
高精度视觉贴片机拾放程序设计编程 总被引:3,自引:0,他引:3
龙绪明 《电子工业专用设备》2002,31(3):151-155,183
探讨了SMT高精度视觉贴片机难点之一拾放程序设计编程 ,重点介绍示教编程和CAD输入编程设计方法。 相似文献
88.
89.
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. 相似文献
90.