全文获取类型
收费全文 | 54517篇 |
免费 | 2609篇 |
国内免费 | 2454篇 |
专业分类
电工技术 | 3125篇 |
技术理论 | 18篇 |
综合类 | 5430篇 |
化学工业 | 6099篇 |
金属工艺 | 1365篇 |
机械仪表 | 2433篇 |
建筑科学 | 8105篇 |
矿业工程 | 3122篇 |
能源动力 | 2367篇 |
轻工业 | 3695篇 |
水利工程 | 5968篇 |
石油天然气 | 3963篇 |
武器工业 | 270篇 |
无线电 | 2033篇 |
一般工业技术 | 2534篇 |
冶金工业 | 4179篇 |
原子能技术 | 262篇 |
自动化技术 | 4612篇 |
出版年
2024年 | 120篇 |
2023年 | 416篇 |
2022年 | 993篇 |
2021年 | 1230篇 |
2020年 | 1208篇 |
2019年 | 832篇 |
2018年 | 766篇 |
2017年 | 1012篇 |
2016年 | 1308篇 |
2015年 | 1433篇 |
2014年 | 3224篇 |
2013年 | 2775篇 |
2012年 | 3592篇 |
2011年 | 4183篇 |
2010年 | 3476篇 |
2009年 | 3331篇 |
2008年 | 2944篇 |
2007年 | 3851篇 |
2006年 | 3846篇 |
2005年 | 3430篇 |
2004年 | 2969篇 |
2003年 | 2639篇 |
2002年 | 2122篇 |
2001年 | 1801篇 |
2000年 | 1542篇 |
1999年 | 1087篇 |
1998年 | 800篇 |
1997年 | 592篇 |
1996年 | 448篇 |
1995年 | 314篇 |
1994年 | 270篇 |
1993年 | 172篇 |
1992年 | 148篇 |
1991年 | 95篇 |
1990年 | 75篇 |
1989年 | 81篇 |
1988年 | 51篇 |
1987年 | 34篇 |
1986年 | 42篇 |
1985年 | 46篇 |
1984年 | 27篇 |
1983年 | 18篇 |
1982年 | 18篇 |
1981年 | 21篇 |
1980年 | 14篇 |
1979年 | 14篇 |
1965年 | 11篇 |
1963年 | 10篇 |
1959年 | 13篇 |
1955年 | 16篇 |
排序方式: 共有10000条查询结果,搜索用时 163 毫秒
11.
12.
13.
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. 相似文献
14.
本钢1700连轧机应用的托辊原由外企业制作,为了减少公司资金外流,公司技术人员和工人结合现有的生产条件,先后攻克了辊身铸造和加工,托辊装配等工艺方面的难关,研制成功了合格的产品,年创经济效益80万元。 相似文献
15.
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 相似文献
16.
17.
On the ontological expressiveness of information systems analysis and design grammars 总被引:9,自引:0,他引:9
Abstract. Information systems analysis and design (ISAD) methodologies provide facilities for describing existing or conceived real-world systems. These facilities are ontologically expressive if they are capable of describing all real-world phenomena completely and clearly. In this paper we formally examine the notion of the ontological expressiveness of a grammar and discuss some of its implications for the design and use of ISAD methodologies. We identify some generic ways in which ontological expressiveness may be undermined in a grammar and some potential consequences of these violations. We also examine ontological expressiveness within the context of some other desirable features that might be considered in the design of ISAD methodologies. 相似文献
18.
19.
Wallace Manheiemr 《Journal of Fusion Energy》2006,25(3-4):121-139
As apparent from the title, this author feels that civilization faces a real threat, one which will become obvious and serious within the lifetimes of many readers of this article. This threat is not global warming, but lack of affordable energy. We take for granted turning on a light, or adjusting our thermostats in winter or summer, or filling our cars gas tank; and lose sight of the fact that there are huge and complicated industrial systems which make this possible. But as we run out of petroleum and natural gas, and worry about the environmental and climatic effects of burning coal on the required scale, how can this continue? This paper makes the case that breeding nuclear fuel, by both fusion and fission, is the only way our civilization as we know it, can continue beyond the next half century or so. 相似文献
20.
介绍成品油传统汽运发货流程.指出其中的弊端,提出采用计算机网络化管理的思路,并对计算机成品油汽运发货系统的优点和功能进行了介绍,然后详细讨论了该系统的开发过程和功能实现,最后提出改进和发展方向。 相似文献