全文获取类型
收费全文 | 15909篇 |
免费 | 1299篇 |
国内免费 | 1029篇 |
学科分类
工业技术 | 18237篇 |
出版年
2024年 | 55篇 |
2023年 | 146篇 |
2022年 | 297篇 |
2021年 | 335篇 |
2020年 | 345篇 |
2019年 | 260篇 |
2018年 | 249篇 |
2017年 | 350篇 |
2016年 | 409篇 |
2015年 | 441篇 |
2014年 | 967篇 |
2013年 | 786篇 |
2012年 | 1120篇 |
2011年 | 1185篇 |
2010年 | 1048篇 |
2009年 | 953篇 |
2008年 | 975篇 |
2007年 | 1176篇 |
2006年 | 1036篇 |
2005年 | 951篇 |
2004年 | 747篇 |
2003年 | 712篇 |
2002年 | 587篇 |
2001年 | 492篇 |
2000年 | 462篇 |
1999年 | 355篇 |
1998年 | 256篇 |
1997年 | 263篇 |
1996年 | 201篇 |
1995年 | 201篇 |
1994年 | 136篇 |
1993年 | 133篇 |
1992年 | 99篇 |
1991年 | 72篇 |
1990年 | 46篇 |
1989年 | 63篇 |
1988年 | 37篇 |
1987年 | 30篇 |
1986年 | 27篇 |
1985年 | 28篇 |
1984年 | 21篇 |
1983年 | 10篇 |
1982年 | 12篇 |
1981年 | 11篇 |
1980年 | 13篇 |
1979年 | 18篇 |
1975年 | 9篇 |
1973年 | 11篇 |
1966年 | 9篇 |
1965年 | 9篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
1.
分析了乐滩灌区工程北干渠溯河隧洞段长约1.06 km穿合山煤矿采空区的地质情况.借鉴高速公路煤矿采空区的成功处理经验,通过科学分析,对采空区变形和区域内覆岩的稳定性做了评价,论述了输水线路穿采空区段采取全充填压力注浆法的工程处理方法. 相似文献
2.
The basic methods of verifying continuous automatic belt weighers are described. A comparative analysis of these methods on the basis of experimental studies is made and ways of implementing the results in industry are recommended. 相似文献
3.
浅谈如何有效学习计算机软件知识 总被引:1,自引:0,他引:1
黄霞 《湖南工业职业技术学院学报》2003,3(2):79-80
计算机软件知识的学习并不是完全线性的,而是不断循环往复、迭代的过程。本对如何深入、广泛、有效地学习计算机软件知识做出了一些探讨。 相似文献
4.
The evaluation of microcomputer programs: an area of debate 总被引:1,自引:0,他引:1
V. M. Johnston 《Journal of Computer Assisted Learning》1987,3(1):40-50
5.
本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点. 相似文献
6.
孔颖 《数字社区&智能家居》2007,(3):1429-1429,1438
针对C语言程序设计课程本身的特点,分析学习过程中存在的问题,强调实践的必要性。结合一些学校课程改革和实践的经验.提出面向应用的,科学的学习内容、方法和模式。同时提高学习者的专业动手能力。 相似文献
7.
8.
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 相似文献
9.
This paper presents an efficient method which provides the optimal generation mix and the optimal generation construction process. The approximation method in which the dynamic programming technique and gradient method are combined is applied to determine the optimal generation mix with hydropower generation technologies. The successive approximations dynamic programming (SADP) technique, which is very suitable for high-dimensional multistage decision process problems, is used for obtaining the optimal generation construction process. The effectiveness and feasibility of the developed technique are demonstrated on a practical power system model which has five types of generation technologies including a hydropower generation technology. 相似文献
10.