全文获取类型
收费全文 | 13469篇 |
免费 | 815篇 |
国内免费 | 814篇 |
专业分类
电工技术 | 866篇 |
技术理论 | 1篇 |
综合类 | 1723篇 |
化学工业 | 526篇 |
金属工艺 | 503篇 |
机械仪表 | 1061篇 |
建筑科学 | 1537篇 |
矿业工程 | 438篇 |
能源动力 | 239篇 |
轻工业 | 273篇 |
水利工程 | 397篇 |
石油天然气 | 557篇 |
武器工业 | 168篇 |
无线电 | 1032篇 |
一般工业技术 | 648篇 |
冶金工业 | 674篇 |
原子能技术 | 182篇 |
自动化技术 | 4273篇 |
出版年
2024年 | 30篇 |
2023年 | 73篇 |
2022年 | 149篇 |
2021年 | 213篇 |
2020年 | 199篇 |
2019年 | 163篇 |
2018年 | 152篇 |
2017年 | 216篇 |
2016年 | 277篇 |
2015年 | 329篇 |
2014年 | 809篇 |
2013年 | 657篇 |
2012年 | 944篇 |
2011年 | 1060篇 |
2010年 | 961篇 |
2009年 | 862篇 |
2008年 | 831篇 |
2007年 | 947篇 |
2006年 | 902篇 |
2005年 | 800篇 |
2004年 | 669篇 |
2003年 | 609篇 |
2002年 | 507篇 |
2001年 | 446篇 |
2000年 | 389篇 |
1999年 | 299篇 |
1998年 | 216篇 |
1997年 | 237篇 |
1996年 | 167篇 |
1995年 | 172篇 |
1994年 | 118篇 |
1993年 | 125篇 |
1992年 | 82篇 |
1991年 | 68篇 |
1990年 | 43篇 |
1989年 | 53篇 |
1988年 | 32篇 |
1987年 | 31篇 |
1986年 | 25篇 |
1985年 | 25篇 |
1984年 | 21篇 |
1982年 | 13篇 |
1981年 | 12篇 |
1980年 | 11篇 |
1979年 | 16篇 |
1974年 | 9篇 |
1973年 | 11篇 |
1966年 | 9篇 |
1965年 | 11篇 |
1959年 | 9篇 |
排序方式: 共有10000条查询结果,搜索用时 31 毫秒
21.
孔颖 《数字社区&智能家居》2007,(3):1429-1429,1438
针对C语言程序设计课程本身的特点,分析学习过程中存在的问题,强调实践的必要性。结合一些学校课程改革和实践的经验.提出面向应用的,科学的学习内容、方法和模式。同时提高学习者的专业动手能力。 相似文献
22.
Garth Isaak 《Information Processing Letters》2004,92(3):107-111
Given a tournament with an acyclic tournament as a feedback arc set we give necessary and sufficient conditions for this feedback arc set to have minimum size. 相似文献
23.
Depression is a widespread disorder with devastating individual and societal consequences. Although a great deal of research and theory has focused on treatment of acute episodes, progress needs to be made in preventing the emergence of first episodes of the disorder. There has been considerable advancement in understanding psychological vulnerability factors associated with this mood disorder, especially on the basis of cognitive behavioural models and research findings based on this theoretical model. In this paper we review the concept of cognitive vulnerability, with a particular focus on what this body of research work suggests clinically for the prevention of depression. We outline, based on this science, what the effective ingredients of a prevention program could be. We also discuss some of the pragmatic aspects of developing an effective prevention program for depression. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
24.
Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步. 相似文献
25.
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 相似文献
26.
27.
碳纤维缠绕复合材料在潜水外压容器上的应用 总被引:2,自引:0,他引:2
在铝合金圆筒体外以浸渍树脂碳纤维进行缠绕复合增强,增强后的筒体耐静水外压能力大幅度提高;整体缠绕的全复合材料筒体,在耐静水外压能力及减轻自身重量方面也获得了明显的效果。此外,在铝合金细长圆管的外壁复合缠绕碳纤维,能有效地提高圆管对轴向压载荷的抗失稳与抗屈曲破坏能力。 相似文献
28.
本文介绍了大坝施工混凝土质量的评价系统软件的设计思路和设计成果。它利用现代计算机技术和应用模糊数学理论评价混凝土重力坝和拱坝单块和整体的质量。在采用模糊综合评价工程质量中,对不同工艺环节,对坝体不同部位,鉴于其质量要求的差异应赋予不同的权重,在权重的取值上采用了专家调查排序,定量转化的方法是比较适宜的。在程序设计中,评价数学模型采用了BASIC程序,访膜块通过*TXT文件实现了与整个大坝混凝土质量微机管理系统的接口及数据传递。操作运行方便灵活。 相似文献
29.
30.
热敏绘图仪驱动模块由状态诊断、表头输出、曲线输出三部分组成。曲线输出的核心是曲线输出通用算法,它分三步进行:超界判断,填充字节和线型处理。该算法能完成对离散值的曲线处理、线型变换和超界处理。它不仅适用于热敏绘图仪的曲线记录,也适用于曲线的屏幕显示。 相似文献