全文获取类型
收费全文 | 10496篇 |
免费 | 707篇 |
国内免费 | 795篇 |
专业分类
电工技术 | 308篇 |
综合类 | 1830篇 |
化学工业 | 106篇 |
金属工艺 | 92篇 |
机械仪表 | 398篇 |
建筑科学 | 297篇 |
矿业工程 | 68篇 |
能源动力 | 21篇 |
轻工业 | 97篇 |
水利工程 | 50篇 |
石油天然气 | 46篇 |
武器工业 | 42篇 |
无线电 | 772篇 |
一般工业技术 | 316篇 |
冶金工业 | 576篇 |
原子能技术 | 15篇 |
自动化技术 | 6964篇 |
出版年
2024年 | 41篇 |
2023年 | 108篇 |
2022年 | 213篇 |
2021年 | 248篇 |
2020年 | 181篇 |
2019年 | 127篇 |
2018年 | 115篇 |
2017年 | 168篇 |
2016年 | 184篇 |
2015年 | 207篇 |
2014年 | 487篇 |
2013年 | 418篇 |
2012年 | 563篇 |
2011年 | 644篇 |
2010年 | 571篇 |
2009年 | 613篇 |
2008年 | 745篇 |
2007年 | 794篇 |
2006年 | 790篇 |
2005年 | 741篇 |
2004年 | 589篇 |
2003年 | 578篇 |
2002年 | 394篇 |
2001年 | 375篇 |
2000年 | 309篇 |
1999年 | 227篇 |
1998年 | 199篇 |
1997年 | 180篇 |
1996年 | 144篇 |
1995年 | 162篇 |
1994年 | 143篇 |
1993年 | 109篇 |
1992年 | 94篇 |
1991年 | 82篇 |
1990年 | 47篇 |
1989年 | 47篇 |
1988年 | 35篇 |
1987年 | 27篇 |
1986年 | 24篇 |
1985年 | 37篇 |
1984年 | 33篇 |
1983年 | 22篇 |
1982年 | 14篇 |
1981年 | 18篇 |
1980年 | 15篇 |
1979年 | 16篇 |
1978年 | 15篇 |
1977年 | 10篇 |
1975年 | 16篇 |
1971年 | 7篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
1.
首先介绍了HART通信协议及他的优点,然后介绍了HART通信协议在汽油机测速方面的软件实现。该软件主要采用目前流行的VB编程语言。可设计出界面友好、功能强大的测量和监控软件。 相似文献
2.
基于MAPINFO和VB的自来水管网信息系统的建立 总被引:2,自引:0,他引:2
介绍基于MapInfo平台,利用VB语言进行二次开发,建立自来水管网地理信息系统的关键技术及其注意的问题。 相似文献
3.
The acquisition of new skills over a life span is a remarkable human ability. This ability, however, is constrained by age of acquisition (AoA); that is, the age at which learning occurs significantly affects the outcome. This is most clearly reflected in domains such as language, music, and athletics. This article provides a perspective on the neural and computational mechanisms underlying AoA in language acquisition. The authors show how AoA modulates both monolingual lexical processing and bilingual language acquisition. They consider the conditions under which syntactic processing and semantic processing may be differentially sensitive to AoA effects in second-language acquisition. The authors conclude that AoA effects are pervasive and that the neural and computational mechanisms underlying learning and sensorimotor integration provide a general account of these effects. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
4.
孔颖 《数字社区&智能家居》2007,(3):1429-1429,1438
针对C语言程序设计课程本身的特点,分析学习过程中存在的问题,强调实践的必要性。结合一些学校课程改革和实践的经验.提出面向应用的,科学的学习内容、方法和模式。同时提高学习者的专业动手能力。 相似文献
5.
Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper. 相似文献
6.
An increasing number of connectionist models have been proposed to explain behavioral deficits in developmental disorders. These simulations motivate serious consideration of the theoretical implications of the claim that a developmental disorder fits within the parameter space of a particular computational model of normal development. The authors examine these issues in depth with respect to a series of new simulations investigating past-tense formation in Williams syndrome. This syndrome and the past-tense domain are highly relevant because both have been used to make strong theoretical claims about the processes underlying normal language acquisition. The authors conclude that computational models have great potential to advance psychologists' understanding of developmental deficits because they focus on the developmental process itself as a pivotal causal factor in producing atypical phenotypic outcomes. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
7.
本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较. 相似文献
8.
钟惠尧 《湖南冶金职业技术学院学报》2006,6(4):514-515,532
近年来,"菜鸟"作为一个新兴词语在网络上广为流传,甚至波及到社会生活的方方面面.通过语素分析和近义比较,可以来考察此词的读音和意义. 相似文献
9.
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 相似文献
10.
The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench. 相似文献