全文获取类型
收费全文 | 47245篇 |
免费 | 1958篇 |
国内免费 | 1943篇 |
专业分类
电工技术 | 1682篇 |
技术理论 | 18篇 |
综合类 | 5087篇 |
化学工业 | 5794篇 |
金属工艺 | 1335篇 |
机械仪表 | 2293篇 |
建筑科学 | 7829篇 |
矿业工程 | 3031篇 |
能源动力 | 1589篇 |
轻工业 | 3639篇 |
水利工程 | 2152篇 |
石油天然气 | 3918篇 |
武器工业 | 270篇 |
无线电 | 1719篇 |
一般工业技术 | 2294篇 |
冶金工业 | 4138篇 |
原子能技术 | 151篇 |
自动化技术 | 4207篇 |
出版年
2024年 | 71篇 |
2023年 | 267篇 |
2022年 | 742篇 |
2021年 | 1015篇 |
2020年 | 970篇 |
2019年 | 655篇 |
2018年 | 587篇 |
2017年 | 803篇 |
2016年 | 1021篇 |
2015年 | 1100篇 |
2014年 | 2681篇 |
2013年 | 2345篇 |
2012年 | 2973篇 |
2011年 | 3539篇 |
2010年 | 3040篇 |
2009年 | 2921篇 |
2008年 | 2491篇 |
2007年 | 3289篇 |
2006年 | 3392篇 |
2005年 | 3095篇 |
2004年 | 2646篇 |
2003年 | 2378篇 |
2002年 | 1939篇 |
2001年 | 1690篇 |
2000年 | 1436篇 |
1999年 | 986篇 |
1998年 | 731篇 |
1997年 | 521篇 |
1996年 | 400篇 |
1995年 | 286篇 |
1994年 | 219篇 |
1993年 | 148篇 |
1992年 | 131篇 |
1991年 | 81篇 |
1990年 | 69篇 |
1989年 | 62篇 |
1988年 | 37篇 |
1987年 | 29篇 |
1986年 | 35篇 |
1985年 | 44篇 |
1984年 | 27篇 |
1983年 | 17篇 |
1982年 | 18篇 |
1981年 | 21篇 |
1980年 | 15篇 |
1979年 | 14篇 |
1965年 | 11篇 |
1963年 | 10篇 |
1959年 | 11篇 |
1955年 | 16篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
111.
本文论述了我国内螺纹铜管业生产、工艺、产品技术条件、齿型及市场现状 ,提出了内螺纹铜管的研发方向。 相似文献
112.
The goal of the PMS project is to produce an environment in which the intelligent online assessment of the design for large-scale ADA programming projects is provided. The focus is on the representation of knowledge about the design process for an individual module. Changes in pseudocode complexity are measured in terms of partial metrics. These metrics can take the designers inferences about the pseudocode program structure into account when assessing module complexity. Next, a model of the stepwise refinement process is given which demonstrates how pseudocode elaboration decisions can be modelled in partial metric terms. Finally, the decisions associated with each refinement step for 17 example refinements taken from the computer science literature are described using partial metrics. 相似文献
113.
阐述了东江水库基本情况,通过对库区及周围的地质构造特点、诱发地震监测,总结出东江水库地震的活动特征和诱发地震活动趋势。 相似文献
114.
为将鞍钢及鞍钢技术中心在2010年前建设成为世界一流水平的钢铁企业及技术中心,提出了鞍钢及鞍钢技术中心在2000年前和2010年前的发展目标,指出了鞍钢及鞍钢技术中心实现2010年前的发展目标应采取的战略性措施。 相似文献
115.
本钢1700连轧机应用的托辊原由外企业制作,为了减少公司资金外流,公司技术人员和工人结合现有的生产条件,先后攻克了辊身铸造和加工,托辊装配等工艺方面的难关,研制成功了合格的产品,年创经济效益80万元。 相似文献
116.
三峡库区湖北宜昌、秭归、兴山、巴东四县幅员面积11589.3平方公里,总人口数166.02万人,三峡水库形成后,淹没土面积74.47平方公里,涉及8.94万人,规划农业生产安置2.8万人。本文以四县土地资源利用现状主和环境容量的分析为基础,进行三峡库区移民安置对水土流失的影响评价,论证综合开发利用水土资源,水土保持与开发性移民相结合,是扩大库区人口环境容量的必由之路,研究制订出移民安置与水土资源的 相似文献
117.
针对包装机械的特点,从二次开发的定义出发,分析比较了AutoCAD二次开发的各种手段形式,给出了应用实例。 相似文献
118.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
119.
以地震资料精细处理和解释在大庆长垣外围徐家围子油田开发中的成功应用为例,论述了地震地质综合描述技术在地质情况复杂的低、特低渗透油田开发中的应用效果。 相似文献
120.
介绍了汽车用焊接钢和产品品种,国内皮类管的生产现状及市场需求状况;国外汽车用焊管最新发展情况。建议国内汽车用焊管应该是定点供料,定点生产,设备配套,完善工艺,建立从炼钢,轧制到制管的质量管理体制。 相似文献