全文获取类型
收费全文 | 33693篇 |
免费 | 3537篇 |
国内免费 | 2113篇 |
专业分类
电工技术 | 3334篇 |
技术理论 | 6篇 |
综合类 | 3491篇 |
化学工业 | 1111篇 |
金属工艺 | 683篇 |
机械仪表 | 2314篇 |
建筑科学 | 9984篇 |
矿业工程 | 577篇 |
能源动力 | 656篇 |
轻工业 | 497篇 |
水利工程 | 1074篇 |
石油天然气 | 597篇 |
武器工业 | 444篇 |
无线电 | 3376篇 |
一般工业技术 | 2167篇 |
冶金工业 | 692篇 |
原子能技术 | 118篇 |
自动化技术 | 8222篇 |
出版年
2024年 | 134篇 |
2023年 | 490篇 |
2022年 | 863篇 |
2021年 | 1056篇 |
2020年 | 1141篇 |
2019年 | 962篇 |
2018年 | 860篇 |
2017年 | 1119篇 |
2016年 | 1247篇 |
2015年 | 1454篇 |
2014年 | 2517篇 |
2013年 | 2802篇 |
2012年 | 2235篇 |
2011年 | 2520篇 |
2010年 | 1958篇 |
2009年 | 2104篇 |
2008年 | 2013篇 |
2007年 | 2309篇 |
2006年 | 1985篇 |
2005年 | 1682篇 |
2004年 | 1324篇 |
2003年 | 1140篇 |
2002年 | 971篇 |
2001年 | 880篇 |
2000年 | 720篇 |
1999年 | 564篇 |
1998年 | 395篇 |
1997年 | 344篇 |
1996年 | 257篇 |
1995年 | 262篇 |
1994年 | 212篇 |
1993年 | 156篇 |
1992年 | 120篇 |
1991年 | 107篇 |
1990年 | 85篇 |
1989年 | 62篇 |
1988年 | 48篇 |
1987年 | 42篇 |
1986年 | 15篇 |
1985年 | 45篇 |
1984年 | 30篇 |
1983年 | 33篇 |
1982年 | 19篇 |
1981年 | 9篇 |
1980年 | 10篇 |
1979年 | 9篇 |
1976年 | 3篇 |
1963年 | 4篇 |
1962年 | 3篇 |
1959年 | 5篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
121.
An investigation is made into the ways proof planning can enhance the capability of a rule based prover for the theory of integration. The integrals are of the Riemann type and are defined in a way to maximize the theorem proving methods of predicate calculus. Approximately fifty theorems have been proved and several examples are discussed. A major shortcoming was found to be the inability of the system to work with or produce a proof plan. As a result, a planning scheme based on the idea of subgoals or milestones was considered. With user defined plans, there was a substantial increase in performance and capability of the system and, in some cases, proofs which were previously unsuccessful were completed. 相似文献
122.
Although the gas metal arc welding (GMAW) process is widely used for joining metals, its planning is still a cumbersome task. The planning procedure involves many complex interrelationships among the process variables and depends heavily on empirical knowledge. Therefore, a solution method that allows a convenient way to represent the domain knowledge and evaluate the process variable relationships is needed. Further, the lack of a strong domain theory to quantify these interrelationships is a deficiency in the planning of the GMAW process. This paper presents a solution method that overcomes this deficiency and introduces a convenient knowledge representation scheme. The solution method considers the planning procedure to be a constraint satisfaction problem (CSP). The AC-4 algorithm is used to obtain arc consistency among nodes in the constraint network and the PC-4 algorithm is applied to obtain path consistency in the network. A modified version of the AC-4 algorithm is developed to reduce the search space and correspondingly reduce the computation time. An example is presented to demonstrate the capability of the method and its potential to reduce lead time. 相似文献
123.
施加复合电磁搅拌对A357合金微观组织的影响 总被引:3,自引:0,他引:3
在半固态加工技术中,电磁搅拌是最早应用于制备非枝晶浆料的方法之一,同时也是半固态触变压铸技术最早获得工业应用的重要技术基础之一。采用自行开发的电磁搅拌器,研究了多种不同电磁搅拌方式在不同工艺条件下,单独施加或复合施加对A357合金微观组织的影响。试验结果表明:单一施加旋转感应电磁搅拌时,浆料径向组织很不均匀;单一施加无芯感应电磁搅拌。当搅拌电流较小时,径向组织也不均匀,增大电流,浆料质量有明显改善;采用(旋转感应+无芯感应)复合电磁场进行复合电磁搅拌时,可在电流较小时获得满意的浆料质量。 相似文献
124.
测量了GaAs/AlGaAs多量子阱红外探测器在零偏压、小偏流和大偏压等条件下的光电流谱,并结合理论计算的光跃迁能量讨论了光电流谱的多峰结构和异常增强特性。 相似文献
125.
多缝式烧嘴点火器具有燃烧效率高,火焰长度易调,炉膛温度分布合理等优点,经工业试验证明,该点火器能满足攀钢烧结点火工艺要求,并有明显节能效果。 相似文献
126.
In this paper questions related to the occurrence of departures of a legged climbing robot from the given trajectory are considered. The basic idea of the paper is to show that, if there are slackness and non-rigidities, the legged climbing robot moving upon an inclined or vertical plane, departs systematically from the planned trajectory. It is demonstrated that these departures result from the gravity and are of systematic character. It is also shown how the inclusion of torsion effect changes substantially the nature of systematic errors arising from robot's movement along the inclined surface. 相似文献
127.
Jun‐Sik Kim Maenghyo Cho 《International journal for numerical methods in engineering》2002,55(11):1323-1343
A finite element based on the efficient higher‐order zig‐zag theory with multiple delaminations is developed. The bending part of the formulation is constructed from the concept of DKQ element. Unlike conventional elements, a developed element has its reference in the bottom surface which simplifies zig‐zag terms on formulation. Exact patch solutions are developed on elements which have the bottom reference system. The present element passes proper bending patch tests in the arbitrary mesh configurations in isotropic materials. Zig‐zag formulation is adopted to model laminated plates with multiple delaminations. To assess the accuracy and efficiency of the present element based on higher‐order zig‐zag theory with multiple delaminations, the linear buckling problem of laminated plates with multiple delaminations has been analysed. The results have been compared with three‐dimensional elasticity solutions. The present element works as an efficient tool for analysing the behaviour of the laminated composites with multiple delaminations. Copyright © 2002 John Wiley & Sons, Ltd. 相似文献
128.
探讨了深圳前海物流园区的地理条件及发展的重要因素,针对其存在的交通设施不足,管理不到位等问题进行了分析,并结合功能定位从用地规模、功能布局等方面提出了规划设计构想。 相似文献
129.
探讨低收入阶层住区建设的公共政策 总被引:5,自引:5,他引:0
探讨了低收入阶层住区建设的现状及弊端,从旧城改造、新城建设及住房政策三方面对解决低收入阶层住区建设问题的对策进行了研究,以妥善解决低收入阶层的住房问题,从而达到构建和谐社会的目的。 相似文献
130.
The methodology of response reactions (RERs) introduced earlier from thermodynamic and kinetic considerations is used in this work to develop a new algorithm for the classification and enumeration of unique/direct reaction routes (RRs) and overall reactions (ORs). According to the RERs approach, a unique set of both RRs and ORs may be generated starting from any conceivable set of linearly independent RRs and ORs. In particular, the direct ORs may be most conveniently enumerated starting from the formula matrix of the terminal species (reactants and products), i.e., without any relation to the elementary reactions comprising the detailed mechanism. Depending on the type of ORs produced by the RRs one can distinguish between two distinct types of direct RRs. Namely, one option is to define a direct RR by specifying the intermediate species that need to be eliminated. This type of RR is referred to as Milner RRs. The other option is to require the direct RRs to produce RERs, thus resulting in RRs referred to as Happel-Sellers RRs. 相似文献