全文获取类型
收费全文 | 289226篇 |
免费 | 23904篇 |
国内免费 | 13012篇 |
专业分类
电工技术 | 17456篇 |
技术理论 | 52篇 |
综合类 | 30123篇 |
化学工业 | 34199篇 |
金属工艺 | 11299篇 |
机械仪表 | 15131篇 |
建筑科学 | 43258篇 |
矿业工程 | 16354篇 |
能源动力 | 10402篇 |
轻工业 | 20292篇 |
水利工程 | 13726篇 |
石油天然气 | 16052篇 |
武器工业 | 3749篇 |
无线电 | 18287篇 |
一般工业技术 | 20603篇 |
冶金工业 | 16164篇 |
原子能技术 | 1970篇 |
自动化技术 | 37025篇 |
出版年
2024年 | 1208篇 |
2023年 | 3558篇 |
2022年 | 6913篇 |
2021年 | 8948篇 |
2020年 | 8736篇 |
2019年 | 6593篇 |
2018年 | 6126篇 |
2017年 | 7862篇 |
2016年 | 9448篇 |
2015年 | 10270篇 |
2014年 | 19179篇 |
2013年 | 16801篇 |
2012年 | 20053篇 |
2011年 | 22718篇 |
2010年 | 17304篇 |
2009年 | 17480篇 |
2008年 | 15999篇 |
2007年 | 19607篇 |
2006年 | 18122篇 |
2005年 | 15927篇 |
2004年 | 13371篇 |
2003年 | 11682篇 |
2002年 | 9455篇 |
2001年 | 7919篇 |
2000年 | 6667篇 |
1999年 | 5146篇 |
1998年 | 3680篇 |
1997年 | 3105篇 |
1996年 | 2501篇 |
1995年 | 2028篇 |
1994年 | 1671篇 |
1993年 | 1217篇 |
1992年 | 987篇 |
1991年 | 672篇 |
1990年 | 591篇 |
1989年 | 525篇 |
1988年 | 323篇 |
1987年 | 235篇 |
1986年 | 211篇 |
1985年 | 240篇 |
1984年 | 173篇 |
1983年 | 142篇 |
1982年 | 82篇 |
1981年 | 97篇 |
1980年 | 96篇 |
1979年 | 56篇 |
1978年 | 30篇 |
1977年 | 31篇 |
1964年 | 27篇 |
1959年 | 42篇 |
排序方式: 共有10000条查询结果,搜索用时 7 毫秒
51.
ETRⅠ-30调速器是瑞士爱舍维斯工厂生产的具有PID调节规律的电液调速器。本文对其液压控制系统作了较详细的介绍,供有关人员参考。 相似文献
52.
This paper formulates the pickup and delivery problem, also known as the dial-a-ride problem, as an integer program. Its polyhedral structure is explored and four classes of valid inequalities developed. The results of a branch-and-cut algorithm based on these constraints are presented. 相似文献
53.
WC对Cu/WC_P复合材料性能及组织的影响 总被引:8,自引:0,他引:8
通过WC含量对WC/Cu复合材料性能的影响,确定了冷压-烧结法制备Cu/WC材料的适宜WC含量为10vol%左右。并就WC对该材料组织和再结晶行为的影响进行了有益的探讨。 相似文献
54.
本钢1700连轧机应用的托辊原由外企业制作,为了减少公司资金外流,公司技术人员和工人结合现有的生产条件,先后攻克了辊身铸造和加工,托辊装配等工艺方面的难关,研制成功了合格的产品,年创经济效益80万元。 相似文献
56.
阐述了小电炉采用投资少,见较快,简单易行的炉外处理措施,提高了钢质量和生产率,生产实践和应用结果表明,本措施可为同类型企业的炼钢工艺完善和技术进步提供参考。 相似文献
57.
The authors highlight several possible ways in which the construction industry could lower present emissions of the greenhouse gas, carbon dioxide. It is an excellent discussion document and is recommended reading. 相似文献
58.
The aim of this paper is to assess the state-of-the-art in the Decision Support Systems (DSS) field from both a research and a practice perspective. Three main dimensions of DSS research and practice are addressed: 1) supporting human decision-making processes, 2) integrating DSS into the organizational context, and 3) identifying new application domains. The related analysis and discussion provides a better understanding of past developments in the DSS field and insights into future evolution patterns. 相似文献
59.
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 相似文献
60.
C-VISION中文窗口系统综合采用了面向对象与窗口环境设计的程序方法,彻底更新了在微机上进行中文窗口设计的编程思想,同时作为一个基础系统,为软件设计节约了大量的人力和时间,实现了微机程序的共享。 相似文献